Introduction

We have finally arrived at one of the most famous objects in modern mathematics.

If you ask:

What is the simplest example of a noncommutative space?

the answer is usually:

The Noncommutative Torus

This object plays a role in noncommutative geometry similar to the role played by:

• the circle in topology
• Euclidean space in geometry
• the normal distribution in probability

It is the “hello world” example of Connes’ theory.

The remarkable fact is that:

The noncommutative torus behaves like a geometric space even though it has no ordinary points.

This lesson is where Connes’ philosophy becomes concrete.

---

Begin with an Ordinary Torus

Recall the ordinary torus:

$$T^2=S^1\times S^1$$

Geometrically:

• a donut
• a bicycle tire
• a coffee mug handle

depending on how you visualize it.

---

Coordinates on the Torus

Suppose:

$$z,w\in S^1$$

Then:

$$|z|=|w|=1$$

Functions on the torus can be written using powers of:

$$z$$

and:

$$w$$

Examples:

$$z^2w^3$$

$$z^{-1}w^5$$

$$z^4+w^2$$

---

The Algebra of Functions

Consider:

$$C(T^2)$$

the continuous functions on the torus.

This is a commutative algebra because:

$$fg=gf$$

for all functions.

---

Gelfand’s Philosophy

Recall:

Every commutative C*-algebra corresponds to a space.

Thus:

$$C(T^2)$$

completely determines the torus.

The space and its function algebra contain the same information.

---

The Radical Question

What happens if we alter the multiplication rule?

Suppose the coordinates satisfy:

$$UV=e^{2\pi i\theta}VU$$

instead of:

$$UV=VU$$

where:

$$\theta\in\mathbb R$$

is fixed.

Now multiplication is no longer commutative.

---

Why This Is Strange

In ordinary geometry:

$$xy=yx$$

always.

Coordinates commute.

But now:

$$UV\neq VU$$

unless:

$$\theta=0$$

We have created a genuinely new object.

---

Definition of the Noncommutative Torus

The noncommutative torus:

$$A_\theta$$

is the C*-algebra generated by two unitary operators:

$$U,V$$

satisfying:

$$UV=e^{2\pi i\theta}VU$$

---

Why U and V Are Unitary

Recall:

An operator is unitary if:

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

and similarly for:

$$V$$

Thus:

$$U$$

and:

$$V$$

behave like generalized rotations.

---

Special Case: θ = 0

If:

$$\theta=0$$

then:

$$UV=VU$$

The algebra becomes commutative.

In fact:

$$A_0\cong C(T^2)$$

We recover the ordinary torus.

Thus:

The noncommutative torus is truly a deformation of the ordinary torus.

---

Special Case: Irrational θ

Suppose:

$$\theta$$

is irrational.

Then:

$$A_\theta$$

becomes highly noncommutative.

This is the case Connes found most interesting.

---

Why Irrationality Matters

If:

$$\theta=\frac pq$$

is rational,

many periodic phenomena occur.

If:

$$\theta$$

is irrational,

the algebra acquires rich and highly nontrivial structure.

The irrational case is analogous to irrational rotations in ergodic theory.

---

Where Does It Come From?

Recall the crossed product construction.

Take:

$$S^1$$

and the irrational rotation:

$$R_\theta(x)=x+\theta \pmod1$$

Form the crossed product:

$$C(S^1)\rtimes_{R_\theta}\mathbb Z$$

The resulting algebra is precisely:

$$A_\theta$$

This is our first major example of dynamics producing a noncommutative space.

---

Why This Is Amazing

Originally:

• Circle
• Rotation

After applying the crossed product:

• Geometry disappears
• Dynamics becomes algebra

The resulting algebra behaves like a new geometric object.

---

Does It Have Points?

This is a fascinating question.

Ordinary spaces consist of points.

The noncommutative torus does not.

There is no ordinary point set hiding underneath.

Yet geometry still exists.

This is one of the central insights of noncommutative geometry.

---

How Can Geometry Exist Without Points?

Think about ordinary geometry.

What do we actually measure?

• Distances
• Areas
• Spectra
• Differential operators

