---
title: Super Virasoro Minimal String
url: https://www.emergentmind.com/topics/super-virasoro-minimal-string
type: topic
---

# Super Virasoro Minimal String

The super Virasoro minimal string (SVMS) is the $\mathcal N=1$ supersymmetric extension of the Virasoro minimal string. In the worldsheet formulation it is defined by coupling spacelike and timelike $\mathcal N=1$ super-Liouville theories to worldsheet supergravity and ghosts, while in the matrix-model formulation it appears as a family of double-scaled random-matrix models with exact non-perturbative completions. The subject has developed along two closely connected lines: a matrix-model program that emphasizes KdV/mKdV string equations, loop observables, and exact spectral densities, and a continuum/3d-supergravity program that organizes the theory in terms of spin-structure sums, superconformal blocks, and 3d chiral supergravity on handlebodies [2401.08786, 2505.08892, 2506.19000, 2604.26038].

## 1. Worldsheet definition and super-Virasoro data

The worldsheet theory is built from two non-compact $\mathcal N=1$ superconformal field theories. The spacelike factor has Liouville coupling $b>0$, background charge $Q=b+b^{-1}$, and central charge
$$
c_{\rm spacelike}=\tfrac32+3Q^2\ge \tfrac{27}{2},
$$
while the timelike factor is obtained by the analytic continuation $b\to -ib$, with background charge
$$
Q_t=\frac1b-b,
$$
and central charge
$$
c_{\rm timelike}=\tfrac32-3Q_t^2\le \tfrac32.
$$
Coupling these sectors to the $\mathfrak b\mathfrak c$–$\beta\gamma$ ghost system with $c_{\rm gh}=-15$ cancels the total central-charge anomaly, so that
$$
c_{\rm spacelike}+c_{\rm timelike}+c_{\rm gh}=0
\qquad\Longrightarrow\qquad
Q_s^2-Q_t^2=4
\qquad\Longrightarrow\qquad
b_s=b_t
$$
in the notation of the worldsheet construction [2505.08892].

A schematic form of the closed-worldsheet action is
$$
S[\phi,\psi;\tilde\phi,\tilde\psi]
=
S_L[\phi,\psi;b]_{\rm spacelike}
+
S_L[\tilde\phi,\tilde\psi;ib]_{\rm timelike}
+
S_{\rm gh},
$$
with the spacelike and timelike factors each carrying an $\mathcal N=(1,1)$ super-Virasoro algebra [2505.08892, 2604.26038]. Primary fields come in Neveu–Schwarz and Ramond sectors. In the spacelike theory, the NS primary
$$
V_P^{\rm NS}=e^{(Q/2+iP)\phi}
$$
has
$$
h=\frac{P^2}{2}+\frac{Q^2}{8},
$$
while the Ramond primary has the $1/16$ shift,
$$
h=\frac{P^2}{2}+\frac{Q^2}{8}+\frac1{16},
$$
and analogous formulas hold in the timelike sector after continuation [2604.26038].

The super-Virasoro structure is not merely kinematical. Degenerate highest-weight modules labeled by $(r,s)$ contain singular vectors at grade $rs/2$, with the NS sector corresponding to $r+s$ even and the R sector to $r+s$ odd. In minimal superstring applications, these null states impose super-BPZ differential equations, and the singular vectors admit an explicit representation in terms of Jack superpolynomials acted on by sector-dependent differential operators [1605.08621]. This provides the algebraic mechanism behind the differential constraints on SVMS correlators.

## 2. Discrete choices: 0A, 0B, and the four-theory refinement

An early continuum definition uses a diagonal Type 0 GSO projection. The total worldsheet fermion number is
$$
(-1)^{F_{\rm ws}}
=
(-1)^{F_s}(-1)^{F_t}(-1)^{F_{\rm gh}}.
$$
Type 0A projects onto states with $(-1)^{F_{\rm ws}}=-1$, leaving a spectrum consisting purely of NS–NS tachyons, whereas Type 0B projects onto $(-1)^{F_{\rm ws}}=+1$, leaving the NS–NS tachyon together with one surviving R–R ground state [2505.08892].

A later formulation arising from quantization of 3d $\mathcal N=1$ supergravity refines this into four theories, depending on whether one inserts the Arf invariant factor $(-1)^\zeta$ and whether one inserts $(-1)^F$ in the trace. In that language the amplitudes compute either the dimension $(+)$ or the superdimension $(-)$ of the space of $\mathcal N=1$ superconformal blocks modulo crossing symmetry [2604.26038].

