Motivated by their appearance as Coulomb branch geometries of Class S theories, we study the image of the local Hitchin map in tame Hitchin systems of type-D with residue in a special nilpotent orbit <InlineEquation ID="IEq1"> <EquationSource Format="TEX">$\mathcal {O}_H$</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi mathvariant="script">O</mi> <mi>H</mi> </msub> </math></EquationSource> </InlineEquation>. We describe two important features that distinguish it from the type-A case studied in Balasubramanian et al. (Adv Theor Math Phys Ser 26(6):1585–1667, 2022. <a href="https://doi.org/10.4310/ATMP.2022.v26.n6.a2">https://doi.org/10.4310/ATMP.2022.v26.n6.a2</a>, <a href="http://arxiv.org/abs/2008.01020">arXiv:2008.01020</a> [hep-th]). The first feature, which we term even-type constraints, arises iff the partition label <InlineEquation ID="IEq2"> <EquationSource Format="TEX">$[\mathcal {O}_H]$</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo stretchy="false">[</mo> <msub> <mi mathvariant="script">O</mi> <mi>H</mi> </msub> <mo stretchy="false">]</mo> </mrow> </math></EquationSource> </InlineEquation> has even parts. Our Hitchin image is non-singular and thus different from the one studied by Baraglia and Kamgarpour. We argue that our Hitchin image always globalizes to being the Hitchin base of an integrable system. The second feature, which we term odd-type constraints, is related to a particular finite group <InlineEquation ID="IEq3"> <EquationSource Format="TEX">$\overline{A}_b(\mathcal {O}_H)$</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mover> <mi>A</mi> <mo>¯</mo> </mover> <mi>b</mi> </msub> <mrow> <mo stretchy="false">(</mo> <msub> <mi mathvariant="script">O</mi> <mi>H</mi> </msub> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> being non-trivial. This finite group parametrizes the choices for the local Hitchin base. Additionally, we also show that the finite group <InlineEquation ID="IEq4"> <EquationSource Format="TEX">$\overline{A}_b(\mathcal {O}_H)$</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mover> <mi>A</mi> <mo>¯</mo> </mover> <mi>b</mi> </msub> <mrow> <mo stretchy="false">(</mo> <msub> <mi mathvariant="script">O</mi> <mi>H</mi> </msub> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> encodes the size of the dual special piece.

The Hitchin Image in Type-D

期刊论文
发表日期：

2025年4月17日

查看全文

Aswin Balasubramanian,
Jacques Distler,
Ron Donagi,
Carlos Perez-Pardavila

摘要

Motivated by their appearance as Coulomb branch geometries of Class S theories, we study the image of the local Hitchin map in tame Hitchin systems of type-D with residue in a special nilpotent orbit $\mathcal {O}_H$ $O_{H}$ . We describe two important features that distinguish it from the type-A case studied in Balasubramanian et al. (Adv Theor Math Phys Ser 26(6):1585–1667, 2022. https://doi.org/10.4310/ATMP.2022.v26.n6.a2, arXiv:2008.01020 [hep-th]). The first feature, which we term even-type constraints, arises iff the partition label $[\mathcal {O}_H]$ $[O_{H}]$ has even parts. Our Hitchin image is non-singular and thus different from the one studied by Baraglia and Kamgarpour. We argue that our Hitchin image always globalizes to being the Hitchin base of an integrable system. The second feature, which we term odd-type constraints, is related to a particular finite group $\overline{A}_b(\mathcal {O}_H)$ ${\bar{A}}_{b} (O_{H})$ being non-trivial. This finite group parametrizes the choices for the local Hitchin base. Additionally, we also show that the finite group $\overline{A}_b(\mathcal {O}_H)$ ${\bar{A}}_{b} (O_{H})$ encodes the size of the dual special piece.