Interplay of Generalised Symmetries and Moduli Spaces in 3d $\mathcal{N}=5$ SCFTs

This paper investigates the moduli spaces and generalized global symmetries of 3d $\mathcal{N}=5$ superconformal field theories, extending the classification of moduli spaces to include Spin, O$^-$, and Pin-type gauge groups via $\mathbb{Z}_2$ central extensions, providing a systematic method for constructing symmetry groups under discrete gauging, and analyzing symmetry categories and anomalies across various ABJ theories and superalgebra variants.

The Gist

Imagine the universe is built from tiny, vibrating strings of energy. In the world of theoretical physics, scientists study specific "snapshots" of this universe called Superconformal Field Theories (SCFTs). Think of these as different types of universes with their own unique rules for how particles interact.

This paper is a deep dive into a specific family of these universes: the 3D N=5 SCFTs. To make sense of this complex topic, let's use a few analogies.

1. The Playground: Moduli Spaces

Imagine a giant, infinite playground where you can build different structures. In physics, this playground is called the Moduli Space. It represents all the possible "shapes" or "configurations" a universe can take while still obeying its fundamental laws.

• The Paper's Goal: The authors are mapping out this playground for a specific type of universe (the N=5 kind). They want to know: "If we change the rules slightly (by 'gauging' a symmetry), does the playground look the same, or does it change shape?"

2. The Rules of the Game: Symmetries and Groups

In these universes, there are hidden rules called Symmetries.

• Zero-form symmetries are like rotating a cube; the cube looks the same, but you've changed its orientation.
• One-form symmetries are more abstract, like swapping the labels on the cube's faces without changing the cube itself.

The paper focuses on Orthosymplectic ABJ theories. Think of these as a specific brand of playground equipment. The authors are investigating what happens when you take this equipment and apply a "discrete gauging" process.

• Analogy: Imagine you have a set of Lego bricks (the theory). "Gauging" is like snapping two bricks together permanently. Sometimes, this creates a new, stable structure. Other times, it creates a wobbly mess that falls apart (an anomaly).

3. The Shape Shifters: Reflection Groups

The authors discovered that the shape of the playground (the Moduli Space) is determined by a mathematical group called a Quaternionic Reflection Group.

• The Metaphor: Imagine a kaleidoscope. The pattern you see is created by mirrors reflecting light. The "Reflection Group" is the set of rules for how those mirrors are arranged.
• The Discovery: Previously, scientists thought these mirrors were always arranged in a standard, predictable way (a "Quaternionic Reflection Group").
• The Twist: This paper found that for certain versions of the theory (using groups like Spin, O-, and Pin), the mirrors aren't just arranged normally. They are arranged in a Z2 Central Extension.
  • Simple explanation: It's like taking the standard kaleidoscope and adding a secret "ghost mirror" behind the scenes. You can't see it directly, but it changes how the light reflects, creating a slightly different, more complex pattern. The authors explicitly mapped out where these ghost mirrors are.

4. The Anomaly Detector: When Things Break

Not every attempt to "snap the bricks together" (gauging a symmetry) works. Sometimes, the universe becomes inconsistent.

• The 't Hooft Anomaly: This is like trying to build a tower on a foundation that is slightly tilted. The tower might look fine for a moment, but eventually, it collapses.
• The Paper's Contribution: The authors created a "detector" using something called the Superconformal Index (a mathematical fingerprint of the universe).
  • If the fingerprint looks weird (e.g., it has "half-integer" numbers where it should have whole numbers), they know the theory is broken (anomalous).
  • They showed exactly which combinations of rules lead to a stable universe and which lead to a collapse.

5. The Symmetry Web

The paper also draws a massive "family tree" or "web" for these theories.

• The Web: Imagine a subway map. Each station is a different version of the theory. The lines connecting them represent the act of "gauging" a symmetry.
• The Findings:
  • For some versions (where numbers are even), the map looks like a D8 pattern (like the shape of a square with diagonals).
  • For others (where numbers are odd), the map looks like a Q8 pattern (like a quaternion group, a more complex 3D shape).
  • The authors filled in the missing pieces of this map, showing exactly how to travel from one theory to another and what happens to the "playground shape" (Moduli Space) along the way.

