Misplaced Pages

This article includes a list of references, related reading, or external links, but its sources remain unclear because it lacks inline citations. Please help improve this article by introducing more precise citations. (November 2018) (Learn how and when to remove this message)

In noncommutative geometry, the Jaffe- Lesniewski-Osterwalder (JLO) cocycle (named after Arthur Jaffe, Andrzej Lesniewski, and Konrad Osterwalder) is a cocycle in an entire cyclic cohomology group. 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 ${\displaystyle {\mathcal {A}}}$ of "functions" on the putative noncommutative space. The cyclic cohomology of the algebra ${\displaystyle {\mathcal {A}}}$ 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.

The JLO cocycle is associated with a metric structure of non-commutative differential geometry known as a ${\displaystyle \theta }$-summable spectral triple (also known as a ${\displaystyle \theta }$-summable Fredholm module). It was first introduced in a 1988 paper by Jaffe, Lesniewski, and Osterwalder.

${\displaystyle \theta }$-summable spectral triples

The input to the JLO construction is a ${\displaystyle \theta }$-summable spectral triple. These triples consists of the following data:

(a) A Hilbert space ${\displaystyle {\mathcal {H}}}$ such that ${\displaystyle {\mathcal {A}}}$ acts on it as an algebra of bounded operators.

(b) A ${\displaystyle \mathbb {Z} _{2}}$-grading ${\displaystyle \gamma }$ on ${\displaystyle {\mathcal {H}}}$, ${\displaystyle {\mathcal {H}}={\mathcal {H}}_{0}\oplus {\mathcal {H}}_{1}}$. We assume that the algebra ${\displaystyle {\mathcal {A}}}$ is even under the ${\displaystyle \mathbb {Z} _{2}}$-grading, i.e. ${\displaystyle a\gamma =\gamma a}$, for all ${\displaystyle a\in {\mathcal {A}}}$.

(c) A self-adjoint (unbounded) operator ${\displaystyle D}$, called the Dirac operator such that

(i) ${\displaystyle D}$ is odd under ${\displaystyle \gamma }$, i.e. ${\displaystyle D\gamma =-\gamma D}$.

(ii) Each ${\displaystyle a\in {\mathcal {A}}}$ maps the domain of ${\displaystyle D}$, ${\displaystyle \mathrm {Dom} \left(D\right)}$ into itself, and the operator ${\displaystyle \left:\mathrm {Dom} \left(D\right)\to {\mathcal {H}}}$ is bounded.

(iii) ${\displaystyle \mathrm {tr} \left(e^{-tD^{2}}\right)<\infty }$, for all ${\displaystyle t>0}$.

A classic example of a ${\displaystyle \theta }$-summable spectral triple arises as follows. Let ${\displaystyle M}$ be a compact spin manifold, ${\displaystyle {\mathcal {A}}=C^{\infty }\left(M\right)}$, the algebra of smooth functions on ${\displaystyle M}$, ${\displaystyle {\mathcal {H}}}$ the Hilbert space of square integrable forms on ${\displaystyle M}$, and ${\displaystyle D}$ the standard Dirac operator.

The cocycle

Given a ${\displaystyle \theta }$-summable spectral triple, the JLO cocycle ${\displaystyle \Phi _{t}\left(D\right)}$ associated to the triple is a sequence

${\displaystyle \Phi _{t}\left(D\right)=\left(\Phi _{t}^{0}\left(D\right),\Phi _{t}^{2}\left(D\right),\Phi _{t}^{4}\left(D\right),\ldots \right)}$

of functionals on the algebra ${\displaystyle {\mathcal {A}}}$, where

${\displaystyle \Phi _{t}^{0}\left(D\right)\left(a_{0}\right)=\mathrm {tr} \left(\gamma a_{0}e^{-tD^{2}}\right),}$

${\displaystyle \Phi _{t}^{n}\left(D\right)\left(a_{0},a_{1},\ldots ,a_{n}\right)=\int _{0\leq s_{1}\leq \ldots s_{n}\leq t}\mathrm {tr} \left(\gamma a_{0}e^{-s_{1}D^{2}}\lefte^{-\left(s_{2}-s_{1}\right)D^{2}}\ldots \lefte^{-\left(t-s_{n}\right)D^{2}}\right)ds_{1}\ldots ds_{n},}$

for ${\displaystyle n=2,4,\dots }$. The cohomology class defined by ${\displaystyle \Phi _{t}\left(D\right)}$ is independent of the value of ${\displaystyle t}$

See also

• Cyclic homology
• Chern class
• Arthur Jaffe

References

1. Jaffe, Arthur (1997-09-08). "Quantum Harmonic Analysis and Geometric Invariants". arXiv:physics/9709011.
2. Higson, Nigel (2002). K-Theory and Noncommutative Geometry (PDF). Penn State University. pp. Lecture 4. Archived from the original (PDF) on 2010-06-24.
3. Jaffe, Arthur; Lesniewski, Andrzej; Osterwalder, Konrad (1988). "Quantum $K$-theory. I. The Chern character". Communications in Mathematical Physics. 118 (1): 1–14. Bibcode:1988CMaPh.118....1J. doi:10.1007/BF01218474. ISSN 0010-3616.

• Noncommutative geometry