Publications Meetings The Profession Membership Programs Math Samplings Policy & Advocacy In the News About the AMS
|
   
Available in electronic format
Available in print format 		Mathematics of Computation
Mathematics of Computation
ISSN 1088-6842(e) ISSN 0025-5718(p)

     

Cohomology of congruence subgroups of $ {SL}_4(\mathbb{Z})$. III

Author(s): Avner Ash; Paul E. Gunnells; Mark McConnell.
Journal: Math. Comp. 79 (2010), 1811-1831.
MSC (2010): Primary 11F75, 65F05, 65F50; Secondary 11F23, 11F46, 65F30, 11Y99, 11F67
Posted: January 20, 2010
MathSciNet review: 2630015
Retrieve article in: PDF

Abstract | References | Similar articles | Additional information

Abstract: In two previous papers we computed cohomology groups $ H^{5}(\Gamma_{0} (N); \mathbb{C})$ for a range of levels $ N$, where $ \Gamma_{0} (N)$ is the congruence subgroup of $ {SL}_{4} (\mathbb{Z})$ consisting of all matrices with bottom row congruent to $ (0,0,0,*)$ mod $ N$. In this note we update this earlier work by carrying it out for prime levels up to $ N = 211$. This requires new methods in sparse matrix reduction, which are the main focus of the paper. Our computations involve matrices with up to 20 million nonzero entries. We also make two conjectures concerning the contributions to $ H^{5}(\Gamma_{0} (N); \mathbb{C})$ for $ N $ prime coming from Eisenstein series and Siegel modular forms.

References:

[AGM02]
Avner Ash, Paul E. Gunnells, and Mark McConnell, Cohomology of congruence subgroups of $ {\rm SL}\sb 4(\mathbb{Z})$, J. Number Theory 94 (2002), no. 1, 181-212. MR 1904968 (2003f:11072)

[AGM08]
-, Cohomology of congruence subgroups of $ {\rm SL}(4,\mathbb{Z})$. II, J. Number Theory 128 (2008), no. 8, 2263-2274. MR 2394820 (2009d:11084)

[Ash92]
Avner Ash, Galois representations attached to mod $ p$ cohomology of $ {\rm GL}(n,{\bf Z})$, Duke Math. J. 65 (1992), no. 2, 235-255. MR 1150586 (93c:11036)

[BCP97]
Wieb Bosma, John Cannon, and Catherine Playoust, The Magma algebra system. I. The user language, J. Symbolic Comput. 24 (1997), no. 3-4, 235-265, Computational algebra and number theory (London, 1993). MR 1484478

[BS73]
A. Borel and J.-P. Serre, Corners and arithmetic groups, Comm. Math. Helv. 48 (1973), 436-491. MR 0387495 (52:8337)

[Coh93]
Henri Cohen, A course in computational algebraic number theory, Graduate Texts in Mathematics, vol. 138, Springer-Verlag, Berlin, 1993. MR 1228206 (94i:11105)

[Dav06]
Timothy A. Davis, Direct methods for sparse linear systems, Fundamentals of Algorithms, vol. 2, Society for Industrial and Applied Mathematics (SIAM), Philadelphia, PA, 2006. MR 2270673 (2007m:65002)

[DER89]
I. S. Duff, A. M. Erisman, and J. K. Reid, Direct methods for sparse matrices, second ed., Monographs on Numerical Analysis, The Clarendon Press, Oxford University Press, New York, 1989, Oxford Science Publications. MR 892734 (88f:65043)

[DEVGU07]
Jean-Guillaume Dumas, Philippe Elbaz-Vincent, Pascal Giorgi, and Anna Urbańska, Parallel computation of the rank of large sparse matrices from algebraic $ K$-theory, PASCO'07, ACM, New York, 2007, pp. 43-52. MR 2404060 (2009e:15002)

[DSV01]
Jean-Guillaume Dumas, B. David Saunders, and Gilles Villard, On efficient sparse integer matrix Smith normal form computations, J. Symbolic Comput. 32 (2001), no. 1-2, 71-99, Computer algebra and mechanized reasoning (St. Andrews, 2000). MR 1840386 (2002d:65042)

[EZ80]
M. Eichler and D. Zagier, Jacobi forms, Birkhäuser, 1980.

[Gat00]
Erann Gat, Lisp as an alternative to Java, Intelligence 11 (2000), no. 4, 21-24, www.flownet.com/gat/papers/lisp-java.pdf.

[Gri95]
Valeri Gritsenko, Arithmetical lifting and its applications, Number theory (Paris, 1992-1993), London Math. Soc. Lecture Note Ser., vol. 215, Cambridge Univ. Press, Cambridge, 1995, pp. 103-126. MR 1345176 (96d:11049)

