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, -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.
Enter this chapter
Section titled “Enter this chapter”Four quick tests identify a sound entry point.
| Can you do this? | If yes | If not |
|---|---|---|
| Given a densely defined , distinguish its formal adjoint from the Hilbert-space adjoint and write . | Begin with supercharges and partner Hamiltonians. | Repair adjoints and self-adjointness. |
| Explain why makes 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 belongs to 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.
Choose a route
Section titled “Choose a route”| Goal | Suggested route | Result |
|---|---|---|
| First graduate encounter | Factorization → pairing and vacua → cohomology → index | Prove positivity and pairing, classify normalizable zero modes, and state exactly what an index implies. |
| Geometry and topology | Factorization → cohomology → Morse deformation | Pass from the de Rham complex to critical points and signed gradient trajectories. |
| Supersymmetry breaking | Pairing and vacua → index → continuum and boundaries | Distinguish a positive ground energy, absence of a normalizable zero mode, a vanishing index, and an ill-defined trace. |
| Later localization or exact observables | Cohomology → Morse deformation → index → failure modes | Know which finite-dimensional argument survives when transported to a path integral. |
| Parameter-space geometry | Cohomology → continuum, wall crossing, and ground-state bundles | Construct 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.
One structure, several deductions
Section titled “One structure, several deductions”The organizing object is a -graded Hilbert space with grading and a closed odd differential . With the normalization used throughout this chapter,
The logical relations are typed and should not be conflated:
- Algebra implies positivity. On the common operator domain, is a sum of two squared norms.
- Factorization implies positive-energy pairing. The supercharge gives inverse maps between the two graded eigenspaces at every isolated energy .
- Nilpotence defines cohomology. Under Hodge hypotheses, each cohomology class has one harmonic representative, and harmonic means zero energy.
- 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.
- A graded trace can compute an index. This requires trace-class or relative-trace conditions, compatible domains, and control of the spectrum at infinity.
- 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.
Chapter guide
Section titled “Chapter guide”- Supercharges, Partner Hamiltonians, and Positive Energy constructs the graded Hilbert space from a closed operator , identifies the exact domains of and , and factors the supersymmetric oscillator. It is the necessary entry for every spectral statement.
- Spectral Pairing, Ground States, and Supersymmetry Breaking proves that and are inverse maps at , then solves the first-order zero-mode equations and tests normalizability at both ends of the line.
- 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.
- 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.
- The Witten Index, Vacuum Counting, and Its Failure Modes derives the heat-regularized supertrace, its - and deformation-independence hypotheses, and the strict one-way implication from nonzero index to a supersymmetric vacuum.
- 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.
Conventions that recur
Section titled “Conventions that recur”The chapter inherits the site’s global conventions. Its local setting is Hamiltonian quantum mechanics with . Bras are conjugate-linear, labels the even sector, and the index sign is therefore
Some references omit the factor in , 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, denotes the real coefficient in , while is its primitive. Keeping and distinct prevents the common derivative mismatch in the partner potentials.
Review the chapter
Section titled “Review the chapter”Retrieval and explanation. State the domain-sensitive definition of , the positive-energy pairing map, and the condition for a normalized state to be supersymmetric. A complete answer names , , 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 -closed vector differs from exactly one harmonic vector by a -exact vector. Compare with the Hilbert-complex qualifications.
Convention translation. Starting from a source with , 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 , determine the candidate zero modes from , 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 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 can create an zero mode. A successful answer names bounded invertibility on the compact space and its failure at infinity; see the Morse deformation benchmark.
Where to go next
Section titled “Where to go next”- Continue to Supermultiplets, Superspace, and Off-Shell Closure to realize supersymmetry on fields rather than a single Hilbert complex.
- Use F- and D-Term Breaking and the Goldstino when applying the vacuum criterion to interacting field theory; the index remains a constraint, not a biconditional.
- Move to Q-Cohomology and Path-Integral Deformation for the field-theoretic localization argument, carrying the domain and boundary warnings with you.
- Compare parameter-space transport with Geometry and Ground-State Bundles, where the finite Berry bundle becomes part of a two-dimensional field-theory structure.
- Reproduce the finite matrices and spectra, including the controlled failure cases.
References
Section titled “References”- Brüning, Jochen, and Matthias Lesch. “Hilbert Complexes.” Journal of Functional Analysis 108, no. 1 (1992): 88–132. doi:10.1016/0022-1236(92)90147-B.
- Cooper, Fred, Avinash Khare, and Uday Sukhatme. “Supersymmetry and Quantum Mechanics.” Physics Reports 251, nos. 5–6 (1995): 267–385. doi:10.1016/0370-1573(94)00080-M. Open arXiv version.
- Witten, Edward. “Supersymmetry and Morse Theory.” Journal of Differential Geometry 17, no. 4 (1982): 661–692. doi:10.4310/jdg/1214437492.