Positive Traces on Certain ${\rm SL}(2)$ Coulomb Branches

This paper classifies positive traces on the Coulomb branch algebras of specific three-dimensional $\mathcal{N}=4$ and four-dimensional $\mathcal{N}=2$ gauge theories, focusing on quantizations of type $D$ Kleinian singularities and algebras associated with pure ${\rm SL}(2)$ and ${\rm PGL}(2)$ gauge theories.

The Gist

The Big Picture: Measuring the Unmeasurable

Imagine you are trying to understand a complex, invisible machine (a Quantum Gauge Theory). This machine has two main parts: a "Higgs branch" (where particles get mass) and a "Coulomb branch" (where forces act). Physicists are very interested in the Coulomb branch because it holds the secrets to how the universe behaves at a fundamental level.

Mathematically, this branch is described by an algebra (a set of rules for manipulating numbers and symbols). But these rules are "non-commutative," meaning the order in which you do things matters (like putting on socks before shoes vs. shoes before socks).

To understand this machine, physicists need a special kind of measurement tool called a Trace.

• The Trace: Think of a trace as a "scorekeeper." It takes a complex operation and gives you a single number (a score).
• The Twist: In this quantum world, the scorekeeper has a rule: $Score(A \times B) = Score(B \times \text{Twisted } A)$. It's like a game where the second player gets a special "twist" applied to their move before the score is tallied.
• Positive Trace: This is the most important tool. It's a scorekeeper that guarantees positive scores for any valid move. If you can find a "Positive Trace," it means the physics of the machine is stable and healthy (mathematically "unitary"). If the score can be negative, the theory might be broken or impossible in our universe.

The goal of this paper is to find all possible "Positive Traces" for two specific types of these quantum machines.

---

Part 1: The Crystal Lattice (Type D Singularities)

The Metaphor: Imagine a crystal lattice made of atoms. Sometimes, the crystal has a defect or a "singularity" where the pattern breaks. In math, these are called Kleinian Singularities.

• Type A: These are simple, linear defects (like a straight line of broken atoms).
• Type D: These are more complex, branching defects (like a fork in the road).

The Problem:
Mathematicians had already figured out how to find the "Positive Traces" (the healthy scorekeepers) for the simple Type A crystals. But the Type D crystals are trickier. They are like a complex knot that doesn't just sit inside the simple knot; it has its own unique structure.

The Discovery:
The authors (Daniil and Joseph) proved a surprising fact: You don't need a new tool for the complex knot.
They showed that any valid "Positive Trace" for the complex Type D crystal is actually just a shadow or a restriction of a trace from the simpler Type A crystal.

The Analogy:
Imagine you have a high-resolution camera (Type A) that can take perfect photos of a landscape. You want to take a photo of a specific, tricky corner of that landscape (Type D). You might think you need a special lens for that corner. But the authors proved that you can just use the high-resolution camera, zoom in, and crop the picture. The "Positive Trace" for the complex shape is just the "Positive Trace" of the simple shape, filtered through a specific window.

Why it matters: This simplifies the math massively. Instead of inventing new rules for every complex shape, we can just use the rules we already know for the simple ones.

---

Part 2: The Quantum Factory (SL(2) and PGL(2) Theories)

The Metaphor: Now, imagine a factory that produces particles. This factory is based on a specific group of symmetries called SL(2) and PGL(2).

• In the real world, we often look at these factories on a flat plane.
• But in this paper, the authors look at the factory compactified on a circle. Imagine taking a long strip of paper (the factory) and taping the ends together to make a donut. This changes the rules of the game, introducing a parameter called $q$ (a quantum deformation).

The Challenge:
The factory produces an infinite number of different "products" (algebra elements). The authors wanted to know: What are all the possible "Positive Traces" (healthy scorekeepers) for this circular factory?

