Twisted traces and quantization of moduli stacks of 3d $\mathcal{N}=4$ Chern-Simons-matter theories

This paper conjectures and demonstrates that the sphere partition functions of 3d $\mathcal{N}=4$ Chern-Simons-matter theories can be expressed as sums of twisted traces on tensor products of Verma modules over quantized moduli spaces of vacua, thereby extending the Gaiotto-Okazaki conjecture and revealing new Abelian dualities.

The Gist

Imagine the universe of physics as a giant, complex video game. In this game, particles and forces interact according to strict rules. Sometimes, these interactions create "landscapes" or "vacuum states"—places where the system can settle down and rest. In the world of 3-dimensional quantum physics with a specific type of symmetry (called N=4), these landscapes are not just flat plains; they are intricate, folded geometries known as moduli spaces.

For a long time, physicists had a rulebook (a conjecture by Gaiotto and Okazaki) for how to calculate the "score" of these games (the sphere partition function) when the landscapes were smooth and simple. The rulebook said: "The total score is just the sum of two separate scores multiplied together: one for the 'Coulomb' side and one for the 'Higgs' side."

However, this paper introduces a new, more chaotic version of the game: Chern–Simons-matter theories. In these theories, the landscapes get twisted, knotted, and develop sharp corners (singularities). The old rulebook breaks down because the "Coulomb" and "Higgs" sides get tangled up and can no longer be calculated separately.

Here is what the author, Leonardo Santilli, discovered, explained through simple analogies:

1. The Tangled Knots (Twisted Traces)

Imagine you are trying to untie a knot made of two different colored ropes (Red for Coulomb, Blue for Higgs).

• The Old Way: You assumed the ropes were just lying next to each other. You could count the Red knots and the Blue knots separately and multiply the numbers.
• The New Reality: In Chern–Simons theories, the ropes are braided together. You can't count them separately.
• The Discovery: The author shows that to get the right answer, you have to count the entire tangled knot as a single unit. He calls this a "Twisted Trace." It's like a special counting machine that looks at the whole braid, not just the individual strands. The "twist" comes from the specific rules of the game (the Chern–Simons levels), which act like a magical force twisting the ropes as you count them.

2. The "Stack" vs. The "Map" (Moduli Stacks)

Imagine you are looking at a map of a city.

• The Coarse Map (Algebraic Variety): This shows the streets and buildings. It's a standard map.
• The Stack (Moduli Stack): This is a "super-map" that remembers not just where the buildings are, but also the history of how they got there. It remembers if a building was built on top of a ghost town or if it has a secret underground tunnel.
• The Insight: The author argues that to understand these twisted quantum theories, you can't just look at the standard map. You must look at the "Stack." The "Stack" contains hidden information (like a $\mathbb{Z}_\kappa$ symmetry, which is like a secret code or a hidden layer of the game) that the standard map misses. By treating the landscape as a Stack, the math suddenly makes sense again.

3. The Magic Mirror (Dualities)

One of the coolest findings is a "Magic Mirror" effect.

• Scenario A: You have a complex game with twisted ropes and sharp corners (Chern–Simons theory).
• Scenario B: You have a simpler game with straight ropes and no sharp corners, but the ropes are "heavier" (higher charges).
• The Mirror: The author proves that these two completely different-looking games are actually duals. They produce the exact same score (partition function) and the exact same underlying geometry (stacks).
• Why it matters: It's like realizing that a complex 3D puzzle and a simple 2D drawing are actually the same object viewed from different angles. If you want to solve the hard 3D puzzle, you can just solve the easy 2D drawing instead! This allows physicists to use simple math to solve very hard problems.

4. The "Quantum Calculator"

The paper essentially builds a new calculator for these twisted landscapes.

• Input: The rules of the game (the quiver diagram, which is like a flowchart of how particles talk to each other).
• Process: The author breaks the calculation down into a sum of "Twisted Traces." Think of this as summing up the contributions of every possible "vacuum" (resting state) of the system.
• Output: The total score of the universe.

Summary in a Nutshell

