pith. sign in

arxiv: 2605.14695 · v1 · pith:6TEV7J4Gnew · submitted 2026-05-14 · ✦ hep-th

A Tale of Two Orbits: Non-Simply Laced Mirror

Amihay Hanany , Deshuo Liu This is my paper

Pith reviewed 2026-06-30 20:42 UTC · model grok-4.3

classification ✦ hep-th
keywords 3d N=4 gauge theoriesnilpotent orbitsmirror symmetrymagnetic quiversHiggs branchCoulomb branchsymplectic singularitiesquiver subtraction
0
0 comments X

The pith

Gauging a U(1) subgroup of SU(2) SQCD with n+1 flavours produces a 3D N=4 theory whose Higgs branch is the affine closure of the cotangent bundle of the minimal nilpotent orbit of sl_n, with the same space reproduced by a non-simply laced m

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper builds a three-dimensional N=4 gauge theory by gauging an SO(2) congruent to U(1) subgroup inside the flavour symmetry of SU(2) SQCD with n+1 flavours. Its Higgs branch is shown to be the affine closure of the cotangent bundle of the smallest nilpotent orbit in sl_n, a symplectic singularity previously obtained as a U(1) hyperkähler quotient of the minimal nilpotent orbit closure in so_{2n+2}. A non-simply laced magnetic quiver is proposed whose Coulomb branch matches this same space, supplying evidence that mirror symmetry can hold when the magnetic side is non-simply laced. The identification is checked by explicit Hilbert series computation, stratification of the singularity, quiver subtraction, and Hasse diagram inversion, with a separate analysis of a Z_2 quotient of the magnetic lattice and the special case n=2 where A_1 is isomorphic to C_1.

Core claim

Gauging the SO(2) congruent to U(1) subgroup of the flavour symmetry of SU(2) SQCD with n+1 flavours yields a theory whose Higgs branch realises the affine closure of the cotangent bundle of the minimal nilpotent orbit of sl_n; a non-simply laced magnetic quiver is then proposed whose Coulomb branch reproduces exactly the same singularity, thereby furnishing a concrete mirror pair whose consistency is verified by Hilbert series, stratification, quiver subtraction and Hasse diagram inversion.

What carries the argument

The non-simply laced magnetic quiver, whose Coulomb branch is required to reproduce the target symplectic singularity and whose structure is validated through its Higgs-branch mirror obtained by the U(1) gauging construction.

If this is right

  • The same gauging procedure supplies an explicit Higgs-branch realisation for any non-simply laced magnetic quiver whose Coulomb branch is expected to be this singularity.
  • Quiver subtraction and Hasse diagram inversion become reliable tests for mirror pairs that involve non-simply laced nodes.
  • The Z_2 quotient of the magnetic lattice admits an analogous analysis, with the n=2 case reducing to the known isomorphism A_1 congruent to C_1.
  • The construction gives a template for reading off the Higgs-branch geometry of a non-simply laced quiver directly from its mirror dual.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • The same gauging-plus-mirror technique may extend to other nilpotent orbits whose closures admit U(1) hyperkähler quotients, yielding further non-simply laced examples.
  • If the pattern holds, classifications of 3D N=4 theories with non-simply laced magnetic quivers could be completed by systematically applying the dual Higgs-branch construction.
  • Stratification data obtained here may serve as input for checking whether other proposed magnetic quivers reproduce the same singularity type.

Load-bearing premise

The gauging of the SO(2) congruent to U(1) subgroup inside the flavour symmetry produces precisely the affine closure of the cotangent bundle without extra geometric identifications.

What would settle it

A mismatch between the Hilbert series computed for the gauged theory and the known Hilbert series of the affine closure of the cotangent bundle of the minimal nilpotent orbit of sl_n would falsify the claimed identification.

read the original abstract

