Non-Simply Laced Magnetic Quiver

• Non-simply laced magnetic quivers are 3d N=4 gauge theories that encode hyper-Kähler singularities via multiple bonds, foldings, and orthosymplectic techniques.
• They employ discrete gauging, brane-web constructions, and polymerisation methods to modify standard Coulomb-branch formulas, reflecting unequal root lengths and finite symmetric-group actions.
• These quivers bridge higher-dimensional theories by reproducing Higgs branch data and nilpotent orbit closures, offering robust tools for exploring tensionless strings and instanton transitions.

Searching arXiv for recent and foundational papers on non-simply laced magnetic quivers. A non-simply laced magnetic quiver is a 3d $\mathcal N=4$ quiver gauge theory whose Coulomb branch is used to realize a target hyper-Kähler singularity—typically a Higgs branch of a higher-dimensional theory, a nilpotent orbit closure, a Słodowy slice, or a related intersection—when the quiver data carry non-simply laced structure through multiple bonds, directed links, foldings of identical legs, wreathings or loops, or orthosymplectic replacements encoding unequal root lengths and finite symmetric-group actions. The magnetic-quiver program entered the subject through simply-laced unitary quivers for 6d $\mathcal N=(1,0)$ systems, where $\mathcal H^{6d}(P_i)=\mathcal C^{3d}(Q(P_i))$ for each phase $P_i$ (Cabrera et al., 2019). Explicit non-simply laced quivers were then developed through discrete gauging and folding (Bourget et al., 2020), orthosymplectic folding (Bourget et al., 2021), brane-web constructions with orientifolds (Akhond et al., 2021), polymerisation of Coulomb-branch symmetry (Hanany et al., 2024), and recent treatments of special pieces and mirror duality (Bennett et al., 23 Mar 2026).

1. Origins and scope

In the original magnetic-quiver formalism, a magnetic quiver is not a higher-dimensional Lagrangian but an auxiliary 3d $\mathcal N=4$ theory whose Coulomb branch reproduces the Higgs branch of a given phase of a 6d theory. The defining relation is

$$\mathcal H^{6d}(\text{phase }P_i)=\mathcal C^{3d}\bigl(Q(P_i)\bigr),$$

and the 3d Coulomb branch is interpreted as a space of dressed monopole operators (Cabrera et al., 2019). This rephrasing was introduced to treat phenomena such as tensionless strings, discrete gauging, and small $E_8$ instanton transitions in settings where a 6d low-energy Lagrangian description is unavailable.

A central historical point is that the first magnetic quivers of this type were explicitly simply-laced unitary quivers with single edges. In that setting, non-simply laced physics appeared first at the level of Coulomb-branch global symmetry rather than at the level of the quiver graph: groups such as $SO(16)$, $SO(14)$, $E_7$, $\mathcal N=(1,0)$0, and $\mathcal N=(1,0)$1 could arise from balanced-node analysis and Hilbert-series expansions even though the quiver itself remained simply-laced (Cabrera et al., 2019). This distinction remained important in later work: some moduli spaces with non-simply laced symmetry are still most naturally encoded by simply-laced magnetic quivers, whereas other problems genuinely require quivers with multiple bonds or foldings.

Subsequent developments extended the meaning of “non-simply laced magnetic quiver” in two directions. One direction makes the quiver graph itself non-simply laced through double or triple links, often obtained by folding identical legs or by orientifold constructions. The other keeps the graph simply-laced but uses orthosymplectic gauge nodes, loops, bouquets, or symmetric-group quotients so that the non-simply laced structure is carried by the magnetic lattice, the Coulomb-branch symmetry, or both (Bourget et al., 2021).

2. Defining data and Coulomb-branch technology

A quiver is non-simply laced in the standard Dynkin-theoretic sense when some edges encode roots of different length. In the magnetic-quiver literature this appears as double or triple links, usually oriented to distinguish long and short nodes. In recent work on nilpotent orbits and special pieces, such edges are interpreted as foldings of symmetric bouquets of legs, while loops encode wreathings by symmetric groups (Bennett et al., 23 Mar 2026).

The operational definition is Coulomb-branch-theoretic. For unitary nodes connected by a non-simply laced edge of multiplicity $\mathcal N=(1,0)$2, the contribution of that edge to the monopole scaling dimension is modified from the simply-laced expression to

$\mathcal N=(1,0)$3

For orthosymplectic links, the analogous expression takes the form

$\mathcal N=(1,0)$4