The author took a complex, twisted version of a quantum physics game where the old rules failed. He realized that the "landscape" of the game is actually a "stack" (a map with hidden history). By treating it this way, he found that the total score of the game is a sum of "twisted traces"—special ways of counting tangled knots.

Most importantly, he discovered that these twisted, hard-to-solve games are secretly identical to simpler games with "heavier" ropes. This means we can solve the hardest physics problems by translating them into simpler, more familiar math problems. It's a bridge between the chaotic and the orderly, showing that even in the most twisted quantum worlds, there is a hidden, elegant structure waiting to be found.

Technical Summary

1. Problem Statement

The paper addresses a gap in the understanding of the sphere partition function ($Z$) for 3d $\mathcal{N}=4$ Chern–Simons-matter theories.

• Context: For standard 3d $\mathcal{N}=4$ quiver gauge theories (without Chern–Simons couplings), the sphere partition function is known to encode twisted traces on Verma modules over the quantized Coulomb and Higgs branch algebras. This is formalized in the Gaiotto–Okazaki Conjecture, which states that $Z$ is a sum of products of twisted traces on these modules, provided the moduli spaces admit a "Hypothesis 0" (fully resolved with isolated torus fixed points).
• The Challenge: 3d $\mathcal{N}=4$ Chern–Simons-matter theories generically fail Hypothesis 0. Their moduli spaces of vacua (A-branch and B-branch) are often singular symplectic varieties that cannot be fully smoothed by the available parameters (FI and mass parameters). Consequently, the standard Gaiotto–Okazaki framework does not directly apply, and the structure of the partition function in terms of quantized algebras was previously unknown.
• Goal: To generalize the sphere quantization formalism to Chern–Simons-matter theories, treating their moduli spaces as stacks rather than just algebraic varieties, and to express the partition function as a sum of twisted traces on the resulting quantized algebras.

2. Methodology

The author employs a combination of supersymmetric localization, deformation quantization theory, and brane constructions.

• Stacky Formulation: The paper emphasizes that for Chern–Simons theories, the moduli spaces of vacua ($M_A$ and $M_B$) must be treated as Deligne–Mumford stacks (specifically hypertoric stacks or gerbes) rather than coarse moduli spaces. This distinction is crucial because the stack structure encodes the 1-form symmetries and the specific Chern–Simons levels.
• Deformation Quantization: The author utilizes the existence of deformation quantizations ($A^\hbar$) for symplectic singularities (citing Bezrukavnikov–Kaledin and Losev). The quantized algebras $A^A_\hbar$ and $A^B_\hbar$ are associated with the A-branch and B-branch stacks.
• Sphere Localization: The sphere partition function is computed via localization, reducing the path integral to a matrix model integral over the gauge Cartan subalgebra. The integral is evaluated by closing contours and picking up residues, which correspond to the fixed points of the torus action on the moduli space.
• Magnetic Quivers & Dualities: The paper introduces a prescription to map Chern–Simons-matter theories to auxiliary "magnetic" quivers with non-minimal charges (charges $>1$). This allows the use of results from Section 3 regarding the quantization of hypertoric stacks with higher charges.
• Twisted Traces: The core mathematical tool is the definition of twisted traces on Verma modules. A trace twisted by an automorphism $s$ satisfies $\text{Tr}(s)(ab) = \text{Tr}(s)(s(b)a)$. The twist is typically related to the R-charge operator $(-1)^R$.

3. Key Contributions

A. Conjecture 4.2.1: Generalized Partition Function Formula

The central result is a new conjecture for the sphere partition function of 3d $\mathcal{N}=4$ Chern–Simons-matter theories:
$$Z_{Q_\kappa} = \sum_{p_\alpha \in (M_A^{T_A})_{\text{red}}} S_\alpha \, e^{i 2\pi \langle \zeta, m \rangle_\alpha} \, \text{Tr}_{H^A_\alpha \otimes H^B_\alpha} \left( e^{-i \frac{2\pi}{\kappa_\alpha} (\frac{1}{2} + R_A) \otimes (\frac{1}{2} + R_B)} x^{J_A} y^{J_B} \right)$$

