Introduction

In the previous lesson we studied: Cyclic Cohomology

which serves as Connes’ replacement for differential forms and de Rham cohomology.

Today we study the second great pillar of noncommutative geometry:

K-Theory

If cyclic cohomology is the analogue of differential geometry, then K-theory is the analogue of topology.

The central question is:

If a noncommutative algebra represents a space, how do we detect holes, twists, and topological structure when there are no points?

Connes’ answer is:

Use projections and unitary operators.

This idea leads to one of the deepest and most successful theories in modern mathematics.

---

A Topological Warm-Up

Consider:

$$S^1$$

the circle.

Compare it with:

$$[0,1]$$

the interval.

They look similar.

Both are one-dimensional.

Both are smooth.

Yet topologically they are different.

Why?

Because:

$$S^1$$

contains a hole.

The interval does not.

---

The Goal of Topology

Topology seeks invariants.

An invariant is something that remains unchanged under continuous deformation.

Stretching is allowed.

Bending is allowed.

Tearing is not.

---

Classical Examples

A coffee mug and a donut are topologically equivalent.

A sphere and a torus are not.

We need tools capable of detecting these differences.

K-theory is one such tool.

---

Vector Bundles

Classical K-theory begins with vector bundles.

Imagine attaching a vector space to every point of a space.

For example:

To every point:

$$x\in M$$

attach:

$$\mathbb R^n$$

or:

$$\mathbb C^n$$

The resulting object is called a vector bundle.

---

Example

The cylinder:

$$S^1\times \mathbb R$$

is a trivial bundle.

Every fiber looks the same.

Nothing twists.

---

Example

The Möbius strip is a nontrivial bundle.

A twist appears.

This twist is topological information.

---

Why Bundles Matter

Many geometric objects are vector bundles:

• Tangent bundles
• Normal bundles
• Spin bundles

Thus understanding bundles means understanding geometry itself.

---

Grothendieck’s Idea

The mathematician:

Alexander Grothendieck

had a brilliant idea.

Instead of studying individual bundles,

study all bundles simultaneously.

Create an algebraic structure from them.

This became:

K-Theory

---

From Addition to Groups

Bundles can be added:

$$E\oplus F$$

However subtraction is not naturally defined.

Grothendieck’s construction formally introduces subtraction.

This produces a group.

---

The K-Group

The resulting group is:

$$K(M)$$

It encodes topological information about:

$$M$$

---

Why This Matters

Different spaces have different K-groups.

Thus K-theory becomes a topological fingerprint.

---

The Operator Algebra Viewpoint

Connes asks:

What if the space disappears?

Suppose only an algebra:

$$A$$

remains.

How do we define K-theory then?

---

Projections

Recall:

A projection satisfies:

$$P^2=P$$

and:

$$P^*=P$$

Geometrically:

A projection selects a subspace.

---

Why Projections Matter

A vector bundle can be represented by a projection.

This remarkable fact allows topology to be encoded algebraically.

---

The Serre–Swan Theorem

One of the most important results states:

Vector bundles over:

$$M$$

correspond to finitely generated projective modules over:

$$C(M)$$

This theorem is fundamental.

It allows topology to be translated into algebra.

---

Why This Is Revolutionary

Instead of studying:

• Points
• Bundles

we study:

• Algebras
• Modules
• Projections

This makes K-theory possible for noncommutative spaces.

---

K₀ Theory

The first K-group is:

$$K_0(A)$$

It is built from projections.

Very roughly:

Equivalent projections represent the same topological information.

---

Murray–von Neumann Equivalence Returns

Recall from earlier lessons:

Projections:

$$P$$

and:

$$Q$$

are equivalent if:

$$V^*V=P$$

and:

$$VV^*=Q$$

for some partial isometry:

$$V$$

This notion becomes central in K-theory.

---

Intuition

Equivalent projections represent the same “noncommutative vector bundle.”

Thus:

$$K_0(A)$$

classifies generalized bundles.

