Abstract
We prove a conjecture made earlier concerning a beautiful algebraic fourfold, a quintic in projective five-space invariant under the Weyl group of typeE 6, to the effect that a certain birational model of this variety is a smooth compactification of a ball quotient. To prove this, we first state and prove a general result which gives a criterion for checking whether a variety of dimensionN≥3 is a (compactification of a) ball quotient. We then go on to identify the group up to commensurability class.
Similar content being viewed by others
References
W. Barth, I. Nieto,Abelian surfaces of type (1,3) and quartic surfaces with 16 skew lines, J. Alg. Geom.3 (1994), 173–222.
A. Besse,Einstein Manifolds, Ergebnisse der Mathematik und ihrer Grenzgebiete (3. Folge)10, Heidelberg, Springer Verlag, 1987. Russian translation: А. Бессе,Многообразия Эйнштейна. М., Мир, 1990.
R. Bryant and P. Griffiths,Some observations on the infinitesimal period relations for regular threefolds with trivial canonical bundle, in: Volume in honor of I. Shafarevich, Progress in Mathematics36, Birkhäuser, Boston, 1983, pp. 77–102.
H. Clemens, P. Griffiths,The intermediate Jacobian of the cubic threefold, Ann. of Math.95 (1972), 281–356.
J. Conway et al.,Atlas of Finite Simple Groups, Clarendon Press, Oxford, 1985.
M. Cornalba, P. Griffiths,Analytic cycles and vector bundles on non-compact algebraic varieties, Inv. Math.28 (1975), 1–106.
P. Deligne, G. Mostow,Hypergeometric equation and non-arithmetic monodromy, Publ. IHES63 (1986), 5–89.
R. Fox,Covering spaces with singularities, in: Lefshetz Symposium, Princeton Univ. Press 1957, pp. 243–262.
E. Freitag, C. F. Hermann,Some modular varieties of low dimension, preliminary version: http://www.rzuser.uni-heidelberg.de/~t91/skripten/preprints/orth.dvi.
E. Freitag, B. Hunt,A remark on a theorem of Runge, Archiv der Mathematik70 (1998), 464–469.
E. Freitag, B. Hunt,The dual of the invariant quintic, Experimental Mathematics8 (1999), 151–154.
B. v. Geemen,Projective models of Picard modular varieties, in: Classification of Irregular Varieties, Proceedings Trento 1990, SLN in Mathematics1515, pp. 68–99.
M. Goresky, R. MacPherson,Stratified Morse Theory, Ergebnisse der Mathematik und ihre Grenzgebiete, (3. Folge)14, Berlin, Springer Verlag, 1988.
F. Hirzebruch,Arrangements of lines and algebraic surfaces, in: Volume in honor of I. Shafarevich, Progress in Mathematics36, Birkhäuser, Boston, 1983, pp. 113–140.
T. Höfer,Ballquotienten als verzweigte Überlagerungen der projektiven Ebene, PhD. Thesis, Bonn, 1986.
T. Hübsch, S.-T. Yau,An SL(2, ℂ)action on certain Jacobi rings and the mirror map, in Essays on Mirror Manifolds, S.-T. Yau, ed., International Press, Hong Kong, 1992.
B. Hunt,Coverings and Ball Quotients, Bonner Math. Schriften176 (1986).
B. Hunt,Complex manifold geography in dimensions 2 and 3, J. Diff. Geom.30 (1989), 51–153.
B. Hunt,The Geometry of Some Special Arithmetic Quotients, SLN1637, Springer, 1996.
B. Hunt,The Nieto quintic is Janus-like, J. Diff. Geom.50 (1998), 519–535.
B. Hunt,A Gem of the Modular Universe, Habilitationsschrift Leipzig, 1999, available on the web at URL http://personal-homepages.mis.mpg.de/bhunt/preprints.html
B. Hunt,A criterion for arithmeticity of discrete subgroups of PU(n, 1),n>1, preprint Max-Planck-Institute Leipzig, available on the web at same address as above.
B. Hunt, S. Weintraub,Janus-like algebraic varieties, J. Diff. Geom.39 (1994), 509–557.
Y. Kawamata,A generalization of Kodaira-Ramanujam's vanishing theorem, Math. Ann.261 (1982), 57–71.
Y. Kawamata,Pluricanonical systems on minimal algebraic varieties, Inv. Math.79 (1985), 567–588.
S. Kleiman,Concerning the dual variety, in 18th Scandinavian Congress of Mathematics, 1980, E. Balslev (ed.), Progress in Math.11, Birkhäuser, Zürich, 1981, pp. 386–396.
R. Kobayashi,Kähler-Einstein metric on an open algebraic manifold, Osaka J. Math.21 (1984), 399–418.
S. Kobayashi, C. Horst,Topics in Complex Differential Geometry, DMV Seminar, Band3, Birkhäuser, Basel, 1983.
S. Kobayashi, K. Nomizu,Foundations of Differential Geometry, New York, John Wiley & Sons, 1969. Russian translation: III. Кобаяси, К. Номидзу,Основы дифференюиальной геомемрии, М., Наука, 1981.
K. Matsumoto, T. Sasaki, M. Yoshida,The monodromy of the period map of a 4-parameter family of K3 surfaces and the hypergeometric function of type (3, 6), Intern. J. Math.3 (1992), 1–164.
D. Mumford,Hirzebruch's proportionality in the non-compact case, Inv. Math.42 (1977), 239–272.
I. Nieto, “Invariante Quadriken unter der Heisenberggruppe”, Thesis, Erlangen (1989).
J. Sekiguchi,The versal deformation of the E 6-singularity and a family of cubic surfaces, J. Math. Soc. Japan46 (1994), 355–383.
G. Shimura,Moduli of abelian varieties and number theory, in: Algebraic Groups and Discontinuous Subgroups, Proc. Symp. in Pure Math.9, AMS, Providence, Rhode Island, 1966.
G. Tian, S.-T. Yau,Existence of Kähler-Einstein metrics on complete Kähler manifolds and their applications to algebraic geometry, in: Mathematical Aspects of String Theory, edited by S.-T. Yau Singapore, World Scientific, 1986.
C. Voisin,Symétrie Miroir, Panoramas et Synthèses2, Soc. Math. de France, Paris, 1996.
S.-T. Yau,Calabi's conjecture and some new results in algebraic geometry, Proc. Nat. Acad. Sci. USA74 (1977), 1798–1799.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Hunt, B. Higher-dimensional ball quotients and the invariant quintic. Transformation Groups 5, 121–156 (2000). https://doi.org/10.1007/BF01236466
Received:
Accepted:
Issue Date:
DOI: https://doi.org/10.1007/BF01236466