Spectral triple

Last updated

In noncommutative geometry and related branches of mathematics and mathematical physics, a spectral triple is a set of data which encodes a geometric phenomenon in an analytic way. The definition typically involves a Hilbert space, an algebra of operators on it and an unbounded self-adjoint operator, endowed with supplemental structures. It was conceived by Alain Connes who was motivated by the Atiyah-Singer index theorem and sought its extension to 'noncommutative' spaces. Some authors refer to this notion as unbounded K-cycles or as unbounded Fredholm modules .

Contents

Motivation

A motivating example of spectral triple is given by the algebra of smooth functions on a compact spin manifold, acting on the Hilbert space of L2-spinors, accompanied by the Dirac operator associated to the spin structure. From the knowledge of these objects one is able to recover the original manifold as a metric space: the manifold as a topological space is recovered as the spectrum of the algebra, while the (absolute value of) Dirac operator retains the metric. [1] On the other hand, the phase part of the Dirac operator, in conjunction with the algebra of functions, gives a K-cycle which encodes index-theoretic information. The local index formula [2] expresses the pairing of the K-group of the manifold with this K-cycle in two ways: the 'analytic/global' side involves the usual trace on the Hilbert space and commutators of functions with the phase operator (which corresponds to the 'index' part of the index theorem), while the 'geometric/local' side involves the Dixmier trace and commutators with the Dirac operator (which corresponds to the 'characteristic class integration' part of the index theorem).

Extensions of the index theorem can be considered in cases, typically when one has an action of a group on the manifold, or when the manifold is endowed with a foliation structure, among others. In those cases the algebraic system of the 'functions' which expresses the underlying geometric object is no longer commutative, but one may able to find the space of square integrable spinors (or, sections of a Clifford module) on which the algebra acts, and the corresponding 'Dirac' operator on it satisfying certain boundedness of commutators implied by the pseudo-differential calculus.

Definition

An odd spectral triple is a triple (A, H, D) consisting of a Hilbert space H, an algebra A of operators on H (usually closed under taking adjoints) and a densely defined self adjoint operator D satisfying ‖[a, D]‖ < ∞ for any a ∈ A. An even spectral triple is an odd spectral triple with a Z/2Z-grading on H, such that the elements in A are even while D is odd with respect to this grading. One could also say that an even spectral triple is given by a quartet (A, H, D, γ) such that γ is a self adjoint unitary on H satisfying a γ = γ a for any a in A and D γ = - γ D.

A finitely summable spectral triple is a spectral triple (A, H, D) such that a.D for any a in A has a compact resolvent which belongs to the class of Lp+-operators for a fixed p (when A contains the identity operator on H, it is enough to require D−1 in Lp+(H)). When this condition is satisfied, the triple (A, H, D) is said to be p-summable. A spectral triple is said to be θ-summable when e−tD2 is of trace class for any t > 0. [1]

Let δ(T) denote the commutator of |D| with an operator T on H. A spectral triple is said to be regular when the elements in A and the operators of the form [a, D] for a in A are in the domain of the iterates δn of δ.

When a spectral triple (A, H, D) is p-summable, one may define its zeta function ζD(s) = Tr(|D|−s); more generally there are zeta functions ζb(s) = Tr(b|D|−s) for each element b in the algebra B generated by δn(A) and δn([a, D]) for positive integers n. They are related to the heat kernel exp(-t|D|) by a Mellin transform. The collection of the poles of the analytic continuation of ζb for b in B is called the dimension spectrum of (A, H, D).

A real spectral triple is a spectral triple (A, H, D) accompanied with an anti-linear involution J on H, satisfying [a, JbJ] = 0 for a, b in A. In the even case it is usually assumed that J is even with respect to the grading on H.

Important concepts

Given a spectral triple (A, H, D), one can apply several important operations to it. The most fundamental one is the polar decomposition D = F|D| of D into a self adjoint unitary operator F (the 'phase' of D) and a densely defined positive operator |D| (the 'metric' part).

Metric on the pure state space