6. Unequal Ranks and Special Cases

Most previous studies looked at "equal rank" theories (where the two sides of the equation are balanced, like $N$ vs $N$). This paper also looked at unequal ranks (like $N$ vs $N+2$).

• The Surprise: In the balanced case, changing the rules usually changes the playground shape. In the unbalanced case, some changes don't change the shape at all! It's like painting a wall a different color; the room's dimensions stay the same. The authors figured out exactly which changes are "cosmetic" and which actually reshape the universe.

Summary

In plain English, this paper is a comprehensive guidebook for a specific class of 3D quantum universes.

1. It maps out the shape of these universes (Moduli Spaces).
2. It discovers that some shapes are more complex than previously thought, involving "ghost" mathematical structures.
3. It provides a checklist to see if a universe is stable or if it will collapse due to internal contradictions (anomalies).
4. It draws a roadmap showing how to transform one universe into another, revealing the deep connections between them.

The authors used advanced math (Hilbert series, superconformal indices) to verify their findings, ensuring that their theoretical maps match the mathematical "fingerprints" of the actual physics. It's a significant step in understanding the hidden architecture of the quantum world.

Technical Summary

1. Problem Statement

The paper investigates the structure of moduli spaces and generalized global symmetries in three-dimensional $\mathcal{N}=5$ superconformal field theories (SCFTs), specifically focusing on orthosymplectic ABJ theories and their discrete gauging variants.

While the moduli spaces of $\mathcal{N}=8$ and $\mathcal{N}=6$ SCFTs are well-understood as orbifolds of real and complex reflection groups respectively, the classification for $\mathcal{N}=5$ is more subtle. Previous work established that for certain gauge groups (e.g., $SO(2N)$ and $O(2N)^+$), the moduli space is $\mathbb{H}^{2N}/\Gamma$, where $\Gamma$ is a quaternionic reflection group.

The central problem addressed is:

1. What is the moduli space structure for orthosymplectic ABJ theories with Spin, $O^-$, and Pin type gauge groups?
2. How does the moduli space group $\Gamma$ change when gauging discrete zero-form symmetries ($\mathbb{Z}_2$)?
3. How do 't Hooft anomalies for these symmetries manifest in the superconformal index and the geometry of the moduli space?
4. What is the complete symmetry web (categorical symmetry) for these theories, particularly for cases with opposite parity of ranks and Chern-Simons levels?

2. Methodology

The authors employ a multi-faceted approach combining field-theoretic calculations, group theory, and index analysis:

• 't Hooft Anomaly Analysis: They compute mixed anomalies between zero-form symmetries (magnetic $Z_{2,M}^{[0]}$, charge conjugation $Z_{2,C}^{[0]}$) and one-form symmetries ($Z_{2}^{[1]}$) using 4D bulk actions. This determines which discrete symmetries can be consistently gauged.
• Superconformal Index: They calculate the superconformal index for various global forms of the gauge group. By taking specific limits (Coulomb or Higgs branch limits), they extract the Hilbert Series of the moduli space.
• Group Theory Construction: They utilize the classification of symplectic (and quaternionic) reflection groups. They construct the groups $\Gamma$ governing the moduli spaces by identifying generators. Crucially, they analyze $\mathbb{Z}_2$ central extensions of these groups.
• Symmetry Webs: They map out the "symmetry webs" (lattices of theories connected by gauging discrete symmetries) and identify the associated symmetry categories (e.g., representations of $D_8$ or $Q_8$).
• Duality Checks: They verify results against known dualities and check for consistency conditions (e.g., hyper-Kähler dimension constraints).

3. Key Contributions and Results

A. Moduli Spaces and $\mathbb{Z}_2$ Extensions

The paper extends the known classification of moduli spaces.

