<p>We study the <i>K</i>-theoretic enumerative geometry of cyclic Nakajima quiver varieties, with particular focus on <InlineEquation ID="IEq1"> <EquationSource Format="TEX">\(\text {Hilb}^{n}([\mathbb {C}^{2}/\mathbb {Z}_{l}])\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msup> <mtext>Hilb</mtext> <mi>n</mi> </msup> <mrow> <mo stretchy="false">(</mo> <mrow> <mo stretchy="false">[</mo> <msup> <mrow> <mi mathvariant="double-struck">C</mi> </mrow> <mn>2</mn> </msup> <mo stretchy="false">/</mo> <msub> <mi mathvariant="double-struck">Z</mi> <mi>l</mi> </msub> <mo stretchy="false">]</mo> </mrow> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation>, the equivariant Hilbert scheme of points on <InlineEquation ID="IEq2"> <EquationSource Format="TEX">\(\mathbb {C}^2\)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mrow> <mi mathvariant="double-struck">C</mi> </mrow> <mn>2</mn> </msup> </math></EquationSource> </InlineEquation>. The direct sum over <i>n</i> of the equivariant <i>K</i>-theories of these varieties is known to be isomorphic to the ring symmetric functions in <i>l</i> colors, with structure sheaves of torus fixed points identified with wreath Macdonald polynomials. Using properties of wreath Macdonald polynomials and the recent identification of the Maulik-Okounkov quantum affine algebra for cyclic quivers with the quantum toroidal algebras of type <i>A</i>, we derive an explicit formula for the generating function of capped vertex functions of <InlineEquation ID="IEq3"> <EquationSource Format="TEX">\(\text {Hilb}^{n}([\mathbb {C}^{2}/\mathbb {Z}_{l}])\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msup> <mtext>Hilb</mtext> <mi>n</mi> </msup> <mrow> <mo stretchy="false">(</mo> <mrow> <mo stretchy="false">[</mo> <msup> <mrow> <mi mathvariant="double-struck">C</mi> </mrow> <mn>2</mn> </msup> <mo stretchy="false">/</mo> <msub> <mi mathvariant="double-struck">Z</mi> <mi>l</mi> </msub> <mo stretchy="false">]</mo> </mrow> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> with descendants given by exterior powers of the 0th tautological bundle. We also sharpen the large framing vanishing results of Okounkov, providing a class of descendants and cyclic quiver varieties for which the capped vertex functions are purely classical. Our results also suggest certain integrality and wall-crossing conjectures for capped vertex functions.</p>

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

Wreath Macdonald polynomials, quiver varieties, and quasimap counts

  • Jeffrey Ayers,
  • Hunter Dinkins

摘要

We study the K-theoretic enumerative geometry of cyclic Nakajima quiver varieties, with particular focus on \(\text {Hilb}^{n}([\mathbb {C}^{2}/\mathbb {Z}_{l}])\) Hilb n ( [ C 2 / Z l ] ) , the equivariant Hilbert scheme of points on \(\mathbb {C}^2\) C 2 . The direct sum over n of the equivariant K-theories of these varieties is known to be isomorphic to the ring symmetric functions in l colors, with structure sheaves of torus fixed points identified with wreath Macdonald polynomials. Using properties of wreath Macdonald polynomials and the recent identification of the Maulik-Okounkov quantum affine algebra for cyclic quivers with the quantum toroidal algebras of type A, we derive an explicit formula for the generating function of capped vertex functions of \(\text {Hilb}^{n}([\mathbb {C}^{2}/\mathbb {Z}_{l}])\) Hilb n ( [ C 2 / Z l ] ) with descendants given by exterior powers of the 0th tautological bundle. We also sharpen the large framing vanishing results of Okounkov, providing a class of descendants and cyclic quiver varieties for which the capped vertex functions are purely classical. Our results also suggest certain integrality and wall-crossing conjectures for capped vertex functions.