Index Inversion, Recombination, and Protected-Spectrum Limits
A supersymmetric index can be expanded in short-multiplet characters, but it cannot generally be inverted into a unique protected spectrum. Recombination makes the index a linear functional on equivalence classes of short multiplets: distinct nonnegative spectra can have exactly the same index. Inversion is meaningful only after a superconformal algebra, fugacity domain, character basis, and recombination quotient have been fixed.
Required background. Use the definition and single-letter construction of supersymmetric indices together with the superconformal shortening data.
Helpful background. Conformal characters supply the ordinary character inner products that the protected inversion modifies.
The index lives in a recombination quotient
Section titled “The index lives in a recombination quotient”Let be the free Abelian group generated by isomorphism classes of short multiplets of a fixed superconformal algebra. When a long multiplet reaches a unitarity threshold, it decomposes schematically as
Because a long multiplet has zero index,
Let be the subgroup generated by all such relations. The index factors through
It can distinguish only classes in this quotient. Complete recombination rules therefore belong to the definition of any claimed inversion Córdova, Dumitrescu, and Intriligator 2019, §§2–4.
A minimal nonuniqueness example
Section titled “A minimal nonuniqueness example”Suppose two short characters obey one threshold relation
Then a spectrum with multiplicities has
The spectra , , and every with give the same answer. Positivity of the microscopic multiplicities does not remove the ambiguity because a complete recombination package adds only nonnegative multiplicities.
Real superconformal algebras contain chains of such relations with shifted spin and R-charges. The example captures the essential obstruction without tying it to one notation for multiplet labels.
Character decomposition and inversion kernels
Section titled “Character decomposition and inversion kernels”After quotienting, choose protected characters that form a basis in a declared series domain. Then
If a dual kernel exists, an inversion formula takes the form
This equation requires more than formal coefficient matching:
- the characters must be linearly independent in the quotient;
- must lie in a common convergence annulus;
- poles crossed during analytic continuation must be included;
- the measure and kernel must be compatible with Weyl and flavor identifications;
- the index must use the exact infrared R-symmetry.
The extracted counts an equivalence class or a protected combination, not necessarily one irreducible multiplet.
What low-order coefficients can say
Section titled “What low-order coefficients can say”In a four-dimensional index, the coefficient in the marginal-operator channel often takes the form
after descendants and known short contributions are removed. This difference is stable under recombination: a marginal chiral operator can pair with a conserved-current multiplet to become long. The index can therefore constrain the local dimension of a conformal manifold under additional assumptions, but it does not separately determine the two nonnegative integers Dolan and Osborn 2003, §§5–6.
Similarly, a negative coefficient in a plethystic logarithm need not mean “one relation.” It can represent a fermionic generator, an equation of motion, a recombination subtraction, or a genuine algebraic relation. A Hilbert-series interpretation requires an independently established cohomological ring with appropriate finiteness and positivity properties.
A finite-order reconstruction procedure
Section titled “A finite-order reconstruction procedure”For a practical expansion through order :
- fix the exact superconformal R-symmetry and all flavor-fugacity conventions;
- list every short character that can contribute through ;
- impose all recombination relations at the same order;
- reduce to a linearly independent quotient basis;
- solve the coefficient system and propagate exact or numerical uncertainty;
- test whether at least one nonnegative microscopic spectrum realizes the result;
- display the kernel of the map, which parameterizes indistinguishable spectra.
If the kernel is nonzero, reporting one convenient representative as “the spectrum” is an overstatement. Report the fixed combinations and the remaining ambiguity.
Accidental symmetries and continuum effects
Section titled “Accidental symmetries and continuum effects”An ultraviolet R-charge assignment can place the expansion in the wrong fugacity grading. If an operator decouples or an accidental current appears, first rewrite the index in terms of the exact infrared charges and factor any free sector. Otherwise a formally correct inversion returns physically misidentified multiplets.
For noncompact targets or continuous spectra, the trace can depend on regulators and boundary conditions. Nonholomorphic completions and wall crossing may carry information that is absent from a formal power series. An inversion of the holomorphic piece alone must state that restriction Rastelli and Razamat 2017, §§2–3.
Exercises
Section titled “Exercises”Find every nonnegative spectrum compatible with when .
Solution
The condition is with . Hence for every integer . Each increment adds the complete recombination pair and leaves the index unchanged.
References
Section titled “References”- Córdova, C., T. T. Dumitrescu, and K. Intriligator. “Multiplets of Superconformal Symmetry in Diverse Dimensions.” Journal of High Energy Physics 2019, no. 3 (2019): 163. DOI; Open PDF.
- Dolan, F. A., and H. Osborn. “On Short and Semi-Short Representations for Four-Dimensional Superconformal Symmetry.” Annals of Physics 307 (2003): 41–89. DOI; Open PDF.
- Rastelli, L., and S. S. Razamat. “The Supersymmetric Index in Four Dimensions.” In Localization Techniques in Quantum Field Theories, 261–305. Cham: Springer, 2017. DOI; Open PDF.