with additional terms when odd orthogonal nodes are present (Bourget et al., 2021). These weighted absolute-value terms are the basic algebraic signature of long and short roots in the monopole formula.

This Coulomb-branch definition is crucial because non-simply laced edges generally do not admit a standard 3d $\mathcal N=(1,0)$5 Lagrangian interpretation in terms of ordinary hypermultiplets. In the later special-piece and mirror constructions, the Coulomb branch of a non-simply laced quiver is treated as well defined—typically through monopole-formula or BFN logic—whereas the Higgs branch of the same non-simply laced quiver is not assigned a standard Lagrangian meaning and is instead accessed indirectly through a dual electric quiver, mirror symmetry, or Hasse-diagram inversion (Bennett et al., 23 Mar 2026).

The same formalism also accommodates quivers that are not graph-theoretically non-simply laced but nonetheless carry non-simply laced magnetic data. In orthosymplectic quivers, the global form of the gauge group determines a magnetic lattice that may contain integer and half-integer sectors related by a diagonal $\mathcal N=(1,0)$6, and these sectors are essential in matching Coulomb branches of exceptional or classical type (Bourget et al., 2020).

3. Construction mechanisms

A first general mechanism is discrete gauging and folding. Starting from a simply-laced quiver with a discrete graph automorphism $\mathcal N=(1,0)$7, one may gauge the automorphism to obtain a wreathed quiver whose Coulomb branch is the orbifold $\mathcal N=(1,0)$8, or one may fold to the fixed locus $\mathcal N=(1,0)$9. At the level of quivers this yields non-simply laced descendants of the standard ADE foldings

$\mathcal H^{6d}(P_i)=\mathcal C^{3d}(Q(P_i))$0

with the modified Cartan data reproduced directly in the abelianized Coulomb-branch relations (Bourget et al., 2020).

A second mechanism is orthosymplectic folding. Folding identical legs of orthosymplectic quivers can be realized in brane systems by intersecting orientifolds, producing new families of non-simply laced orthosymplectic quivers. The resulting Coulomb branches include closures of minimal nilpotent orbits of exceptional algebras and Higgs branches of 4d $\mathcal H^{6d}(P_i)=\mathcal C^{3d}(Q(P_i))$1 theories, while quiver subtraction and Kraft–Procesi transitions control the associated Hasse diagrams (Bourget et al., 2021).

A third mechanism comes from brane webs with orientifolds. Webs with O5-planes lead naturally to unitary–orthosymplectic magnetic quivers, in which the non-simply laced structure is carried by the orthogonal and symplectic gauge content rather than by explicit multiple bonds (Bourget et al., 2020). By contrast, webs with an O7$\mathcal H^{6d}(P_i)=\mathcal C^{3d}(Q(P_i))$2-plane generically produce framed non-simply-laced unitary quivers containing unitary as well as special unitary gauge nodes, together with double bonds, charge-2 fundamentals, and a distinguished node where a diagonal $\mathcal H^{6d}(P_i)=\mathcal C^{3d}(Q(P_i))$3 is ungauged (Akhond et al., 2021).

A fourth mechanism is polymerisation. Chain polymerisation superimposes two $\mathcal H^{6d}(P_i)=\mathcal C^{3d}(Q(P_i))$4 ends and amputates the rest of the matching legs, realizing a Coulomb-branch hyper-Kähler quotient

$\mathcal H^{6d}(P_i)=\mathcal C^{3d}(Q(P_i))$5

while cyclic polymerisation performs the analogous operation within a single connected quiver,

$\mathcal H^{6d}(P_i)=\mathcal C^{3d}(Q(P_i))$6

These operations generate affine $\mathcal H^{6d}(P_i)=\mathcal C^{3d}(Q(P_i))$7, twisted affine $\mathcal H^{6d}(P_i)=\mathcal C^{3d}(Q(P_i))$8, additive diagrams, and quivers with enhanced $\mathcal H^{6d}(P_i)=\mathcal C^{3d}(Q(P_i))$9, $P_i$0, or $P_i$1 Coulomb-branch symmetry, thereby turning polymerisation into a systematic source of non-simply laced magnetic quivers and non-simply laced Coulomb descendants of ADE parents (Hanany et al., 2024).

4. Ungauging schemes, magnetic lattices, and orbifolds

