<p>We construct and study a nonstandard t-structure on the derived category of equivariant coherent sheaves on the Braverman-Finkelberg-Nakajima space of triples <InlineEquation ID="IEq2"> <EquationSource Format="MATHML"><math> <msub> <mi mathvariant="script">R</mi> <mrow> <mi>G</mi> <mo>,</mo> <mi>N</mi> </mrow> </msub> </math></EquationSource> <EquationSource Format="TEX">${\mathcal {R}}_{G,N}$</EquationSource> </InlineEquation>, where <InlineEquation ID="IEq3"> <EquationSource Format="MATHML"><math> <mi>N</mi> </math></EquationSource> <EquationSource Format="TEX">${N}$</EquationSource> </InlineEquation> is a representation of a reductive group <InlineEquation ID="IEq4"> <EquationSource Format="MATHML"><math> <mi>G</mi> </math></EquationSource> <EquationSource Format="TEX">$G$</EquationSource> </InlineEquation>. Its heart <InlineEquation ID="IEq5"> <EquationSource Format="MATHML"><math> <msub> <mi mathvariant="script">KP</mi> <mrow> <mi>G</mi> <mo>,</mo> <mi>N</mi> </mrow> </msub> </math></EquationSource> <EquationSource Format="TEX">${\mathcal {KP}}_{G,N}$</EquationSource> </InlineEquation> is a finite-length, rigid, monoidal abelian category with renormalized <InlineEquation ID="IEq6"> <EquationSource Format="MATHML"><math> <mi>r</mi> </math></EquationSource> <EquationSource Format="TEX">$r$</EquationSource> </InlineEquation>-matrices. We refer to objects of <InlineEquation ID="IEq7"> <EquationSource Format="MATHML"><math> <msub> <mi mathvariant="script">KP</mi> <mrow> <mi>G</mi> <mo>,</mo> <mi>N</mi> </mrow> </msub> </math></EquationSource> <EquationSource Format="TEX">${\mathcal {KP}}_{G,N}$</EquationSource> </InlineEquation> as Koszul-perverse coherent sheaves. Simple objects of <InlineEquation ID="IEq8"> <EquationSource Format="MATHML"><math> <msub> <mi mathvariant="script">KP</mi> <mrow> <mi>G</mi> <mo>,</mo> <mi>N</mi> </mrow> </msub> </math></EquationSource> <EquationSource Format="TEX">${\mathcal {KP}}_{G,N}$</EquationSource> </InlineEquation> define a canonical basis in the quantized <InlineEquation ID="IEq9"> <EquationSource Format="MATHML"><math> <mi>K</mi> </math></EquationSource> <EquationSource Format="TEX">$K$</EquationSource> </InlineEquation>-theoretic Coulomb branch of the associated gauge theory. These simples possess various characteristic properties of Wilson-’t Hooft lines, and we interpret our construction as an algebro-geometric definition of the category of half-BPS line defects in a 4d <InlineEquation ID="IEq10"> <EquationSource Format="MATHML"><math> <mi mathvariant="script">N</mi> <mo>=</mo> <mn>2</mn> </math></EquationSource> <EquationSource Format="TEX">$\mathcal{N}=2$</EquationSource> </InlineEquation> gauge theory of cotangent type.</p>

错误:搜索内容不能为空,请输入英文关键词
错误:关键词超出字数限制,请精简
高级检索

Canonical bases for Coulomb branches of 4d \(\mathcal{N} =2\) gauge theories

  • Sabin Cautis,
  • Harold Williams

摘要

We construct and study a nonstandard t-structure on the derived category of equivariant coherent sheaves on the Braverman-Finkelberg-Nakajima space of triples R G , N ${\mathcal {R}}_{G,N}$ , where N ${N}$ is a representation of a reductive group G $G$ . Its heart KP G , N ${\mathcal {KP}}_{G,N}$ is a finite-length, rigid, monoidal abelian category with renormalized r $r$ -matrices. We refer to objects of KP G , N ${\mathcal {KP}}_{G,N}$ as Koszul-perverse coherent sheaves. Simple objects of KP G , N ${\mathcal {KP}}_{G,N}$ define a canonical basis in the quantized K $K$ -theoretic Coulomb branch of the associated gauge theory. These simples possess various characteristic properties of Wilson-’t Hooft lines, and we interpret our construction as an algebro-geometric definition of the category of half-BPS line defects in a 4d N = 2 $\mathcal{N}=2$ gauge theory of cotangent type.