Skip to content

Continuum Spectra, Boundaries, Wall Crossing, and Ground-State Bundles

The algebra of supersymmetric quantum mechanics pairs positive energies, but the global answer also depends on what happens at infinity, at physical boundaries, and as external parameters vary. Continuous spectra can leave a relative spectral-density term; boundary conditions determine the operator domain and hence the cohomology; and a gapped family of vacua forms a vector bundle with Berry–Wilczek–Zee transport. These effects are related, but they must not be conflated.

Required background. The Witten index supplies the protected signed count, and the Hilbert-complex formulation identifies vacua with harmonic representatives. Helpful background. Vector bundles and connections are used for parameter-space transport, while self-adjoint extensions explain why a differential expression alone does not determine a boundary problem.

The continuum contribution is scattering data

Section titled “The continuum contribution is scattering data”

Assume that the even and odd Hamiltonians are self-adjoint scattering operators with the same positive continuum threshold. Neither eβH0ˉe^{-\beta H_{\bar0}} nor eβH1ˉe^{-\beta H_{\bar1}} need be trace class on an infinite-volume Hilbert space. A relative regulator may nevertheless define

Irel(β)=n0ˉ(0)n1ˉ(0)+Ej>0boundeβEj(m0ˉ(Ej)m1ˉ(Ej))+EtheβE[ρ0ˉ(E)ρ1ˉ(E)]dE.\begin{aligned} I_{\mathrm{rel}}(\beta) ={}&n_{\bar0}^{(0)}-n_{\bar1}^{(0)} +\sum_{E_j>0}^{\mathrm{bound}} e^{-\beta E_j} \bigl(m_{\bar0}(E_j)-m_{\bar1}(E_j)\bigr)\\ &+\int_{E_{\mathrm{th}}}^{\infty} e^{-\beta E} \bigl[\rho_{\bar0}(E)-\rho_{\bar1}(E)\bigr]\,dE . \end{aligned}

The positive-energy bound multiplicities cancel by the ordinary pairing theorem. The continuum term need not vanish pointwise, because delta-normalized partners can differ by their asymptotic normalization or threshold behavior.

To see where the density difference comes from, put a one-channel problem in a box of length LL with the same distant-wall convention in both sectors. If

kL+δaˉ(k)=πn,aˉ{0ˉ,1ˉ},kL+\delta_{\bar a}(k)=\pi n, \qquad \bar a\in\{\bar0,\bar1\},

then, away from thresholds,

ρ0ˉ(k)ρ1ˉ(k)=1πddk[δ0ˉ(k)δ1ˉ(k)].\rho_{\bar0}(k)-\rho_{\bar1}(k) =\frac1\pi\frac{d}{dk} \bigl[\delta_{\bar0}(k)-\delta_{\bar1}(k)\bigr].

The extensive L/πL/\pi pieces cancel; the surviving term is encoded by the relative scattering phase. With several open channels, a basis-independent version is

ρ0ˉ(E)ρ1ˉ(E)=12πiddElogdet ⁣(S0ˉ(E)S1ˉ(E)),\rho_{\bar0}(E)-\rho_{\bar1}(E) =\frac{1}{2\pi i}\frac{d}{dE} \log\det\!\left(S_{\bar0}(E)S_{\bar1}(E)^\dagger\right),

for a fixed continuous branch of the logarithm and matched channel normalizations. Bound-state poles, half-bound states, and a channel opening at threshold must be added separately. A different distant-wall regulator can move a finite term between the density integral and the threshold contribution, so a reported continuum index is incomplete unless its prescription and order of limits are stated. Exactly soluble examples and their anomalous β\beta dependence are analyzed in Akhoury and Comtet 1984, pp. 253–278; the relation to open-space index theorems is developed in Niemi and Semenoff 1986, §§2–4, pp. 136–155.

For

A=ddx+w(x),w(x)w±asx±,A=\frac{d}{dx}+w(x), \qquad w(x)\longrightarrow w_\pm \quad\text{as}\quad x\longrightarrow\pm\infty,

