Skip to content

tt* Geometry and Ground-State Bundles

tt* geometry equips the supersymmetric ground states of a family of two-dimensional (2,2)(2,2) theories with a Hermitian metric, Berry connection, and chiral-ring action. Compatibility among these structures produces nonlinear differential equations—the tt* equations—and a flat connection depending on a spectral parameter. The construction adds norm and transport information that a chiral ring alone cannot see. It requires a finite-rank normalizable ground-state sector that is spectrally isolated in the finite-circle problem. A continuum threshold can destroy that sector; a collision of semiclassical vacua instead destroys the canonical eigenline description and need not destroy the full tt* bundle.

Required background. We use the analysis of continuum states, boundaries, and ground-state bundles and massive Landau–Ginzburg vacua and soliton charges. Helpful background. Effective twisted-superpotential vacua provide gauge-theory examples of parameter-dependent isolated vacua.

Place the theory on a spatial circle of circumference LL and let tit^i be complex supersymmetric couplings. The circle is important: an infinite-volume mass gap may close at a conformal point even though the finite-circle Ramond Hamiltonian still has a discrete, isolated ground-state sector. Assume on an open parameter region M∘\mathcal M^\circ that:

  1. the Hamiltonian H(t,tˉ)H(t,\bar t) is self-adjoint on a common dense domain;
  2. there are N<∞N<\infty normalizable zero-energy states;
  3. a positive gap separates them from the rest of the spectrum;
  4. the spectral projector onto the zero-energy subspace varies smoothly.

The ground states form a rank-NN vector bundle V→M∘\mathcal V\to\mathcal M^\circ. In a local frame ∣a(t,tˉ)⟩|a(t,\bar t)\rangle, its Hermitian metric is

gabˉ=⟨bˉ∣a⟩.g_{a\bar b}=\langle\bar b|a\rangle.

The orthogonal projector P0P_0 defines the Berry connection. In a general frame its coefficients are

(Ai)a b=gbcˉ⟨cˉ∣∂ia⟩,(Aiˉ)a b=gbcˉ⟨cˉ∣∂iˉa⟩,Di=∂i+Ai,Diˉ=∂iˉ+Aiˉ.(A_i)_a^{\ b}=g^{b\bar c}\langle\bar c|\partial_i a\rangle, \qquad (A_{\bar i})_a^{\ b}=g^{b\bar c}\langle\bar c|\partial_{\bar i}a\rangle, \qquad D_i=\partial_i+A_i, \qquad D_{\bar i}=\partial_{\bar i}+A_{\bar i}.

with the usual frame-transformation law. Only its holonomy and curvature are gauge invariant; individual connection coefficients are not.

The isolation hypothesis is what makes P0P_0 smooth. Without it, the resolvent formula for ∂iP0\partial_iP_0 develops small denominators and Berry transport can mix the putative ground subspace with other states. Degeneracy inside the rank-NN ground space is allowed and is handled by the non-Abelian connection; loss of separation from states outside that space is the obstruction.

Let ϕi\phi_i be chiral operators associated with the couplings tit^i. Multiplication in supercharge cohomology acts on ground states:

ϕi∣a⟩=(Ci)a b∣b⟩+Q∣⋯ ⟩.\phi_i|a\rangle=(C_i)_a^{\ b}|b\rangle+Q|\cdots\rangle.

After projection, Ci=P0ϕiP0C_i=P_0\phi_iP_0 is an endomorphism of V\mathcal V. Associativity and commutativity of the chiral ring imply

[Ci,Cj]=0.[C_i,C_j]=0.

The conjugate antichiral operators define Cˉiˉ\bar C_{\bar i}, related to CiC_i by the Hermitian metric and the chosen real structure. The topological theory also supplies a holomorphic bilinear pairing ηab\eta_{ab}, whereas

gabˉ=⟨bˉ∣a⟩g_{a\bar b}=\langle\bar b|a\rangle