For flavorless unitary quivers one must remove a center-of-mass $P_i$2 when computing the Coulomb branch. In the simply-laced case all such ungauging schemes are equivalent, but this fails for a non-simply laced quiver with an edge of multiplicity $P_i$3. The key result is that ungauging on any long node produces the same Coulomb branch $P_i$4, whereas ungauging on a short node depends on the node rank (Hanany et al., 2020).

If the short node has rank $P_i$5, the GNO dual magnetic lattice is deformed so that it no longer corresponds to a Lie group, and the monopole formula does not yield a valid Coulomb branch. If the short node has rank $P_i$6, the one-dimensional magnetic lattice is rescaled and the resulting space is the orbifold

$P_i$7

This gives a concrete and unusually transparent mechanism for discrete quotients of Coulomb branches in non-simply laced theories (Hanany et al., 2020).

The phenomenon is visible in several standard examples. For minimally unbalanced $P_i$8 quivers, affine $P_i$9, affine $\mathcal N=4$0, and twisted affine $\mathcal N=4$1, long-node ungauging gives the canonical minimal-orbit or instanton moduli space, while rank-1 short-node ungauging produces $\mathcal N=4$2 or $\mathcal N=4$3 orbifolds. The resulting identifications reproduce several of the discrete actions on nilpotent orbits studied by Kostant and Brylinski; for instance,

$\mathcal N=4$4

(Hanany et al., 2020).

A related lattice-level ambiguity appears in a later mirror-symmetry example. In the non-simply laced mirror proposed for the affine closure of $\mathcal N=4$5, different choices of ungauging lead to quivers whose Coulomb branches differ by a $\mathcal N=4$6 quotient of the magnetic lattice, while their Higgs branches need not coincide. This sharpened the general lesson that, in non-simply laced magnetic quivers, ungauging is part of the defining data rather than a harmless convention (Hanany et al., 14 May 2026).

5. Representative geometries and applications

Non-simply laced magnetic quivers now occur across several classes of moduli spaces: minimal and higher nilpotent orbits, Słodowy slices and intersections, reduced instanton moduli spaces, Higgs branches of 4d rank-2 SCFTs, Higgs branches of 5d fixed points, and special pieces of nilcones. The constructions are diverse, but a small set of examples captures the present landscape.

Mechanism	Representative output	Source
Folding $\mathcal N=4$7	minimal nilpotent orbit of $\mathcal N=4$8	(Bourget et al., 2020)
Folding $\mathcal N=4$9	minimal nilpotent orbit of $$\mathcal H^{6d}(\text{phase }P_i)=\mathcal C^{3d}\bigl(Q(P_i)\bigr),$$0	(Bourget et al., 2020)
Orthosymplectic folding	minimal orbits along $$\mathcal H^{6d}(\text{phase }P_i)=\mathcal C^{3d}\bigl(Q(P_i)\bigr),$$1	(Bourget et al., 2021)
O7$$\mathcal H^{6d}(\text{phase }P_i)=\mathcal C^{3d}\bigl(Q(P_i)\bigr),$$2 brane webs	framed non-simply-laced quivers for 5d SO$$\mathcal H^{6d}(\text{phase }P_i)=\mathcal C^{3d}\bigl(Q(P_i)\bigr),$$3 with vectors	(Akhond et al., 2021)
Cyclic polymerisation of affine $$\mathcal H^{6d}(\text{phase }P_i)=\mathcal C^{3d}\bigl(Q(P_i)\bigr),$$4	height-four orbit $$\mathcal H^{6d}(\text{phase }P_i)=\mathcal C^{3d}\bigl(Q(P_i)\bigr),$$5 with $$\mathcal H^{6d}(\text{phase }P_i)=\mathcal C^{3d}\bigl(Q(P_i)\bigr),$$6 symmetry	(Hanany et al., 2024)
Loop–Lace map	special pieces for $$\mathcal H^{6d}(\text{phase }P_i)=\mathcal C^{3d}\bigl(Q(P_i)\bigr),$$7, $$\mathcal H^{6d}(\text{phase }P_i)=\mathcal C^{3d}\bigl(Q(P_i)\bigr),$$8, $$\mathcal H^{6d}(\text{phase }P_i)=\mathcal C^{3d}\bigl(Q(P_i)\bigr),$$9 with looped and folded magnetic quivers	(Bennett et al., 23 Mar 2026)
Non-simply laced mirror $E_8$0	affine closure of $E_8$1	(Hanany et al., 14 May 2026)

