The Super Virasoro Minimal String from 3d Supergravity

Abstract: The super Virasoro minimal string is defined by coupling spacelike and timelike super Liouville theories on the worldsheet. There are four different theories 0A$^\pm$ and 0B$^\pm$ depending on discrete choices on the worldsheet. We show that these theories arise naturally from quantization of 3d supergravity, and the amplitudes compute the dimension ($+$) or superdimension ($-$) of the space of $\mathcal{N}=1$ superconformal blocks modulo crossing symmetry. Both 0A$^+$ and 0B$^+$ are perturbatively dual to the same matrix integral as the bosonic Virasoro minimal string, while 0B$^-$ is dual to a matrix integral with an inverse square root singularity. We show that all non-trivial perturbative amplitudes of the 0A$^-$ theory vanish.

• The paper establishes a rigorous derivation of the super Virasoro minimal string from 3d supergravity via canonical quantization and intersection theory.
• It classifies four distinct string theories (0A±, 0B±) by incorporating spin structure summations and matrix model duals.
• The work uses topological recursion and explicit intersection formulas to unveil both perturbative and nonperturbative amplitude properties.

The Super Virasoro Minimal String from 3d Supergravity: An Expert Summary

Introduction and Motivation

This paper develops a comprehensive framework for the so-called super Virasoro minimal string (super VMS), realized via coupling spacelike and timelike $N=1$ super Liouville theories on the worldsheet. Four distinct theories (0A$^{\pm}$, 0B$^{\pm}$) are identified, characterized by discrete choices related to spin structure summations and the insertion of $(-1)^F$ in the string path integral. The central result is a rigorous derivation of these worldsheet theories from the canonical quantization of three-dimensional $N=1$ supergravity, grounding previous worldsheet/matrix model proposals in quantum gravity.

Derivation from 3d Supergravity: Hilbert Space and Quantization

Following the canonical quantization of 3d $N=(1,1)$ supergravity—formulated as Chern-Simons theory with gauge group $OSp(1|2)/\mathbb{Z}_2$—the analysis identifies the phase space with (super) Teichmüller space; the global form of the gauge group incorporates the $(-1)^F$ symmetry and properly classifies the bosonic and fermionic degrees of freedom. After applying Kähler quantization, the Hilbert space on a spatial Cauchy slice is constructed from $N=1$ superconformal blocks, labeled by genus $g$, external Liouville momenta $^{\pm}$0, and NS/R sector assignments. Crossing symmetry in the conformal block decomposition corresponds to the mapping class group on the moduli space.

A central insight is that the path integral over (super) moduli space instantiates an index, effectively counting crossing-symmetric $^{\pm}$1 superconformal blocks modulo the gauge group. This index is precisely the amplitude of the super VMS. The result generalizes Verlinde-type formulae to the non-rational, continuously-parameterized setting.

Discrete Assignments and Four Super VMS Theories

The paper meticulously classifies the four variants of the super VMS:

• 0A$^{\pm}$2: Only NS-sector operators, differing by presence of $^{\pm}$3 (superdimension vs. dimension counting). The insertion of $^{\pm}$4 (the Arf invariant) weighs spin structures in the moduli sum.
• 0B$^{\pm}$5: Both NS and R sector operators included; $^{\pm}$6 distinguishes 0B$^{\pm}$7 (dimension) and 0B$^{\pm}$8 (superdimension).

Through a combination of index theory and algebraic geometry, the amplitudes reduce to intersection numbers over moduli spaces of (spin) curves, with explicit formulas derived using Chiodo's formula for Chern characters.

Matrix Model Duals and Perturbative Properties

A detailed examination is provided for the matrix integral duals of the various theories:

