Definition
Tau-summable semifinite spectral triple
A semifinite spectral triple whose resolvent has finite noncommutative lp norm with respect to the chosen trace.
Definition
Let be a semifinite spectral triple, where is a faithful normal semifinite trace on , and let . The triple is tau--summable if
equivalently,
Here is self-adjoint and affiliated with , its algebra commutators are bounded, and its resolvent is tau-compact. Thus summability is measured by generalized singular values and , not by ordinary eigenvalue multiplicities. For a nonunital algebra, the local convention usually requires for every instead.
Equivalent decay formulation
Writing for the generalized singular-value function, tau--summability is equivalent to
Weak tau--summability replaces by the corresponding weak ideal and permits the borderline decay . The strong and weak conditions are not interchangeable; the latter is the natural endpoint in many dimension- examples Carey, Phillips, Rennie, and Sukochev, §2.
Examples and conventions
For with the usual trace, is the Schatten class, so the definition is ordinary -summability. Finite trace alone does not make every affiliated resolvent -summable: the displayed trace must still be finite.
Some authors call the triple -summable when is trace-class for every , reserving “-summable” or “weakly -summable” for the critical endpoint. Any assertion of metric dimension should state which convention is in force.
References
- A. L. Carey, J. Phillips, A. Rennie, and F. A. Sukochev, “The Hochschild Class of the Chern Character for Semifinite Spectral Triples,” Journal of Functional Analysis 213 (2004), 111–153. DOI record. Relevant: §2 on semifinite spectral triples and -summability.
- A. L. Carey, J. Phillips, A. Rennie, and F. A. Sukochev, “The Local Index Formula in Semifinite von Neumann Algebras I: Spectral Flow,” Advances in Mathematics 202 (2006), 451–516. DOI record. Relevant: §2 on trace ideals, generalized singular values, and summability.