Skip to content

Supersymmetric Quantum Mechanics, Cohomology, and the Witten Index

Supersymmetric quantum mechanics turns one graded operator algebra into several complementary tools. Use spectral pairing to compare positive-energy states, QQ-cohomology to classify zero-energy states, Morse deformation to expose a semiclassical complex, and a Witten index only when its graded trace or Fredholm replacement is actually defined. If a continuum, a spatial boundary, or a closing gap is present, its contribution is part of the problem rather than a technical afterthought; if couplings vary while a gap remains open, the zero-energy spaces form a bundle with Berry transport.

This chapter develops those statements for finite complexes, one-dimensional partner Hamiltonians, and de Rham quantum mechanics. It uses functional analysis and topology from the mathematical-methods volume, but it owns the physical supercharges, spectra, normalizability tests, regulated counting, semiclassical tunneling, and parameter-space interpretation.

Helpful background. Review self-adjoint operators and their domains if boundary conditions or unbounded supercharges are unfamiliar; chains and cohomology for kernels modulo images; and Fredholm index and zero-mode counting for the analytic index viewpoint.

Four quick tests identify a sound entry point.

Can you do this?If yesIf not
Given a densely defined AA, distinguish its formal adjoint from the Hilbert-space adjoint and write Dom(AA)\operatorname{Dom}(A^\dagger A).Begin with supercharges and partner Hamiltonians.Repair adjoints and self-adjointness.
Explain why Q2=0Q^2=0 makes kerQ/imQ\ker Q/\operatorname{im}Q meaningful, and why a closed image matters in a Hilbert space.Continue to Q-cohomology and Hodge decomposition.Repair cochain complexes and exactness.
Decide whether exwe^{-\int^x w} belongs to L2(R)L^2(\mathbb R) from the two asymptotic ends.Use spectral pairing and ground states.Work through the oscillator factorization on the first leaf before counting vacua.
State why cyclicity of a trace can fail for unbounded operators or a continuous spectrum.Use the Witten index and then its continuum and boundary qualifications.Review the trace-class hypotheses on the index page; a formal cancellation is not yet an index.

These are routing questions, not a score. A reader may understand finite-dimensional pairing while still needing the final leaf before making an infinite-volume claim.

GoalSuggested routeResult
First graduate encounterFactorizationpairing and vacuacohomologyindexProve positivity and pairing, classify normalizable zero modes, and state exactly what an index implies.
Geometry and topologyFactorizationcohomologyMorse deformationPass from the de Rham complex to critical points and signed gradient trajectories.
Supersymmetry breakingPairing and vacuaindexcontinuum and boundariesDistinguish a positive ground energy, absence of a normalizable zero mode, a vanishing index, and an ill-defined trace.
Later localization or exact observablesCohomologyMorse deformationindexfailure modesKnow which finite-dimensional argument survives when transported to a path integral.
Parameter-space geometryCohomologycontinuum, wall crossing, and ground-state bundlesConstruct the Berry connection on a gapped family and locate where the bundle description fails.

The arrows above are reading recommendations. Hard dependencies are stated on each leaf; in particular, no route may use an index to bypass the definition of the Hilbert space and operator domains.

The organizing object is a Z2\mathbb Z_2-graded Hilbert space with grading Γ=(1)F\Gamma=(-1)^F and a closed odd differential Q\mathcal Q. With the normalization used throughout this chapter,

Q2=0,H=12{Q,Q},{Γ,Q}=0.\mathcal Q^2=0, \qquad H=\frac12\{\mathcal Q,\mathcal Q^\dagger\}, \qquad \{\Gamma,\mathcal Q\}=0.

The logical relations are typed and should not be conflated:

  1. Algebra implies positivity. On the common operator domain, ψHψ\langle\psi|H|\psi\rangle is a sum of two squared norms.
  2. Factorization implies positive-energy pairing. The supercharge gives inverse maps between the two graded eigenspaces at every isolated energy E>0E>0.
  3. Nilpotence defines cohomology. Under Hodge hypotheses, each cohomology class has one harmonic representative, and harmonic means zero energy.
  4. Morse deformation computes the same cohomology in a controlled compact setting. Large deformation localizes low-energy states near critical points; signed tunneling trajectories supply the differential.
  5. A graded trace can compute an index. This requires trace-class or relative-trace conditions, compatible domains, and control of the spectrum at infinity.
  6. A gap permits transport. Constant-rank zero modes form a vector bundle over parameter space. A level crossing or continuum threshold removes the hypothesis; it is not merely a bad gauge choice.