---

Example

For ordinary complex numbers:

$$A=\mathbb C$$

one obtains:

$$K_0(\mathbb C)=\mathbb Z$$

The integers appear.

Dimension survives.

---

Why Integers Appear

A projection in:

$$M_n(\mathbb C)$$

has a rank.

Rank becomes the invariant.

The resulting K-group is:

$$\mathbb Z$$

---

K₁ Theory

A second K-group also exists:

$$K_1(A)$$

Instead of projections,

it uses unitary operators.

---

Unitaries

Recall:

$$U^U=UU^=I$$

Unitary operators generalize rotations.

---

Why K₁ Matters

While:

$$K_0$$

captures bundle-like information,

$$K_1$$

captures loop-like information.

Both are needed.

---

The Circle Example

For:

$$A=C(S^1)$$

one finds:

$$K_1(C(S^1))=\mathbb Z$$

This integer detects winding number.

---

Winding Number

Imagine wrapping a rubber band around a circle.

How many times does it go around?

That integer appears naturally in:

$$K_1$$

---

Why This Is Beautiful

Topology has become algebra.

No coordinates are needed.

No points are needed.

Only operators remain.

---

The Noncommutative Torus

Now consider:

$$A_\theta$$

the noncommutative torus.

One can compute:

$$K_0(A_\theta)$$

and:

$$K_1(A_\theta)$$

These groups resemble those of the ordinary torus.

This was one of the first major successes of noncommutative geometry.

---

Why This Was Important

The noncommutative torus behaves topologically like a genuine space.

K-theory detects that structure.

This strongly supported Connes’ philosophy.

---

Cyclic Cohomology Reappears

Recall the previous lesson.

We introduced:

Cyclic Cohomology.

Now something remarkable happens.

There exists a pairing:

$$K_(A)\times HC^(A)\to\mathbb C$$

This pairing is the noncommutative analogue of integration.

---

Geometry Meets Topology

K-theory measures topology.

Cyclic cohomology measures geometry.

Together they recreate much of classical mathematics.

This interaction is central to Connes’ work.

---

Why Matilde Marcolli Uses K-Theory

Much of the work of:

Matilde Marcolli

uses K-theory extensively.

Especially in:

• Arithmetic geometry
• Quantum statistical mechanics
• Noncommutative spaces

K-theory becomes one of the primary computational tools.

---

Why Connes Needed K-Theory

Connes wanted a replacement for:

Classical Topology.

K-theory provided exactly that.

Without K-theory:

Noncommutative geometry would lack a robust notion of topological structure.

---

The Bigger Picture

Observe what has happened.

Classical Geometry:

Points

$$\longrightarrow$$

Vector Bundles

$$\longrightarrow$$

Topology

---

Noncommutative Geometry:

Algebras

$$\longrightarrow$$

Projections

$$\longrightarrow$$

K-Theory

The same ideas survive, but in a new language.

---

Key Concepts Learned

By the end of this lesson you should understand:

• K-theory is the topological pillar of noncommutative geometry.
• Classical K-theory begins with vector bundles.
• The Serre–Swan theorem translates bundles into algebra.
• Projections generate:

$$K_0(A)$$

• Unitaries generate:

$$K_1(A)$$

• K-theory survives even when spaces disappear.
• The noncommutative torus possesses meaningful K-groups.
• K-theory and cyclic cohomology interact through a natural pairing.
• K-theory became one of Connes’ primary tools.

---

Looking Ahead

Measure Theory Lesson 52: Bott Periodicity — The Miracle Behind K-Theory

In the next lesson we study one of the most astonishing theorems in twentieth-century mathematics:

Bott Periodicity

A result so surprising that many mathematicians describe it as a miracle. Bott periodicity explains why K-theory is computable, why only a few K-groups are fundamentally different, and why topology, operator algebras, and noncommutative geometry are tied together so deeply. It is one of the cornerstone theorems underlying much of Connes’ mathematical framework.