Abstract
Let G be the reductive \(\mathbb {Q}\)-group \(R_{F/\mathbb {Q}} \mathrm {GL}_{n}\), where \(F/\mathbb {Q}\) is a number field. Let Γ⊂G be an arithmetic group. We discuss some techniques to compute explicitly the cohomology of Γ and the action of the Hecke operators on the cohomology.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Notes
- 1.
Throughout these lectures we only work with congruence subgroups. For \(\mathrm{SL}_{2} (\mathbb {Z})\) this means any group containing Γ(N) for some N.
- 2.
- 3.
Like Molière’s Monsieur Jourdain: “Par ma foi! Il y a plus de quarante ans que je dis de la prose sans que j’en susse rien, et je vous suis le plus obligé du monde de m’avoir appris cela.”
- 4.
This definition of arithmetic group suffices for our purposes because we have defined our algebraic groups as subgroups of GL n . If one works more abstractly, then the correct condition is that \(\varGamma \subset \mathbf {G} (\mathbb {Q})\) is arithmetic if for any \(\mathbb {Q}\)-embedding ι:G→GL n , the group ι(Γ) is commensurable with \(\iota(\mathbf {G})\cap\mathrm{GL}_{n} (\mathbb {Z})\).
- 5.
In fact the cuspidal cohomology can itself come from groups of lower rank, through functorial liftings. The paper [AGMcC08] contains evidence of cohomological lifts of paramodular forms on \(\mathrm{Sp}_{4}/\mathbb {Q}\) to \(\mathrm{SL}_{4}/\mathbb {Q}\).
- 6.
- 7.
Although this construction sounds strange, we shall see that it is a reasonable notion of forms over F. Not every quadratic form of interest comes from a matrix A that is the image of a matrix from F under the embeddings; in particular the perfect forms defined in this section usually do not come from a matrix over F.
- 8.
According to R. MacPherson, the great geometers of old were perfectly comfortable with multi-valued functions and would have embraced such a perspective. It is only modern mathematicians who have the paucity of imagination to insist that functions be single-valued.
- 9.
A bouquet of spheres is wedge sum of a set of spheres.
- 10.
For general number fields, it is not expected that every elliptic curve should correspond to a cusp form in this way. For instance, suppose F is complex quadratic. Then if E is defined over F and has complex multiplication by an order in 𝒪 F , then E should correspond to an Eisenstein series, cf. [EGM82].
- 11.
Similar phenomena happen over complex quadratic fields [Cre92], and can be expected to happen over any CM field.
- 12.
The cohomology computations in the following are simplified by the fact that F 1 and F 2 each have class number 1. One can still perform these computations for fields with higher class numbers, although it is best to work adelically. In practice this means that one has to work with several copies of the locally symmetric spaces instead of one, each equipped with its own Koecher decomposition. However, such complications are not always necessary. For F imaginary quadratic with odd class number, for instance, Lingham [Lin05] developed a technique to work with a single connected component.
- 13.
Actually, to avoid precision problems we work with the large finite field \(\mathbb {F}_{12379}\) instead of \(\mathbb {C}\).
- 14.
- 15.
One cannot help but notice the contrast between the highly symmetric perfect cone for F 1 and the minimally symmetric perfect cones for F 2.
- 16.
See footnote 13.
References
A. Ash, Deformation retracts with lowest possible dimension of arithmetic quotients of self-adjoint homogeneous cones. Math. Ann. 225(1), 69–76 (1977)
A. Ash, Small-dimensional classifying spaces for arithmetic subgroups of general linear groups. Duke Math. J. 51(2), 459–468 (1984)
A. Ash, L. Rudolph, The modular symbol and continued fractions in higher dimensions. Invent. Math. 55(3), 241–250 (1979)
A. Ash, D. Mumford, M. Rapaport, Y. Tai, Smooth Compactifications of Locally Symmetric Varieties (Math. Sci. Press, Brookline, 1975)
A. Ash, D. Grayson, P. Green, Computations of cuspidal cohomology of congruence subgroups of SL(3,Z). J. Number Theory 19(3), 412–436 (1984)
A. Ash, P.E. Gunnells, M. McConnell, Cohomology of congruence subgroups of \(\mathrm{SL}_{4}(\mathbb {Z})\). J. Number Theory 94(1), 181–212 (2002)
A. Ash, P.E. Gunnells, M. McConnell, Cohomology of congruence subgroups of \(\mathrm{SL}_{4}(\mathbb {Z})\). II. J. Number Theory 128(8), 2263–2274 (2008)
A. Ash, P.E. Gunnells, M. McConnell, Cohomology of congruence subgroups of \(\mathrm{SL}_{4}(\mathbb {Z})\). III. Math. Comput. 79(271), 1811–1831 (2010)
A. Ash, P.E. Gunnells, M. McConnell, Torsion in the cohomology of congruence subgroups of \(\mathrm{SL}(4,\mathbb {Z})\) and Galois representations. J. Algebra 325, 404–415 (2011)
A. Borel, J.-P. Serre, Corners and arithmetic groups. Comment. Math. Helv. 48, 436–491 (1973). Avec un appendice: Arrondissement des variétés à coins, par A. Douady et L. Hérault
R. Bott, L.W. Tu, Differential Forms in Algebraic Topology. Graduate Texts in Mathematics, vol. 82 (Springer, New York, 1982)
R. Brooks, Platonic surfaces. Comment. Math. Helv. 74(1), 156–170 (1999)
K.S. Brown, Cohomology of Groups. Graduate Texts in Mathematics, vol. 87 (Springer, New York, 1994). Corrected reprint of the 1982 original
D. Bump, Automorphic Forms and Representations. Cambridge Studies in Advanced Mathematics, vol. 55 (Cambridge University Press, Cambridge, 1997)
D. Bump, Lie Groups. Graduate Texts in Mathematics, vol. 225 (Springer, New York, 2004)
J. Bygott, Modular forms and modular symbols over imaginary quadratic fields. Ph.D. thesis, Exeter University, 1999
J.E. Cremona, Hyperbolic tessellations, modular symbols, and elliptic curves over complex quadratic fields. Compos. Math. 51(3), 275–324 (1984)
J.E. Cremona, Abelian varieties with extra twist, cusp forms, and elliptic curves over imaginary quadratic fields. J. Lond. Math. Soc. 45(3), 404–416 (1992)
J.E. Cremona, Algorithms for Modular Elliptic Curves, 2nd edn. (Cambridge University Press, Cambridge, 1997)
J.E. Cremona, M.P. Lingham, Finding all elliptic curves with good reduction outside a given set of primes. Exp. Math. 16(3), 303–312 (2007)
J.E. Cremona, E. Whitley, Periods of cusp forms and elliptic curves over imaginary quadratic fields. Math. Comput. 62(205), 407–429 (1994)
M. Dutour Sikirić, A. Schürmann, F. Vallentin, A generalization of Voronoi’s reduction theory and its application. Duke Math. J. 142(1), 127–164 (2008)
M. Dutour, F. Vallentin, A. Schürmann, Classification of perfect forms in dimension 8. Talk at Oberwolfach meeting Sphere packings: Exceptional structures and relations to other fields, November 2005
P. Elbaz-Vincent, H. Gangl, C. Soulé, Perfect forms and the cohomology of modular groups. (2010). arXiv:1001.0789
J. Elstrodt, F. Grunewald, J. Mennicke, On the group \(\mathrm{PSL}_{2}(\mathbb {Z}[\mathrm {i}])\), in Number Theory Days, 1980. London Math. Soc. Lecture Note Ser., vol. 56, Exeter, 1980 (Cambridge Univ. Press, Cambridge, 1982), pp. 255–283
J. Faraut, A. Korányi, Analysis on Symmetric Cones. Oxford Mathematical Monographs (The Clarendon Press Oxford University Press, New York, 1994). Oxford Science Publications
D. Flöge, Zur Struktur der PSL2 über einigen imaginär-quadratischen Zahlringen. Math. Z. 183(2), 255–279 (1983). doi:10.1007/BF01214824
J. Franke, Harmonic analysis in weighted L 2-spaces. Ann. Sci. Éc. Norm. Super. 31(2), 181–279 (1998)
E. Freitag, Hilbert Modular Forms (Springer, Berlin, 1990)
S.S. Gelbart, Automorphic Forms on Adèle Groups. Annals of Mathematics Studies, vol. 83 (Princeton University Press, Princeton, 1975)
M. Greenberg, J. Voight, Computing systems of Hecke eigenvalues associated to Hilbert modular forms. Math. Comput. 80(274), 1071–1092 (2011)
F. Grunewald, H. Helling, J. Mennicke, SL2 over complex quadratic number fields. I. Algebra Log. 17(5), 512–580, 622 (1978)
P.E. Gunnells, Modular symbols for \({\mathbb {Q}}\)-rank one groups and Voronoĭ reduction. J. Number Theory 75(2), 198–219 (1999)
P.E. Gunnells, Computing Hecke eigenvalues below the cohomological dimension. Exp. Math. 9(3), 351–367 (2000)
P.E. Gunnells, D. Yasaki, Hecke operators and Hilbert modular forms, in Algorithmic Number Theory. Lecture Notes in Comput. Sci., vol. 5011 (Springer, Berlin, 2008), pp. 387–401
P.E. Gunnells, D. Yasaki, Modular forms and elliptic curves over the cubic field of discriminant −23. Int. J. Number Theory 9(1), 53–76 (2013)
P.E. Gunnells, F. Hajir, D. Yasaki, Modular forms and elliptic curves over the field of fifth roots of unity. Exp. Math. 22(2), 203–216 (2013)
G. Harder, Eisenstein cohomology of arithmetic groups and its applications to number theory, in Proceedings of the International Congress of Mathematicians, Vol. I, II, Kyoto, 1990 (Math. Soc. Japan, Tokyo, 1991), pp. 779–790
Harish-Chandra, Eisenstein series over finite fields, in Functional Analysis and Related Fields, Proc. Conf. M. Stone, Univ. Chicago, Chicago, Ill., 1968 (Springer, New York, 1970), pp. 76–88
M. Harris, K.-W. Lan, R. Taylor, J. Thorne, Galois representations for regular algebraic cusp forms over CM fields. Preprint
S. Helgason, Differential Geometry, Lie Groups, and Symmetric Spaces. Graduate Studies in Mathematics, vol. 34 (American Mathematical Society, Providence, 2001). Corrected reprint of the 1978 original
M. Koecher, Beiträge zu einer Reduktionstheorie in Positivitätsbereichen. I. Math. Ann. 141, 384–432 (1960)
R.P. Langlands, On the Functional Equations Satisfied by Eisenstein Series. Lecture Notes in Mathematics, vol. 544 (Springer, Berlin, 1976)
J.-S. Li, J. Schwermer, Automorphic representations and cohomology of arithmetic groups, in Challenges for the 21st Century, Singapore, 2000 (World Sci. Publ., River Edge, 2001), pp. 102–137
M. Lingham, Modular forms and elliptic curves over imaginary quadratic fields. Ph.D. thesis, Nottingham, 2005
C. Maclachlan, A.W. Reid, The Arithmetic of Hyperbolic 3-Manifolds. Graduate Texts in Mathematics, vol. 219 (Springer, New York, 2003)
R. MacPherson, M. McConnell, Classical projective geometry and modular varieties, in Algebraic Analysis, Geometry, and Number Theory, Baltimore, MD, 1988 (Johns Hopkins Univ. Press, Baltimore, 1989), pp. 237–290
R. MacPherson, M. McConnell, Explicit reduction theory for Siegel modular threefolds. Invent. Math. 111(3), 575–625 (1993)
J.I. Manin, Parabolic points and zeta functions of modular curves. Izv. Akad. Nauk SSSR, Ser. Mat. 36, 19–66 (1972)
E.R. Mendoza, Cohomology of PGL2 over imaginary quadratic integers. Bonner Mathematische Schriften [Bonn Mathematical Publications], 128, Universität Bonn Mathematisches Institut, Bonn, 1979, Dissertation, Rheinische Friedrich-Wilhelms-Universität, Bonn, 1979
R. Padovan, Proportion: Science, Philosophy, Architecture (Taylor & Francis, London, 1999)
A. Page, Computing arithmetic Kleinian groups (2012). arXiv:1206.0087
Plato, The Collected Dialogues of Plato (Princeton University Press, Princeton, 2005)
V. Platonov, A. Rapinchuk, Algebraic Groups and Number Theory. Pure and Applied Mathematics, vol. 139 (Academic Press Inc., Boston, 1994). Translated from the 1991 Russian original by Rachel Rowen
R. Pollack, Overconvergent modular symbols. This volume, doi:10.1007/978-3-319-03847-6_3
P. Scholze, On torsion in the cohomology of locally symmetric varieties. Preprint (2013)
A. Schürmann, Computational Geometry of Positive Definite Quadratic Forms. University Lecture Series, vol. 48 (American Mathematical Society, Providence, 2009). Polyhedral reduction theories, algorithms, and applications
J. Schwermer, Geometric cycles, arithmetic groups and their cohomology. Bull., New Ser., Am. Math. Soc. 47(2), 187–279 (2010)
J.-P. Serre, Cohomologie des groupes discrets, in Prospects in Mathematics, Proc. Sympos., Princeton Univ., Princeton, N.J., 1970. Ann. of Math. Studies, vol. 70 (Princeton Univ. Press, Princeton, 1971), pp. 77–169
G. Shimura, Introduction to the Arithmetic Theory of Automorphic Functions. Publications of the Mathematical Society of Japan, vol. 11 (Iwanami Shoten, Publishers, Tokyo, 1971). Kanô Memorial Lectures, No. 1
J.H. Silverman, The Arithmetic of Elliptic Curves, 2nd edn. Graduate Texts in Mathematics, vol. 106 (Springer, Dordrecht, 2009)
C. Soulé, Cohomologie de \({\rm SL}_{3}(\mathbb {Z})\). C. R. Acad. Sci. Paris Sér. A-B 280(5), A251–A254 (1975)
N. Steenrod, Homology with local coefficients. Ann. Math. 44, 610–627 (1943)
W. Stein, Modular Forms, a Computational Approach. Graduate Studies in Mathematics, vol. 79 (American Mathematical Society, Providence, 2007). With an appendix by Paul E. Gunnells
B. van Geemen, W. van der Kallen, J. Top, A. Verberkmoes, Hecke eigenforms in the cohomology of congruence subgroups of SL(3,Z). Exp. Math. 6(2), 163–174 (1997)
J.W. Vick, Homology Theory, 2nd edn. Graduate Texts in Mathematics, vol. 145 (Springer, New York, 1994). An introduction to algebraic topology
D.A. Vogan Jr., Cohomology and group representations, in Representation Theory and Automorphic Forms. Proc. Sympos. Pure Math., vol. 61, Edinburgh, 1996 (Amer. Math. Soc., Providence, 1997), pp. 219–243
D.A. Vogan Jr., G.J. Zuckerman, Unitary representations with nonzero cohomology. Compos. Math. 53(1), 51–90 (1984)
K. Vogtmann, Rational homology of Bianchi groups. Math. Ann. 272(3), 399–419 (1985)
J. Voight, Computing automorphic forms on Shimura curves over fields with arbitrary class number, in Algorithmic Number Theory, Lecture Notes in Comput. Sci., vol. 6197 (Springer, Berlin, 2010), pp. 357–371
G. Voronoı̌, Nouvelles applications des paramétres continus à la théorie des formes quadratiques, I. Sur quelques propriétés des formes quadratiques positives parfaites. J. Reine Angew. Math. 133, 97–178 (1908)
D. Yasaki, On the existence of spines for \(\mathbb {Q}\)-rank 1 groups. Sel. Math. New Ser. 12(3–4), 541–564 (2006)
D. Yasaki, An explicit spine for the Picard modular group over the Gaussian integers. J. Number Theory 128(1), 207–234 (2008)
D. Yasaki, Bianchi modular forms. Package for the Magma Computer Algebra System (2009)
D. Yasaki, Binary Hermitian forms over a cyclotomic field. J. Algebra 322, 4132–4142 (2009)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2014 Springer International Publishing Switzerland
About this paper
Cite this paper
Gunnells, P.E. (2014). Lectures on Computing Cohomology of Arithmetic Groups. In: Böckle, G., Wiese, G. (eds) Computations with Modular Forms. Contributions in Mathematical and Computational Sciences, vol 6. Springer, Cham. https://doi.org/10.1007/978-3-319-03847-6_1
Download citation
DOI: https://doi.org/10.1007/978-3-319-03847-6_1
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-03846-9
Online ISBN: 978-3-319-03847-6
eBook Packages: Mathematics and StatisticsMathematics and Statistics (R0)