Noncommutative Residue: Key Role in Spectral Geometry

• Noncommutative residue is a trace functional on classical pseudodifferential operators defined via integration over the cotangent unit sphere, providing a local invariant in global analysis.
• It generates key spectral asymptotics by linking zeta and heat kernel expansion singularities to geometric invariants, such as the Einstein–Hilbert action.
• Its extensions to manifolds with boundary, noncommutative tori, and filtered spaces showcase its adaptability in various geometric and analytic frameworks.

The noncommutative residue is the unique trace—up to overall normalization—on the algebra of classical pseudodifferential operators on smooth manifolds, with deep connections to global analysis, noncommutative geometry, gravitational functionals, and spectral theory. Its principal structure is as a local-invariant integral over the cotangent unit sphere of the top (critical) homogeneous symbol component of an operator. The noncommutative residue is uniquely characterized by the trace property and locality, determines zeta and heat kernel expansion singularities, and encodes many classical geometric invariants, including the Einstein–Hilbert action. Its generalizations and boundary extensions, as well as its role as the analytic shadow of the Dixmier trace in noncommutative geometry, form a cornerstone of the spectral approach to geometry.

1. Definition and Main Properties

Let $M$ be a closed, smooth, $n$-dimensional manifold, and $E \to M$ a complex vector bundle of rank $r$. For any classical pseudodifferential operator $P \in \Psi^m(M, E)$, the full symbol admits a local asymptotic expansion: $$\sigma(P)(x, \xi) \sim \sum_{j=0}^\infty \sigma_{m-j}(P)(x, \xi), \qquad \sigma_{m-j}(P) \ \text{homogeneous of degree } m-j \text{ in } \xi \,.$$ The Wodzicki–Guillemin noncommutative residue of $P$ is

$$\operatorname{Res}(P) = \int_M \int_{|\xi|=1} \operatorname{tr}_E\left( \sigma_{-n}(P)(x,\xi) \right) \, dS(\xi) dx \,,$$

where $dS(\xi)$ is the standard volume on the sphere in each fiber $T_x^*M$ and $n$0 is the fiberwise trace. The residue is independent of local coordinate choices due to the transformation law for homogeneous symbols. The same construction extends to operators with compact $n$1-support on $n$2 or to operators on vector bundles over manifolds with boundary using the Boutet de Monvel formalism.

Key properties:

• Trace property: $n$3 for all classical $n$4 (ensuring it is a trace in the algebraic sense) (Yang et al., 31 Jan 2026).
• Locality: The residue depends only on the $n$5-th homogeneous component of the full symbol—yielding computable local densities (Couchet et al., 2023, Li et al., 3 Mar 2025, Wu et al., 2024).
• Uniqueness: Up to an overall constant, the noncommutative residue is the unique trace on the algebra of classical pseudodifferential operators on $n$6 and its analogues on noncommutative tori, filtered manifolds, and operator algebras (Wang et al., 22 Jun 2025, Ponge, 2019, Levy et al., 2013, Couchet et al., 2023).

2. Connection to Dixmier Traces and Spectral Asymptotics

Connes' trace theorem established that for any order $n$7 classical pseudodifferential operator $n$8 on a closed $n$9-manifold, $E \to M$0 belongs to the weak $E \to M$1-ideal $E \to M$2 on $E \to M$3, and the Dixmier trace $E \to M$4 (defined via extended limits applied to the normalized partial sums of singular values) coincides with the noncommutative residue up to a universal constant: $E \to M$5 This result generalizes to the case of so-called Laplacian-modulated operators and other classes, and its proof relies on precise asymptotic estimates for eigenvalue sums and symbol integrals (Kalton et al., 2012, Cardona et al., 2017). The residue arises as the coefficient of the logarithmic divergence in the sum of eigenvalues, i.e.,

$E \to M$6

If the limiting residue class in $E \to M$7 is not constant, then $E \to M$8 is non-measurable and Dixmier traces may assign different values (Kalton et al., 2012).

3. Boundary, Foliated, and Filtered Manifolds

For manifolds with boundary, the residue splits into an interior and a boundary contribution via the Boutet de Monvel calculus. For $E \to M$9 in the extended algebra $r$0, Fedosov–Golse–Leichtnam–Schrohe established: $r$1 where $r$2 and $r$3 are boundary principal symbols arising from the Green and boundary operator components (Wei et al., 2019, Wang et al., 2013, Wang et al., 2023).

Residue constructions have been extended to filtered manifolds and groupoid calculi, with the “groupoidal residue” defined via dilation actions and fibered distributions; its specialization recovers Wodzicki’s formula in the trivial filtration case and Ponge’s residue in Heisenberg and subelliptic settings (Couchet et al., 2023, Wang et al., 2012).

4. The Noncommutative Residue in Noncommutative Geometries

