PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY Volume 134, Number 4, Pages 973–981 S 0002-9939(05)08244-4 Article electronically published on September 28, 2005
ON COMPLEX AND NONCOMMUTATIVE TORI
IGOR NIKOLAEV
(Communicated by Michael Stillman)
Abstract. The “noncommutative geometry” of complex algebraic curves is studied. As a first step, we clarify a morphism between elliptic curves, or ∗ 2πiθ complex tori, and C -algebras Tθ = {u, v | vu = e uv},ornoncommutative tori. The main result says that under the morphism, isomorphic elliptic curves map to the Morita equivalent noncommutative tori. Our approach is based on the rigidity of the length spectra of Riemann surfaces.
Introduction Noncommutative geometry is a branch of algebraic geometry studying “varieties” over noncommutative rings. The noncommutative rings are usually taken to be rings of operators acting on a Hilbert space [7]. The rudiments of noncommutative geometry can be traced back to F. Klein [3], [4] or even earlier. The fundamental modern treatise [1] gives an account of status and perspective of the subject. ∗ The noncommutative torus Tθ is a C -algebra generated by linear operators u and v on the Hilbert space L2(S1) subject to the commutation relation vu = e2πiθuv, θ ∈ R − Q [11]. The classification of noncommutative tori was given in [2], [8], [11]. Recall that two such tori Tθ,Tθ are Morita equivalent if and only if θ, θ lie in the same orbit of the action of group GL(2, Z) on irrational numbers by linear fractional transformations. It is remarkable that the “moduli problem” for Tθ looks as such for the complex tori Eτ = C/(Z + τZ), where τ is complex modulus. Namely, complex tori Eτ ,Eτ are isomorphic if and only if τ,τ lie in the same orbit of the action of SL(2, Z) on complex numbers by linear fractional transformations. It was observed by some authors (e.g. [5], [15]) that it might not be just a coincidence. This note is an attempt to show that it is indeed so: there exists a general morphism between Riemann surfaces and C∗-algebras. Let us give rough idea of our approach. Given Riemann surface S,thereisa → R∞ function S + which maps the (discrete) set of closed geodesics of S to a discrete subset of a real line by assigning each closed geodesic its riemannian length. If Tg(S) is the space of all Riemann surfaces of genus g ≥ 0, then the function −→ R∞ (1) W : Tg(S) +
Received by the editors February 25, 2003 and, in revised form, November 2, 2004. 2000 Mathematics Subject Classification. Primary 14H52, 46L85. Key words and phrases. Elliptic curve, noncommutative torus.