Hilbert modular surfaces

Hilbert modular surfaces
Name	Hilbert modular surfaces
Field	Algebraic geometry, Number theory
Introduced	20th century
Notable	David Hilbert, Erich Hecke, Martin Eichler

Hilbert modular surfaces are complex algebraic surfaces arising as quotients of products of upper half-planes by Hilbert modular groups attached to real quadratic fields. They connect the work of David Hilbert, Erich Hecke, Martin Eichler, Heinrich Minkowski, and Emil Artin with developments in Algebraic geometry, Number theory, Modular forms, Automorphic representations, and the theory of Shimura varieties. These surfaces play roles in the study of Elliptic curves, K3 surfaces, Calabi–Yau manifolds, and the arithmetic of Hilbert modular forms.

Introduction

Hilbert modular surfaces were introduced in research influenced by David Hilbert's program and the analytic methods of Erich Hecke and Heinrich Minkowski; later structural results used techniques from Alexander Grothendieck, Jean-Pierre Serre, Goro Shimura, and Robert Langlands. The classical analytic description links them to quotients by Hilbert modular groups associated to real quadratic extensions of Q studied by Carl Friedrich Gauss, Leopold Kronecker, and Richard Dedekind. Their study intersects with the work of André Weil, John Tate, Serge Lang, Haruzo Hida, and Gerald Shimura on L-functions, Galois representations, and congruences.

Definitions and Basic Properties

A Hilbert modular surface is defined for a real quadratic field K (a degree‑2 extension of Q) with ring of integers O_K; key actors include the Hilbert modular group SL_2(O_K), its congruence subgroups, and their action on H×H where H is the complex upper half‑plane studied by Riemann, Bernhard Riemann, and Felix Klein. Fundamental objects are Hilbert modular forms of parallel weight studied by Goro Shimura, Erich Hecke, and Martin Eichler; their Fourier expansions generalize works of Jacques Hadamard and Ernst Kummer. Topological invariants like Betti numbers rely on Hodge theory developed by Pierre Deligne and Wilhelm Wirtinger, while intersection theory uses tools from Oscar Zariski and Kunihiko Kodaira.

Construction via Hilbert Modular Groups

Construction begins with the action of GL_2^+(K) or SL_2(O_K) on H×H via the two real embeddings of K into R, following methods of Felix Klein and Henri Poincaré. One forms the quotient (H×H)/Γ for congruence subgroups Γ analogous to those used by Atkin and Serre in classical modular curve theory; these quotients relate to arithmetic groups studied by Armand Borel, Harish-Chandra, Hermann Weyl, and Élie Cartan. The analytic stacks and coarse moduli spaces were formalized using techniques of Alexander Grothendieck, Jean-Pierre Serre, and Mumford, while adelic formulations involve John Tate and James Milne.

Geometry and Compactification

Geometric analysis uses compactification theories by David Mumford, Gerd Faltings, Michael Artin, and Giovanni Faltings for surfaces with cusp singularities analogous to those on modular curves studied by Hecke and Atkin–Lehner. Toroidal compactifications draw on work by Mumford, Yuri Manin, Vladimir Gritsenko, and Klaus Hulek, while Baily–Borel compactification originates from Walter Baily and Armand Borel. Resolution of singularities employs methods of Heisuke Hironaka, Zariski, and Kunihiko Kodaira; Kodaira dimension classifications invoke results by Isamu Iitaka and Shigeru Iitaka. Exceptional divisors and cusp resolutions connect to the study of rational curves by Federigo Enriques and Kunihiko Kodaira.

Arithmetic and Moduli Interpretations

Hilbert modular surfaces parametrize principally polarized abelian surfaces with real multiplication by O_K, linking with moduli problems studied by Igor Shafarevich, Alexander Grothendieck, David Mumford, and Goro Shimura. Their points correspond to isomorphism classes of abelian varieties with level structure in the sense of Pierre Deligne and Jean-Pierre Serre. Arithmetic applications involve L-functions and Galois representations as in the work of Robert Langlands, Pierre Deligne, Andrew Wiles, Richard Taylor, and Fred Diamond. Special cycles on these surfaces relate to arithmetic intersection theory developed by Stephen Kudla, Michael Rapoport, Thomas Zink, and Jan Bruinier.

Examples and Classification

Classical examples include Hilbert modular surfaces for the real quadratic fields Q(√5), Q(√2), and Q(√13) studied by Hecke, Ernst Kummer, Gustav Roch, and Max Noether. Notable explicit models and compactifications were constructed by Hermann Minkowski, Frederick Klein, Igor Dolgachev, Eyal Goren, and Cecília Salgado, and further examples by Günter Harder, Klaus Hulek, Richard Borcherds, Eichler and Shimura. Classification results for Kodaira dimensions and Chern numbers reference work by M. Reid, Miles Reid, Sheldon Katz, Wolfgang Lütkebohmert, and Christopher D. Hacon.

Applications and Related Topics

Applications reach the proof of modularity results for abelian surfaces influenced by Andrew Wiles, Richard Taylor, Conrad Diamond and Taylor, Philippe Candelas, and David Gross. Connections exist to K3 surfaces via lattice theoretic constructions exploited by Shigeru Mukai, Igor Dolgachev, and Richard Borcherds. Relations with arithmetic geometry include intersections with the theories of Armand Borel, Jean-Pierre Serre, Robert Kottwitz, and Gerd Faltings. Contemporary research links Hilbert modular surfaces to the Langlands program, p-adic Hodge theory of Jean-Marc Fontaine, Peter Scholze's work on perfectoid spaces, and computational projects by John Cremona and William Stein.

Category:Algebraic surfaces Category:Moduli spaces Category:Automorphic forms