A three-dimensional $\mathcal{N}=4$ gauge theory is constructed whose Higgs branch realizes the affine closure of the cotangent bundle of the minimal nilpotent orbit of $\mathfrak{sl}_n$. This space is a symplectic singularity recently identified by Fu and Liu as a $\mathrm{U}(1)$ hyperk\"ahler quotient of the closure of the minimal nilpotent orbit of $\mathfrak{so}_{2n+2}$. The theory arises by gauging an $\mathrm{SO}(2)\cong\mathrm{U}(1)$ subgroup of the flavour symmetry of $\mathrm{SU}(2)$ SQCD with $n+1$ flavours. The Hilbert series is computed and the stratification is determined. A non-simply laced magnetic quiver is proposed whose Coulomb branch reproduces the same singularity. Evidence is thereby provided for a mirror pair involving a non-simply laced quiver, further tested through quiver subtraction and Hasse diagram inversion. A related $\mathbb{Z}_2$ quotient of the magnetic lattice is also analysed, and the exceptional behaviour in the case $n=2$, where $A_1 \cong C_1$, is explained. This construction provides a concrete example in which the Higgs-branch structure associated with a non-simply laced magnetic quiver can be inferred and validated through its mirror dual.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

2 major / 2 minor

Summary. The manuscript constructs a 3d N=4 gauge theory by gauging an SO(2) ≅ U(1) subgroup of the flavor symmetry of SU(2) SQCD with n+1 flavors. Its Higgs branch is identified as the affine closure of the cotangent bundle of the minimal nilpotent orbit of sl_n, with this identification supported by explicit Hilbert series computation and stratification analysis that match the Fu-Liu U(1) hyperkähler quotient. A non-simply laced magnetic quiver is proposed whose Coulomb branch reproduces the same singularity, thereby providing evidence for a mirror pair; this evidence is further tested via quiver subtraction and Hasse diagram inversion. The paper additionally analyzes a related Z_2 quotient of the magnetic lattice and explains the exceptional n=2 case where A_1 ≅ C_1.

Significance. If the central identifications hold, the work supplies a concrete example of a mirror pair involving a non-simply laced quiver, allowing the Higgs-branch structure to be inferred and validated through its mirror dual. It contributes to the classification of symplectic singularities realized in 3d N=4 theories and extends mirror symmetry techniques beyond simply-laced cases. Explicit strengths include the Hilbert series and stratification computations that directly match known geometry, together with the separate treatment of the n=2 isomorphism.

major comments (2)
  1. [Mirror tests via quiver subtraction and Hasse diagram inversion] The section on mirror tests applies quiver subtraction and Hasse diagram inversion directly to the proposed non-simply laced magnetic quiver. These operations are derived and validated in the literature only for simply-laced Dynkin diagrams; the manuscript provides no independent verification that the monopole spectrum, lattice folding, and transverse-slice structure remain unchanged under the non-simply laced identification. This assumption is load-bearing for the claim that the tests evidence the mirror pair.
  2. [Construction and Hilbert series computation] § on the gauged theory and Hilbert series: the identification of the Higgs branch with the affine closure of T^*O_min(sl_n) rests on the statement that the computed Hilbert series and stratification exactly reproduce the Fu-Liu U(1) quotient. The manuscript does not exhibit the explicit series or the step-by-step matching that would confirm the identification is parameter-free and free of additional geometric assumptions.
minor comments (2)
  1. [Z_2 quotient analysis] The abstract states that a related Z_2 quotient of the magnetic lattice is analysed, but the corresponding section would benefit from an explicit statement of the physical interpretation of this quotient and its relation to the main mirror pair.
  2. Notation for the non-simply laced magnetic quiver (e.g., the precise form of the long and short roots) could be introduced with a small diagram or table to improve readability when the Coulomb-branch Hilbert series is later compared to the Higgs branch.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for their careful reading, positive assessment of the work's significance, and constructive major comments. We address each point below and will revise the manuscript to improve clarity and strengthen the presentation of evidence.