The positive |D| operator defines a metric on the set of pure states on the norm closure of A.

Pairing with K-theory

The self adjoint unitary F gives a map of the K-theory of A into integers by taking Fredholm index as follows. In the even case, each projection e in A decomposes as e0 ⊕ e1 under the grading and e1Fe0 becomes a Fredholm operator from e0H to e1H. Thus e → Ind e1Fe0 defines an additive mapping of K0(A) to Z. In the odd case the eigenspace decomposition of F gives a grading on H, and each invertible element in A gives a Fredholm operator (F + 1) u (F − 1)/4 from (F − 1)H to (F + 1)H. Thus u → Ind (F + 1) u (F − 1)/4 gives an additive mapping from K1(A) to Z.

When the spectral triple is finitely summable, one may write the above indexes using the (super) trace, and a product of F, e (resp. u) and commutator of F with e (resp. u). This can be encoded as a (p + 1)-functional on A satisfying some algebraic conditions and give Hochschild / cyclic cohomology cocycles, which describe the above maps from K-theory to the integers.

See also

Notes

  1. 1 2 A. Connes, Noncommutative Geometry, Academic Press, 1994
  2. ↑ A. Connes, H. Moscovici; The Local Index Formula in Noncommutative Geometry

Related Research Articles

In mathematics, specifically in functional analysis, a C∗-algebra is a Banach algebra together with an involution satisfying the properties of the adjoint. A particular case is that of a complex algebra A of continuous linear operators on a complex Hilbert space with two additional properties:

In mathematics, Fredholm operators are certain operators that arise in the Fredholm theory of integral equations. They are named in honour of Erik Ivar Fredholm. By definition, a Fredholm operator is a bounded linear operator T : X → Y between two Banach spaces with finite-dimensional kernel and finite-dimensional (algebraic) cokernel , and with closed range . The last condition is actually redundant.

Noncommutative geometry (NCG) is a branch of mathematics concerned with a geometric approach to noncommutative algebras, and with the construction of spaces that are locally presented by noncommutative algebras of functions. A noncommutative algebra is an associative algebra in which the multiplication is not commutative, that is, for which does not always equal ; or more generally an algebraic structure in which one of the principal binary operations is not commutative; one also allows additional structures, e.g. topology or norm, to be possibly carried by the noncommutative algebra of functions.

In differential geometry, the Atiyah–Singer index theorem, proved by Michael Atiyah and Isadore Singer (1963), states that for an elliptic differential operator on a compact manifold, the analytical index is equal to the topological index. It includes many other theorems, such as the Chern–Gauss–Bonnet theorem and Riemann–Roch theorem, as special cases, and has applications to theoretical physics.

In mathematics, spectral theory is an inclusive term for theories extending the eigenvector and eigenvalue theory of a single square matrix to a much broader theory of the structure of operators in a variety of mathematical spaces. It is a result of studies of linear algebra and the solutions of systems of linear equations and their generalizations. The theory is connected to that of analytic functions because the spectral properties of an operator are related to analytic functions of the spectral parameter.

In mathematics, noncommutative topology is a term used for the relationship between topological and C*-algebraic concepts. The term has its origins in the Gelfand–Naimark theorem, which implies the duality of the category of locally compact Hausdorff spaces and the category of commutative C*-algebras. Noncommutative topology is related to analytic noncommutative geometry.

In noncommutative geometry and related branches of mathematics, cyclic homology and cyclic cohomology are certain (co)homology theories for associative algebras which generalize the de Rham (co)homology of manifolds. These notions were independently introduced by Boris Tsygan (homology) and Alain Connes (cohomology) in the 1980s. These invariants have many interesting relationships with several older branches of mathematics, including de Rham theory, Hochschild (co)homology, group cohomology, and the K-theory. Contributors to the development of the theory include Max Karoubi, Yuri L. Daletskii, Boris Feigin, Jean-Luc Brylinski, Mariusz Wodzicki, Jean-Louis Loday, Victor Nistor, Daniel Quillen, Joachim Cuntz, Ryszard Nest, Ralf Meyer, and Michael Puschnigg.

