Also called quantum torus. We’ll use the word *quantum torus* since it is shorter.

## Idea

A $n$-dimensional quantum tori can be seen as

- The twisted group $C^\ast$-algebra $C(\mathbb{Z}^n,\sigma)$ of $\mathbb{Z}^n$ by a 2-cocycle $\sigma \in H^2_M(\mathbb{Z}^n,\mathbb{T})$ where $\mathbb{T}$ is seen as a trivial $\mathbb{Z}^n$ module and $H^2_M$ means the second Moore cohomology.
- The universal $C^\ast$-algebra of unitaries $U_i$’s satisfyging $U_i U_j = e^{2\pi i \theta_{ij}} U_j U_i$ where $\theta$ is an $(n\times n)$ antisymmetric matrix.
- The iterated crossed product $C(\mathbb{T})\rtimes \mathbb{Z}\rtimes …\rtimes \mathbb{Z}$. $\mathbb{Z}$ appears $(n-1)$ times. $\mathbb{Z}$ acts on $C(\mathbb{T})$ by rotations of angle $\tau$ on $S^1$ where $\tau$ is not a root of unity.
- A strict deformation quantization of the $n$-dimensional torus $\mathbb{T}^n$ with the constant Poisson structure given by an antysymmetric matrix $\theta$.

## Speculations

- An $n$-dimensional noncommutative torus $A_\theta$, view as a twisted group $C^\ast$-algebra, twisted by a group 2-cocycle, is directly related to the projective representations of $\mathbb{Z}^n$.
- Now the problem of the classification of all irreducible representations of a Lie group can, in some sense, be reduced to the problem of the classification of all irreducible
*projective*representations of free abelian groups. Note $\mathbb{Z}^n$ is a free abelian group, and every finitely generated free abelian group is of this form. (see doi.org/10.24033/asens.1444 ) - It has been proved that two quantum torus are in a same $SO(n,n;\mathbb{Z})$-orbit iff they are
*completely Morita equivalent*. (see arXiv:math/0311502 . there are many notions of Moritq equivalence for $C^\ast$ algebras, see [[Morita equivalence]]) - We have a embedding $\mathfrak{so}(n,\mathbb{Z})\rightarrow O(n,n;\mathbb{Z})$, whose action on a quantum torus is an
*isomorphism*. (also see arXiv:math/0311502 though this should be obvious) - If we can construct some sort of functor $F:{\text{certain antisymmetric matrces}}\rightarrow {\text{quantum tori}}:\theta\mapsto A_\theta$, then this functor can be seen as some sort of modular form on $O(n,n;\mathbb{Z})$. - Hence it should be seen as a section of some (maybe higher, circle) bundle over some moduli stack (of antisymmetric matrices?)
- The embedding of $\mathfrak{so}(n,\mathbb{Z})$ to $O(n,n;\mathbb{Z})$ gives ‘periodity’ for functor $F$, namely, we have $F(e^B\theta) = (e^B)^\ast F(\theta) = F(\theta)$. This reminds one of the periodicity of a modular form that gives its Fourier development.
- $O(n,n;\mathbb{Z})$ is also the T-duality group. - The $\mathfrak{so}(n,\mathbb{Z})$-action is particularly simple in the T-duality picture. (see arXiv:1804.00677 )
- The isomorphisms of twisted $K$-theories in $T$-duality is Baum-Connes assembly.
- T-duality can be seen as some sort of quantization. A quantum tori is a quantization of a ordinary torus, of which the Poisson structure is given by the same antisymmetric matrice $\theta$. In T-duality it is the Mackey obstruction of $\mathbb{Z}^n = \pi_1(\mathbb{T}^n)$ comming from the twist $\delta\in H^3(E,\mathbb{Z})$ of the underlying torus bundle.

## Strict deformation quantization

Let $\mathbb{T}^n$ be equipped with a constant Poisson structure $\Pi$, s.t. $\Pi_{ij} = \{ \theta_i,\theta_j \}$ where $\theta_i$ are coordinates.

Via Fourier transform one can identify $C^\infty(\mathbb{T}^n)$ with the Schwartz space $\mathcal{S}(\mathbb{Z}^n)$ of complex-valued functions on $\mathbb{Z}^n$ with rapid decay at $\infty$. The pointwise product of functions becomes the convolution $$ \hat{f}\ast \hat{g} (n) = \sum_{k\in \mathbb{Z}^n} \hat{f}(n)\hat{g}(n-k). $$

Now use the Poisson structure $\Gamma$, which is a skew-symmetric real matrix, to twist the convolution, and define on $\mathcal{S}(\mathbb{Z}^n)$ $$ \hat{f}\ast_\hbar\hat{g} (n_ = \sum_{k\in\mathbb{Z}^n}\hat{f}(n)\hat{g}(n-k)e^{-i\hbar\pi \Pi(k,n-k)}. $$ This can be pulled back to $C^\infty(\mathbb{T}^n)$ and yield a new product. Put $\hbar = 1$, this defines the algebra $A^\infty_\Pi$. A suitable completion of $A^\infty_\Pi$ yields a $C^\ast$-algebra $A_{\Pi}$, the quantum torus.

Let $SO(n,n;\mathbb{Z})$ be the subgroup of the split orthogonal group consisting of those with determinant $1$. We have a theorem about the Morita class of $A_{\Gamma}$.

The converse holds for $n=2$ but not in general. For *smooth* quantum tori, the theorem and its converse hold w.r.t. a refined notion of Morita equivalence called *complete* Morita equivalence.

A proof that is worth looking into: Quantization and Morita equivalence for constant Dirac structures on tori that uses Dirac structures on $\mathbb{T}^n$, and is related to foliations.

## More

- G. Landi, F. Lizzi, R.J. Szabo.
*String Geometry and the Noncommutative Torus*https://arxiv.org/abs/hep-th/9806099

Harmonic analysis and number theory:

- Igor Nikolaev.
*Langlands reciprocity for the even dimensional noncommutative tori*https://arxiv.org/abs/1004.0904 - Igor Nikolaev.
*On L-function of noncommutative tori*https://arxiv.org/abs/0912.4905