Connes realized:

Many geometric notions can be defined directly from operators.

Points are not always necessary.

---

Fourier Series Reappear

Elements of:

$$A_\theta$$

look like generalized Fourier series:

$$\sum_{m,n} a_{m,n}U^mV^n$$

This resembles:

$$\sum_{m,n} a_{m,n}z^mw^n$$

for an ordinary torus.

The algebra retains much of the flavor of classical geometry.

---

Differential Calculus

Remarkably:

We can define derivatives.

Set:

$$\delta_1(U)=2\pi iU,\qquad \delta_1(V)=0$$

and:

$$\delta_2(V)=2\pi iV,\qquad \delta_2(U)=0$$

These operators behave exactly like partial derivatives.

---

Geometry Reappears

Once derivatives exist, we can define:

• Smooth functions
• Vector fields
• Differential forms
• Connections
• Curvature

The noncommutative torus develops a rich geometry.

---

A Shock to Classical Intuition

Remember:

There are no ordinary points.

Yet:

• derivatives exist
• curvature exists
• topology exists

Geometry survives.

This was one of the strongest pieces of evidence that Connes’ vision was correct.

---

K-Theory Appears

The noncommutative torus possesses rich topological invariants.

One of the most important is:

K-Theory

K-theory becomes one of the major tools of noncommutative geometry.

Connes and Marcolli use it extensively.

---

Why Physicists Became Interested

The noncommutative torus appears naturally in:

• Quantum mechanics
• Quantum Hall effect
• String theory
• M-theory

It became one of the most important examples connecting mathematics and theoretical physics.

---

A Physical Interpretation

In quantum mechanics:

Position and momentum satisfy:

$$PQ-QP=i\hbar I$$

They do not commute.

The noncommutative torus captures a similar phenomenon geometrically.

Space itself becomes noncommutative.

---

Connes’ Philosophy Becomes Visible

The noncommutative torus demonstrates a central principle:

Geometry is really encoded in algebra.

Once the correct algebra is identified:

• topology appears
• analysis appears
• geometry appears

even without ordinary points.

---

Why This Example Changed Mathematics

Before Connes:

Geometry meant spaces.

After Connes:

Geometry could mean algebras.

The noncommutative torus was one of the first convincing demonstrations that this idea actually works.

---

Connection to Everything We Have Learned

Notice how the entire course now comes together.

Measure Theory gives:

$$L^\infty(X,\mu)$$

Ergodic Theory gives:

rotations.

Crossed Products give:

$$C(S^1)\rtimes \mathbb Z$$

Operator Algebras give:

noncommutative spaces.

The result is:

$$A_\theta$$

the noncommutative torus.

This is one of the first truly noncommutative geometries.

---

Why This Matters for Marcolli

Much of the later work of:

Matilde Marcolli

uses techniques developed for spaces such as the noncommutative torus.

Understanding this example is therefore foundational not only for Connes but also for Marcolli’s work in:

• Quantum statistical mechanics
• Arithmetic geometry
• Noncommutative geometry

---

Key Concepts Learned

By the end of this lesson you should understand:

• The ordinary torus corresponds to:

$$C(T^2)$$

• The noncommutative torus:

$$A_\theta$$

is generated by:

$$U,V$$

satisfying:

$$UV=e^{2\pi i\theta}VU$$

• When:

$$\theta=0$$

we recover the ordinary torus.

• Irrational:

$$\theta$$

produces a genuinely noncommutative space.

• The noncommutative torus arises from crossed products.
• It possesses derivatives, topology, and geometry despite lacking ordinary points.
• It became one of the foundational examples of noncommutative geometry.

---

Looking Ahead

Measure Theory Lesson 47: Spectral Triples — Connes’ Replacement for Geometry

In the next lesson, we encounter what many consider Connes’ greatest idea: the Spectral Triple.

We will learn how Connes replaces:

• points
• coordinates
• Riemannian metrics

with:

$$ (A,H,D) $$

and how this simple-looking triple contains enough information to reconstruct geometry itself. This is the true beginning of noncommutative geometry proper.