| Theory | Spin-structure choice | Perturbative characterization |
|---|---|---|
| $0B^+$ | no $(-1)^\zeta$, no $(-1)^F$ | NS and R punctures survive; dimension |
| $0A^+$ | insert $(-1)^\zeta$, no $(-1)^F$ | Ramond punctures projected out; dimension |
| $0B^-$ | no $(-1)^\zeta$, insert $(-1)^F$ | NS and R punctures survive; superdimension |
| $0A^-$ | insert both $(-1)^\zeta$ and $(-1)^F$ | only NS punctures; superdimension |

In this fourfold classification, $0A^+$ and $0B^+$ are perturbatively dual to the same matrix integral as the bosonic Virasoro minimal string, $0B^-$ is dual to a matrix integral with an inverse square root singularity, and all non-trivial perturbative amplitudes of the $0A^-$ theory vanish [2604.26038]. A plausible implication is that the later $0A^\pm/0B^\pm$ framework refines the earlier diagonal 0A/0B worldsheet discussion rather than replacing it.

## 3. Double-scaled matrix models and string equations

A random-matrix definition of the SVMS was given in terms of a hard-edge ensemble of positive Hermitian matrices, equivalently an $(\alpha,2)$ Altland–Zirnbauer ensemble with $\alpha=2\Gamma+1$ and Dyson index $\beta=2$:
$$
Z_N^{(\Gamma)}
=
\frac1{N!}
\int_0^\infty
\prod_{i=1}^N d\lambda_i\,
\lambda_i^\Gamma
e^{-N\sum_i V(\lambda_i)}
\prod_{i<j}(\lambda_i-\lambda_j)^2.
$$
In the double-scaling limit, the orthogonal-polynomial recursion coefficient survives as a continuum field $u(x)$, and the couplings are fixed by matching the leading spectral density to the universal $\mathcal N=1$ Cardy form
$$
\rho_0^{(b)}(E)
=
\frac{2\sqrt2}{\hbar}\,
\frac{\cosh(2\pi b\sqrt E)\cosh(2\pi b^{-1}\sqrt E)}{\sqrt E}
$$
with $\hbar=e^{-S_0}$ [2401.08786].

