Introduction
Throughout the last ten lessons, two worlds have been developing side by side.
World 1: Dynamics
We study:
$$T:X\to X$$
and ask:
- Is it ergodic?
- Is it mixing?
- What are its invariant sets?
World 2: Operator Algebras
We study:
$$M\subseteq B(H)$$
and ask:
- Is it a factor?
- What type is it?
- What is its modular flow?
A natural question arises:
Can we systematically convert a dynamical system into a von Neumann algebra?
The answer is yes.
The construction is called the:
Crossed Product
It is one of the most important ideas in operator algebra theory.
In many ways:
Crossed Products are the bridge between Ergodic Theory and Operator Algebras.
Without them:
- Much of Connes’ work would not exist.
- Modern Type III theory would not exist.
- Noncommutative geometry would look very different.
The Goal
Suppose we start with:
$$\left(X,\mathcal F,\mu\right)$$
and a measure-preserving transformation:
$$T:X\to X$$
Can we build an algebra that remembers:
- the space
- the measure
- the dynamics
all at once?
Crossed products provide exactly this construction.
Step 1: The Algebra of Functions
Start with:
$$L^\infty(X,\mu)$$
This is a commutative von Neumann algebra.
It remembers:
- measurable sets
- measurable functions
- the measure space
But it does not remember the dynamics.
If we forget:
$$T$$
we lose information.
Step 2: Encode the Dynamics
Recall the Koopman operator:
$$U_Tf=f\circ T$$
acting on:
$$L^2(X,\mu)$$
This operator remembers the dynamics.
Two Pieces of Information
We now have:
Geometry
$$L^\infty(X,\mu)$$
and
Dynamics
$$U_T$$
The crossed product combines them.
The Key Relation
Observe:
$$U_T M_f U_T^{-1}=M_{f\circ T}$$
where:
$$M_f$$
denotes multiplication by:
$$f$$
This relation is the heart of the crossed product construction.
Interpretation
Apply:
$$U_T$$
then multiply by:
$$f$$
then undo:
$$U_T$$
The result is multiplication by:
$$f\circ T$$
Thus the dynamics acts on functions.
Definition (Informal)
The crossed product is the von Neumann algebra generated by:
$$L^\infty(X,\mu)$$
together with:
$$U_T$$
It is written:
$$L^\infty(X,\mu)\rtimes_T \mathbb Z$$
Why the Symbol?
The symbol:
$$\rtimes$$
means:
semi-direct product
It indicates that:
- the function algebra
- the dynamics
have been fused together into a single object.
A New Kind of Space
Originally we had:
- points
- measurable sets
- a transformation
After taking the crossed product, we obtain:
a noncommutative operator algebra.
The original space disappears.
Only the algebra remains.
This is our first true example of a noncommutative space.
Why Noncommutativity Appears
Recall:
Functions commute:
$$fg=gf$$
However:
$$U_T M_f \neq M_f U_T$$
in general.
Instead:
$$U_T M_f U_T^{-1}=M_{f\circ T}$$
The dynamics destroys commutativity.
Example: Circle Rotation
Consider:
$$X=S^1$$
and:
$$T(x)=x+\alpha \pmod1$$
with:
$$\alpha$$
irrational.
The crossed product becomes a famous noncommutative algebra.
This example eventually leads to the:
Noncommutative Torus
one of Connes’ favorite spaces.
Why This Is Important
The crossed product contains:
- the measure space
- the dynamics
- the spectral information
all inside a single algebra.
Nothing has been lost.
Ergodicity Reappears
Suppose:
$$T$$
is ergodic.
Then the crossed product often becomes a factor.
Thus:
Ergodicity
$$\longrightarrow$$
Factor Structure
A dynamical property becomes an algebraic property.
Why This Is Beautiful
We can translate:
| Dynamical System | Operator Algebra |
|---|---|
| Ergodic | Factor |
| Mixing | Strong algebraic properties |
| Invariant sets | Center |
| Orbit structure | Representation theory |
This dictionary became one of the central ideas of modern operator algebra theory.
Type III Factors from Dynamics
One of the great discoveries of the 1960s and 1970s was:
Many Type III factors arise as crossed products.
This was revolutionary.
Instead of studying mysterious factors directly,
study the dynamical systems that generate them.
Connes’ Strategy
Connes repeatedly used the following idea:
Study:
$$M$$
by expressing it as:
$$N\rtimes G$$
for some dynamical system.
Then:
- analyze the dynamics
- recover information about the factor
This strategy became one of his most powerful tools.
A Simple Analogy
Imagine studying a complicated machine.
Instead of inspecting the machine directly,
you examine the blueprint used to build it.
Crossed products provide the blueprint.
Group Actions
The crossed product can be generalized.
Instead of:
$$\mathbb Z$$
generated by one transformation,
allow an arbitrary group:
$$G$$
to act on:
$$X$$
Then:
$$L^\infty(X,\mu)\rtimes G$$
captures the entire action.
Why Groups Matter
Many important symmetries come from groups:
- Rotations
- Translations
- Scaling
- Permutations
Crossed products encode symmetry directly into operator algebras.
The Group Measure Space Construction
The crossed product:
$$L^\infty(X,\mu)\rtimes G$$
is often called the:
Group Measure Space Construction
This construction became one of the central objects of operator algebra theory.
Why Operator Algebraists Love Crossed Products
Crossed products allow:
- Dynamics → Algebra
- Geometry → Algebra
- Symmetry → Algebra
Many difficult problems become easier after translation.
Why Physicists Love Crossed Products
In quantum mechanics:
symmetries are represented by operators.
Crossed products naturally incorporate:
- observables
- symmetries
- time evolution
into a single algebraic structure.
Connection to Noncommutative Geometry
Connes’ philosophy is:
A noncommutative algebra should be viewed as a space.
Crossed products generate vast families of such spaces.
Many important noncommutative geometries arise exactly this way.
The Noncommutative Torus
Perhaps the most famous example is the noncommutative torus.
Start with:
$$S^1$$
and an irrational rotation.
Form the crossed product.
The resulting algebra behaves like a torus whose coordinates no longer commute.
This object became one of the foundational examples of noncommutative geometry.
The Big Picture
Notice how everything now fits together.
Measure Theory gives:
$$L^\infty(X,\mu)$$
Ergodic Theory gives:
$$T$$
The Koopman operator gives:
$$U_T$$
Crossed products combine them:
$$L^\infty(X,\mu)\rtimes_T \mathbb Z$$
The result is a von Neumann algebra.
Thus:
Measure Theory
$$\longrightarrow$$
Ergodic Theory
$$\longrightarrow$$
Operator Algebras
is no longer a metaphor.
It is an actual mathematical construction.
Why This Lesson Matters
Many historians of mathematics consider crossed products to be one of the key inventions that made Connes’ work possible.
Without crossed products:
- Dynamics and operator algebras would remain largely separate.
- Type III classification would be much harder.
- Noncommutative geometry would be far less powerful.
This construction is one of the foundational pillars of the entire subject.
Key Concepts Learned
By the end of this lesson you should understand:
- Crossed products combine a measure space and a dynamical system.
- The key relation is:
$$U_T M_f U_T^{-1}=M_{f\circ T}$$
- The crossed product is written:
$$L^\infty(X,\mu)\rtimes_T \mathbb Z$$
- Dynamics naturally generates noncommutativity.
- Ergodic systems often produce factors.
- Many Type III factors arise from crossed products.
- Crossed products create noncommutative spaces.
- They are one of the most important tools in Connes’ work.
Looking Ahead
Measure Theory Lesson 46: The Noncommutative Torus — Connes’ First Noncommutative Space
In the next lesson, we study the most famous example in noncommutative geometry: the Noncommutative Torus. We will see how an ordinary torus becomes noncommutative, why this object behaves like a genuine geometric space despite having no ordinary points, and how it became the prototype for Connes’ vision of geometry beyond classical spaces.
Leave a Reply