is the physical positive Hermitian pairing on the unitary slice. The real structure must make gg and η\eta compatible; neither pairing can be reconstructed from the multiplication table alone. In a holomorphic frame, CiC_i and η\eta can be holomorphic even though gg is not.

Knowing only the matrices CiC_i does not determine gg. The ring is algebraic; the metric remembers how physical bra and ket vacua are paired. tt* equations couple the two.

Varying a supersymmetric coupling inserts an integrated descendant of ϕi\phi_i. Supersymmetric Ward identities move supercharges through the cylinder amplitude. Contributions from paired excited states cancel, while contact terms project back to the ground states. The result is

[Di,Dj]=0,[Diˉ,Djˉ]=0,[D_i,D_j]=0, \qquad [D_{\bar i},D_{\bar j}]=0, DiCj=DjCi,DiˉCˉjˉ=DjˉCˉiˉ,D_iC_j=D_jC_i, \qquad D_{\bar i}\bar C_{\bar j}=D_{\bar j}\bar C_{\bar i}, DiˉCj=0,DiCˉjˉ=0,D_{\bar i}C_j=0, \qquad D_i\bar C_{\bar j}=0,

and the central equation

[Di,Djˉ]=−[Ci,Cˉjˉ].[D_i,D_{\bar j}]=-[C_i,\bar C_{\bar j}].

Together with [Ci,Cj]=[Cˉiˉ,Cˉjˉ]=0[C_i,C_j]=[\bar C_{\bar i},\bar C_{\bar j}]=0, these are the tt* equations of Cecotti and Vafa 1991, §§3–4. Overall signs can move between the order chosen for curvature commutators and the definition of Cˉ\bar C; the next formula fixes the convention used here.

In a holomorphic frame with Diˉ=∂iˉD_{\bar i}=\partial_{\bar i} and Di=∂i+g−1∂igD_i=\partial_i+g^{-1}\partial_i g, the central equation becomes

∂jˉ(g−1∂ig)=[Ci,g−1Cj†g].\partial_{\bar j}(g^{-1}\partial_i g) =[C_i,g^{-1}C_j^\dagger g].

Indeed, with Di=∂i+AiD_i=\partial_i+A_i, Djˉ=∂jˉD_{\bar j}=\partial_{\bar j}, and Ai=g−1∂igA_i=g^{-1}\partial_i g, one has [Di,Djˉ]=−∂jˉAi[D_i,D_{\bar j}]=-\partial_{\bar j}A_i. This makes the displayed metric equation equivalent to [Di,Djˉ]=−[Ci,Cˉjˉ][D_i,D_{\bar j}]=-[C_i,\bar C_{\bar j}]. It is nonlinear because the physical adjoint of CjC_j itself depends on gg.

Introduce ζ∈C∗\zeta\in\mathbb C^*. Absorb the circumference and the dimensions of the couplings into the normalization of CiC_i, and define

∇i(ζ)=Di+ζ−1Ci,∇iˉ(ζ)=Diˉ+ζCˉiˉ.\nabla_i(\zeta)=D_i+\zeta^{-1}C_i, \qquad \nabla_{\bar i}(\zeta)=D_{\bar i}+\zeta\bar C_{\bar i}.

Compute the mixed curvature:

[∇i,∇jˉ]=[Di,Djˉ]+ζ[Di,Cˉjˉ]+ζ−1[Ci,Djˉ]+[Ci,Cˉjˉ].[\nabla_i,\nabla_{\bar j}] =[D_i,D_{\bar j}] +\zeta[D_i,\bar C_{\bar j}] +\zeta^{-1}[C_i,D_{\bar j}] +[C_i,\bar C_{\bar j}].

The tt* equations make each coefficient vanish. Pure (2,0)(2,0) and (0,2)(0,2) curvatures vanish similarly, so

∇(ζ)2=0for every ζ≠0.\nabla(\zeta)^2=0 \qquad\text{for every }\zeta\ne0.

Conversely, expanding flatness in powers of ζ\zeta recovers the tt* equations. This Lax form connects tt* geometry to integrable systems and makes Stokes phenomena visible as ζ→0\zeta\to0 or ∞\infty.

