Quotient Quiver Subtraction -- Classical Groups

This paper extends the quotient quiver subtraction prescription to classical groups ($\mathrm{Sp}(n)$ and $\mathrm{SO}(n)$) using Type IIB brane constructions with $\mathrm{O5}$ planes, introducing modified graph transformations beyond simple subtraction to gauge Coulomb branch isometry subgroups and provide alternative constructions for the Higgs branches of certain higher-dimensional SCFTs.

The Gist

Imagine you are an architect designing a massive, intricate city made of mathematical blocks. This city represents the "Coulomb branch" of a quantum physics theory—a complex landscape where particles interact in mysterious ways.

For a long time, physicists knew how to modify this city if they wanted to add a specific type of building block (a symmetry group called SU(n)). They had a simple recipe: "Take this specific shape of blocks, subtract it from the city, and the city reshapes itself perfectly." This was called Quotient Quiver Subtraction.

However, there were other types of blocks in the universe—specifically Sp(n) and SO(n) groups (think of them as the "Special Orthogonal" and "Symplectic" families). These blocks are trickier. They don't just fit into the city; they twist it, fold it, or change the very rules of how the blocks connect. Until now, there was no simple recipe to handle them.

This paper is the new Instruction Manual for modifying the city with these tricky blocks.

The Core Idea: The "Subtraction" and the "Twist"

The authors, Sam Bennett, Amihay Hanany, and Guhesh Kumaran, discovered that to handle these new blocks, you can't just do a simple subtraction. You have to do a Subtraction + A Transformation.

Here is the analogy:

1. The City (The Quiver): Imagine your city is a long street of houses, where each house has a number on it (1, 2, 3, 4...). This street represents the "long leg" of the theory.
2. The Goal: You want to "gauge" a symmetry. In plain English, this means you want to force a specific group of neighbors to work together as a single unit, changing the nature of the whole street.
3. The Old Method (Unitary/SU): If you wanted to group neighbors 1 through 4, you would just erase houses 1, 2, and 3. The street would shorten, and the remaining house (4) would stay the same. Simple.
4. The New Method (Orthogonal/Symplectic):
   • Step 1: The Subtraction. You still erase the first few houses (1, 2, 3...).
   • Step 2: The Transformation (The Twist). But here is the catch: The house that remains (the one at the end of the erased section) doesn't just sit there. It gets shrunken or split.
     • Sometimes, a big house (U(4)) gets split into two smaller houses (U(2) and U(2)).
     • Sometimes, the road connecting the houses gets "double-parked" or twisted (changing from a single lane to a double lane, or adding a special "non-simple" connection).
     • Sometimes, the house itself gets cut in half size.

The paper provides the exact rules for how to twist the city depending on whether you are dealing with Sp(n) (Symplectic) or SO(n) (Orthogonal) groups.

The Magic Tool: The Brane Construction

How did they figure this out? They didn't just guess; they used a visual tool from string theory called Type IIB Brane Systems.

Imagine the mathematical city is actually a 3D sculpture made of:

• Strings (D3 branes): Like horizontal wires.
• Poles (NS5 branes): Like vertical poles holding the wires.
• Mirrors (Orientifold planes): Special mirrors (O5 and ON planes) that reflect the wires.

When you move these wires and poles around in the presence of these mirrors, the mathematical "city" (the quiver) changes shape. By watching how the wires behave when they hit a mirror, the authors could deduce the rules for the "Subtraction + Twist."

• The O5 Plane: Acts like a mirror that turns a standard group of neighbors into an SO (Orthogonal) group.
• The ON Plane: Acts like a mirror that splits the city into a fork (like the letter Y), creating a Sp (Symplectic) group.

Why Does This Matter?

You might ask, "Who cares about shrinking houses in a mathematical city?"

1. Solving 4D Puzzles: These 3D cities are actually "shadows" or "mirrors" of real 4D theories (the kind of physics that might describe our universe). By understanding how to modify the 3D city, they can solve puzzles about 4D theories that were previously impossible to crack.
2. New Dualities: They found that two completely different-looking theories are actually the same thing in disguise. For example, they showed that a complex theory involving an E8 symmetry (a very large, complex mathematical shape) is actually the same as a simpler theory involving Sp(2) and SO(11).
3. A Complete Toolkit: Before this, physicists had a toolkit with only one type of wrench (for SU groups). Now, they have a full set of wrenches, screwdrivers, and pliers (for Sp and SO groups). They can now take apart and rebuild almost any classical symmetry in these theories.