suppose w±w_\pm are nonzero and the approach is sufficiently regular that the essential spectrum is controlled by the limiting constant-coefficient operators. Then the partner Hamiltonians have a positive essential threshold

Eess=12min{w2,w+2}>0,E_{\mathrm{ess}} =\frac12\min\{w_-^2,w_+^2\}>0,

and AA is Fredholm. The zero-mode test gives

indA=12(sgnw+sgnw).\boxed{ \operatorname{ind}A =\frac12\bigl(\operatorname{sgn}w_+ -\operatorname{sgn}w_-\bigr). }

Indeed, ψ0ˉexp[xw(y)dy]\psi_{\bar0}\propto \exp[-\int^x w(y)\,dy] is square-integrable at both ends precisely when w<0<w+w_-<0<w_+, whereas ψ1ˉexp[+xw(y)dy]\psi_{\bar1}\propto\exp[+\int^x w(y)\,dy] is square-integrable precisely when w+<0<ww_+<0<w_-. If w+w_+ or ww_- crosses zero, the essential gap closes and the Fredholm hypothesis fails exactly where the index can change. This one-dimensional result is the elementary analogue of the mass-at-infinity condition in Callias 1978, Theorems 1–2, pp. 216–224.

This example separates two statements:

  • a normalizable state can merge into the continuum when the asymptotic gap closes; and
  • while the family remains Fredholm, its signed index cannot jump.

The first is a mechanism for wall crossing. The second is the reason a genuine index is protected.

Boundary conditions define the supersymmetric complex

Section titled “Boundary conditions define the supersymmetric complex”

On a manifold with boundary, writing A=dA=d is not enough. One must choose domains for dd and dd^\dagger so that integration-by-parts boundary terms vanish and the supercharges map their domains into the appropriate partner domains. The interval I=[0,L]I=[0,L] makes this visible without geometric overhead.

For the de Rham complex

0Ω0(I)dΩ1(I)0,0\longrightarrow\Omega^0(I) \xrightarrow{\,d\,}\Omega^1(I) \longrightarrow0,

the two canonical elliptic choices give different cohomologies:

Boundary problemZero-form conditionOne-form condition for g(x)dxg(x)\,dxHarmonic representativesIndex
Absolutef(0)=f(L)=0f'(0)=f'(L)=0g(0)=g(L)=0g(0)=g(L)=0Constant zero-form+1+1
Relativef(0)=f(L)=0f(0)=f(L)=0g(0)=g(L)=0g'(0)=g'(L)=0Constant one-form dxdx1-1

Absolute conditions compute H(I)H^\bullet(I), so their index is χ(I)=1\chi(I)=1. Relative conditions compute H(I,I)H^\bullet(I,\partial I), whose only nonzero group is H1(I,I)CH^1(I,\partial I)\cong\mathbb C, so the index is χ(I,I)=1\chi(I,\partial I)=-1. Nothing discontinuous has happened to a fixed operator: these are different closed complexes with different domains.

More general Robin or point-interaction conditions require matching partner domains. A self-adjoint Hamiltonian in one sector does not by itself guarantee that the supersymmetric descendant is self-adjoint. Explicit half-line, interval, and punctured-line classifications appear in Al-Hashimi, Salman, Shalaby, and Wiese 2013, §§2–4, pp. 3–17.

Wall crossing versus pair creation at zero

Section titled “Wall crossing versus pair creation at zero”

For a continuous Fredholm family AsA_s, the integer

indAs=dimkerAsdimkerAs\operatorname{ind}A_s =\dim\ker A_s-\dim\ker A_s^\dagger

is locally constant. The individual kernel dimensions need not be. An even and an odd positive-energy state may reach zero together, increasing both kernel dimensions by one and leaving the index unchanged. Conversely, a jump of the index signals that the path left the Fredholm family—for example through a continuum threshold, a changed asymptotic mass, or a changed operator domain.

It is therefore useful to distinguish:

QuantityBehavior in a continuous Fredholm familyAdditional condition
Signed indexLocally constantA jump means Fredholm control or the problem itself changed
Total vacuum degeneracyMay jump through even–odd pairsThe gap above zero closes at the crossing
Vacuum-bundle holonomyMay vary continuouslyIt is defined on a constant-rank gapped region