[GS]
Dan Grayson and Mike Stillman, Macaulay $ 2$ software package, see www.math.uiuc.edu/Macaulay2.

[GVL96]
Gene H. Golub and Charles F. Van Loan, Matrix computations, Third ed., Johns Hopkins Studies in the Mathematical Sciences, Johns Hopkins University Press, Baltimore, MD, 1996. MR 1417720 (97g:65006)

[HHR93]
George Havas, Derek F. Holt, and Sarah Rees, Recognizing badly presented $ \mathbf{Z}$-modules, Linear Algebra Appl. 192 (1993), 137-163, Computational linear algebra in algebraic and related problems (Essen, 1992). MR 1236741 (94i:20001)

[Ibu07]
T. Ibukiyama, Dimension formulas of Siegel modular forms of weight $ 3$ and supersingular abelian varieties, Proceedings of the Fourth Spring Conference on Modular Forms and Related Topics, Siegel Modular Forms and Abelian Varieties, 2007, pp. 39-60.

[Jac85]
Nathan Jacobson, Basic Algebra I, Second ed., W. H. Freeman and Co., 1985. MR 780184 (86d:00001)

[LO91]
B. A. LaMacchia and A. M. Odlyzko, Solving large sparse linear systems over finite fields, Advances in Cryptology--CRYPTO '90, Lecture Notes in Computer Science, no. 537, Springer-Verlag, 1991.

[Mat03]
The MathWorks, MATLAB, version 6.5.1, 2003.

[McCa]
Mark McConnell,  $ 2.1$, www.lispwire.com/entry-math-sheafhom-des.

[McCb]
-, software package, www.geocities.com/mmcconnell17704/ math.html.

[PS92]
Carl Pomerance and J. W. Smith, Reduction of huge, sparse matrices over finite fields via created catastrophes, Experiment. Math. 1 (1992), no. 2, 89-94. MR 1203868

[PY09]
C. Poor and D. Yuen, Paramodular cusp forms, preprint, 2009.

[Sch02]
Jasper Scholten, Mordell-Weil groups of elliptic surfaces and Galois representations, Ph.D. thesis, Groningen, 2002.

[Tei98]
J. Teitelbaum, Euclid's algorithm and the Lanczos method over finite fields, Math. Comp. 67 (1998), no. 224, 1665-1678. MR 1474657 (99a:11145)

[vdG08]
Gerard van der Geer, Siegel modular forms and their applications, The 1-2-3 of modular forms, Universitext, Springer, Berlin, 2008, pp. 181-245. MR 2409679

[vGvdKTV97]
Bert van Geemen, Wilberd van der Kallen, Jaap Top, and Alain Verberkmoes, Hecke eigenforms in the cohomology of congruence subgroups of $ {SL}(3,\mathbf{Z})$, Experiment. Math. 6 (1997), no. 2, 163-174. MR 1474576 (99a:11059)

[Wie86]
Douglas H. Wiedemann, Solving sparse linear equations over finite fields, IEEE Trans. Inform. Theory 32 (1986), no. 1, 54-62. MR 831560 (87g:11166)

Similar Articles:

Retrieve articles in Mathematics of Computation with MSC (2010): 11F75, 65F05, 65F50, 11F23, 11F46, 65F30, 11Y99, 11F67

Retrieve articles in all Journals with MSC (2010): 11F75, 65F05, 65F50, 11F23, 11F46, 65F30, 11Y99, 11F67

Additional Information:

Avner Ash
Affiliation: Boston College, Chestnut Hill, Massachusetts 02445
Email: Avner.Ash@bc.edu

Paul E. Gunnells
Affiliation: University of Massachusetts Amherst, Amherst, Massachusetts 01003
Email: gunnells@math.umass.edu

Mark McConnell
Affiliation: Center for Communications Research, Princeton, New Jersey 08540
Email: mwmccon@idaccr.org

DOI: 10.1090/S0025-5718-10-02331-8
PII: S 0025-5718(10)02331-8
Keywords: Automorphic forms, cohomology of arithmetic groups, Hecke operators, sparse matrices, Smith normal form, Eisenstein cohomology, Siegel modular forms, paramodular group
Received by editor(s): March 18, 2009,
Received by editor(s) in revised form: July 7, 2009
Posted: January 20, 2010
Additional Notes: The first author wishes to thank the National Science Foundation for support of this research through NSF grant DMS-0455240. The second author wishes to thank the National Science Foundation for support of this research through NSF grant DMS-0801214. We thank T. Ibukiyama and C. Poor for helpful conversations. Finally we thank the referees for helpful references and comments.
Copyright of article: Copyright 2010, American Mathematical Society




AMS and Social Media LinkedIn Facebook Podcasts Twitter YouTube RSS Feeds Blogs Wikipedia