read point-by-point responses

  1. Referee: [Mirror tests via quiver subtraction and Hasse diagram inversion] The section on mirror tests applies quiver subtraction and Hasse diagram inversion directly to the proposed non-simply laced magnetic quiver. These operations are derived and validated in the literature only for simply-laced Dynkin diagrams; the manuscript provides no independent verification that the monopole spectrum, lattice folding, and transverse-slice structure remain unchanged under the non-simply laced identification. This assumption is load-bearing for the claim that the tests evidence the mirror pair.

    Authors: We agree that the foundational derivations of quiver subtraction and Hasse diagram inversion in the literature are restricted to simply-laced cases, and our manuscript applies these techniques without providing an independent verification specific to the non-simply laced setting. The primary evidence for the mirror pair remains the explicit construction of the 3d N=4 theory, its Higgs branch identification via Hilbert series and stratification, and the proposed magnetic quiver whose Coulomb branch matches the same singularity. The subtraction and inversion steps serve as consistency checks. In the revision we will add a short discussion clarifying the scope of these checks, including an explicit verification for the n=2 case (where the quiver reduces to simply-laced) and a note that the operations are combinatorial in nature. This constitutes a partial revision. revision: partial

  2. Referee: [Construction and Hilbert series computation] § on the gauged theory and Hilbert series: the identification of the Higgs branch with the affine closure of T^*O_min(sl_n) rests on the statement that the computed Hilbert series and stratification exactly reproduce the Fu-Liu U(1) quotient. The manuscript does not exhibit the explicit series or the step-by-step matching that would confirm the identification is parameter-free and free of additional geometric assumptions.

    Authors: We acknowledge that while the manuscript states that the Hilbert series has been computed and the stratification determined, the explicit series and the detailed step-by-step comparison with the Fu-Liu U(1) hyperkähler quotient are not displayed. In the revised version we will include the explicit Hilbert series expression (as a function of the fugacities) together with the term-by-term matching to the known series for the affine closure of T^*O_min(sl_n), either in the main text or in a dedicated appendix. This will make the identification fully explicit and remove any ambiguity. revision: yes

Circularity Check

0 steps flagged

No circularity; explicit computations and external matching support claims

full rationale

The derivation begins with an explicit construction: gauging the U(1) subgroup of the flavor symmetry of SU(2) SQCD with n+1 flavors. The Higgs branch identification as the affine closure of T^*O_min(sl_n) is established by direct Hilbert series computation and stratification, which are shown to match the independent Fu-Liu U(1) quotient geometry. The non-simply laced magnetic quiver is proposed separately, with its Coulomb branch reproducing the space; further tests via quiver subtraction and Hasse diagram inversion are presented as evidence for the mirror pair. No step reduces a claimed prediction to a fitted input by construction, invokes a self-citation as the sole justification for a load-bearing uniqueness claim, or renames a known result. The central results rest on verifiable computations against external benchmarks rather than self-referential definitions.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The central claim rests on standard properties of 3D N=4 gauge theories, nilpotent orbits, and magnetic quivers from prior literature; no new free parameters or invented entities are introduced in the abstract.

axioms (2)
  • domain assumption Properties of minimal nilpotent orbits and their cotangent bundle closures in Lie algebras sl_n and so_{2n+2}
    Invoked to identify the target symplectic singularity realized by the Higgs branch.
  • standard math Standard rules for U(1) hyperkahler quotients and flavor symmetry gauging in 3D N=4 theories
    Used to construct the theory from SU(2) SQCD.

pith-pipeline@v0.9.1-grok · 5762 in / 1507 out tokens · 23398 ms · 2026-06-30T20:42:15.485389+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Reference graph

Works this paper leans on