The phrase wall crossing should state which row is meant. A jump in a degeneracy is not automatically a jump in the index.

Ground states form a bundle only while rank and gap persist

Section titled “Ground states form a bundle only while rank and gap persist”

Let λ\lambda vary in a parameter manifold M\mathcal M, and suppose H(λ)H(\lambda) is a smooth self-adjoint family. On an open set UMU\subset\mathcal M, assume:

  1. zero is an isolated eigenvalue of constant finite multiplicity rr;
  2. a uniform gap Δ>0\Delta>0 separates it from the rest of the spectrum; and
  3. the spectral projector P(λ)P(\lambda) depends smoothly on λ\lambda.

Then imPU\operatorname{im}P\to U is a rank-rr Hermitian vector bundle. For a local orthonormal frame {a(λ)}a=1r\{\lvert a(\lambda)\rangle\}_{a=1}^r, define

Aiab=ia(λ)ib(λ).\mathcal A_i^{ab} =i\langle a(\lambda)\rvert\partial_i b(\lambda)\rangle .

Under a unitary frame change abgba\lvert a\rangle\mapsto\lvert b\rangle g_{ba},

AgAg+igdg,F=dAiAA.\mathcal A\longmapsto g^\dagger\mathcal A g+i\,g^\dagger dg, \qquad \mathcal F=d\mathcal A-i\mathcal A\wedge\mathcal A.

The curvature can be written without choosing a frame:

F=iP(dPdP)Pon imP.\mathcal F =i\,P(dP\wedge dP)P \quad\text{on }\operatorname{im}P.

Adiabatic transport around a closed path CC is the holonomy

UC=Pexp ⁣(iCA).U_C =\mathcal P\exp\!\left(i\oint_C\mathcal A\right).

The approximation requires motion slow relative to the gap; schematically, matrix elements of H˙\dot H divided by Δ2\Delta^2 must be small. The geometric phase for a nondegenerate level was identified by Berry 1984, §§2–3, pp. 47–51, and its non-Abelian form for a degenerate subspace by Wilczek and Zee 1984, pp. 2111–2114.

If the grading Γ\Gamma is parameter independent, then PP commutes with Γ\Gamma and the connection preserves the even and odd vacuum subbundles. The ordinary Witten index records only the difference of their ranks. It contains no information about their Berry curvature or holonomy.

An exact family with protected index and nontrivial holonomy

Section titled “An exact family with protected index and nontrivial holonomy”

Take

H0ˉ=C2,H1ˉ=C,\mathcal H_{\bar0}=\mathbb C^2, \qquad \mathcal H_{\bar1}=\mathbb C,

and, for z=reiθCz=re^{i\theta}\in\mathbb C, define the differential

D(z)=12(z3zˉ):C0ˉ2C1ˉ.D(z) =\frac12 \begin{pmatrix} z&\sqrt3\,\bar z \end{pmatrix} :\mathbb C^2_{\bar0}\longrightarrow\mathbb C_{\bar1}.

Set

H(z)=12(DD00DD).H(z) =\frac12 \begin{pmatrix} D^\dagger D&0\\ 0&DD^\dagger \end{pmatrix}.

For r>0r>0, DD=r2DD^\dagger=r^2. Hence there is one even zero mode, together with one paired even–odd level at energy r2/2r^2/2. A normalized periodic zero-mode frame is

u(θ)=12(3eiθeiθ),D(z)u(θ)=0.\lvert u(\theta)\rangle =\frac12 \begin{pmatrix} -\sqrt3\,e^{-i\theta}\\ e^{i\theta} \end{pmatrix}, \qquad D(z)\lvert u(\theta)\rangle=0.

Its Berry connection and holonomy are

Aθ=iuθu=12,US1=exp ⁣(i02πAθdθ)=1.\mathcal A_\theta =i\langle u\rvert\partial_\theta u\rangle =\frac12, \qquad U_{S^1} =\exp\!\left(i\int_0^{2\pi}\mathcal A_\theta\,d\theta\right) =-1.