The polymerisation examples are especially instructive because they exhibit both quiver-level non-simply lacing and symmetry enhancement from ADE parents. A $E_8$2 cyclic polymerisation of affine $E_8$3 yields a unitary magnetic quiver whose Coulomb-branch global symmetry enhances from naive $E_8$4 to $E_8$5, and whose highest-weight generating function matches the height-four nilpotent orbit closure $E_8$6. A $E_8$7 cyclic polymerisation of affine $E_8$8 similarly produces a Coulomb branch with enhanced $E_8$9 symmetry (Hanany et al., 2024).

In the recent treatment of special pieces, loops and non-simply laced foldings are promoted from isolated tricks to systematic bookkeeping devices for canonical quotient data. Magnetic quivers for $SO(16)$0, $SO(16)$1, and $SO(16)$2 use looped nodes, bouquets, and non-simply laced edges to encode the finite symmetric-group structure of Lusztig’s canonical quotient and its Sommers–Achar subgroups. The corresponding Loop–Lace map produces simply-laced electric quivers whose Higgs branches realize the special-dual intersections (Bennett et al., 23 Mar 2026).

The 2026 mirror example adds a different application. There the proposed magnetic quiver has gauge group

$SO(16)$3

with double edges from the $SO(16)$4 node to the two ends of the $SO(16)$5 chain. Its Coulomb branch equals the Higgs branch of an electric theory obtained by gauging an $SO(16)$6 subgroup of $SO(16)$7 SQCD with $SO(16)$8 flavors, and this common space is the affine closure of $SO(16)$9 in the Fu–Liu sense (Hanany et al., 14 May 2026).

6. Relation to simply-laced theory, limitations, and current use

A common misconception is that non-simply laced physics requires a non-simply laced quiver graph. The early 6d magnetic-quiver constructions show otherwise: simply-laced unitary quivers can already realize non-simply laced global symmetry and discrete quotients on the Coulomb branch (Cabrera et al., 2019). Conversely, once explicit non-simply laced quivers are introduced, they are usually strongest as Coulomb-branch tools. Their Higgs branches often lack a standard Lagrangian description, and one typically passes to electric quivers, mirror partners, or Hasse-diagram inversion to recover Higgs-branch data (Bennett et al., 23 Mar 2026).

This asymmetry is already visible in 4d rank-2 SCFTs. The full rank-2 classification required magnetic quivers of four kinds—unitary and orthosymplectic, each in simply-laced and non-simply laced form—and showed that a purely unitary description ceases to be sufficient already at rank 2. In several cases, balance equations and Higgs-branch dimension constraints force fractional unitary ranks, whereas orthosymplectic non-simply laced quivers pass Hilbert-series and flavor-symmetry checks (Bourget et al., 2021). The same lesson reappears in 5d O7$SO(14)$0 webs, where framed non-simply-laced unitary quivers coexist with alternative O5-based orthosymplectic quivers for the same fixed point (Akhond et al., 2021).

A second limitation concerns the magnetic lattice. Non-simply laced quivers make the global form of the gauge group and the ungauging prescription materially significant. In orthosymplectic settings, diagonal $SO(14)$1 quotients can enlarge the magnetic lattice to a union of integer and half-integer sectors, and these sectors are often necessary for exact agreement with Higgs branches of 4d, 5d, and 6d theories (Bourget et al., 2020). This suggests a useful division of labor: explicit non-simply laced quivers are most robust as Coulomb-branch definitions, while Higgs-branch and duality statements are often secured by auxiliary structures such as mirror symmetry, localization, Hall–Littlewood methods, or quiver maps.

A broader mathematical backdrop precedes the magnetic-quiver literature. Quiver varieties with multiplicities produce holomorphic symplectic manifolds governed by symmetrizable, possibly non-symmetric Kac–Moody Cartan data, and their reflection functors realize Weyl groups of non-simply laced type (Yamakawa, 2010). In a different 4d $SO(14)$2 context, non-simply laced BPS quivers were constructed through outer-automorphism monodromy and folding of simply-laced parent data (Cecotti et al., 2012). These are not magnetic quivers in the 3d Coulomb-branch sense, but they supply a parallel quiver-theoretic realization of non-simply laced Lie data and helped normalize folding as a structural principle.

In current usage, “non-simply laced magnetic quiver” therefore names a family of closely related constructions rather than a single rigid format. The common core is a 3d $SO(14)$3 Coulomb-branch description in which unequal root lengths, finite group actions, or orientifold-induced asymmetries are encoded directly in the quiver, the magnetic lattice, or both.