The Solution:
They found that these scorekeepers can be described by a special function (let's call it $\omega$, or "omega").
Think of $\omega$ as a filter or a sieve.

1. The Shape: The filter must be perfectly symmetrical (if you flip it, it looks the same).
2. The Pattern: The filter must repeat itself in a specific, rhythmic way (quasi-periodic) as you move around the circle.
3. The Safety Check: The filter must be non-negative (it can be zero or positive, but never negative) at specific points on the circle. If it dips below zero, the physics breaks.

The Big Result:
The authors found that the number of possible "healthy" filters depends on a number $m$ (which relates to the complexity of the factory).

• The "space" of all possible healthy filters is a cone (like an ice cream cone shape).
• The size of this cone is determined by $m$.
• The "Uniqueness" Surprise: When $m = 4$ (a specific, common case in physics), the cone shrinks down to a single line. This means there is only one unique way to measure this factory correctly (up to a scaling factor).

Why it matters:
In physics, if there is only one unique way to measure a system, it usually means the system is rigid and perfectly defined. This confirms a long-held belief by physicists (Gaiotto and Teschner) that for these specific theories, the "Sphere Trace" (a specific way of measuring the universe on a sphere) is indeed positive and unique. This gives mathematicians and physicists confidence that their models of the universe are stable.

---

Summary of the "Aha!" Moments

1. The Connection: The complex "Type D" math problems are secretly just simpler "Type A" problems in disguise.
2. The Filter: The rules for keeping these quantum theories stable can be translated into finding a specific, symmetrical, non-negative wave pattern (the function $\omega$).
3. The Uniqueness: For a very important case ($m=4$), there is only one correct way to measure the system. This suggests the universe, at this level, is not chaotic but follows a single, perfect rule.

In a Nutshell:
The authors took two very difficult, abstract mathematical problems related to quantum physics. They showed that one is a subset of a simpler problem, and the other can be solved by finding a specific "wave pattern" that never goes negative. This proves that these quantum theories are mathematically sound and stable.

Technical Summary

1. Problem Statement and Motivation

The paper addresses the classification of positive traces on specific noncommutative algebras arising from supersymmetric gauge theories.

• Context: In 3D $\mathcal{N}=4$ and 4D $\mathcal{N}=2$ gauge theories, the Coulomb branch is described by an algebra $A$. Physicists (Gaiotto, Teschner, Okazaki) have proposed the existence of a "sphere trace" ($T_{sph}$) associated with a specific antilinear automorphism $\rho_{sph}$. This trace is expected to be positive, meaning $T(a\rho(a)) > 0$ for all non-zero $a \in A$.
• Mathematical Goal: A positive trace defines a positive definite Hermitian form $(a, b) = T(a\rho(b))$, which allows the construction of a Hilbert space representation of the algebra. This is crucial for understanding the unitary structure of the underlying superconformal field theory.
• Specific Challenge: While the existence of such traces is physically motivated, a rigorous mathematical classification and proof of positivity for specific algebras (particularly those related to $SL(2)$ and $PGL(2)$ gauge theories) were lacking. The authors aim to classify these traces for two distinct cases:
  1. Filtered deformations of Type D Kleinian singularities.
  2. Algebras containing K-theoretic Coulomb branches of pure $SL(2)$ and $PGL(2)$ gauge theories.

2. Methodology

The paper is divided into two main parts, employing distinct algebraic and analytic techniques for each case.

Part 1: Deformations of Type D Kleinian Singularities

• Algebraic Setup: The authors study filtered deformations of the coordinate ring of a Kleinian singularity $\mathbb{C}^2/D_n$, where $D_n$ is the dicyclic group. These deformations are realized as subalgebras $O_c$ of skew group algebras $H_c = (\mathbb{C}[x,y] \# G) / (xy - yx - c)$.
• Trace Characterization:
  • They utilize the Crawley–Boevey–Holland framework to relate traces on the subalgebra $O_c$ to traces on the larger algebra $H_c$.
  • Using a basis of elements involving group idempotents $e_q$ and a central element $k$, they derive a complete set of linear conditions (Theorem 4.2) that characterize all traces on $H_c$.
  • They establish an analytic formula for these traces using contour integrals over a "good contour" $C$ in the complex plane (Theorem 5.2). The trace is expressed as $T(R(k)e_q) = \int_C R(z)w_q(z)dz$, where $w_q$ is a weight function determined by a polynomial $P(X)$ and a parameter polynomial $G(X)$.
• Positivity Analysis:
  • To ensure positivity ($T(a\rho(a)) > 0$), they prove that the linear functional $\Phi_0$ (representing residues outside the integration contour) must vanish (Proposition 6.2).
  • They demonstrate that any positive trace on the Type $D$ deformation is the restriction of a positive trace on the corresponding Type $A$ deformation (Theorem 6.5). This reduces the problem to the already solved Type $A$ case.

Part 2: K-theoretic Coulomb Branches of $SL(2)$ and $PGL(2)$

• Algebraic Setup: The authors analyze an algebra $A$ generated by elements $v^k + v^{-k}$ and $H_a$ (dressed monopole operators), which embeds into a localized $q$-Weyl algebra $W$. This algebra contains the K-theoretic Coulomb branches for pure $SL(2)$ and $PGL(2)$ theories.
• Twisted Traces: They consider $g$-twisted traces where $g$ is an automorphism shifting the index of monopole operators by $m$ ($g(H_a) = H_{a+m}$). The antilinear automorphism $\rho$ is defined such that $\rho^2 = g$.
• Classification Strategy:
  • They decompose the algebra into even and odd graded components ($A_0 \oplus A_1$).
  • They show that traces are determined by a linear map $S$ on the "zero-mode" subspace (polynomials in $v$) and specific values on odd elements.
  • Using the trace condition $T(ab) = T(bg(a))$, they derive a functional equation for the weight function $\omega(z)$ associated with the trace.
  • They prove that traces correspond to holomorphic functions $\omega$ on $\mathbb{C}^\times$ satisfying specific quasi-periodicity and symmetry conditions (Proposition 8.2).
• Positivity Conditions:
  • By analyzing the condition $T(a\rho(a)) > 0$, they derive constraints on $\omega$: it must vanish at $z = \pm 1$ and satisfy non-negativity conditions on the unit circle $S^1$ and the circle $\sqrt{q}S^1$ (Proposition 9.3).
  • They utilize properties of Jacobi theta functions to parameterize the space of such functions.

3. Key Contributions and Results

Result 1: Type D Kleinian Singularities

• Theorem 6.5: All positive traces on filtered deformations of Type $D$ Kleinian singularities are restrictions of positive traces on Type $A$ deformations.
• Significance: This establishes a structural link between Type $D$ and Type $A$ singularities in the context of positive traces, simplifying the classification by reducing it to a known case. It confirms that the "sphere trace" intuition holds for these specific deformations.

Result 2: $SL(2)$ and $PGL(2)$ Coulomb Branches

• Theorem 9.4 (Main Classification): Positive traces on the algebra $A$ (containing $SL(2)$ and $PGL(2)$ K-theoretic Coulomb branches) are in one-to-one correspondence with holomorphic functions $\omega$ on $\mathbb{C}^\times$ satisfying:
  1. Quasi-periodicity: $\omega(qz) = q^{-m/2} z^{-m} \omega(z)$.
  2. Symmetry: $\omega(z) = \omega(z^{-1})$.
  3. Vanishing: $\omega(1) = \omega(-1) = 0$.
  4. Positivity: $\omega(z)$ and $z^{-m/2}\omega(\sqrt{q^{-1}}z)$ are non-negative on the unit circle $S^1$.
• Dimensionality: The convex cone of such functions has real dimension $m/2 - 1$.
• Uniqueness for $m=4$: For the specific case $m=4$ (corresponding to the standard sphere trace setup), the dimension is $4/2 - 1 = 1$. This implies the positive trace is unique up to scaling.
• Explicit Form: The authors provide an explicit construction of these functions using products of Jacobi theta functions, linking the algebraic classification to special functions.

4. Significance

1. Mathematical Rigor for Physics: The paper provides the first rigorous mathematical proof of the existence and uniqueness (up to scaling) of the "sphere trace" for K-theoretic Coulomb branches of $SL(2)$ and $PGL(2)$ gauge theories. This validates physical expectations regarding the unitary structure of these theories.
2. Hilbert Space Construction: By classifying positive traces, the authors confirm the existence of a canonical Hilbert space completion of the algebra $A$. This space carries an action of $A \times A^{op}$, which is essential for the study of correlation functions and the representation theory of these algebras in the context of the 4D/3D/2D correspondence.
3. Connection to Special Functions: The classification reveals a deep connection between the algebraic structure of Coulomb branches and the theory of theta functions and $q$-series. The positivity conditions translate into constraints on the zeros and growth of these special functions.
4. Generalization: The methodology developed for Type $D$ singularities and K-theoretic branches offers a blueprint for classifying positive traces in more complex gauge theories and higher-rank groups.

In summary, this work bridges the gap between the physical intuition of sphere quantization and rigorous noncommutative geometry, providing a complete classification of positive traces for a significant class of algebras arising in supersymmetric gauge theory.