Abstract
Let F be the imaginary quadratic field of discriminant −3 and its ring of integers. Let Γ be the arithmetic group and for any ideal let be the congruence subgroup of level consisting of matrices with bottom row In this paper we compute the cohomology spaces as a Hecke module for various levels 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 over imaginary quadratic fields. In our results we observe a variety of phenomena, including cohomology classes that apparently correspond to nonselfdual cuspforms on
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 with coefficients in the quadratic field of discriminant 12, where The eigenvalue of Tp, on g away is rational (respectively in ) 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 being interior implies cuspidal. For our purposes, we will abuse notation and ignore this distinction.