The "Half-Hypermultiplet" Surprise

In Section 7, they tackle a particularly weird case: adding a "half" of a particle (a half-hypermultiplet).

• Analogy: Imagine trying to build a wall with half a brick. It sounds impossible because the wall would be unstable (a "Witten anomaly").
• The Fix: The authors show that if you do the "Subtraction + Twist" correctly, the instability cancels out, and you end up with a stable, new structure. This allows them to construct new types of mathematical spaces that were previously thought to be unreachable.

Summary

Think of this paper as the Rosetta Stone for twisting mathematical cities.

• Before: We knew how to cut a straight line of blocks.
• Now: We know how to cut a line of blocks, split the remaining piece, twist the connections, and fold the map, all while ensuring the resulting structure is stable and beautiful.

This allows physicists to explore new "neighborhoods" in the landscape of the universe, revealing hidden connections between different theories and providing a clearer picture of how the fundamental forces of nature might be woven together.

Technical Summary

Here is a detailed technical summary of the paper "Quotient Quiver Subtraction – Classical Groups" by Bennett, Hanany, and Kumaran.

1. Problem Statement

The paper addresses the challenge of gauging global symmetry subgroups of the Coulomb branch in 3d $\mathcal{N}=4$ quiver gauge theories. Specifically, it seeks to extend the existing combinatorial algorithm known as Quotient Quiver Subtraction (previously established for $SU(n)$ and certain orthosymplectic cases) to cover Classical Lie Groups of types $B$, $C$, and $D$ ($SO(n)$ and $Sp(n)$).

• Context: Gauging a global symmetry subgroup $G$ of a theory's moduli space is equivalent to performing a hyper-Kähler quotient. In the context of magnetic quivers (which describe Higgs branches of higher-dimensional theories via 3d Coulomb branches), this operation corresponds to modifying the quiver diagram.
• The Gap: While algorithms existed for unitary groups ($SU(n)$) and specific framed orthosymplectic cases, a systematic, combinatorial prescription for gauging $Sp(n)$, $SO(2n)$, and $SO(2n+1)$ subgroups in unitary quivers was missing.
• Motivation: This is crucial for studying Higgs branches of 4d, 5d, and 6d SCFTs with eight supercharges, where direct Lagrangian descriptions may not exist, but magnetic quivers provide a robust description.

2. Methodology

The authors employ Type IIB brane constructions involving D3, D5, and NS5 branes in the presence of Orientifold planes ($O5$, $\tilde{O5}$, $O5^+$, $\tilde{O5}^-$, and their S-duals $ON$ planes).

• Brane Setup:
  • Electric Phase: A $U(N)$ SQCD with $2N+k$flavors is modified by introducing an orientifold plane to gauge an$Sp(n)$or$SO(n)$ subgroup of the flavor symmetry.
  • Magnetic Phase: The 3d mirror theory is analyzed. By comparing the magnetic quiver of the original SQCD (before gauging) with the magnetic quiver of the gauged theory (derived via S-duality and brane creation), the authors deduce the combinatorial changes required in the quiver.
• The Algorithm (Quotient Quiver Subtraction):
  The procedure involves three main steps applied to a target unitary quiver with a "long leg" of gauge nodes (typically a chain $U(1)-U(2)-\dots-U(2n)-U(j)$):
  1. Subtraction: Align the specific "quotient quiver" (representing the group being gauged) against the long leg of the target quiver and subtract the ranks of the nodes. This removes the nodes $U(1)$ through $U(2n)$ (or $U(2n-1)$ depending on the group), leaving a residual node.
  2. Splitting (Specific to $Sp(n)$): For $Sp(n)$ gauging, the remaining node $U(j)$ is split into two nodes $U(\lceil j/2 \rceil)$ and $U(\lfloor j/2 \rfloor)$. This operation mimics the effect of an $ON^0$ plane.
  3. Lacing (Specific to $SO(n)$): For $SO(2n)$ and $SO(2n+1)$ gauging, the edges connected to the remaining node acquire non-simply laced connections (double bonds), transforming the quiver graph type from simply laced (Type A) to non-simply laced (Type D or B/C).
• Verification: The results are verified using Weyl Integration on the refined Hilbert Series. The authors compute the Hilbert series of the original moduli space, perform the integration over the gauged group's Weyl group, and confirm it matches the Hilbert series of the resulting magnetic quiver.

3. Key Contributions

A. Extension to Classical Groups

The paper provides explicit combinatorial rules for:

1. $Sp(n)$ Gauging: Requires a leg up to $U(2n)$. The operation involves subtraction followed by a "splitting" of the residual node. The resulting quiver retains a simply-laced structure but with a bifurcation.
2. $SO(2n)$ Gauging: Requires a leg up to $U(2n)$. The operation involves subtraction followed by "lacing" (doubling the edges) of the residual node, changing the graph to Type D.
3. $SO(2n+1)$ Gauging: Requires a leg up to $U(2n+1)$. Similar to $SO(2n)$, but results in a Type B graph structure (short root at the end).
4. $Sp(n) + \frac{1}{2}$ Hypermultiplet: A novel case involving a half-hypermultiplet coupled to the $Sp(n)$ group. This requires a specific modification where the residual node's rank is halved ($U(2n) \to U(n)$) and lacing is applied.

B. New Constructions of Moduli Spaces

The authors apply these algorithms to construct magnetic quivers for complex moduli spaces that were previously difficult to access:

• $min.E_8 /// Sp(2)$: Constructed a magnetic quiver for the Coulomb branch of a theory dual to the Higgs branch of the rank-1 $E_8$ SCFT coupled to $Sp(2)$ flavor symmetry. This confirms a duality proposed in previous literature [19].
• $(min.E_6 \times H_{12}) /// Sp(2)$: Provided a magnetic quiver for the Higgs branch of a 4d $\mathcal{N}=2$ theory involving $E_6$ coupled to free hypers, verifying a duality with an $SU(4)$ gauge theory.
• Exceptional Minus Quotients: Constructed magnetic quivers for $min.F_4 /// SO(2)$, $min.E_7 /// SO(4)$, $min.E_8 /// SO(4)$, $min.E_6 /// SO(3)$, and $min.F_4 /// SO(3)$. These often result in non-simply laced quivers with specific Hasse diagrams.

C. Resolution of Anomalies and Dualities

• The paper clarifies the role of discrete symmetries (like $O(1) \simeq \mathbb{Z}_2$) in the context of spinor representations and Witten anomalies.
• It demonstrates how quotient quiver subtraction can be used to derive magnetic quivers for rank-3 4d $\mathcal{N}=2$ theories, extending previous work on rank-1 and rank-2 theories.

4. Results

• Algorithmic Success: The subtraction rules successfully reproduce the Hilbert series and Hasse diagrams of the expected moduli spaces, confirming the validity of the combinatorial approach for classical groups.
• Graph Transformation: The paper establishes that gauging $Sp(n)$ and $SO(n)$ in unitary quivers fundamentally changes the graph topology:
  • $Sp(n) \to$ Splitting (Bifurcation).
  • $SO(n) \to$ Non-simply laced edges (Type D/B/C).
• Dimensional Reduction: The change in the quaternionic dimension of the moduli space is calculated and matches the expected reduction $\Delta \dim = \dim(G)$ (for complete Higgsing), providing a consistency check.
• Specific Examples:
  • The moduli space $min.E_8 /// Sp(2)$ is identified as having $SO(11)$ global symmetry.
  • The moduli space $min.E_6 /// SO(3)$ is shown to be related to the folding of $min.F_4$, illustrating the commutation of quotient subtraction with discrete folding operations.

5. Significance

• Unification of Techniques: This work completes the family of quotient quiver subtraction prescriptions for all classical groups in unitary quivers, providing a unified toolkit for studying 3d $\mathcal{N}=4$ theories and their higher-dimensional cousins.
• Access to Non-Lagrangian Physics: By providing a purely combinatorial method to derive magnetic quivers, the paper allows physicists to study the Higgs branches of 4d/5d/6d SCFTs that lack a known Lagrangian description.
• Duality Verification: The method serves as a powerful independent check for proposed dualities in 4d $\mathcal{N}=2$ theories, particularly those involving exceptional groups and flavor symmetry gauging.
• Future Directions: The paper lays the groundwork for extending these techniques to exceptional groups (like $G_2$) and exploring gauging in the presence of other orientifold planes ($O3$, $ON$), which could lead to algorithms for gauging product symmetries and non-simply laced orthosymplectic quivers.

In summary, the paper successfully generalizes the "quotient quiver subtraction" technique from unitary groups to classical orthogonal and symplectic groups, using Type IIB brane physics to derive precise combinatorial rules that transform unitary quivers into non-simply laced or bifurcated quivers, thereby unlocking new descriptions of complex moduli spaces in supersymmetric gauge theories.