• Summation: Over the reduced fixed point scheme of the A-branch.
• Modules: $H^A_\alpha$ and $H^B_\alpha$ are Verma modules over the quantized A- and B-branch algebras.
• Twist: Unlike the standard case where the trace factorizes into a product of an A-trace and a B-trace, here the twist involves a tensor product of the R-charge operators. The twist factor depends on the Chern–Simons level $\kappa_\alpha$ and generally prevents factorization into separate A and B traces.
• Prefactor: $S_\alpha$ is a product of pure Chern–Simons partition functions.

B. Quantization of Hypertoric Stacks with Non-Minimal Charges (Section 3)

The paper establishes that gauge theories with non-minimal charges (where the greatest common divisor of charges $\kappa > 1$) correspond to gerbes over the Higgs branch and quotient stacks over the Coulomb branch.

• It proves the existence of deformation quantizations for these stacks.
• It shows that the sphere partition function for these theories is a sum of twisted traces on the tensor product of Verma modules, recovering the Gaiotto–Okazaki form only in specific cases (e.g., when the twist factorizes).

C. New Abelian Dualities (Conjecture 4.3.1)

The author proposes a duality between a Chern–Simons-matter theory $Q_\kappa$ and an auxiliary Abelian quiver $Q'$ without Chern–Simons couplings but with non-minimal charges:

• Isomorphism of Stacks: $M_A(Q_\kappa) \cong C(Q')$ and $M_B(Q_\kappa) \cong H(Q')$ as stacks (not just as coarse varieties).
• Partition Function Equality: The sphere partition functions are equal (up to a normalization factor): $Z_{Q_\kappa} = Z_{Q'}$.
• Significance: This implies that the stacky structure of the A-branch (Coulomb branch) uniquely determines the B-branch (Higgs branch) and the full partition function, even in the presence of Chern–Simons terms.

4. Results and Examples

The conjectures are rigorously tested in Section 5 across a wide variety of examples:

• Abelian Quivers:
  • Two-node quivers with $(\kappa, -\kappa)$: Demonstrates the emergence of $\mathbb{Z}_\kappa$ gerbes and the non-factorizing twist.
  • A-type and Affine A-type quivers (including ABJM theory): Confirms the duality with auxiliary quivers having higher charges.
  • Non-Dynkin type quivers and "Trinion" theories: Validates the general applicability beyond standard Dynkin diagrams.
• Non-Abelian Quivers:
  • Two-node quivers with unequal ranks ($U(N_1)_\kappa \times U(N_2)_{-\kappa}$).
  • "Bad" quivers (violating standard unitarity bounds but solvable via localization).
  • In these cases, the partition function is shown to match the sum of twisted traces, though the combinatorics of the Verma modules become more complex (involving Schur polynomials and quantum dimensions).

Key Finding: In many cases, the twisted trace does not factorize into a product of a Coulomb trace and a Higgs trace. The "mixing" is governed by the Chern–Simons levels, reflecting the entanglement of the A and B branches in the quantum theory.

5. Significance

• Resolution of the Chern–Simons Problem: The paper successfully extends the sphere quantization program to theories with Chern–Simons couplings, which were previously intractable under the standard Gaiotto–Okazaki framework due to the lack of resolution parameters.
• Stacky Geometry in Physics: It provides strong evidence that moduli stacks (and not just coarse varieties) are the correct geometric objects to describe the vacua of 3d $\mathcal{N}=4$ theories. The distinction between a variety and a stack is physically observable via the partition function and the structure of the twisted traces.
• New Dualities: The proposed duality between Chern–Simons-matter theories and ordinary quiver theories with non-minimal charges offers a powerful computational tool. It allows the study of complex Chern–Simons systems using the well-understood machinery of hypertoric varieties and gerbes.
• Symplectic Duality Enhancement: The work suggests that symplectic duality (3d mirror symmetry) must be enhanced to include gerbes and higher-form symmetries to fully capture the relationship between Coulomb and Higgs branches in the presence of Chern–Simons terms.

In summary, Santilli provides a comprehensive framework linking the partition functions of 3d $\mathcal{N}=4$ Chern–Simons-matter theories to the representation theory of quantized moduli stacks, revealing a deep interplay between Chern–Simons levels, stacky geometry, and twisted traces.