Siegel modular variety

Last updated
A 2D slice of a Calabi-Yau quintic. One such quintic is birationally equivalent to the compactification of the Siegel modular variety A1,3(2). CalabiYau5.jpg
A 2D slice of a Calabi–Yau quintic. One such quintic is birationally equivalent to the compactification of the Siegel modular variety A1,3(2).

In mathematics, a Siegel modular variety or Siegel moduli space is an algebraic variety that parametrizes certain types of abelian varieties of a fixed dimension. More precisely, Siegel modular varieties are the moduli spaces of principally polarized abelian varieties of a fixed dimension. They are named after Carl Ludwig Siegel, the 20th-century German number theorist who introduced the varieties in 1943. [2] [3]

Contents

Siegel modular varieties are the most basic examples of Shimura varieties. [4] Siegel modular varieties generalize moduli spaces of elliptic curves to higher dimensions and play a central role in the theory of Siegel modular forms, which generalize classical modular forms to higher dimensions. [1] They also have applications to black hole entropy and conformal field theory. [5]

Construction

The Siegel modular variety Ag, which parametrize principally polarized abelian varieties of dimension g, can be constructed as the complex analytic spaces constructed as the quotient of the Siegel upper half-space of degree g by the action of a symplectic group. Complex analytic spaces have naturally associated algebraic varieties by Serre's GAGA. [1]

The Siegel modular variety Ag(n), which parametrize principally polarized abelian varieties of dimension g with a level n-structure, arises as the quotient of the Siegel upper half-space by the action of the principal congruence subgroup of level n of a symplectic group. [1]

A Siegel modular variety may also be constructed as a Shimura variety defined by the Shimura datum associated to a symplectic vector space. [4]

Properties

The Siegel modular variety Ag has dimension g(g + 1)/2. [1] [6] Furthermore, it was shown by Yung-Sheng Tai, Eberhard Freitag, and David Mumford that Ag is of general type when g ≥ 7. [1] [7] [8] [9]

Siegel modular varieties can be compactified to obtain projective varieties. [1] In particular, a compactification of A2(2) is birationally equivalent to the Segre cubic which is in fact rational. [1] Similarly, a compactification of A2(3) is birationally equivalent to the Burkhardt quartic which is also rational. [1] Another Siegel modular variety, denoted A1,3(2), has a compactification that is birationally equivalent to the Barth–Nieto quintic which is birationally equivalent to a modular Calabi–Yau manifold with Kodaira dimension zero. [1]

Siegel modular varieties cannot be anabelian. [10]

Applications

Siegel modular forms arise as vector-valued differential forms on Siegel modular varieties. [1] Siegel modular varieties have been used in conformal field theory via the theory of Siegel modular forms. [11] In string theory, the function that naturally captures the microstates of black hole entropy in the D1D5P system of supersymmetric black holes is a Siegel modular form. [5]