Thus a one-dimensional ground-state bundle can have nontrivial holonomy even though its rank and index are constant.

At z=0z=0, the gap r2/2r^2/2 closes and H(0)=0H(0)=0. There are then two even and one odd ground states. The total degeneracy jumps from one to three, so the rank-one spectral subbundle over C{0}\mathbb C\setminus\{0\} cannot extend through the origin as the ground eigenspace of HH. Nevertheless,

indD=10=21=1\operatorname{ind}D =1-0=2-1=1

both for r>0r>0 and at the origin: the extra zero modes appeared as an even–odd pair. This small matrix model cleanly separates a stable index, a failing spectral gap, a jump in total vacuum count, and nontrivial geometric transport.

For a new supersymmetric quantum-mechanical problem, ask in this order:

  1. What are the closed domains? Specify boundary and asymptotic conditions for AA and AA^\dagger.
  2. Is AA Fredholm? Check finite-dimensional kernels, closed range, and absence of zero in the essential spectrum.
  3. What trace is being taken? Prove trace class or specify a relative regulator and its threshold terms.
  4. Is the vacuum multiplicity locally constant and gapped? Only then is there a fixed-rank ground-state bundle.
  5. What is being claimed to cross a wall? Separate signed index, total degeneracy, and holonomy.

This sequence prevents a formal cancellation in the bulk from hiding the actual data at a boundary, at infinity, or in parameter space.

For the matrix family above, replace 3\sqrt3 by a real parameter c>0c>0:

Dc(z)=11+c2(zczˉ).D_c(z) =\frac{1}{\sqrt{1+c^2}} \begin{pmatrix} z&c\,\bar z \end{pmatrix}.

Find a normalized even zero mode for r>0r>0, its Berry connection around a circle centered at the origin, and the holonomy.

Solution

A periodic normalized kernel vector is

uc(θ)=11+c2(ceiθeiθ).\lvert u_c(\theta)\rangle =\frac{1}{\sqrt{1+c^2}} \begin{pmatrix} -c\,e^{-i\theta}\\ e^{i\theta} \end{pmatrix}.

Direct differentiation gives

Aθ=iucθuc=c21c2+1.\mathcal A_\theta =i\langle u_c\rvert\partial_\theta u_c\rangle =\frac{c^2-1}{c^2+1}.

Therefore

US1=exp ⁣[2πic21c2+1].U_{S^1} =\exp\!\left[ 2\pi i\,\frac{c^2-1}{c^2+1} \right].

For c=3c=\sqrt3, this reduces to eiπ=1e^{i\pi}=-1. The holonomy varies continuously with cc even though the ground-state rank and index remain one. This is geometric response, not wall crossing of the index.

  • Akhoury, Ratindranath, and Alain Comtet. “Anomalous Behavior of the Witten Index—Exactly Soluble Models.” Nuclear Physics B 246, no. 2 (1984): 253–278. doi:10.1016/0550-3213(84)90296-7.
  • Al-Hashimi, M. H., M. Salman, A. Shalaby, and U.-J. Wiese. “Supersymmetric Descendants of Self-Adjointly Extended Quantum Mechanical Hamiltonians.” Annals of Physics 337 (2013): 1–24. doi:10.1016/j.aop.2013.06.002. Open PDF.
  • Berry, Michael V. “Quantal Phase Factors Accompanying Adiabatic Changes.” Proceedings of the Royal Society of London A 392, no. 1802 (1984): 45–57. doi:10.1098/rspa.1984.0023.
  • Callias, Constantine. “Axial Anomalies and Index Theorems on Open Spaces.” Communications in Mathematical Physics 62, no. 3 (1978): 213–234. doi:10.1007/BF01202525.
  • Niemi, Antti J., and Gordon W. Semenoff. “Index Theorems on Open Infinite Manifolds.” Nuclear Physics B 269, no. 1 (1986): 131–169. doi:10.1016/0550-3213(86)90370-6.
  • Wilczek, Frank, and A. Zee. “Appearance of Gauge Structure in Simple Dynamical Systems.” Physical Review Letters 52, no. 24 (1984): 2111–2114. doi:10.1103/PhysRevLett.52.2111.