• Main Finding: For theories with Spin, $O^-$, and Pin gauge groups, the group $\Gamma$ governing the moduli space $\mathbb{H}^{2N}/\Gamma$ is not always a quaternionic reflection group itself. Instead, it is often a $\mathbb{Z}_2$ central extension of such a group.
• Generators: The authors explicitly describe the generators required to construct these extended groups. For example, gauging a specific $\mathbb{Z}_2$ symmetry adds a specific matrix generator (e.g., $R_M$ or $R_{MC}$) to the set of generators of the original group $\Gamma$.
• Systematic Construction: They provide a rule: If theory $T$ has moduli space $\mathbb{H}^{2N}/\Gamma$, and gauging a non-anomalous $\mathbb{Z}_2$ symmetry yields $T'$, then the new group $\Gamma'$ is generated by $\Gamma$ plus a specific new generator. The order of the group doubles ($|\Gamma'| = 2|\Gamma|$).

B. Anomalous Variants and Detection

The authors identify "anomalous variants"—theories obtained by attempting to gauge a symmetry that is forbidden by 't Hooft anomalies.

• Detection via Index: Anomalous theories exhibit inconsistencies in their superconformal index. For instance, the index may contain half-odd-integral powers of fugacities that prevent the symmetry from being gauged, or the resulting Hilbert series may violate the requirement that the moduli space of an $\mathcal{N} \ge 4$ SCFT must be a hyper-Kähler variety (e.g., having an odd complex dimension).
• Detection via Moduli Space: If one attempts to gauge an anomalous symmetry, the resulting group $\langle \text{gen}(\Gamma), R_S \rangle$ has an order four times that of $\Gamma$ (instead of two). Furthermore, the resulting quotient space does not correspond to the moduli space of the intended anomalous theory but rather to a different non-anomalous theory.

C. Symmetry Categories and Webs

The paper revisits the symmetry categories of $so(2N)_{2k} \times usp(2N)_{-k}$ theories.

• $D_8$ vs. $Q_8$: Depending on the parity of $N$ and $k$, the global symmetry group is either the Dihedral group $D_8$ or the Quaternion group $Q_8$.
• Explicit Webs: The authors provide explicit symmetry webs for the opposite parity case ($N$ even, $k$ odd or vice versa), which differ from the previously studied "both even" case. They map out how gauging different $\mathbb{Z}_2$ subgroups leads to different global forms (e.g., $SO$, $Spin$, $O^\pm$, $Pin$) and their associated symmetry categories (e.g., $2\text{-Rep}(D_8)$, $2\text{-Vec}$).

D. Unequal Ranks and Other Algebras

• Unequal Ranks: For theories with unequal ranks ($so(2N+2x) \times usp(2N)$), the authors find that some zero-form symmetries act trivially on the moduli space. Consequently, gauging these symmetries changes the theory (and its index) but leaves the moduli space geometry ($\Gamma$) unchanged.
• $so(2N+1)$ and $F(4)$: They briefly analyze theories with $so(2N+1)$ gauge algebras (where the center is trivial, simplifying the symmetry structure) and SCFTs based on the $F(4)$ superalgebra ($Spin(7) \times SU(2)$). They confirm that for $k=1$, the $F(4)$ theory enhances to $\mathcal{N}=6$ supersymmetry due to specific monopole operators, while for $k>1$, it remains $\mathcal{N}=5$.

4. Significance

• Refinement of Classification: This work significantly refines the classification of 3D $\mathcal{N}=5$ SCFTs by identifying that the moduli space groups are often central extensions of reflection groups, not just the groups themselves.
• Anomaly Moduli Space Correspondence: It establishes a robust dictionary between 't Hooft anomalies and the geometry of the moduli space. Specifically, it shows that anomalous gauging attempts result in "oversized" groups that describe different physical theories, providing a geometric diagnostic for anomalies.
• Symmetry Categorification: By explicitly constructing the symmetry webs for all parity combinations of $N$ and $k$, the paper completes the picture of how generalized global symmetries (including non-invertible symmetries) organize the landscape of orthosymplectic ABJ theories.
• Verification: The results are rigorously verified by computing Hilbert series and comparing them with the limits of the superconformal index, finding perfect agreement in all consistent cases.

In summary, the paper provides a comprehensive framework for understanding the interplay between discrete gauge symmetries, anomalies, and the geometric structure of moduli spaces in a broad class of 3D $\mathcal{N}=5$ SCFTs, resolving ambiguities regarding Spin and Pin variants and extending the known classification of reflection groups in this context.