In mathematics, affiliated operators were introduced by Murray and von Neumann in the theory of von Neumann algebras as a technique for using unbounded operators to study modules generated by a single vector. Later Atiyah and Singer showed that index theorems for elliptic operators on closed manifolds with infinite fundamental group could naturally be phrased in terms of unbounded operators affiliated with the von Neumann algebra of the group. Algebraic properties of affiliated operators have proved important in L2 cohomology, an area between analysis and geometry that evolved from the study of such index theorems.

In theoretical particle physics, the non-commutative Standard Model, is a model based on noncommutative geometry that unifies a modified form of general relativity with the Standard Model.

In mathematics, specifically in operator K-theory, the Baum–Connes conjecture suggests a link between the K-theory of the reduced C*-algebra of a group and the K-homology of the classifying space of proper actions of that group. The conjecture sets up a correspondence between different areas of mathematics, with the K-homology of the classifying space being related to geometry, differential operator theory, and homotopy theory, while the K-theory of the group's reduced C*-algebra is a purely analytical object.

In mathematics, KK-theory is a common generalization both of K-homology and K-theory as an additive bivariant functor on separable C*-algebras. This notion was introduced by the Russian mathematician Gennadi Kasparov in 1980.

In mathematics, operator K-theory is a noncommutative analogue of topological K-theory for Banach algebras with most applications used for C*-algebras.

In noncommutative geometry, the JLO cocycle is a cocycle in entire cyclic cohomology. It is a non-commutative version of the classic Chern character of the conventional differential geometry. In noncommutative geometry, the concept of a manifold is replaced by a noncommutative algebra of "functions" on the putative noncommutative space. The cyclic cohomology of the algebra contains the information about the topology of that noncommutative space, very much as the de Rham cohomology contains the information about the topology of a conventional manifold.

Hilbert space Mathematical generalization of Euclidean space to infinite dimensions

The mathematical concept of a Hilbert space, named after David Hilbert, generalizes the notion of Euclidean space. It extends the methods of vector algebra and calculus from the two-dimensional Euclidean plane and three-dimensional space to spaces with any finite or infinite number of dimensions. A Hilbert space is a vector space equipped with an inner product, an operation that allows lengths and angles to be defined. Furthermore, Hilbert spaces are complete, which means that there are enough limits in the space to allow the techniques of calculus to be used.

In noncommutative geometry, a Fredholm module is a mathematical structure used to quantize the differential calculus. Such a module is, up to trivial changes, the same as the abstract elliptic operator introduced by Atiyah (1970).

Matilde Marcolli Italian mathematician and physicist

Matilde Marcolli is an Italian mathematical physicist. She has conducted research work in areas of mathematics and theoretical physics; obtained the Heinz Maier-Leibnitz-Preis of the Deutsche Forschungsgemeinschaft, and the Sofia Kovalevskaya Award of the Alexander von Humboldt Foundation. Marcolli has authored and edited numerous books in the field. She is currently a professor in the mathematics department of the University of Toronto and a member of the Perimeter Institute.

Ali H. Chamseddine is a Lebanese physicist known for his contributions to particle physics, general relativity and mathematical physics. As of 2013, Chamseddine is a physics Professor at the American University of Beirut and the Institut des hautes études scientifiques.

In mathematics, a singular trace is a trace on a space of linear operators of a separable Hilbert space that vanishes on operators of finite rank. Singular traces are a feature of infinite-dimensional Hilbert spaces such as the space of square-summable sequences and spaces of square-integrable functions. Linear operators on a finite-dimensional Hilbert space have only the zero functional as a singular trace since all operators have finite rank. For example, matrix algebras have no non-trivial singular traces and the matrix trace is the unique trace up to scaling.

This is a glossary for the terminology in a mathematical field of functional analysis.

References

This page is based on this Wikipedia article
Text is available under the CC BY-SA 4.0 license; additional terms may apply.
Images, videos and audio are available under their respective licenses.