⚛️ high-energy theory

New symplectic singularities from $SU(2)$ gauge theories

This paper identifies new isolated symplectic singularities arising as Higgs branches of specific $\mathrm{SU}(2)$ gauge theories with eight supercharges, which generalize known constructions to realize the $A_3$ , $E_6$ , $E_7$ , and $E_8$ Klein singularities as hyper-Kähler quotients.

Original authors: Amihay Hanany, Guhesh Kumaran, Deshuo Liu, Travis Schedler

Published 2026-08-11

📖 5 min read🧠 Deep dive

CC BY 4.0

Original authors: Amihay Hanany, Guhesh Kumaran, Deshuo Liu, Travis Schedler

Original paper licensed under CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ This is an AI-generated explanation of the paper below. It is not written or endorsed by the authors. For technical accuracy, refer to the original paper. Read full disclaimer

Imagine the universe as a giant, invisible Lego set. Physicists who study the very smallest scales of reality don't just look at the individual bricks; they want to understand the shapes the bricks can build when they snap together. In a specific corner of theoretical physics called "gauge theory," these shapes are called "moduli spaces." Think of them as the possible landscapes a system of particles can settle into when it's at rest. Some of these landscapes are smooth and flat, like a calm lake. Others are jagged, with sharp points or weird twists, known as "singularities."

Why do we care about these jagged points? Because in the world of quantum physics, these sharp corners often hide the most interesting secrets. They are like the "glitch spots" in the universe's code where new rules might apply. For decades, mathematicians and physicists have been trying to map out every possible shape these landscapes can take. They've found some familiar shapes, like the ones named after the ancient Greek letters A, D, and E (the "Klein singularities"), which show up in everything from string theory to the behavior of instantons (tiny, fleeting particles). But the map isn't finished. There are still mysterious, uncharted territories where the rules of geometry get weird, and finding new shapes there helps us understand the fundamental building blocks of reality.

This paper is a treasure hunt for exactly those missing shapes. The authors, a team of physicists and mathematicians, are exploring a specific type of theoretical machine built from "Sp(1)" or "SU(2)" gauge theories. You can think of these machines as simple engines with a few specific parts: a certain number of basic building blocks (called "fundamental half-hypermultiplets") and one special, more complex block (called a "Symk" representation). By tweaking the size of that special block (changing a number called $k$ ), they are trying to see what kind of landscape the machine creates.

The team discovers that when they set the special block to specific sizes—specifically $k = 1, 3, 5,$ or $7$—the machine doesn't just make a smooth lake or a known jagged mountain. Instead, it creates a brand new, isolated "symplectic singularity." These are rare, self-contained shapes that stand alone, unlike most singularities which are just parts of a bigger, messier landscape. The authors show that for $k=1$ and $k=3$ , they are recreating shapes that were already known to mathematicians (the "Kraft–Procesi" constructions). However, for $k=5$ and $k=7$ , they have found two entirely new families of shapes, which they whimsically name "hSO(N)" and "iSO(N)."

The paper is very careful to distinguish between what is proven and what is suggested. The authors argue that these specific values of $k$ are the only ones that produce these isolated, standalone shapes. They prove this by showing that if you try to use any other size for the special block, the machine doesn't break down into a single sharp point; instead, it breaks into a continuous line or a more complex structure, meaning it's not an "isolated" singularity. They also address a potential hiccup: for some combinations of numbers, the theory has a "Witten anomaly," which is like a glitch in the machine's logic that usually makes it unphysical. The authors argue that even with this glitch, the mathematical shape (the moduli space) still exists and is interesting, even if the physical machine might be slightly broken.

One of the most exciting findings is that these new machines can build the most famous "Klein singularities" (the A3, E6, and E8 shapes) in a completely new way. Previously, these shapes were thought to be built using a specific type of "affine quiver" (a complex network of connections). This paper shows you can build them instead using a much simpler "hyper-Kähler quotient" method, which is like taking a big, empty room (an 8-dimensional space) and folding it up using a simple symmetry rule. This provides a fresh, complementary perspective on these famous shapes.

