Abstract
AbstractLet $$\Gamma ={{\,\mathrm{\textrm{PSL}}\,}}_2(\mathcal {O})$$
Γ
=
PSL
2
(
O
)
be a Bianchi group associated to one of the five Euclidean imaginary quadratic fields. We show that the space of weight k period polynomials for $$\Gamma $$
Γ
is “dual” to the space of weight k modular symbols for $$\Gamma $$
Γ
, reflecting the duality between the first and second cohomology groups of the arithmetic group $$\Gamma $$
Γ
. Using this result, we describe the action of Hecke operators on the space of period polynomials for $$\Gamma $$
Γ
via the Heilbronn matrices. As in the classical case, spaces of Bianchi period polynomials are related to parabolic cohomology of Bianchi groups, and in turn, via the Eichler–Shimura–Harder Isomorphism, to spaces of Bianchi modular forms. In the second part of the paper, we numerically investigate congruences between level 1 Bianchi eigenforms via computer programs which implement the above mentioned Hecke action on spaces of Bianchi period polynomials. Computations with the Hecke action are used to indicate moduli of congruences between the underlying Bianchi forms; we then prove the congruences using the period polynomials. From this we find congruences between genuine Bianchi modular forms and both a base-change Bianchi form and an Eisenstein series. We believe these congruences are the first of their kind in the literature.
Funder
Engineering and Physical Sciences Research Council
Publisher
Springer Science and Business Media LLC
Reference22 articles.
1. Ash, A.: Unstable cohomology of $${{\rm SL}}(n,\cal{O} )$$. J. Algebra 167, 330–342 (1994)
2. Borel, A., Serre, J.P.: Corners and arithmetic groups. Comment. Math. Helv. 48, 436–491 (1973)
3. Bosma, W., Cannon, J., Playoust, C.: The Magma Algebra System I: The User Language. J. Symb. Comput. 24, 235–265 (1997)
4. Cremona, J.E.: Algorithms for Modular Elliptic Curves. Cambridge University Press, Cambridge (1993)
5. Cremona, J., Whitley, E.: Periods of cusp forms and elliptic curves over imaginary quadratic fields. Math. Comput. 62, 407–429 (1994)