For a rank-two example, the chapter’s phase–mirror–tt* map follows the CP1\mathbb{CP}^1 ring through its mirror critical values and square-root monodromy. At q=0q=0 it marks the boundary of that gapped canonical chart, not an automatic loss of the finite-circle bundle rank.

In a massive Landau–Ginzburg theory with distinct nondegenerate critical points xax_a, the Jacobi ring is semisimple. Its primitive idempotents define a canonical eigenline decomposition in which chiral multiplication is algebraically diagonal,

(Ci)a b=δa b ϕi(xa).(C_i)_a^{\ b}= \delta_a^{\ b}\,\phi_i(x_a).

The physical normalized ground states become localized near these idempotents at large LL; that asymptotic identification, unlike the algebraic diagonalization, receives corrections. Off-diagonal entries of the metric arise from tunneling solitons and have leading exponential scale

exp⁡(−LMab),\exp(-L M_{ab}),

where Mab=∣Zab∣M_{ab}=|Z_{ab}| when a BPS soliton exists; power-law prefactors are not shown. For fixed couplings, the asymptotic flat sections of ∇(ζ)\nabla(\zeta) jump when arg⁡ζ\arg\zeta crosses a BPS ray determined by ZabZ_{ab}. The corresponding Stokes factor has an off-diagonal signed integer μab\mu_{ab}, the protected soliton index, once an ordering and orientation convention are fixed.

As couplings vary, rays can align and reorder. Individual μab\mu_{ab} can then jump while the appropriately ordered product of Stokes factors remains invariant. The critical values determine the rays and BPS bounds, not the integers μab\mu_{ab}: those require the existence and signed count of gradient-flow trajectories Cecotti and Vafa 1993, §§2–4 (PDF).

For u≠0u\ne0,

W′(X)=X2−u=0,X±=±u.W'(X)=X^2-u=0, \qquad X_\pm=\pm\sqrt u.

The critical values are

W+=−23u3/2,W−=+23u3/2.W_+=-\frac23u^{3/2}, \qquad W_-=+\frac23u^{3/2}.

Thus

ΔW=W−−W+=43u3/2,\Delta W=W_--W_+=\frac43u^{3/2},

and in the normalization Z=2ΔWZ=2\Delta W the BPS mass is

M+−=83∣u∣3/2.M_{+-}=\frac83|u|^{3/2}.

Critical values alone would give only this BPS bound. For u>0u>0 and canonical Kähler metric, the real trajectory

X(x1)=u tanh⁡ ⁣(u (x1−x0))X(x^1)=\sqrt u\,\tanh\!\left(\sqrt u\,(x^1-x_0)\right)

solves ∂1X=u−X2\partial_1X=u-X^2 and connects X−X_- to X+X_+. It therefore supplies one elementary soliton trajectory up to translation; the sign of its protected index depends on the orientation convention. Rotating uu rotates the corresponding central-charge ray without changing this local count away from a wall.

A loop u↦e2πiuu\mapsto e^{2\pi i}u sends u↦−u\sqrt u\mapsto-\sqrt u and exchanges the two critical points. Thus the canonical eigenline decomposition has transposition monodromy. This is not yet the Berry holonomy of the full rank-two ground-state bundle: that gauge-invariant statement requires the connection and metric.

At u=0u=0, the critical points collide, W′′=2XW''=2X vanishes, and the soliton mass goes to zero. The infinite-volume massive description and the two canonical idempotents fail, but the Jacobi ring

C[X]/(X2)\mathbb C[X]/(X^2)

still has dimension two. On a finite circle, the conformal theory can retain two normalizable Ramond ground states separated from higher finite-size levels, so a rank-two tt* bundle may extend across u=0u=0 in a noncanonical frame. What must be reanalyzed is the regularity of P0P_0, the metric’s conformal boundary condition, and the now nonsemisimple ring—not automatically the rank.

