Index-Signature Theorem

• The Index–Signature Theorem is a framework equating analytic indices from Dirac-type and Fredholm operators with topological signatures derived from bilinear forms.
• It unifies classical manifold theory with applications in Hamiltonian dynamics, singular spaces, and noncommutative geometry to assess stability and invariants.
• The theorem employs tools like spectral flow, graphical Krein signature, and cyclic cohomology to bridge analytical and topological insights.

The Index–Signature Theorem establishes deep connections between analytic indices of differential or operator-theoretic structures and topological or algebraic signatures, often by equating analytic invariants (e.g., spectral data, Fredholm indices) with signatures of bilinear forms derived from geometry, topology, or algebra. Its most influential formulations span classical manifold theory, singularity theory, operator pencils, noncommutative geometry, and analytic approaches to geometric invariants.

1. Index–Signature Theorem: Foundational Examples and General Structure

In the classical setting, the Hirzebruch signature theorem (a special case of the Atiyah–Singer index theorem) states that for a closed, oriented, 4k-dimensional manifold $M$, the analytic index of the signature operator,

$$D^+ = (d + d^*)|_{\Lambda^+} : C^\infty(M, \Lambda^+) \to C^\infty(M, \Lambda^-),$$

equals the signature of the cup product (intersection pairing) on middle-dimensional cohomology: $$\operatorname{sign}(M) = \mathrm{ind}(D^+) = \int_M L(p_1, ..., p_k).$$ Here, $L$ is the Hirzebruch $L$-polynomial in the Pontrjagin classes of $TM$ (Malmendier et al., 2019, Piazza et al., 2013).

This theorem is the model and archetype for a wealth of "index–signature" relations in vastly more general settings, often featuring:

• Analytic index: Index of a Dirac-type, signature, or Fredholm operator (possibly in a generalized or singular context);
• Signature: Algebraic signature of a bilinear, Hermitian, or cohomological pairing, or the signature of a matrix form (Gram, intersection, residue, or Krein-type form);
• Topological density: Chern–Weil or other characteristic class expressions equated to the analytic index;
• Spectral and root-theoretic data: In noncommutative, singular, or operator-theoretic contexts, the index is related to spectral flow, Krein signature, or the signature of forms on root spaces.

2. Index–Signature Theorems for Linearized Hamiltonian Systems

In the context of operator pencils and linearized Hamiltonian ODEs, the index–signature theorem equates the count of unstable eigenvalues (i.e., those in $\Re \nu > 0$) of a Hamiltonian matrix $JL$ (with $L=L^*$, $J^*=-J$, $J$ invertible) to the Morse index $N_-(L)$ and the Krein signatures of purely imaginary eigenvalues.

Given the pencil

$\mathcal{L}(\lambda) u = (L - \lambda K) u = 0,$

with $K = (iJ)^{-1} = K^*$, let $N = 2n$, and $n_u$ denote half the dimension of the unstable subspace: $$n_u = N_-(L) - \zeta - \sum_{\lambda>0} \kappa^+(\lambda) - \sum_{\lambda<0} \kappa^-(\lambda),$$ where:

• $N_-(L)$: number of negative eigenvalues (Morse index) of $L$,
• $\kappa^\pm(\lambda)$: positive/negative Krein signature of real characteristic values,
• $\zeta$: defect term, involving the dimension of the kernel of $JL$ and branch-counts of eigenvalue crossings near $\lambda=0$.

The Krein signature can be computed via the slope of eigenvalue branches $\mu_j(\lambda)$ in the $(\lambda, \mu)$-plane at zeros: for a simple crossing, $$\kappa(\lambda_0) = \operatorname{sign} \mu_j'(\lambda_0)$$; for higher multiplicities, a graphical formula gives

$$\kappa_g(\mu_j, \lambda_0) = \frac{1}{2} (m \pm \operatorname{sign} \mu_j^{(m)}(\lambda_0)) \text{ for odd } m$$

and zero for even $m$ (Kollár et al., 2012, Kollár et al., 2012).

This theorem encodes the spectral instability mechanism underlying the theory of Hamiltonian PDEs and ODEs, and appears in the Vakhitov–Kolokolov stability criterion—with the graphical Krein signature as an effective computational tool—allowing counts of unstable modes via graphical data.

3. Index–Signature Theorems in Singular and Noncommutative Settings

a) Witt Spaces and Stratified Pseudomanifolds

On oriented Witt spaces, the analytic index of the signature operator on the regular part (given suitable edge metrics and self-adjoint extensions) recovers the Goresky–MacPherson intersection-homology signature $\sigma_{\mathrm{top}}(X)$. Further, after twisting by the Mishchenko bundle, one obtains a $K$-theoretic index class in $K_*(C^*_r\Gamma)$ compatible with the topological signature via the assembly map (Albin et al., 2011). The index–signature theorem holds:

$$\mathrm{Ind}(D_{\mathrm{sign}}) = \langle L(X), [X] \rangle = \sigma_{\mathrm{top}}(X).$$

b) Cusp Edge Spaces and Degenerate Metrics

For incomplete cusp edge spaces $(M,g)$ (with fibration $\partial M \to Y$ and link $Z$), the index of the self-adjoint Dirac-type or signature operator is

$$\mathrm{ind}\,D^+ = \int_M \Phi(R^M) - \int_Y \Psi(R^Y)\,\widetilde{\eta}(D_Z),$$

with boundary eta term $\widetilde{\eta}(D_Z)$, and for the signature operator,

$\mathrm{ind}\,D^+_{\mathrm{sign}} = \int_M L(R^M/2\pi) - \int_Y L(R^Y/2\pi)\,\widetilde{\eta}(\slashed{\partial}_{\Lambda(\partial M/Y)}).$

