Summary
Riemann showed that a period matrix of a compact Riemann surface of genusg≧1 satisfies certain relations. We give a further simple combinatorial property, related to the length of the shortest non-zero lattice vector, satisfied by such a period matrix, see (1.13). In particular, it is shown that for large genus the entire locus of Jacobians lies in a very small neighborhood of the boundary of the space of principally polarized abelian varieties.
We apply this to the problem of congruence subgroups of arithmetic lattices in SL2(ℝ). We show that, with the exception of a finite number of arithmetic lattices in SL2(ℝ), every such lattice has a subgroup of index at most 2 which is noncongruence. A notable exception is the modular groupSL 2(ℤ).
Article PDF
Similar content being viewed by others
Avoid common mistakes on your manuscript.
References
[B-W] Barnes, E.S., Wall, G.E.: Some extreme forms defined in terms of abelian groups. J. Aust. Math. Soc.1, 47–63 (1959)
[B-M-S] Bass, H., Milnor, J., Serre, J.P.: Solutions of the congruence subgroup problem for SL(n) (n≧3) and Sp(2n) (n≧2). Publ. Math., Inst. Hautes Étud. Sci.33, 59–137 (1967)
[Be] Beardon, A.F.: The Geometry of discrete groups. (Grad. Texts Math., vol. 91) Berlin Heidelberg New York: Springer 1983
[Bol] Bolza, O.: On binary sextics with linear transformations into themselves. Am. J. Math.10, 47–70 (1888)
[Bo] Borel, A.: Commensurability classes and volumes of hyperbolic 3-manifolds. Ann. Sc. Norm. Super. Pisa, IV. Ser.8, 1–33 (1981)
[Bu] Buser, P.: Geometry and spectra of compact Riemann surfaces. Boston Basel Stuttgart: Birkhäuser 1992
[Ch] Cheeger, J.: A lower bound for the smallest eigenvalue of the Laplacian. In: Gunning, R. (ed.) Problems in analysis, pp. 195–199. Princeton: Princeton University Press 1970
[C-S] Conway, J.H. Sloane, N.J.A.: Sphere packings, lattices and groups. (Grundlehren Math. Wiss., vol. 290) Berlin Heidelberg New York, 1988
[E] Epstein, D.B.A.: Curves on 2-manifolds and isotopies. Acta Math.115, 83–107 (1966)
[F] Farkas, H.: Schottky-Jung theory. In: Ehrenpreis, L., Gunning, R.C. (eds.), Theta functions, Bowdoin 1987. (Proc. Symp. Pure Math., vol. 49, 459–483) Providence, RI: Am. Math. Soc. 1989
[F-K] Farkas, H., Kra, I.: Riemann surfaces. Berlin Heidelberg New York: Springer 1980
[F-L-P] Fathi, A., Laudenbach, F., Poénaru, V.: Travaux de Thurston sur les surfaces. Seminaire Orsay. Astérisque66–67 (1979)
[Fay] Fay, J.D.: Theta functions on Riemann surfaces. (Lect. Notes Math., vol. 352) Berlin Heidelberg New York: Springer 1973
[G-G-PS] Gel'fand, I.M., Graev, M.I., Pyatetskii-Shapiro, I.I.: Representation theory and automorphic functions. (Generalized functions, vol. 6) Philadelphia London Toronto: Saunders 1969
[Gro] Gromov, M.: Systoles and intersystolic inequalities. (Preprint 1993)
[Gr] Gross, B.H.: Group representations and lattices. J. Am. Math. Soc.3, no. 4, 929–960 (1990)
[Gru-Le] Gruber, P.M., Lekkerkerker, C.G.: Geometry of numbers, Amsterdam: North Holland 1987
[Gu] Gunning, R.C.: Some curves in abelian varieties. Invent. Math.66, 377–389 (1982)
[I] Igusa, J.: On the irreducibility of Schottky's divisor. J. Fac. Sci. Tokyo28, 531–544 (1982)
[K-L] Kabatiansky, G., Levenshtein, V.: Bounds for packings of a sphere in space. Prob. Peradachi Inf.14, no. 1 (1978)
[L] Lang, S.: Introduction to algebraic and abelian functions. (Grad. Texts Math., vol. 89) Berlin Heidelberg New York: Springer 1982
[L-L-L] Lenstra, A.K., Lenstra, H.W. Jr., Lovász, L.: Factoring polynomials with rational coefficients. Math. Ann.261, 515–534 (1982)
[Ma] Mazur, B.: Arithmetic on curves. Bull. Am. Math. Soc.14, 207–259 (1986)
[M] Mumford, D.: Curves and their Jacobians. Ann Arbor. University of Michigan Press 1976
[Ra] Raghunathan, M.S.: On the congruence subgroup problem. Publ. Math., Inst. Hautes Étud. Sci.46, 107–161 (1976)
[R1] Randol, B.: Small eigenvalues of the Laplace operator on compact Riemann surfaces. Bull Am. Math. Soc.80, 996–1000 (1974)
[R2] Randol, B.: Cylinders in Riemann surfaces. Coment. Math. Helv.54, 1–5 (1979)
[Rn] Rankin, R.A.: The modular group and its subgroups. Madras: Ramanujan Inst. 1969
[Sa] Sarnak, P.: Some applications of modular forms. (Cambridge Tracts Math., vol. 99) Cambridge: Cambridge University Press 1990
[S-X] Sarnak, P., Xue, X.: Bounds for multiplicities of automorphic representations. Duke Math. J. 64 (no. 1), 207–227 (1991)
[Se] Selberg, A.: On the estimation of Fourier coefficients of modular forms. In: Collected Works, pp. 506–520. Berlin Heidelberg New York: Springer 1988
[Sh] Shiota, T.: Characterization of Jacobian varieties in terms of soliton equations. Invent. Math.83, 333–382 (1986)
[Si] Siegel, C.L.: Symplectic geometry. Amer. J. Math.65, 1–86 (1943)
[T] Thurston, W.: The geometry and topology of 3-manifolds. (Princeton University Notes
[Va] Vaughan, R.C.: The Hardy Littlewood method. (Cambridge Tracts Math., vol. 80) Cambridge: Cambridge University Press 1981
[Vi] Vignéras, M.F.: Quelques remarques sur la conjecture λ1≧1/4. In: Bertin, M.-J. (ed.) Sém. de théorie des nombres, Paris 1981–1982. (Prog. Math., vol. 38, pp. 321–343) Boston Basel Stuttgart: Birkhäuser 1983
[Z] Zograf, P.: A spectral proof of Rademacher's conjecture for congruence subgroups of the modular group. J. Reine Angew. Math.414, 113–116 (1991)
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Buser, P., Sarnak, P. On the period matrix of a Riemann surface of large genus (with an Appendix by J.H. Conway and N.J.A. Sloane). Invent Math 117, 27–56 (1994). https://doi.org/10.1007/BF01232233
Issue Date:
DOI: https://doi.org/10.1007/BF01232233