Next: Charged Particles in a Magnetic Field Up: Braids and Quantization Previous: r-Algebras

Noncommutative Tori

I'm beginning to tire out but there is one loose end (out of many) that I'd like to nail down. I've mentioned noncommutative tori a couple of times but haven't defined them or said what they have to do with physics.

Okay: recall that $L^2({\bf R})$ means the Hilbert space of square-integrable complex function on the real line. If we define the unitary operators $u$ and $v$ on $L^2({\bf R})$ given by

\begin{eqnarray*}
u &=& {\rm translation by the amount }s\\
v &=& {\rm multiplication by } e^{ix}\\
\end{eqnarray*}

we can see that they don't commute, but instead satisfy

\begin{displaymath}
uv = qvu
\end{displaymath}

where $q = e^{is}$. (Note: I didn't say which way to translate by the amount $s$ -- if you pick this correctly things will work out.)

The algebra of operators on $L^2({\bf R})$ generated by $u$ and $v$ and their inverses is called the noncommutative torus $T_q$. (If you know how, it's better to take the C*-algebra generated by two unitaries $u$ and $v$ satisfying

\begin{displaymath}
uv = qvu.
\end{displaymath}

This is actually quite a bit bigger for $q = 1$.) This is clearly a natural sort of thing because it's built up out of simple translation and multiplication operators, and all of Fourier theory is based on the interplay between translation and multiplication operators.

Why is called a "torus"? Note that it depends on the parameter $q$. If we take $q = 1$, $T_q$ is the C*-algebra generated by two unitaries $u$ and $v$ that commute. This may identified the algebra of functions on a torus if we think of $u$ as multiplication by $e^{i\theta}$ and $v$ as multiplication by $e^{i \phi}$, where $\theta$ and $\phi$ are the two angles on the torus. So we've got a one-parameter family of algebras $T_q$ such that when $q = 1$, it's just the algebra of (continuous) functions on a torus, but for $q$ not equal to one we have some sort of noncommutative analog thereof. The parameter $q$ measures noncommutativity or "quantum-ness", and one can relate it to Planck's constant (which also measures "quantum-ness") by

\begin{displaymath}
q = e^{i \hbar}
\end{displaymath}

This example is actually the tip of an iceberg called called "deformation theory". One can read more about it in these papers, among others: As you can see from these titles, it has a lot to do with quantization, since in quantization one is trying to start with a commutative algebra of functions (observables) on phase space and "quantize" it, or make it noncommutative, somehow.

Now it shouldn't be too surprising that the noncommutative torus is an r-commutative algebra, since the commutation relations $uv = qvu$ tell you exactly how to "switch" $u$ and $v$. I've shown that there is a unique way to make the noncommutative torus into a strong r-commutative algebra such that

\begin{displaymath}
R(u\otimes u) = u\otimes u
\end{displaymath}


\begin{displaymath}
R(v\otimes v) = v\otimes v
\end{displaymath}

and

\begin{displaymath}
R(u\otimes v) = q v\otimes u.
\end{displaymath}

(Recall that "strong" simply means that $R^2$ is the identity, so $R(v\otimes u) = q^{-1}u\otimes v$.) One may thus go ahead and define "r-commutative differential forms" for the noncommutative torus, which satisfy

\begin{displaymath}
\begin{array}{ll}
u(du) = (du)u, & v(dv) = (dv)v, \\
u(dv) = q(dv)u, & (du)v = qv(du) \\
\end{array}\end{displaymath}

and more relations obtained by differentiating these. One can then calculate the (r-commutative) de Rham cohomology of the noncommutative torus, and, lo and behold, it's isomorphic to that of the usual torus. This fits into the philosophy that the noncommutative torus is obtained from the usual torus by a "continuous deformation" -- no holes have been formed or gotten rid of.

If you're interested in learning more about noncommutative tori, a good review article is

Let me just conclude by saying that noncommutative tori have applications in physics. This shouldn't really be surprising since they're such simple things. Let's say you have a charged particle trapped on the $xy$ plane, and there's a magnetic field of constant intensity $B$ perpendicular to the plane. Then the momentum operators in the $x$ direction and the $y$ direction no longer commute. Exponentials of these (i.e., translations) generate a noncommutative torus, and this fact has been used by Bellisard to do certain calculations of the quantum Hall effect! See:


Next: Charged Particles in a Magnetic Field Up: Braids and Quantization Previous: r-Algebras

© 1992 John Baez
baez@math.removethis.ucr.andthis.edu

home