In the more developed 0A/0B matrix-model formalism, type 0A is built as a multicritical ensemble of complex matrices whose double-scaling limit is encoded in the KdV string equation
$$
u(x)\,\mathcal R^2
-\frac{\hbar^2}{2}\,\mathcal R\,\mathcal R''
+\frac{\hbar^2}{4}(\mathcal R')^2
=
\hbar^2\Gamma^2,
\qquad
\mathcal R[u]=\sum_{k=1}^\infty t_k\,R_k[u]+x,
$$
where $R_k[u]$ are the Gelfand–Dikii polynomials and $\Gamma\in\mathbb Z/2$ labels the background R–R charge or cross-cap number. Type 0A families correspond to a single solution $u_\Gamma(x)$ with
$$
u_\Gamma(x)\xrightarrow{x\to+\infty}0,
\qquad
u_\Gamma(x)\xrightarrow{x\to-\infty}(-x)^{1/k}+\cdots.
$$
Type 0B arises by applying the Miura map
$$
u(x)=r^2(x)+\hbar\,r'(x)
$$
to the special 0A solutions with $\Gamma=\pm\frac12$ and then symmetrizing, or equivalently from a multicritical Hermitian ensemble governed by the mKdV hierarchy with zero-constant boundary condition $C=0$ [2506.19000].

The special half-integer backgrounds are central. For $\Gamma=\pm\frac12$, the perturbative expansion
$$
u_{\pm\frac12}(x)=\sum_{g=0}^\infty \hbar^{2g-2}u^{(g)}(x)
$$
has the property that in the $x\to+\infty$ regime all orders in $\hbar$ beyond the leading classical term vanish identically. The 0B solution is then built as
$$
r^2(x)=\tfrac12\bigl[u_{+\frac12}(x)+u_{-\frac12}(x)\bigr],
$$
with
$$
r(x)\xrightarrow{x\to+\infty}0,
\qquad
r^2(x)\xrightarrow{x\to-\infty}(-x)^{1/k}+\cdots
$$
[2506.19000].

The 3d-supergravity treatment identifies three perturbative matrix-integral universality classes. After pushing the relevant intersection formulas to ordinary moduli space, $0A^+$ and $0B^+$ recover the bosonic Virasoro minimal-string volumes and hence the same Hermitian one-matrix model dual, with spectral curve
$$
\omega_{0,1}(z)=4\sqrt2\,\pi\,\sin(2\pi b z)\sin(2\pi b^{-1}z)\,dz,
\qquad
\omega_{0,2}(z_1,z_2)=\frac{dz_1\,dz_2}{(z_1-z_2)^2},
$$
and eigenvalue density
$$
\rho(E)=2\pi\,\frac{\sinh(2\pi b\sqrt E)\sinh(2\pi b^{-1}\sqrt E)}{\sqrt E}.
$$
By contrast, $0B^-$ is a hard-edge model governed by Bessel-type topological recursion, with
$$
\omega_{0,1}(z)=4\sqrt2\,\pi\,\cos(2\pi b z)\cos(2\pi b^{-1}z)\,dz
$$
and
$$
\rho(E)=2\pi\,\frac{\cosh(2\pi b\sqrt E)\cosh(2\pi b^{-1}\sqrt E)}{\sqrt E}
$$
[2604.26038].

## 4. Loop observables, quantum volumes, and vanishing theorems

In the 0A matrix-model realization, the macroscopic loop operator of length $\beta$ is
$$
W(\beta)\equiv\bigl\langle\Tr e^{-\beta H}\bigr\rangle
=
\int_{-\infty}^{\mu}\langle x|e^{-\beta\mathcal H}|x\rangle\,dx,
\qquad
\mathcal H=-\hbar^2\partial_x^2+u(x),
$$
and its genus expansion is generated by the Gelfand–Dikii hierarchy. In 0B, the loop observable is a sum over two sectors,
$$
W_{\rm 0B}(\beta)
=
\tfrac12\sum_{s=\pm}
\int_{-\infty}^{\mu}
\langle x|e^{-\beta\mathcal H_s}|x\rangle\,dx,
\qquad
\mathcal H_s=-\hbar^2\partial_x^2+r^2(x)+s\hbar\,r'(x).
$$
Because the full perturbative expansion of $u_{\pm1/2}(x)$ vanishes in the $x\to+\infty$ region, all higher-genus loop correlators in both the special 0A models and in the 0B model vanish identically to all orders in $\hbar$. Equivalently, all quantum volumes $\widehat V_{g,n}$ for $g\ge1$ and $n\ge1$ are zero [2506.19000].

This phenomenon was anticipated in the earlier matrix-model work, where for $\Gamma=\pm\frac12$ all higher-point $(n>2)$ correlators and quantum volumes were found to vanish to all orders in $\hbar$, generalizing the specialness of the prototype $(1,2)$ JT supergravity case [2401.08786]. The continuum proposal of 2025 gave a related but differently organized expectation: in Type 0B every genus-$g$, $n$-point amplitude $\mathscr A_{g,n}$ is predicted to be zero to all orders in the string coupling, while in Type 0A all sphere amplitudes vanish but higher-genus amplitudes need not [2505.08892]. In the four-theory classification, the strongest exact perturbative vanishing statement is for $0A^-$: the relevant cohomology class is the Arf–Theta class $\Theta^\zeta_{g,n}$, and all intersection numbers
$$
\int_{\overline M_{g,n}} \Theta^\zeta_{g,n}\,\cdots(\psi,\kappa)=0
$$
vanish for all $(g,n)$ except the trivial sphere two-point function, so that all nontrivial perturbative SVMS amplitudes in $0A^-$ vanish exactly [2604.26038].

The worldsheet three-point function provided the first explicit continuum check. For NS–NS–NS tachyons on the sphere,
$$
\mathscr A_{0,3}
=
\bigl\langle V^{(-1,-1)}(0)\,
V^{(-1,-1)}(1)\,
V^{(0,0)}(\infty)\bigr\rangle_{\rm ws},
$$
factorization into spacelike and timelike structure constants reduces the amplitude to a cancellation $1+(-1)$ once the remaining sign in the timelike three-point function is fixed appropriately, and this reproduces the matrix-model prediction $\mathscr A_{0,3}=0$ in both Type 0A and 0B [2505.08892].

## 5. Disc and trumpet amplitudes, superconformal blocks, and 3d supergravity

A distinctive feature of the SVMS is that the leading one-boundary and trumpet amplitudes are recognized as characters of a 2D superconformal theory. The leading disc amplitude is the Laplace transform of the Cardy-form density $\rho_0(E)$, and after writing $\beta=4\pi^2/\tau_2$ with $\tau_1=0$ it becomes the $S$-transform of the vacuum character in the ${\rm Tr}_{\rm NS}(-1)^F$ sector of a 2D $\mathcal N=1$ SCFT$_2$. The trumpet amplitude is likewise the $S$-transform of a primary character of weight
$$
h_P=\frac{c-\tfrac32}{24}+\frac{P^2}{2}+\frac{\delta}{16}
$$
in the same sector [2506.19000].

These character formulas motivate a conjectural bulk interpretation in terms of 3D chiral supergravity on the solid torus and on $\Sigma_{g,n}\times S^1$, with boundary path integrals producing the relevant ${\rm Tr}_{\rm NS}(-1)^F$ characters and their descendants. The appearance of both the spacelike and timelike Liouville parameters $Q$ and $\widehat Q$ in the disc amplitude is mirrored by holomorphic factorization of the SCFT$_2$ characters, and the absence of an anti-holomorphic part is consistent with a chiral AdS$_3$ supergravity description [2506.19000].

The 3d-supergravity derivation makes this relation more concrete. Chiral 3d $\mathcal N=(1,1)$ AdS supergravity is equivalent to Chern–Simons theory with gauge group ${\rm OSp}(1|2)\times{\rm OSp}(1|2)$. On a spatial slice $\Sigma_{g,n}$, the phase space of flat ${\rm OSp}(1|2)$ bundles selects super-Teichmüller space $T_{g,a}$, and Kähler quantization in a holomorphic polarization yields a Hilbert space spanned by $\mathcal N=1$ superconformal blocks of central charge $c=\tfrac32+3Q^2$. Gauging the mapping-class group projects to crossing-invariant combinations, and the resulting finite dimension is given by an $L^2$ index theorem on the quotient $M_{g,a}=T_{g,a}/{\rm Map}$. The master formula for the amplitudes can be written as an integral over moduli of a spacelike correlator times a timelike correlator, and the index localizes on the Deligne–Mumford boundary, reducing to intersection numbers of $\kappa$ and $\psi$ classes together with Theta or Arf–Theta classes when $(-1)^F$ or $(-1)^\zeta$ is inserted [2604.26038].

## 6. Non-perturbative completion and spectral observables

The matrix-model approach gives full non-perturbative control. In the hard-edge ensemble, the orthogonal-polynomial wavefunctions satisfy the exact Schrödinger problem
$$
\bigl[-\hbar^2\partial_x^2+u(x)\bigr]\psi(x,E)=E\psi(x,E),
$$
and the kernel
$$
K(E,E')=\int_{-\infty}^{\mu}dx\,\psi(x,E)\psi(x,E')
$$
together with its Fredholm determinants furnishes the full non-perturbative completion. The exact spectral density is
$$
\rho(E)=\int_{-\infty}^{\mu}dx\,|\psi(x,E)|^2,
$$
which reproduces $\rho_0^{(b)}(E)$ at large $E$ and exhibits the hard-edge $1/\sqrt E$ behavior at small $E$ [2401.08786].

In the later 0A/0B formalism, one solves the full string equation in each sector, constructs the Schrödinger problem $\mathcal H\psi=E\psi$, and computes
$$
\rho(E)=\int_{-\infty}^{\mu}\psi^2(E,x)\,dx
$$
exactly, numerically or via integral representations in special cases. In the 0B SVMS the two sector densities $\rho_\pm(E)$ have nearly opposite oscillations, so that their sum is almost perfectly smooth and reproduces the perturbative Cardy curve to very high accuracy even at finite $\hbar$; the suppression of non-perturbative wiggles is described as a hallmark of the merged two-cut ensemble [2506.19000].

Loop correlators admit an exact non-perturbative resolvent representation,
$$
W(\beta)
=
\int d\sigma\,e^{\beta\sigma}
\int_{-\infty}^{\mu}R(x,\sigma)\,dx,
$$
where the Gelfand–Dikii resolvent satisfies
$$
4\bigl(u(x)-\sigma\bigr)R^2
-2\hbar^2 R R''
+\hbar^2(R')^2
=1.
$$
At one loop, expanding the string equation to $\mathcal O(\hbar^2)$ gives closed formulas for the torus free energies,
$$
F_{\rm torus}^{\rm 0A}=\tfrac1{24}\ln[-u_0'],
\qquad
F_{\rm torus}^{\rm 0B}=-\tfrac18\ln u_0+\tfrac1{12}\ln[-u_0'],
$$
which combine to
$$
F_{\rm even}=\tfrac12(F_A+F_B)=-\frac1{16}\ln|x|
$$
for any choice of $\{t_k\}$, confirming the SCFT$_2$ one-loop modular-invariant result [2506.19000].

Several open directions remain explicit in the literature. Higher-point and higher-genus worldsheet amplitudes, boundary-state analyses for discs and trumpets in timelike Liouville, the role of non-perturbative D-brane effects when perturbative amplitudes vanish, and the target-space interpretation of the SVMS were all identified as unresolved problems in the continuum construction [2505.08892]. At the same time, the 3d-supergravity analysis shows that in the limit $b\to0$ one recovers super-JT gravity and the corresponding random-matrix ensembles, placing the SVMS within a broader hierarchy of exactly controllable noncritical superstring and AdS$_3$/matrix-model correspondences [2604.26038].

Source: https://www.emergentmind.com/topics/super-virasoro-minimal-string