Theory	Matrix Dual	Density of States	Perturbative Amplitude Properties
0A$^{\pm}$9, 0B$^{\pm}$0	Bosonic VMS matrix integral	$^{\pm}$1	Identical to bosonic VMS up to normalization; R- and NS-sector amplitudes identical in 0B$^{\pm}$2
0A$^{\pm}$3	None (trivial)	—	All non-trivial perturbative amplitudes vanish identically (proved via cohomological field theory)
0B$^{\pm}$4	BGW matrix integral	$^{\pm}$5	Tree-level amplitudes vanish, higher genus nonzero; "hard edge" BGW hierarchy

This classification is further refined by precise intersection theory calculations, showing that the Theta and Arf Theta classes precisely govern the nonperturbative topology of the super moduli spaces entering the amplitudes.

Intersection Theory and Topological Recursion

For the 0A$^{\pm}$6 and 0B$^{\pm}$7 cases, topological recursion reproduces quantum volumes of moduli space as in the bosonic VMS, establishing equivalence at the perturbative level. The key technical device is the full reduction of the supermoduli integral to intersection numbers on ordinary moduli space, using pushforward maps and a careful treatment of the super Todd and Chern classes.

For 0B$^{\pm}$8, the Theta class yields amplitudes characterized by a lower polynomial degree in the Liouville momenta, and their topological recursion is structurally that of the Bessel/Gross-Witten-Wadia (BGW) model (i.e., the recursion associated with a "hard edge" in the spectral density). This gives rise to specific vanishing theorems for tree-level amplitudes, confirmed by explicit computation, and non-vanishing higher-genus corrections.

A highlight is the rigorous proof of the vanishing of all perturbative higher-point amplitudes in 0A$^{\pm}$9 (apart from the sphere two-point function) using cohomological field theory and properties of the Arf Theta class, extending prior mathematical knowledge. This result is robust, is not an artifact of conventions, and is rare in nontrivial string theories.

Worldsheet versus Intersection Theory: Operator Normalization and Ramond Sector

A nuanced discussion identifies a subtle discrepancy between the vanishing of certain Ramond-sector amplitudes in worldsheet computations and their nonvanishing intersection number analogues. This discrepancy is resolved as a normalization issue for vertex operators, clarifying the precise status of Ramond gas amplitudes in the correspondence between the matrix model/topological recursion and the physical worldsheet theory.

Implications and Future Directions

The implications of this work are manifold:

• Quantum gravity: It gives an explicit realization of the super VMS as a quantum gravity theory in three dimensions, with amplitudes precisely enumerating crossing-symmetric superconformal blocks.
• Deformation of topological gravity: Quantum volumes provide deformations of the super-JT regime, with implications for supergravity/classical Liouville geometry correspondence.
• Matrix model universality: The identification of matrix integral duals for supersymmetric minimal strings is now rigorous far beyond previous conjectures, with explicit formulas for the matrix ensembles.
• Mathematics of moduli spaces: The reduction of supermoduli intersection numbers to explicit formulas in ordinary tautological classes further tightens the link between string-theoretic path integrals and modern algebraic geometry.
• Hierarchy classification: The appearance of the BGW hierarchy for 0B$(-1)^F$0 models suggests further universality phenomena relating supersymmetric and non-supersymmetric matrix ensembles.

Several open directions are evident: non-perturbative completions and D-instanton effects, extensions to $(-1)^F$1 supergravity, heterotic and complex super string analogues, and the precise holographic interpretation of the different super VMS ensembles.

Conclusion

This work establishes a rigorous, geometrically and physically motivated foundation for the super Virasoro minimal string and its four variants, derived directly from 3d supergravity quantization. It demonstrates their dual matrix integral descriptions, provides exact computations of all perturbative amplitudes via intersection theory and topological recursion, and elucidates the implications for the structure of quantum gravity and string theory in lower dimensions. Key results include the explicit construction of the index formula for gauged Hilbert spaces, a proof of vanishing theorems for certain models, and the universal structure of amplitudes for both NS and R sector operators. The combination of quantum gravity, conformal field theory, matrix models, and moduli space geometry marks a significant advancement in understanding the landscape of minimal and supersymmetric noncritical string theories (2604.26038).