Introduction
We now leave the physics side of Connes’ work and return to one of his deepest mathematical inventions.
Up to this point we have learned:
- Operator algebras
- Spectral triples
- Noncommutative tori
- Distance from operators
- Spectral actions
A natural question now arises:
If a noncommutative algebra is supposed to be a space, how do we study its topology?
For ordinary manifolds, one of the most important tools is:
de Rham Cohomology
For noncommutative spaces, Connes invented:
Cyclic Cohomology
This theory became one of the central pillars of noncommutative geometry.
Many mathematicians consider it the noncommutative analogue of:
- de Rham cohomology
- differential forms
- integration on manifolds
Without cyclic cohomology, much of noncommutative geometry would not exist.
Why Topology Needs Invariants
Suppose we have:
- A sphere
- A torus
Both are smooth surfaces.
How do we know they are different?
We need invariants.
Topology studies quantities that remain unchanged under deformation.
A Classical Example
The sphere:
$$S^2$$
has no hole.
The torus:
$$T^2$$
has one hole.
This difference appears in cohomology.
Differential Forms
Recall from differential geometry:
A differential form might look like:
$$f(x,y)dx+g(x,y)dy$$
or:
$$h(x,y),dx\wedge dy$$
Differential forms capture geometric information.
Exterior Derivative
The operator:
$$d$$
acts on forms.
A fundamental property is:
$$d^2=0$$
This simple identity drives all of de Rham theory.
Closed Forms
A form:
$$\omega$$
is called closed if:
$$d\omega=0$$
Exact Forms
A form:
$$\omega$$
is exact if:
$$\omega=d\eta$$
for some:
$$\eta$$
de Rham Cohomology
The k-th de Rham cohomology group is:
$$H^k(M)=\frac{{\text{closed k-forms}}}{{\text{exact k-forms}}}$$
Very roughly:
Cohomology measures closed forms that cannot be explained as derivatives of simpler objects.
Why This Matters
Cohomology detects:
- Holes
- Global structure
- Topology
It is one of the most powerful tools in geometry.
The Problem
What happens if our space is:
$$A_\theta$$
the noncommutative torus?
There are no ordinary points.
There are no ordinary differential forms.
How do we define cohomology?
Connes’ Insight
Recall the philosophy:
Space
$$\longleftrightarrow$$
Algebra
If the algebra is fundamental,
then cohomology should be built directly from the algebra.
Traces Revisited
Consider matrices.
One important quantity is:
$$\operatorname{Tr}(A)$$
The trace satisfies:
$$\operatorname{Tr}(AB)=\operatorname{Tr}(BA)$$
The trace is cyclic.
Why “Cyclic”?
Observe:
$$\operatorname{Tr}(ABC)=\operatorname{Tr}(BCA)=\operatorname{Tr}(CAB)$$
The factors can rotate cyclically.
This property becomes the foundation of cyclic cohomology.
The Basic Idea
Instead of studying differential forms,
Connes studies multilinear functionals:
$$\varphi(a_0,a_1,\ldots,a_n)$$
on an algebra:
$$A$$
These functionals play the role of differential forms.
Cyclic Condition
A cyclic cochain satisfies:
$$\varphi(a_0,\ldots,a_n)=(-1)^n\varphi(a_n,a_0,\ldots,a_{n-1})$$
This condition generalizes the cyclic property of traces.
Why This Is Natural
Remember:
Differential forms are antisymmetric.
Cyclic cochains are their noncommutative analogues.
Hochschild Cohomology
Before cyclic cohomology comes:
Hochschild Cohomology
This is the algebraic analogue of differential forms.
It studies multilinear maps on algebras.
Connes’ Discovery
Hochschild cohomology was not quite enough.
Something was missing.
Connes introduced an additional cyclic symmetry.
The result was:
Cyclic Cohomology
The Connes Boundary Operator
A new operator:
$$B$$
is introduced.
Combined with the Hochschild boundary:
$$b$$
one obtains a bicomplex.
This structure generates cyclic cohomology.
Why This Was Revolutionary
Connes showed that cyclic cohomology behaves remarkably like de Rham cohomology.
It captures:
- Topology
- Differential structure
- Integration theory
for noncommutative spaces.
The Classical Recovery Theorem
One of the most beautiful results states:
For ordinary smooth manifolds:
Cyclic cohomology reproduces de Rham cohomology.
Thus:
Classical geometry sits naturally inside Connes’ theory.
Why This Is Important
A good generalization should recover the classical theory.
Cyclic cohomology passes this test perfectly.
Integration Reappears
Recall ordinary integration:
$$\int_M \omega$$
for a differential form:
$$\omega$$
In noncommutative geometry,
cyclic cocycles play the role of integration.
A Noncommutative Integral
A cyclic cocycle allows us to define quantities analogous to:
$$\int_M \omega$$
even when:
- points do not exist
- ordinary forms do not exist
This is one of the key achievements of the theory.
Pairing with K-Theory
Another major discovery is that cyclic cohomology pairs naturally with K-theory.
Very roughly:
Topology
$$\longleftrightarrow$$
K-Theory
and
Geometry
$$\longleftrightarrow$$
Cyclic Cohomology
The interaction between these two theories becomes central.
Why K-Theory Appears Again
Recall the noncommutative torus.
Its topology is described by:
K-theory.
Its differential structure is described by:
cyclic cohomology.
Together they recreate geometry.
The Chern Character
One of the most important constructions in geometry is the Chern character.
Connes built a noncommutative version:
$$\operatorname{Ch}:K_(A)\to HC^(A)$$
This map connects:
- K-theory
- Cyclic cohomology
just as in classical geometry.
Why This Matters
The Chern character provides a bridge between:
Topology
and
Analysis
One of the recurring themes of Connes’ work.
The Noncommutative Torus Revisited
For:
$$A_\theta$$
cyclic cohomology can be computed explicitly.
It reproduces many familiar geometric features of the ordinary torus.
This was strong evidence that noncommutative geometry was genuinely geometric.
Why Matilde Marcolli Uses It
The work of:
Matilde Marcolli
frequently uses:
- Cyclic cohomology
- K-theory
- Chern characters
especially in:
- Arithmetic geometry
- Quantum statistical mechanics
- Noncommutative spaces
Understanding cyclic cohomology is therefore essential for reading her research.
Why Connes Considered It Fundamental
Connes often describes noncommutative geometry as requiring three pillars:
- Operator algebras
- K-theory
- Cyclic cohomology
Without cyclic cohomology, the theory would lack a differential calculus.
A Useful Mental Model
Think of:
| Classical Geometry | Noncommutative Geometry |
|---|---|
| Differential Forms | Cyclic Cocycles |
| de Rham Cohomology | Cyclic Cohomology |
| Integration | Cyclic Pairings |
| Chern Character | Noncommutative Chern Character |
This table captures the philosophy remarkably well.
The Bigger Picture
Notice how Connes keeps rebuilding geometry:
Distance
$$\rightarrow$$
Spectral triples
Topology
$$\rightarrow$$
K-theory
Differential Forms
$$\rightarrow$$
Cyclic cohomology
Piece by piece, ordinary geometry is reconstructed in a noncommutative setting.
Key Concepts Learned
By the end of this lesson you should understand:
- de Rham cohomology studies closed forms modulo exact forms.
- Cyclic cohomology is Connes’ noncommutative analogue of de Rham cohomology.
- Cyclic cochains satisfy a cyclic symmetry condition.
- Cyclic cohomology extends Hochschild cohomology.
- It recovers ordinary de Rham cohomology in the commutative case.
- Cyclic cocycles play the role of differential forms and integration.
- Cyclic cohomology pairs naturally with K-theory.
- It forms one of the central pillars of noncommutative geometry.
Looking Ahead
Measure Theory Lesson 51: K-Theory for Operator Algebras — Measuring the Topology of Noncommutative Spaces
In the next lesson, we study the second great pillar of Connes’ theory: K-Theory.
We will learn how topology survives even when spaces disappear, how projections and unitary operators encode topological information, and why K-theory became one of the most powerful tools in both Connes’ and Marcolli’s research. This will complete the fundamental toolkit of noncommutative geometry.
Leave a Reply