In 1968, Aleksei Parshin showed that the Mordell conjecture (now known as Faltings's theorem) would hold if the Shafarevich finiteness conjecture was true by introducing Parshin's trick. [12] [13] In 1983 and 1984, Gerd Faltings completed the proof of the Mordell conjecture by proving the Shafarevich finiteness conjecture. [14] [15] [13] The main idea of Faltings' proof is the comparison of Faltings heights and naive heights via Siegel modular varieties. [16]

See also

Related Research Articles

<span class="mw-page-title-main">Faltings's theorem</span> Curves of genus > 1 over the rationals have only finitely many rational points

Faltings's theorem is a result in arithmetic geometry, according to which a curve of genus greater than 1 over the field of rational numbers has only finitely many rational points. This was conjectured in 1922 by Louis Mordell, and known as the Mordell conjecture until its 1983 proof by Gerd Faltings. The conjecture was later generalized by replacing by any number field.

<span class="mw-page-title-main">Algebraic variety</span> Mathematical object studied in the field of algebraic geometry

Algebraic varieties are the central objects of study in algebraic geometry, a sub-field of mathematics. Classically, an algebraic variety is defined as the set of solutions of a system of polynomial equations over the real or complex numbers. Modern definitions generalize this concept in several different ways, while attempting to preserve the geometric intuition behind the original definition.

<span class="mw-page-title-main">Pierre Deligne</span> Belgian mathematician

Pierre René, Viscount Deligne is a Belgian mathematician. He is best known for work on the Weil conjectures, leading to a complete proof in 1973. He is the winner of the 2013 Abel Prize, 2008 Wolf Prize, 1988 Crafoord Prize, and 1978 Fields Medal.

<span class="mw-page-title-main">David Mumford</span> American mathematician

David Bryant Mumford is an American mathematician known for his work in algebraic geometry and then for research into vision and pattern theory. He won the Fields Medal and was a MacArthur Fellow. In 2010 he was awarded the National Medal of Science. He is currently a University Professor Emeritus in the Division of Applied Mathematics at Brown University.

In mathematics, geometric invariant theory is a method for constructing quotients by group actions in algebraic geometry, used to construct moduli spaces. It was developed by David Mumford in 1965, using ideas from the paper in classical invariant theory.

In algebraic geometry, the Kodaira dimensionκ(X) measures the size of the canonical model of a projective variety X.

<span class="mw-page-title-main">Arithmetic geometry</span> Branch of algebraic geometry focused on problems in number theory

In mathematics, arithmetic geometry is roughly the application of techniques from algebraic geometry to problems in number theory. Arithmetic geometry is centered around Diophantine geometry, the study of rational points of algebraic varieties.

In mathematics, the Enriques–Kodaira classification groups compact complex surfaces into ten classes, each parametrized by a moduli space. For most of the classes the moduli spaces are well understood, but for the class of surfaces of general type the moduli spaces seem too complicated to describe explicitly, though some components are known.

<span class="mw-page-title-main">Tate conjecture</span>

In number theory and algebraic geometry, the Tate conjecture is a 1963 conjecture of John Tate that would describe the algebraic cycles on a variety in terms of a more computable invariant, the Galois representation on étale cohomology. The conjecture is a central problem in the theory of algebraic cycles. It can be considered an arithmetic analog of the Hodge conjecture.

This is a glossary of arithmetic and diophantine geometry in mathematics, areas growing out of the traditional study of Diophantine equations to encompass large parts of number theory and algebraic geometry. Much of the theory is in the form of proposed conjectures, which can be related at various levels of generality.

A height function is a function that quantifies the complexity of mathematical objects. In Diophantine geometry, height functions quantify the size of solutions to Diophantine equations and are typically functions from a set of points on algebraic varieties to the real numbers.

Nicholas Ian Shepherd-Barron, FRS, is a British mathematician working in algebraic geometry. He is a professor of mathematics at King's College London.

This is a timeline of the theory of abelian varieties in algebraic geometry, including elliptic curves.

In algebraic geometry, the Barth–Nieto quintic is a quintic 3-fold in 4 dimensional projective space studied by Wolf Barth and Isidro Nieto that is the Hessian of the Segre cubic.

In mathematics, the André–Oort conjecture is a problem in Diophantine geometry, a branch of number theory, that can be seen as a non-abelian analogue of the Manin–Mumford conjecture, which is now a theorem. The conjecture concerns itself with a characterization of the Zariski closure of sets of special points in Shimura varieties. A special case of the conjecture was stated by Yves André in 1989 and a more general statement was conjectured by Frans Oort in 1995. The modern version is a natural generalization of these two conjectures.

<span class="mw-page-title-main">Aleksei Parshin</span> Russian mathematician (1942–2022)

Aleksei Nikolaevich Parshin was a Russian mathematician, specializing in arithmetic geometry. He is most well-known for his role in the proof of the Mordell conjecture.

<span class="mw-page-title-main">Dan Abramovich</span> Israeli-American mathematician

Dan Abramovich is an Israeli-American mathematician working in the fields of algebraic geometry and arithmetic geometry. As of 2019, he holds the title of L. Herbert Ballou University Professor at Brown University, and he is an Elected Fellow of the American Mathematical Society.

<span class="mw-page-title-main">Mihnea Popa</span> Romanian-American mathematician

Mihnea Popa is a Romanian-American mathematician at Harvard University, specializing in algebraic geometry. He is known for his work on complex birational geometry, Hodge theory, abelian varieties, and vector bundles.

In mathematics, the Zilber–Pink conjecture is a far-reaching generalisation of many famous Diophantine conjectures and statements, such as André–Oort, Manin–Mumford, and Mordell–Lang. For algebraic tori and semiabelian varieties it was proposed by Boris Zilber and independently by Enrico Bombieri, David Masser, Umberto Zannier in the early 2000's. For semiabelian varieties the conjecture implies the Mordell–Lang and Manin–Mumford conjectures. Richard Pink proposed (again independently) a more general conjecture for Shimura varieties which also implies the André–Oort conjecture. In the case of algebraic tori, Zilber called it the Conjecture on Intersection with Tori (CIT). The general version is now known as the Zilber–Pink conjecture. It states roughly that atypical or unlikely intersections of an algebraic variety with certain special varieties are accounted for by finitely many special varieties.

References

  1. 1 2 3 4 5 6 7 8 9 10 11 Hulek, Klaus; Sankaran, G. K. (2002). "The Geometry of Siegel Modular Varieties". Higher Dimensional Birational Geometry. Advanced Studies in Pure Mathematics. Vol. 35. pp. 89–156. arXiv: math/9810153 . doi:10.2969/aspm/03510089. ISBN   978-4-931469-85-3. S2CID   119595519.
  2. ↑ Oda, Takayuki (2014). "Intersections of Two Walls of the Gottschling Fundamental Domain of the Siegel Modular Group of Genus Two". In Heim, Bernhard; Al-Baali, Mehiddin; Rupp, Florian (eds.). Automorphic Forms, Research in Number Theory from Oman. Springer Proceedings in Mathematics & Statistics. Vol. 115. Springer. pp. 193–221. doi:10.1007/978-3-319-11352-4_15. ISBN   978-3-319-11352-4.
  3. ↑ Siegel, Carl Ludwig (1943). "Symplectic Geometry". American Journal of Mathematics. 65 (1). The Johns Hopkins University Press: 1–86. doi:10.2307/2371774. JSTOR   2371774.
  4. 1 2 Milne, James S. (2005). "Introduction to Shimura Varieties" (PDF). In Arthur, James; Ellwood, David; Kottwitz, Robert (eds.). Harmonic Analysis, the Trace Formula, and Shimura Varieties. Clay Mathematics Proceedings. Vol. 4. American mathematical Society and Clay Mathematics Institute. pp. 265–378. ISBN   978-0-8218-3844-0.
  5. 1 2 Belin, Alexandre; Castro, Alejandra; Gomes, João; Keller, Christoph A. (11 April 2017). "Siegel modular forms and black hole entropy" (PDF). Journal of High Energy Physics. 2017 (4): 57. arXiv: 1611.04588 . Bibcode:2017JHEP...04..057B. doi:10.1007/JHEP04(2017)057. S2CID   53684898. See Section 1 of the paper.
  6. ↑ van der Geer, Gerard (2013). "The cohomology of the moduli space of Abelian varieties". In Farkas, Gavril; Morrison, Ian (eds.). The Handbook of Moduli, Volume 1. Vol. 24. Somerville, Mass.: International Press. arXiv: 1112.2294 . ISBN   9781571462572.
  7. ↑ Tai, Yung-Sheng (1982). "On the Kodaira dimension of the moduli space of abelian varieties". Inventiones Mathematicae. 68 (3): 425–439. Bibcode:1982InMat..68..425T. doi:10.1007/BF01389411. S2CID   120441933.
  8. ↑ Freitag, Eberhard (1983). Siegelsche Modulfunktionen. Grundlehren der mathematischen Wissenschaften (in German). Vol. 254. Springer-Verlag. doi:10.1007/978-3-642-68649-8. ISBN   978-3-642-68650-4.
  9. ↑ Mumford, David (1983). "On the Kodaira dimension of the Siegel modular variety". In Ciliberto, C.; Ghione, F.; Orecchia, F. (eds.). Algebraic Geometry - Open Problems, Proceedings of the Conference held in Ravello, May 31 - June 5, 1982. Lecture Notes in Mathematics. Vol. 997. Springer. pp. 348–375. doi:10.1007/BFb0061652. ISBN   978-3-540-12320-0.
  10. ↑ Ihara, Yasutaka; Nakamura, Hiroaki (1997). "Some illustrative examples for anabelian geometry in high dimensions". In Schneps, Leila; Lochak, Pierre (eds.). Geometric Galois Actions 1: Around Grothendieck's Esquisse d'un Programme. London Mathematical Society Lecture Note Series. Vol. 242. Cambridge University Press. pp. 127–138. doi:10.1017/CBO9780511758874.010. ISBN   978-0-521-59642-8.
  11. ↑ Belin, Alexandre; Castro, Alejandra; Gomes, João; Keller, Christoph A. (7 November 2018). "Siegel paramodular forms and sparseness in AdS3/CFT2". Journal of High Energy Physics. 2018 (11): 37. arXiv: 1805.09336 . Bibcode:2018JHEP...11..037B. doi:10.1007/JHEP11(2018)037. S2CID   54936474.
  12. ↑ Parshin, A. N. (1968). "Algebraic curves over function fields I" (PDF). Izv. Akad. Nauk SSSR Ser. Mat. 32 (5): 1191–1219. Bibcode:1968IzMat...2.1145P. doi:10.1070/IM1968v002n05ABEH000723.
  13. 1 2 Cornell, Gary; Silverman, Joseph H., eds. (1986). Arithmetic geometry. Papers from the conference held at the University of Connecticut, Storrs, Connecticut, July 30 – August 10, 1984. New York: Springer-Verlag. doi:10.1007/978-1-4613-8655-1. ISBN   0-387-96311-1. MR   0861969.
  14. ↑ Faltings, Gerd (1983). "Endlichkeitssätze für abelsche Varietäten über Zahlkörpern" [Finiteness theorems for abelian varieties over number fields]. Inventiones Mathematicae (in German). 73 (3): 349–366. Bibcode:1983InMat..73..349F. doi:10.1007/BF01388432. MR   0718935. S2CID   121049418.
  15. ↑ Faltings, Gerd (1984). "Erratum: Endlichkeitssätze für abelsche Varietäten über Zahlkörpern". Inventiones Mathematicae (in German). 75 (2): 381. doi: 10.1007/BF01388572 . MR   0732554.
  16. ↑ "Faltings relates the two notions of height by means of the Siegel moduli space.... It is the main idea of the proof." Bloch, Spencer (1984). "The Proof of the Mordell Conjecture" (PDF). The Mathematical Intelligencer. 6 (2): 44. doi:10.1007/BF03024155. S2CID   306251. Archived from the original (PDF) on 2019-03-03.
This page is based on this Wikipedia article
Text is available under the CC BY-SA 4.0 license; additional terms may apply.
Images, videos and audio are available under their respective licenses.