<p>The Hamiltonian reduction <InlineEquation ID="IEq4"> <EquationSource Format="TEX">\({\mathcal {N}}/\!\!/\!\!/T\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi mathvariant="script">N</mi> <mo stretchy="false">/</mo> <mspace width="-0.166667em" /> <mspace width="-0.166667em" /> <mo stretchy="false">/</mo> <mspace width="-0.166667em" /> <mspace width="-0.166667em" /> <mo stretchy="false">/</mo> <mi>T</mi> </mrow> </math></EquationSource> </InlineEquation> of the nilpotent cone in <InlineEquation ID="IEq5"> <EquationSource Format="TEX">\(\mathfrak {sl}_n\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi mathvariant="fraktur">sl</mi> <mi>n</mi> </msub> </math></EquationSource> </InlineEquation> by the torus of diagonal matrices is a Nakajima quiver variety which admits a symplectic resolution <InlineEquation ID="IEq6"> <EquationSource Format="TEX">\(\widetilde{{\mathcal {N}}/\!\!/\!\!/T},\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mover accent="true"> <mrow> <mi mathvariant="script">N</mi> <mo stretchy="false">/</mo> <mspace width="-0.166667em" /> <mspace width="-0.166667em" /> <mo stretchy="false">/</mo> <mspace width="-0.166667em" /> <mspace width="-0.166667em" /> <mo stretchy="false">/</mo> <mi>T</mi> </mrow> <mo stretchy="false">~</mo> </mover> <mo>,</mo> </mrow> </math></EquationSource> </InlineEquation> and the corresponding BFN Coulomb branch is the affine closure <InlineEquation ID="IEq7"> <EquationSource Format="TEX">\(\overline{T^*(G/U)}\)</EquationSource> <EquationSource Format="MATHML"><math> <mover> <mrow> <msup> <mi>T</mi> <mo>∗</mo> </msup> <mrow> <mo stretchy="false">(</mo> <mi>G</mi> <mo stretchy="false">/</mo> <mi>U</mi> <mo stretchy="false">)</mo> </mrow> </mrow> <mo>¯</mo> </mover> </math></EquationSource> </InlineEquation> of the cotangent bundle of the base affine space. We construct a surjective map <InlineEquation ID="IEq8"> <EquationSource Format="TEX">\({\mathbb {C}}\left[ \overline{T^*(G/U)}^{T\times B/U}\right] \twoheadrightarrow H^*\left( \widetilde{{\mathcal {N}}/\!\!/\!\!/T}\right) \)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi mathvariant="double-struck">C</mi> <mfenced close="]" open="["> <msup> <mover> <mrow> <msup> <mi>T</mi> <mo>∗</mo> </msup> <mrow> <mo stretchy="false">(</mo> <mi>G</mi> <mo stretchy="false">/</mo> <mi>U</mi> <mo stretchy="false">)</mo> </mrow> </mrow> <mo>¯</mo> </mover> <mrow> <mi>T</mi> <mo>×</mo> <mi>B</mi> <mo stretchy="false">/</mo> <mi>U</mi> </mrow> </msup> </mfenced> <mo>↠</mo> <msup> <mi>H</mi> <mo>∗</mo> </msup> <mfenced close=")" open="("> <mover accent="true"> <mrow> <mi mathvariant="script">N</mi> <mo stretchy="false">/</mo> <mspace width="-0.166667em" /> <mspace width="-0.166667em" /> <mo stretchy="false">/</mo> <mspace width="-0.166667em" /> <mspace width="-0.166667em" /> <mo stretchy="false">/</mo> <mi>T</mi> </mrow> <mo stretchy="false">~</mo> </mover> </mfenced> </mrow> </math></EquationSource> </InlineEquation> of graded algebras, which the Hikita conjecture predicts to be an isomorphism. Our map is inherited from a related case of the Hikita conjecture and factors through Kirwan surjectivity for quiver varieties. We conjecture that many other Hikita maps can be inherited from that of a related dual pair.</p>

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

Hikita surjectivity for \({\mathcal {N}}/\!\!/\!\!/T\)

  • Linus Setiabrata

摘要

The Hamiltonian reduction \({\mathcal {N}}/\!\!/\!\!/T\) N / / / T of the nilpotent cone in \(\mathfrak {sl}_n\) sl n by the torus of diagonal matrices is a Nakajima quiver variety which admits a symplectic resolution \(\widetilde{{\mathcal {N}}/\!\!/\!\!/T},\) N / / / T ~ , and the corresponding BFN Coulomb branch is the affine closure \(\overline{T^*(G/U)}\) T ( G / U ) ¯ of the cotangent bundle of the base affine space. We construct a surjective map \({\mathbb {C}}\left[ \overline{T^*(G/U)}^{T\times B/U}\right] \twoheadrightarrow H^*\left( \widetilde{{\mathcal {N}}/\!\!/\!\!/T}\right) \) C T ( G / U ) ¯ T × B / U H N / / / T ~ of graded algebras, which the Hikita conjecture predicts to be an isomorphism. Our map is inherited from a related case of the Hikita conjecture and factors through Kirwan surjectivity for quiver varieties. We conjecture that many other Hikita maps can be inherited from that of a related dual pair.