34 extracted references · 18 linked inside Pith

  1. [1]

    P. B. Kronheimer et al.,Instantons and the geometry of the nilpotent variety,Journal of differential geometry32(1990) 473–490

    1990

  2. [2]

    Nakajima,Instantons on ALE spaces, quiver varieties, and Kac-Moody algebras,Duke Math

    H. Nakajima,Instantons on ALE spaces, quiver varieties, and Kac-Moody algebras,Duke Math. J.76(1994) 365–416

    1994

  3. [3]

    Gaiotto and E

    D. Gaiotto and E. Witten,S-Duality of Boundary Conditions In N=4 Super Yang-Mills Theory,Adv. Theor. Math. Phys.13(2009) 721–896, [0807.3720]

    Pith/arXiv arXiv 2009

  4. [4]

    Cremonesi, A

    S. Cremonesi, A. Hanany, N. Mekareeya and A. Zaffaroni,Coulomb branch Hilbert series and Hall-Littlewood polynomials,JHEP09(2014) 178, [1403.0585]

    Pith/arXiv arXiv 2014

  5. [5]

    Cabrera, A

    S. Cabrera, A. Hanany and R. Kalveks,Quiver Theories and Formulae for Slodowy Slices of Classical Algebras,Nucl. Phys.B939(2019) 308–357, [1807.02521]

    Pith/arXiv arXiv 2019

  6. [6]

    Borokhov, A

    V. Borokhov, A. Kapustin and X.-k. Wu,Monopole operators and mirror symmetry in three-dimensions,JHEP12(2002) 044, [hep-th/0207074]

    Pith/arXiv arXiv 2002

  7. [7]

    Cremonesi, A

    S. Cremonesi, A. Hanany and A. Zaffaroni,Monopole operators and Hilbert series of Coulomb branches of3dN= 4gauge theories,JHEP01(2014) 005, [1309.2657]

    Pith/arXiv arXiv 2014

  8. [8]

    K. A. Intriligator and N. Seiberg,Mirror symmetry in three-dimensional gauge theories, Phys. Lett.B387(1996) 513–519, [hep-th/9607207]

    Pith/arXiv arXiv 1996

  9. [9]

    Braden, A

    T. Braden, A. Licata, N. Proudfoot and B. Webster,Quantizations of conical symplectic resolutions II: categoryOand symplectic duality,1407.0964

    arXiv

  10. [10]

    Kamnitzer,Symplectic resolutions, symplectic duality, and Coulomb branches,2202.03913

    J. Kamnitzer,Symplectic resolutions, symplectic duality, and Coulomb branches,2202.03913

    arXiv

  11. [11]

    Webster and P

    B. Webster and P. Yoo,3-dimensional mirror symmetry,2308.06191

    arXiv

  12. [12]

    J. F. Grimminger and A. Hanany,Hasse diagrams for 3dN= 4 quiver gauge theories — Inversion and the full moduli space,JHEP09(2020) 159, [2004.01675]. – 19 –

    arXiv 2020

  13. [13]

    Fu and J

    B. Fu and J. Liu,A connection between minimal nilpotent orbits of types A and D via Hamiltonian reduction,2605.03421

    Pith/arXiv arXiv

  14. [14]

    Cabrera, A

    S. Cabrera, A. Hanany and F. Yagi,Tropical Geometry and Five Dimensional Higgs Branches at Infinite Coupling,JHEP01(2019) 068, [1810.01379]

    Pith/arXiv arXiv 2019

  15. [15]

    Hanany and G

    A. Hanany and G. Zafrir,Discrete Gauging in Six Dimensions,JHEP07(2018) 168, [1804.08857]

    Pith/arXiv arXiv 2018

  16. [16]

    Cabrera, A

    S. Cabrera, A. Hanany and M. Sperling,Magnetic quivers, Higgs branches, and 6dN=(1,0) theories,JHEP06(2019) 071, [1904.12293]

    arXiv 2019

  17. [17]

    Cabrera, A

    S. Cabrera, A. Hanany and M. Sperling,Magnetic quivers, Higgs branches, and 6dN=(1,0) theories — orthogonal and symplectic gauge groups,JHEP02(2020) 184, [1912.02773]

    arXiv 2020

  18. [18]

    Cremonesi, G

    S. Cremonesi, G. Ferlito, A. Hanany and N. Mekareeya,Coulomb Branch and The Moduli Space of Instantons,JHEP12(2014) 103, [1408.6835]

    Pith/arXiv arXiv 2014

  19. [19]

    Braverman, M

    A. Braverman, M. Finkelberg and H. Nakajima,Towards a mathematical definition of Coulomb branches of3-dimensionalN= 4gauge theories, II,Adv. Theor. Math. Phys.22 (2018) 1071–1147, [1601.03586]

    arXiv 2018

  20. [20]

    Nakajima and A

    H. Nakajima and A. Weekes,Coulomb branches of quiver gauge theories with symmetrizers, 1907.06552

    Pith/arXiv arXiv 1907

  21. [21]

    Cabrera and A

    S. Cabrera and A. Hanany,Quiver Subtractions,JHEP09(2018) 008, [1803.11205]

    Pith/arXiv arXiv 2018

  22. [22]

    Hanany and R

    A. Hanany and R. Kalveks,Highest Weight Generating Functions for Hilbert Series,JHEP 10(2014) 152, [1408.4690]

    Pith/arXiv arXiv 2014

  23. [23]

    Bourget, S

    A. Bourget, S. Cabrera, J. F. Grimminger, A. Hanany, M. Sperling, A. Zajac et al.,The Higgs mechanism — Hasse diagrams for symplectic singularities,JHEP01(2020) 157, [1908.04245]

    arXiv 2020

  24. [24]

    J. F. Grimminger, A. Hanany and D. Liu,3d Mirrors and Phase Diagrams of Abelian Gauge Theories,2503.08791

    arXiv

  25. [25]

    de Boer, K

    J. de Boer, K. Hori, H. Ooguri, Y. Oz and Z. Yin,Mirror symmetry in three-dimensional theories, SL(2,Z) and D-brane moduli spaces,Nucl. Phys. B493(1997) 148–176, [hep-th/9612131]

    Pith/arXiv arXiv 1997

  26. [26]

    de Boer, K

    J. de Boer, K. Hori, H. Ooguri and Y. Oz,Mirror symmetry in three-dimensional gauge theories, quivers and D-branes,Nucl. Phys. B493(1997) 101–147, [hep-th/9611063]

    Pith/arXiv arXiv 1997

  27. [27]

    Crawley-boevey,Geometry of the Moment Map for Representations of Quivers, Compositio Mathematica126(05, 2000)

    W. Crawley-boevey,Geometry of the Moment Map for Representations of Quivers, Compositio Mathematica126(05, 2000)

    2000

  28. [28]

    Bourget, Q

    A. Bourget, Q. Lamouret, S. Moura Soys¨ uren and M. Sperling,Classifying Isolated Symplectic Singularities via 3dN= 4Coulomb Branches,2504.05373

    arXiv

  29. [29]

    Gaiotto, A

    D. Gaiotto, A. Kapustin, N. Seiberg and B. Willett,Generalized Global Symmetries,JHEP 02(2015) 172, [1412.5148]

    Pith/arXiv arXiv 2015

  30. [30]

    Hanany and A

    A. Hanany and A. Zajac,Ungauging Schemes and Coulomb Branches of Non-simply Laced Quiver Theories,2002.05716

    arXiv 2002

  31. [31]

    Braverman, M

    A. Braverman, M. Finkelberg and H. Nakajima,Coulomb branches of3dN= 4quiver gauge theories and slices in the affine Grassmannian,Adv. Theor. Math. Phys.23(2019) 75–166, [1604.03625]. – 20 –

    Pith/arXiv arXiv 2019

  32. [32]

    Bourget, J

    A. Bourget, J. F. Grimminger, A. Hanany, M. Sperling and Z. Zhong,Branes, Quivers, and the Affine Grassmannian,Adv. Stud. Pure Math.88(2023) 331–435, [2102.06190]

    arXiv 2023

  33. [33]

    Hanany and E

    A. Hanany and E. Witten,Type IIB superstrings, BPS monopoles, and three-dimensional gauge dynamics,Nucl. Phys.B492(1997) 152–190, [hep-th/9611230]

    Pith/arXiv arXiv 1997

  34. [34]

    Hanany, G

    A. Hanany, G. Kumaran, C. Li, D. Liu and M. Sperling,Actions on the quiver – Discrete quotients on the Coulomb branch,2311.02773. – 21 –

    arXiv