Genuine Bianchi modular forms of higher level at varying weight and discriminant
type: Item
instance of: scholarly article
title: Genuine Bianchi modular forms of higher level at varying weight and discriminant
zbMATH Open document ID: 1466.11027
author: Alexander D. Rahm
author: Panagiotis Tsaknias
published in: Journal de Théorie des Nombres de Bordeaux
publication date: 2020-09-11T00:00:00Z
full work available at URL: https://arxiv.org/abs/1703.07663
review text: Bianchi modular forms can be roughly defined as functions on the Lie group \(\mathrm{GL}_2(\mathbb C)\), with values in the irreducible representations of \(\mathrm{GL}_2(\mathbb C)\), which are invariant under the left-action of a congruence subgroup of a Bianchi group \(\mathrm{GL}_2(\mathcal O_K)\) with \(\mathcal O_K\) a ring of imaginary quadratic integers, equivariant under the right-action of the unitary group \(\mathrm U(2)\) and under the action of the center. For certain representations (and with a coherent choice of character for the center) they can be interpreted as cohomology classes on the quotient hyperbolic 3-orbifold associated with the arithmetic groups. This can be used to perform exact computations for the dimensions of these spaces, using a cellular structure for a deformation retract of the orbifold. Among these forms are the analogues of the Eisenstein series. The remainder, the so-called cuspidal forms which vanish to high order in the cusps of the orbifold, cannot be described uniformly, in contrast to the classical case (modular forms for \(\mathrm{PSL}_2(\mathbb Z)\) and its congruence subgroups) where an exact dimension formula is available. Still there are various explicit constructions for them, for instance the Langlands base-change operation associates Bianchi modular forms of weight \((k, k)\) to classical modular forms. This can also be twisted via characters of the class-group. Finally there is another explicit construction via power series (``CM-forms''). It has been remarked via explicit computation of homology groups on small examples that there may also occur ``genuine'' forms which do not arise from any of these constructions. Since there are formulas for the dimensions of the subspaces of base-change or CM-forms the dimension of these genuine forms can in principle be computed; the present paper details such an approach, with effective formulas that can be implemented. The authors also give the results of a systematic search…
reviewed by: Jean Raimbault
Mathematics Subject Classification ID: 11F75
Mathematics Subject Classification ID: 11F55
zbMATH DE Number: 7246512
zbMATH Keywords: Bianchi groups
zbMATH Keywords: cohomology above the virtual cohomological dimension
zbMATH Keywords: computational methods
describes a project that uses: Magma
MaRDI profile type: MaRDI publication profile
OpenAlex ID: W2969626491
arXiv ID: 1703.07663
cites work: Theta lifts of Bianchi modular forms and applications to paramodularity
cites work: Torsion homology growth and cycle complexity of arithmetic manifolds
cites work: The Magma algebra system. I: The user language
cites work: Q4237383
cites work: Hermite and Smith normal form algorithms over Dedekind domains
cites work: Q4146792
cites work: The Cohomology of Lattices in SL(2, ℂ)
cites work: Q3887686
cites work: Homology and \(K\)-theory of the Bianchi groups.
cites work: Higher torsion in the Abelianization of the full Bianchi groups
cites work: On level one cuspidal Bianchi modular forms
cites work: A Possible Generalization of Maeda’s Conjecture
DOI: 10.5802/JTNB.1067
Recommended article: On level one cuspidal Bianchi modular forms
Recommended article: On the cuspidal cohomology of the Bianchi modular groups
Recommended article: Examples of genuine QM abelian surfaces which are modular
Recommended article: Universal Fourier expansions of Bianchi modular forms
Recommended article: Computing rational cohomology and Hecke eigenvalues for Bianchi groups
description: scientific article