98
Views
0
CrossRef citations to date
0
Altmetric
Original Articles

On the Cohomology of Congruence Subgroups of GL3 over the Eisenstein Integers

ORCID Icon, & ORCID Icon
 

Abstract

Let F be the imaginary quadratic field of discriminant −3 and OF its ring of integers. Let Γ be the arithmetic group GL3(OF), and for any ideal nOF let Γ0(n) be the congruence subgroup of level n consisting of matrices with bottom row (0,0,*)modn. In this paper we compute the cohomology spaces Hν1(Γ0(n);C) as a Hecke module for various levels n, where ν is the virtual cohomological dimension of Γ. This represents the first attempt at such computations for GL3 over an imaginary quadratic field, and complements work of Grunewald–Helling–Mennicke and Cremona, who computed the cohomology of GL2 over imaginary quadratic fields. In our results we observe a variety of phenomena, including cohomology classes that apparently correspond to nonselfdual cuspforms on GL3/F.

2010 Mathematics Subject Classification:

Notes

1 In [CitationGunnells 00], such points were called candidates.

2 This and other similar labels refer to the L-functions and modular forms database [CitationThe LMFDB Collaboration 13].

3 We used M. Watkins’s implementation of Hecke Grössencharacters in Magma [CitationBosma et al. 97] in these computations.

4 We remark that there is more to be said about this Bianchi modular form f. It is itself a base change of a weight two newform g (81.2.1.a) on Γ0(81)SL2(Z) with coefficients in the quadratic field Q(η) of discriminant 12, where η2=3. The eigenvalue of Tp, p3 on g away is rational (respectively in Z·η) exactly when p is inert (respectively splits) in our imaginary quadratic field F. Thus g corresponds to an abelian surface with extra twist as in [CitationCremona 92].

5 Strictly speaking, this does not imply that the cohomology class is cuspidal, only that it appears in the interior cohomology of Γ (see [CitationAsh et al. 84, CitationHarder 91] for the definition). For GL3/Q being interior implies cuspidal. For our purposes, we will abuse notation and ignore this distinction.

Additional information

Funding

PG wishes to thank the National Science Foundation for support of this research through the NSF grant DMS-1501832. DY wishes to thank the National Security Agency for support through the NSA grant H98230-15-1-0228 and UNCG for support through the Faculty First Award.

Reprints and Corporate Permissions

Please note: Selecting permissions does not provide access to the full text of the article, please see our help page How do I view content?

To request a reprint or corporate permissions for this article, please click on the relevant link below:

Academic Permissions

Please note: Selecting permissions does not provide access to the full text of the article, please see our help page How do I view content?

Obtain permissions instantly via Rightslink by clicking on the button below:

If you are unable to obtain permissions via Rightslink, please complete and submit this Permissions form. For more information, please visit our Permissions help page.