In a massive theory, tt* describes finitely many vacua and soliton tunneling. At a conformal point, operator-state correspondence relates the ground-state metric to two-point functions of chiral primaries, and scaling dimensions constrain asymptotics; the relation between massive deformations and conformal classification is developed in Cecotti and Vafa 1993, §§3–5 (PDF). The limit is subtle:

  • the circumference LL introduces the dimensionless combinations L1−ΔitiL^{1-\Delta_i}t^i;
  • relevant couplings can drive exponential massive asymptotics;
  • colliding canonical eigenvalues make the semisimple frame singular even when the full connection extends;
  • marginal directions may have monodromy and operator mixing;
  • noncompact SCFTs can have a continuum and no finite-rank normalizable ground bundle.

Boundary conditions at the conformal point and in the massive asymptotic region are part of a tt* solution. The differential equations alone admit unphysical solutions with the wrong positivity or singularity behavior.

An index counts ground states with signs and may remain constant while the Berry holonomy changes continuously. The chiral ring tells how protected operators act. tt* combines both and adds the metric:

DatumRank/countRing actionNormsParallel transport
Witten indexyes, signednonono
Jacobi or quantum ringindirectlyyesonly a topological pairingno
Berry connectionfixed rank assumednocompatible metric neededyes
tt* geometryyesyesyesyes

This explains why two theories with isomorphic rings can still have different tt* data, and why a mirror claim can be tested more sharply by matching the full flat family ∇(ζ)\nabla(\zeta).

Vacuum collision. Abandon the primitive-idempotent basis and the nondegenerate-Hessian approximation. Determine whether the full finite-circle projector and rank extend in a regular frame; if they do, impose the conformal or singular boundary condition selected by the light theory.

Continuum threshold. Test normalizability and separation from scattering states. If either fails, specify an infrared regulator or a scattering-state completion; the ordinary finite Hermitian bundle no longer follows from P0P_0.

Changing Hilbert-space domain. If boundary conditions vary with parameters, include their contribution to the connection; differentiating vectors in inequivalent domains is not defined.

Non-Hermitian continuation. Complexifying couplings is useful for holomorphy, but the physical tt* metric is defined on a real slice with a positive inner product. Stokes data away from that slice do not by themselves prove unitarity.

  1. Verify that flatness of ∇(ζ)\nabla(\zeta) implies the central tt* equation.
Solution

The coefficient of ζ0\zeta^0 in [∇i,∇jˉ][\nabla_i,\nabla_{\bar j}] is [Di,Djˉ]+[Ci,Cˉjˉ][D_i,D_{\bar j}]+[C_i,\bar C_{\bar j}]. Setting the curvature to zero yields [Di,Djˉ]=−[Ci,Cˉjˉ][D_i,D_{\bar j}]=-[C_i,\bar C_{\bar j}].

  1. In the cubic family, explain what taking uu once around zero proves—and what it does not prove.
Solution

u\sqrt u changes sign, so the two critical points and their critical values are exchanged; the oriented soliton central charge reverses. This proves transposition monodromy of the canonical eigenline labels. It does not by itself compute Berry holonomy of the full rank-two bundle, because that requires parallel transport with DD.

  1. Why is a constant Witten index insufficient to guarantee a smooth tt* bundle?
Solution

An index can stay fixed when zero-energy states meet a continuum in boson–fermion pairs or when canonical vacua collide without changing the signed count. Smooth Berry projection requires normalizable states and spectral isolation from the rest of the finite-circle spectrum, conditions the index does not test.

  • Cecotti, S., and Vafa, C. “Topological–Anti-Topological Fusion.” Nuclear Physics B 367 (1991): 359–461. doi:10.1016/0550-3213(91)90021-O.
  • Cecotti, S., and Vafa, C. “On Classification of N=2N=2 Supersymmetric Theories.” Communications in Mathematical Physics 158 (1993): 569–644. doi:10.1007/BF02096804. Open PDF.

Original QFT.org content:CC BY 4.0, unless an item supplies different terms. Third-party material retains its own terms.