On smooth noncommutative tori $r$4, the noncommutative residue is defined for classical toroidal pseudodifferential operators by

$r$5

where $r$6 is the canonical trace on the noncommutative torus algebra and $r$7 the order $r$8 homogeneous symbol component (Ponge, 2019). The residue is a trace and, up to constant multiples, the unique trace on integer-order pseudodifferential operators.

On filtered and equivariant operator algebras (e.g., involving Heisenberg-Weyl or metaplectic covariance), the residue is defined as the coefficient of the logarithmic divergence in heat kernel, zeta, or resolvent expansions, and can always be computed as a local symbol integral over the relevant fixed-point or cosphere submanifold (Savin et al., 2023).

5. Spectral Functionals and Geometric Invariants

Noncommutative residues yield profound connections to geometric invariants:

• The residue of suitable functions of the Dirac operator, such as $r$9, produces the Einstein–Hilbert action (scalar curvature term), a result known as the Kastler–Kalau–Walze theorem (Wang et al., 2023, Wu et al., 2022, Wu et al., 2024).
• Bilinear and multilinear spectral functionals constructed via residues, e.g., $P \in \Psi^m(M, E)$0, encode Ricci and metric pairing data (Dabrowski–Sitarz–Zalecki theorem) (Wang et al., 2023, Li et al., 3 Mar 2025).
• In the presence of boundary, the noncommutative residue reproduces both the bulk Einstein–Hilbert term and the boundary Gibbons–Hawking–York term, via explicit symbol expansions and boundary integrals (Wang et al., 2013, Wei et al., 2019, Wang et al., 2023).
• For sub-Riemannian geometric limits and foliated settings, the residue computes spectral actions for sub-Dirac operators and recovers the scalar curvature of the transverse structure (Wang et al., 2012, Li et al., 2024).

6. Uniqueness, Extension, and Applications

The noncommutative residue is characterized by

• Uniqueness: It is the (up to constant) unique local, continuous trace functional on the algebra of classical pseudodifferential operators, the only possible “exotic” or “singular” trace that survives on such algebras (Ponge, 2019, Levy et al., 2013, Wang et al., 22 Jun 2025).
• Extension to noncommutative spaces: The residue admits well-posed versions for noncommutative tori, operator algebras with twists, and filtered groupoids, always retaining its locality and trace properties.
• Role in noncommutative geometry: By Connes’ trace theorem, Dixmier traces coincide with the residue on measurable operators, and the noncommutative integral $P \in \Psi^m(M, E)$1 is realized as integration against a noncommutative measure, determined by the eigenvectors of the spectral triple (Lord et al., 2009, Kalton et al., 2012).
• Failure of uniqueness on non-classical symbols: Operators whose symbol expansion is not classical or whose residue cocycle does not converge to a scalar may be non-measurable, and Dixmier traces may not coincide (Kalton et al., 2012).

7. Tables: Key Residue Formulas and Uniqueness Statements

Context	Residue Formula	Uniqueness Result
Closed manifold	$P \in \Psi^m(M, E)$2	Unique trace on ΨDOs (Couchet et al., 2023, Wang et al., 22 Jun 2025)
Noncommutative torus	$P \in \Psi^m(M, E)$3	Unique (up to scalar) trace (Ponge, 2019)
Manifold with boundary	Interior + $P \in \Psi^m(M, E)$4 × boundary sphere integrals of principal boundary symbols	Unique on Boutet de Monvel algebra (Wei et al., 2019)
Compact operator $P \in \Psi^m(M, E)$5	$P \in \Psi^m(M, E)$6	Coincides with Dixmier trace (Kalton et al., 2012)

8. Concluding Remarks and Current Research Directions

The noncommutative residue underpins the entire spectral approach to geometry: it is the local representative of global invariants, links operator theory to curvature, encapsulates the only allowable trace on the algebra of classical ψDOs, and forms the analytic underpinnings of the noncommutative integral and spectral action.

Recent work explores its role in:

• Manifolds with boundary and singularities via generalized boundary calculi (Wei et al., 2019, Wang et al., 2013)
• Foliations, filtered and sub-Riemannian geometries (Couchet et al., 2023, Wang et al., 2012, Li et al., 2024)
• Dirac operators with torsion or field insertions, and statistical or quantum deformations (Wang et al., 2023, Li et al., 3 Mar 2025, Yang et al., 31 Jan 2026)
• Noncommutative and quantum group settings via localized traces, tori, and strong Morita equivalence (Ponge, 2019, Levy et al., 2013, Savin et al., 2023)

A persistent theme is the universality and rigidity of the residue: as the only local spectral invariant in its algebraic class, it forms the core of noncommutative geometry's analytic machinery, encoding both classical and quantum geometric actions and invariants.