The authors also look at what happens if you take these new shapes and apply a "Z2" twist (a simple flip or mirror operation). They find that for one specific case, this twist turns the E6 shape into the E7 shape, another famous singularity. This suggests a deep, hidden connection between these different geometric worlds. While the paper provides strong mathematical evidence and computes detailed "Hilbert series" (which act like a fingerprint or a DNA test for these shapes) to confirm their findings, they admit that finding the "magnetic quiver" (the mirror image of their machine) for the new shapes is still an open puzzle. They suggest that these new shapes might require even stranger types of gauge groups or matter to be fully understood from the other side of the mirror.

In short, this paper doesn't just find a new shape; it builds a new factory to make them. It proves that by tweaking a simple parameter in a specific type of gauge theory, you can generate a whole new family of isolated geometric wonders, including some that were previously unknown. It confirms that these are the only such shapes of this type, and it offers a fresh, simpler way to construct the most legendary shapes in mathematics, bridging the gap between abstract geometry and the theoretical machinery of the universe.

=== DRAFT ===
=== DRAFT ===
Technical Summary: New Symplectic Singularities from SU(2) Gauge Theories

Problem and Motivation
The moduli spaces of vacua in 3d $\mathcal{N}=4$ supersymmetric gauge theories are hyper-Kähler cones, many of which are symplectic singularities. These spaces are stratified by symplectic leaves, and the structure of these leaves is encoded in Hasse diagrams. A specific class of interest is "isolated conical symplectic singularities" (ICSS), which possess only two symplectic leaves: a singular point and its smooth complement. These serve as fundamental building blocks for more complex singularities.

Previous work [1] utilized "magnetic quivers" (Coulomb branch constructions) and a "decay and fission" algorithm to identify a one-parameter family of isolated singularities, denoted $gSO(N)$ (split into $gdn$ for even $N$ and $gbn$ for odd $N$ ). However, magnetic quivers for these singularities often involve non-simply laced edges, which preclude the direct computation of Higgs branch Hilbert series. Furthermore, the classification of ICSS via magnetic quivers was argued to be exhaustive for unitary gauge groups, suggesting that new families might only be accessible via "electric" (Higgs branch) constructions. This paper investigates whether new families of isolated symplectic singularities can be realized as Higgs branches of $Sp(1) \simeq SU(2)$ gauge theories with specific matter content.

Methodology
The authors employ a multi-faceted approach combining geometric construction, gauge theory analysis, and computational algebra:

Chain Polymerisation: The paper begins by reconstructing the known $gSO(N)$ singularities using "chain polymerisation" [9] on magnetic quivers of free fields. This technique involves taking a hyper-Kähler quotient of the product of two free field moduli spaces by a diagonal $Sp(1)$ symmetry. This process yields an explicit "electric quiver" description for $gSO(N)$ involving an $Sp(1)$ gauge group, $N$ fundamental half-hypermultiplets, and one half-hypermultiplet in the $Sym_3$ representation.
Generalization to $Sym_k$ Matter: The electric quiver is generalized by replacing the $Sym_3$ matter with $Sym_k$ matter for integers $k \geq 1$ . The flavor symmetry $F$ is $O(1)$ for odd $k$ and $Sp(1)$ for even $k$ .
Higgs Mechanism Analysis: To determine which values of $k$ yield isolated symplectic singularities, the authors analyze the Higgs mechanism. An isolated singularity requires that the $Sp(1)$ gauge group breaks only to the trivial group. If the gauge group breaks to a continuous subgroup (e.g., $U(1)$ ) or a non-minimal discrete subgroup, the resulting moduli space is not an ICSS. The authors perform branching rule analyses for $Sp(1) \to Pin(2) \to U(1)$ and $Sp(1) \to \Gamma_{ADE}$ to test the mass acquisition of W-bosons and the existence of necessary vacuum expectation values (VEVs).
Computational Verification: For the candidate theories, the authors compute the Higgs branch Hilbert series and Highest Weight Generating (HWG) functions using Weyl integration on the electric quivers. They also compute the Coulomb branch Hilbert series using the monopole formula to identify candidate symplectic duals.

