[Paper Review] Real Multiplication and noncommutative geometry

Yuri I. Manin|ArXiv.org|Feb 12, 2002

Algebraic structures and combinatorial modelsMathematics44 references83 citations

TL;DR

This paper proposes a noncommutative geometric framework for Real Multiplication (RM) using two-dimensional quantum tori as analogues to complex multiplication (CM) in elliptic curves. By generalizing Morita theory and quantum theta functions, it establishes functional equations and scalar products for quantum theta functions, offering a potential pathway to proving Stark's conjectures for real quadratic fields through noncommutative geometry.

ABSTRACT

Classical theory of Complex Multiplication (CM) shows that all abelian extensions of a complex quadratic field $K$ are generated by the values of appropriate modular functions at the points of finite order of elliptic curves whose endomorphism rings are orders in $K$. For real quadratic fields, a similar description is not known. However, the relevant (still unproved) case of Stark conjectures ([St1]) strongly suggests that such a description must exist. In this paper we propose to use two--dimensional quantum tori corresponding to real quadratic irrationalities as a replacement of elliptic curves with complex multiplication. We discuss some basic constructions of the theory of quantum tori from the perspective of this Real Multiplication (RM) research project.

Motivation & Objective

• To develop a noncommutative geometric theory of Real Multiplication analogous to classical Complex Multiplication in elliptic curves.
• To explore the role of two-dimensional quantum tori in generating abelian extensions of real quadratic fields.
• To connect zeta functions of real quadratic fields with quantum theta functions and modular structures.
• To provide a geometric interpretation of Stark's conjectures via quantum torus representations and Heisenberg modules.
• To generalize classical theta function theory to noncommutative settings using period pseudolattices and automorphic invariance.

Proposed method

• Uses Morita theory and Rieffel’s classification to define morphisms between noncommutative spaces as isomorphism classes of biprojective bimodules.
• Introduces 'period pseudolattices' as noncommutative analogues of period lattices in elliptic curves.
• Defines quantum theta functions as smooth functions on quantum tori invariant under actions of free abelian groups via multiplier homomorphisms.
• Derives explicit formulas for scalar products of quantum theta functions using Gaussian integrals and quadratic forms in complex matrices.
• Applies functional equations involving shift operators and exponential multipliers to characterize invariance under lattice actions.
• Establishes a correspondence between quantum theta functions and representations of quantum tori via Heisenberg group actions and Schwartz space coefficients.

Experimental results

Research questions

• RQ1 Can a noncommutative geometric framework be constructed for Real Multiplication analogous to Complex Multiplication in elliptic curves?
• RQ2 How do quantum theta functions on two-dimensional quantum tori relate to representations of quantum tori and Heisenberg modules?
• RQ3 Can the functional equations of quantum theta functions be used to generate abelian extensions of real quadratic fields?
• RQ4 To what extent do zeta functions of arithmetical progressions in real quadratic fields align with the spectral and modular properties of quantum tori?
• RQ5 Can the proposed theory provide a pathway to proving Stark’s conjectures for real quadratic fields?

Key findings

• The scalar product of a quantum theta function with itself is given by a sum over the lattice D: ⟨f_T, f_T⟩_D = (1/√(2^N det(Im T))) ∑_{h∈D} e^{-(π/2)h^t (Im T)^{-1} h^*} e_{D,α}(h), establishing a modular-type identity.
• The quantum theta function Θ_D satisfies the functional equation c_g e_{D,α}(g) x_g^*(Θ_D) = Θ_D for all g ∈ D, where c_g = exp(3π/2 h^t (Im T)^{-1} h^*), showing invariance under a twisted action.
• The functional equation involves a shift operator x_g^* defined via a complex exponential factor X_g(h) = -π Re(h^t (Im T)^{-1} h^*) - πi A(g,h), linking to Heisenberg group representations.
• A dual version of the scalar product and functional equation holds for the dual lattice D^! with conjugate structure, confirming duality in the noncommutative setting.
• The construction yields quantum theta functions with coefficients in the Schwartz space of D, ensuring smoothness in the C(D,α) algebra.
• The theory generalizes F. Boca’s result on quantum theta functions and provides a framework for higher-dimensional Real Multiplication via quantum tori.