The finite statements are exact. Their infinite-dimensional analogues require closed ranges, self-adjoint realizations, regulators, and limiting procedures that cannot be inferred from notation alone; compare Brüning and Lesch 1992, §§1–2, pp. 88–103 for Hilbert complexes and Cooper, Khare, and Sukhatme 1995, §2, arXiv PDF pp. 13–25 for partner Hamiltonians. Witten’s original Morse construction makes both the power and the limitations of the semiclassical model explicit Witten 1982, §§1–2, pp. 661–673.

  1. Supercharges, Partner Hamiltonians, and Positive Energy constructs the graded Hilbert space from a closed operator AA, identifies the exact domains of AAA^\dagger A and AAAA^\dagger, and factors the supersymmetric oscillator. It is the necessary entry for every spectral statement.
  2. Spectral Pairing, Ground States, and Supersymmetry Breaking proves that A/2EA/\sqrt{2E} and A/2EA^\dagger/\sqrt{2E} are inverse maps at E>0E>0, then solves the first-order zero-mode equations and tests normalizability at both ends of the line.
  3. Q-Cohomology, Hodge Decomposition, and Zero-Energy States proves the finite Hodge decomposition, states the closed-range qualification for Hilbert complexes, and computes every degree of the supersymmetric particle on a circle.
  4. Morse Deformation, Gradient Flow, and Semiclassical Tunneling derives the deformed Laplacian, its oscillator approximation near a critical point, and the signed trajectory count that reconstructs the Morse differential.
  5. The Witten Index, Vacuum Counting, and Its Failure Modes derives the heat-regularized supertrace, its β\beta- and deformation-independence hypotheses, and the strict one-way implication from nonzero index to a supersymmetric vacuum.
  6. Continuum Spectra, Boundaries, Wall Crossing, and Ground-State Bundles derives the continuum density correction, compares supersymmetric boundary conditions, and computes Berry holonomy in a finite gapped family.

The chapter inherits the site’s global conventions. Its local setting is Hamiltonian quantum mechanics with =1\hbar=1. Bras are conjugate-linear, Γ=+1\Gamma=+1 labels the even sector, and the index sign is therefore

indA=dimkerAdimkerA.\operatorname{ind}A=\dim\ker A-\dim\ker A^\dagger.

Some references omit the factor 1/21/2 in H={Q,Q}/2H=\{\mathcal Q,\mathcal Q^\dagger\}/2, or interchange the even and odd partner Hamiltonians. The spectrum and the existence of zero modes are invariant under the first translation; the index changes sign under the second, while its nonvanishing does not. Checking the oscillator spectrum is the quickest round trip between conventions.

For one-dimensional examples, w(x)w(x) denotes the real coefficient in A=d/dx+w(x)A=\mathrm d/\mathrm dx+w(x), while W(x)=xw(y)dyW(x)=\int^x w(y)\,\mathrm dy is its primitive. Keeping ww and WW distinct prevents the common derivative mismatch in the partner potentials.

Retrieval and explanation. State the domain-sensitive definition of HH, the positive-energy pairing map, and the condition for a normalized state to be supersymmetric. A complete answer names DomA\operatorname{Dom}A, DomA\operatorname{Dom}A^\dagger, and both kernels; repair any missing piece on the factorization and pairing leaves.

Proof check. Reconstruct the finite Hodge decomposition and point to the step that uses finite dimensionality or closed range. The invariant check is that every QQ-closed vector differs from exactly one harmonic vector by a QQ-exact vector. Compare with the Hilbert-complex qualifications.

Convention translation. Starting from a source with H={Q,Q}H=\{Q,Q^\dagger\}, translate its oscillator energies to this chapter’s normalization and then translate back. The zero-mode count and pair structure must be unchanged.

Comparison. Give three examples: nonzero index with an unpaired vacuum, zero index with supersymmetric vacua of opposite grading, and no normalizable vacuum. The index examples provide a check, but the explanation must distinguish cancellation from absence.

Transfer. For a new real w(x)w(x), determine the candidate zero modes from eWe^{\mp W}, test both asymptotic ends, and then ask whether the spectrum is discrete or continuous before using a trace. Success requires both a normalizability conclusion and an index-validity conclusion.

Failure diagnosis. A calculation differentiates Tr(ΓeβH)\operatorname{Tr}(\Gamma e^{-\beta H}) even though neither graded heat operator is trace class. Identify the invalid interchange, specify a relative or box regulator, and include the spectral-density term. The repair route is the continuum and boundary page.

Synthesis. Explain why the Witten deformation on a compact manifold can change the wavefunctions dramatically without changing cohomology, while the same conjugation on R\mathbb R can create an L2L^2 zero mode. A successful answer names bounded invertibility on the compact space and its failure at infinity; see the Morse deformation benchmark.