Key Contributions and Results

Identification of New Families: The analysis of the Higgs mechanism reveals that only specific values of $k$ produce isolated conical symplectic singularities. The cases $k=1$ and $k=3$ reproduce known constructions: $k=1$ corresponds to the minimal nilpotent orbit closures of $SO(N+1)$, while $k=3$ reproduces the known $gSO(N)$ family. The cases $k=5$ and $k=7$ yield two previously unknown families of isolated singularities. These are named $hSO(N)$ and $iSO(N)$, respectively.
Realization of Klein Singularities: The paper identifies the one-dimensional members (quaternionic dimension 1) of these families, which correspond to the famous Klein singularities:
- $gSO(2) \simeq A_3$ (Klein $A_3$ ).
- $hSO(1) \simeq E_6$ (Klein $E_6$ ).
- $iSO(0) \simeq E_8$ (Klein $E_8$ ).
- Additionally, the $Z_2$ quotient of the $hSO(1)$ theory yields the Klein $E_7$ singularity.
- These results provide novel hyper-Kähler quotient constructions of these Klein singularities as Higgs branches of $Sp(1)$ gauge theories, complementing Kronheimer's construction using affine quivers [2].
Hilbert Series and HWGs: Explicit unrefined Hilbert series and HWGs are computed for the $gSO(N)$, $hSO(N)$, and $iSO(N)$ families.
- For $hSO(N)$ and $iSO(N)$, the HWGs are complex, often expressed as a polynomial multiplied by a Plethystic Exponential (PE) of another polynomial.
- The paper notes that for $k=7$ ($iSO(N)$), the computation of refined series is computationally challenging due to the handling of seventh roots of unity.
Coulomb Branch Analysis: The Coulomb branches of these electric quivers are computed. For anomaly-free cases (where the parity anomaly parameter $\delta(k, N)$ is even), the Coulomb branches are identified as Klein $D$ -type singularities ( $D_{\delta/2+2}$ ). In anomalous cases (odd $\delta$ ), the Hilbert series suggests a formal $Z_2$ cover of a Klein singularity, though the authors clarify this is a statement at the level of the Hilbert series and does not necessarily correspond to a normal homogeneous branched cover.
Anomaly Considerations: The paper addresses Witten anomalies. For odd $N$ with $Sym_k$ matter where $k \equiv 3 \pmod 4$ , the electric quiver suffers a Witten anomaly. However, the authors argue that the moduli space itself remains a well-defined isolated symplectic singularity and can appear in the Hasse diagram of non-anomalous theories, even if the specific electric quiver description is anomalous.

Significance
The paper claims to provide a new classification of isolated symplectic singularities arising from $Sp(1)$ gauge theories. By demonstrating that $k=5$ and $k=7$ yield new families ($hSO(N)$ and $iSO(N)$), the work expands the known landscape of transverse slices in symplectic singularity theory.

A primary significance lies in the realization of the exceptional Klein singularities ( $E_6, E_7, E_8$ ) as Higgs branches of simple $Sp(1)$ gauge theories. This offers a "lift" of the standard definition (discrete group quotients of $\mathbb{C}^2$ ) to a gauge theory context where the discrete group action is encoded in the matter representations of the $Sp(1)$ theory acting on $\mathbb{C}^8$ . This construction is presented as complementary to the affine quiver constructions of Kronheimer.

The authors conclude that these theories are "minimal" in the sense that they Higgs to a trivial theory, making them fundamental building blocks. They also highlight the utility of electric quivers in computing Hilbert series for singularities where magnetic quivers fail due to non-simply laced edges. Finally, the paper identifies the lack of known magnetic quivers for $hSO(N)$ and $iSO(N)$ as an open problem, suggesting these singularities may require magnetic quivers with orthosymplectic or exceptional gauge groups, or more exotic matter representations, lying outside the class of unitary quivers previously studied.

More like this