Quiver Subtraction: Operations in 3d N=4 Gauge Theories
- Quiver subtraction is a diagrammatic operation on 3d N=4 quiver gauge theories that subtracts nested unitary quivers to yield transverse slices of moduli spaces.
- It formalizes transitions such as Kraft–Procesi and quotient subtraction, enabling analysis of singularities, hyper-Kähler quotients, and infinite-coupling effects.
- Extensions include orthosymplectic and classical-group variants as well as Higgs-branch subtraction, enriching the study of moduli space strata and global symmetry.
Quiver subtraction denotes a family of diagrammatic operations on quiver gauge theories, developed primarily for moduli spaces. In the foundational construction, one starts from nested unitary quivers and with , defines a subtraction quiver by nodewise rank subtraction, and interprets as the transverse slice to inside . Physically, this describes singular loci where extra massless states appear and identifies the Higgs factor opening there (Cabrera et al., 2018). Subsequent work generalized the idea in several directions: quotient quiver subtraction for Coulomb-branch hyper-Kähler quotients, orthosymplectic and classical-group variants, and a distinct Higgs-branch subtraction algorithm for simply-laced unitary quivers with loops (Hanany et al., 2023, Bennett et al., 2024, Bennett et al., 25 Mar 2025, Bennett et al., 9 Mar 2026, Bennett et al., 2024).
1. Formal definition and local geometric meaning
The original definition applies to two unitary quivers and with the same number of gauge nodes, the same connectivity, and an inclusion
0
The defining conditions are as follows (Cabrera et al., 2018).
- Gauge ranks: the gauge-node ranks of 1 equal those of 2, except on a connected subset where the ranks are strictly smaller.
- Flavor data: the flavor nodes of 3 agree with those of 4, except that nodes adjacent to the lowered ranks acquire extra flavor so that the quiver remains admissible.
- Nontrivial support: at least one flavor is attached to a node where 5 has larger rank than 6.
The subtraction quiver 7 is then defined on the same underlying graph, with gauge ranks
8
and with flavor nodes inherited from 9. The paper’s explicit example is
0
so that
1
Its Coulomb branch is
2
the closure of the minimal nilpotent orbit of 3, equivalently the 4 Kleinian singularity.
The geometric interpretation is local. If 5 is a singular subvariety of 6, the conjectural statement is that
7
Near a point 8, one has smooth-equivalence of singularity structure in the form
9
The corresponding mixed branch is written as
0
In this sense, quiver subtraction turns a local singularity problem on 1 into a new quiver whose Coulomb branch records the transverse Higgs physics.
2. Kraft–Procesi transitions, nilpotent orbits, and infinite-coupling physics
A principal motivation for quiver subtraction is the analysis of theories with eight supercharges at infinite coupling. In 2, 3 has dimensions of mass, and taking 4 can produce new massless states, enlarge the Higgs branch, and enhance global symmetry. In 5, 6 has the scale of a string tension, and infinite coupling can produce tensionless strings; in the small 7 instanton transition, the Higgs branch dimension can jump by 8 (Cabrera et al., 2018). The central premise is that the Higgs branch at infinite coupling is often described by the Coulomb branch of a 9 quiver, so subtraction becomes a tool for identifying the new local sector.
The construction reformulates Kraft–Procesi transitions as quiver operations. For 0, the paper considers
1
and finds that 2 has
3
reproducing the transverse slice from 4 to 5. The same logic extends from the classical Lie algebras to exceptional cases. In 6, if 7 has 8 and 9 has 0, then 1 satisfies
2
The paper also emphasizes that the formalism reaches non-special nilpotent orbits, at least for the height-3 cases studied.
A separate application concerns integrating out a massive quark in 4 SQCD while keeping the gauge coupling infinite. For
5
the subtraction 6 is defined after padding with zero-rank nodes where needed and decoupling a 7 if necessary. The resulting Coulomb branch is
8
Because the slice is smooth rather than singular, no extra massless hypermultiplets appear and no new Higgs branch opens at that step. In the paper’s formulation, quiver subtraction therefore distinguishes singular transitions, which produce emergent Higgs factors, from smooth deformations, which do not.
3. Quotient quiver subtraction and Coulomb-branch hyper-Kähler quotients
A later development replaced the transverse-slice viewpoint by a direct diagrammatic realization of Coulomb-branch gauging. In quotient quiver subtraction, one computes an 9 hyper-Kähler quotient of a Coulomb branch by subtracting a special auxiliary quiver from a target unitary magnetic quiver (Hanany et al., 2023). The field-theoretic benchmark is the Weyl-integration formula
0
When gauging is complete,
1
where 2 denotes quaternionic dimension.
The subtraction object is the quotient quiver
3
described in the paper as the 4 quotient quiver. It is bad in the Gaiotto–Witten sense because its central node has balance 5, so the monopole formula is not well-defined for its Coulomb branch as a standalone theory. This is a formal subtraction object rather than a physical target theory. The target quiver, by contrast, must be good or ugly, and the subtraction is constrained by explicit selection rules: long framing, an external leg 6, subtraction only along single-laced edges, a junction rule requiring alignment with a rank-7 node if the quotient passes a junction, survival of nodes carrying adjoint hypers, and nonnegative resulting ranks after rebalancing.
The conceptual workflow is: unframe the target quiver, identify an external leg matching 8, overlay the quotient quiver, subtract node by node, rebalance surviving nodes by attaching appropriate flavors, and interpret disconnected outputs as Cartesian products. A notable feature is that the answer need not be a single quiver. If several valid alignments exist, the hyper-Kähler quotient is the union of the corresponding Coulomb branches,
9
with Hilbert series computed by inclusion–exclusion. The paper states that quotient subtraction and Kraft–Procesi subtraction do not generally commute, while quotient subtraction often commutes with folding and often commutes with discrete gauging in the examples considered.
The method was tested on free-field moduli spaces, nilpotent orbit closures of types 0 and exceptional type, Slodowy slices, intersections, and affine Grassmannian slices. For example, the paper conjectures
1
checked for 2, and
3
checked for 4. These examples established quotient quiver subtraction as a distinct operation from Kraft–Procesi subtraction: it is designed to implement gauging rather than to describe adjacent symplectic-leaf transitions.
4. Orthosymplectic and classical-group generalizations
The unitary 5 construction was extended in several non-equivalent directions. For unframed orthosymplectic quivers, orthosymplectic quotient quiver subtraction gauges a subgroup of the IR Coulomb-branch global symmetry by subtracting a specially constructed orthosymplectic quotient quiver (Bennett et al., 2024). The quotient quivers found in that work correspond to
6
The algorithm requires alignment against a maximal leg, with 7-type nodes aligned with 8-type nodes and 9-type nodes aligned with 0-type nodes, followed by nodewise subtraction, positivity of the resulting ranks, nonnegative imbalance, and rebalancing only the nodes not participating in the subtraction, always by adding a 1 node. If the quotient quiver extends one node past a junction, the result is the union of all possible alignments.
For framed orthosymplectic quivers, a different procedure was introduced under the name orthosymplectic quotient quiver subtraction (Bennett et al., 25 Mar 2025). Here the quotient quivers are identified with magnetic quivers for class 2 theories on cylinders with maximal punctures: 3 The subtraction algorithm aligns the quotient quiver with a long leg beginning with a balanced maximal chain, subtracts ranks node by node, reevaluates the gauge-node types after subtraction, rebalances using flavor nodes, and, if the quotient extends one node past a junction, takes the union of the resulting cones. A distinctive feature is Lie-type conversion under subtraction: 4 The paper explicitly states that framed and unframed orthosymplectic subtraction are different procedures: framed orthosymplectic quivers do not admit the unitary-style overall 5 shift, the framed quotient quivers have rank exactly 6, and rebalancing is done with flavors rather than a 7 gauge node.
A further extension addresses classical groups acting on unitary magnetic quivers through Type IIB constructions with 8 planes (Bennett et al., 9 Mar 2026). In this setting, quotient quiver subtraction is no longer solely subtraction; one must also change the graph type.
| Gauged subgroup | Quotient quiver tail | Additional post-subtraction step |
|---|---|---|
| 9 | 0 | split 1 into 2 and 3 |
| 4 | 5 | all edges attached to 6 become doubly laced |
| 7 | 8 | all edges attached to 9 become doubly laced |
| 00 | 01 | surviving 02 is halved to 03, with doubly laced attached edges |
For 04, the total rank of the quotient quiver is
05
and no extra rebalancing node is needed. For 06, the total rank matches
07
while for 08 it matches
09
For 10, the procedure combines subtraction with rank halving and lacing change. The physical backbone of these rules is the Type IIB brane system with orientifold 5-planes: 11 yields 12, 13 yields 14, 15 yields 16, and 17 yields 18 with a half-hyper.
5. Higgs-branch subtraction, minimal transitions, and global data
A distinct development introduced quiver subtraction on the Higgs branch for simply-laced unitary 19 quivers with loops (Bennett et al., 2024). The target theories have gauge group
20
with bifundamental edges and adjoint loops only. The purpose is to reconstruct the Hasse diagram of Higgs-branch strata and the associated minimal transverse slices directly from the quiver. In this setting, a Higgs-branch leaf corresponds to a partially Higgsed residual theory, and the slice between two leaves is the Higgs branch of a transverse quiver.
The algorithm classifies all minimal Higgsing transitions by three local rules.
The first rule is adjoint Higgsing on a single node: 21 If 22, the reduced normalizer is 23, and the slice is
24
If 25, the slice is the non-normal variety 26, whose normalization is 27.
The second rule is bifundamental Higgsing between two nodes: 28 with 29. The transverse slice is the Kleinian singularity
30
The paper stresses that loops constrain minimality: if the higher-rank node has loops, Rule 2 is not minimal and Rule 1 must be applied first; if the lower-rank node has loops, Rule 2 is minimal only for the maximal subtraction 31.
The third rule is affine 32 Higgsing. If the quiver contains 33 copies of a minimal balanced affine 34 quiver 35, one may subtract 36 copies,
37
where
38
The transverse slice is the corresponding affine 39 quiver, hence the 40 Kleinian singularity. Again, loops can obstruct minimality: if a node with dual Coxeter label 41 carries loops, Rule 3 is not minimal and Rule 1 must precede it.
A major feature of this Higgs-branch algorithm is sensitivity to global data. The local rules alone do not determine the effective slice in general, because monodromy around a leaf may act nontrivially on the slice. This is encoded by decorations on quivers. A decorated subquiver records a nontrivial global identification; for example, the paper states that in an 42 example the local slice is 43, but the global decoration induces an 44 identification, changing the effective slice to 45. The same decorated data determine the Namikawa–Weyl group
46
where the product runs over all quaternionic 47-dimensional top slices in the Hasse diagram.
One of the paper’s principal conclusions is that for simply-laced unitary quiver gauge theories, the Coulomb-branch global symmetry can only be of type
48
and not 49 or 50. The stated reason is that the folded quivers that would produce 51 or 52 require decorations on multiple nodes or legs in a way that cannot arise from the single-node decoration mechanism available in the subtraction procedure.
6. Related notions: full subquivers, deletion, and mutation-theoretic reduction
Outside the 53 gauge-theory literature, subtraction-like language usually refers not to hyper-Kähler quotients or transverse slices, but to full subquivers and vertex deletion. These operations are related in spirit, because they isolate a controlled difference between quivers, but they are not the same formal construction.
In cluster-theoretic mutation theory, a relevant theorem states that every finite acyclic quiver is a full subquiver of a quiver mutation equivalent to a bipartite quiver (Lee, 2013). A quiver is written as
54
and a full subquiver on 55 retains all arrows 56 with 57. The proof starts from a finite acyclic quiver 58, repeatedly adds a vertex 59 on an arrow 60 not lying on a maximal path, inserts arrows
61
mutates at 62, and then mutates repeatedly at all sources until every maximal oriented path has length 63, so the resulting quiver is bipartite. The original quiver persists as a full subquiver throughout. This gives a deletion-based realization of an arbitrary finite acyclic quiver inside a more structured mutation class.
A second deletion-based framework arises in the study of minimal mutation-infinite quivers (Lawson, 2015). There the basic relation is
64
if 65 is obtained from 66 by removing vertices and all incident arrows, equivalently if 67 is a submatrix of 68 up to simultaneous permutation of rows and columns. A minimal mutation-infinite quiver is mutation-infinite but every subquiver is mutation-finite; every such quiver has at most 69 vertices. The paper emphasizes that deletion is central both to the definition of minimality and to the proof apparatus, while mutation is a separate local transformation that preserves the number of vertices. It also notes that removing vertices commutes with mutation at unaffected vertices.
This suggests a useful terminological boundary. In gauge-theoretic usage, quiver subtraction refers to an operation that extracts a transverse slice, implements a Coulomb-branch gauging, or reconstructs a Higgs-branch stratum. In mutation theory, the closest analogues are removal of vertices, passage to full subquivers, and controlled local moves. The common theme is comparison between nested quiver data, but the geometric content depends strongly on context.