The Witt condition ensures self-adjointness and Fredholmness (Liu, 4 Aug 2025).

c) Equivariant and Foliated Manifolds

On foliated manifolds (possibly with a discrete group action), the equivariant index–signature theorem expresses the index of the hypoelliptic signature operator as a characteristic class formula in equivariant cyclic cohomology, extending the classical setting to crossed-product algebras and the noncommutative geometry framework: $$\mathrm{Index}(D) = \left\langle \operatorname{Td}(TM\otimes\mathbb{C}) \wedge \operatorname{ch}(E^+), \tau \right\rangle,$$ where $\tau$ is the transverse fundamental cycle (Perrot et al., 2014).

4. Algebraic and Analytic Index–Signature Theorems for Singularities

For analytic vector fields $v$ with isolated zeros on real analytic (possibly singular) hypersurfaces or complete intersection singularities, the index at the singular point is given in terms of the signatures of explicit residue-defined bilinear pairings:

• For hypersurfaces $f:(\mathbb{C}^n,0)\to(\mathbb{C},0)$ and $v$ tangent to $f=0$ with an isolated zero,

$$\operatorname{ind}_0(v) = \operatorname{Sig}\langle v_n \omega, \Delta_1, ..., \Delta_{n-1} \rangle \pm \operatorname{Sig}(\cdots) - \chi(Y_t\cap\mathbb{R}^n),$$

where the pairings are defined using residues via Koszul complexes and $Y_t$ is a nearby smoothing (Hennings, 27 Aug 2025).

For complete intersections, a generalized Koszul resolution yields suitable residue pairings. In the smooth locus, this recovers the Eisenbud-Levine-Khimshiashvili index.

5. Complex Geometric and Holomorphic Formulations

In the theory of holomorphic line bundles $L$ on complex tori and quasi-tori, the index–signature theorem relates the vanishing of cohomology groups $H^q(X,L)$ to the signature $(s^+_F,s^-_F)$ of the associated Hermitian form $H$: $$H^q(X,L) = 0 \quad \text{for } q < s^-_F \text{ or } q > m - s^+_F,$$ where $m$ is the complex dimension of a maximal compact factor. The proof uses $L^2$-methods, the Kazama-Dolbeault isomorphism, and Bochner-Kodaira vanishing arguments (Chan, 2012).

The $L^2$-index–signature theorem for Galois covers of compact Kähler manifolds, employing von Neumann dimension of harmonic series, yields

$$\sigma(M) = \sum_{p,q=0}^{2m} (-1)^p h^{p,q}_{(2),\Gamma}(M),$$

with $h^{p,q}_{(2),\Gamma}(M)$ the $L^2$-Hodge numbers of the cover, extending both the classical Hodge index and Hirzebruch signature theorems (Bei, 2017).

6. Spectral and Fredholm Theory: Krein and Spectral Flow Invariants

In the spectral theory of indefinite metric spaces (Krein spaces) and $J$-unitary operators, the index–signature relationship manifests as an equality between the intersection index (spectral flow along a path in the $S^1$-Fredholm operators) and the signature of $J$ on the eigenspace for eigenvalues on the unit circle: $$\mu(\{T_t\}) = \operatorname{Sig}(T_1) - \operatorname{Sig}(T_0), \quad \operatorname{Sig}(T) = -\operatorname{SF}(t \mapsto V(e^{-it}T)),$$ with $V(T)$ the associated unitary (Schulz-Baldes, 2012).

For operator pencils $\mathcal{L}(\lambda)$ on Hilbert spaces, the index is

$$n(L_-) - n(L_+) = \sum_{\lambda_j \in \mathbb{R}} \kappa_g(\lambda_j),$$

where $n(L_\pm)$ are the negatives of limits at $\lambda\to \pm\infty$ and $\kappa_g(\lambda_j)$ are graphical Krein signatures at crossings (Kollár et al., 2012).

7. Applications and Broader Context

The index–signature theorem framework underpins criteria for stability in Hamiltonian dynamics (e.g., Vakhitov–Kolokolov), spectral counts for operator pencils, anomaly cancellation in string theory via the family index theorem and Quillen determinant line bundles (Malmendier et al., 2019), and deeper invariance and rigidity results in topology (e.g., mapping surgery exact sequences to analytic $K$-theory (Piazza et al., 2013), or homotopy invariance of signatures on singular spaces (Albin et al., 2011)).

In equivariant and noncommutative settings, these theorems supply explicit formulas for invariants (including equivariant characteristic classes and cyclic cohomology pairings), thereby extending the reach of the signature-index paradigm far beyond classical geometry.

---

References

• (Kollár et al., 2012) Graphical Krein Signature Theory and Evans-Krein Functions
• (Kollár et al., 2012) Index Theorems for Polynomial Pencils
• (Schulz-Baldes, 2012) Signature and spectral flow of $J$-unitary $S^1$-Fredholm operators
• (Albin et al., 2011) The signature package on Witt spaces
• (Piazza et al., 2013) The surgery exact sequence, K-theory and the signature operator
• (Malmendier et al., 2019) From the signature theorem to anomaly cancellation
• (Kim et al., 2021) Signature, Toledo invariant and surface group representations in the real symplectic group
• (Chan, 2012) The Index Theorem for Quasi-Tori
• (Bei, 2017) Von Neumann dimension, Hodge index theorem and geometric applications
• (Hennings, 27 Aug 2025) The index of a real vector field at an isolated complete intersection singularity
• (Liu, 4 Aug 2025) Index Theory on Incomplete Cusp Edge Spaces
• (Perrot et al., 2014) An equivariant index theorem for hypoelliptic operators
• (Bao et al., 2013) A local equivariant index theorem for sub-signature operators
• (Orduz, 2017) Induced Dirac-Schrödinger operators on $S^1$-semi-free quotients