This paper deals with a new analytic type of vector- and Clifford algebra valued automorphic forms in one and two vector variables. For hypercomplex generalizations of the classical modular group and their arithmetic congruence subgroups Eisenstein- and Poincaré type series that are annihilated by Dirac operators, and more generally, by iterated Dirac operators on the upper half-space of $R^n$ are discussed. In particular we introduce (poly-)monogenic modular forms on hypercomplex generalizations of the classical theta group.
In this paper we deal with monogenic and $k$-hypermonogenic automorphic forms on arithmetic subgroups of the Ahlfors-Vahlen group. Monogenic automorphic forms are exactly the 0-hypermonogenic automorphic forms. In the first part we establish an explicit relation between $k$-hypermonogenic automorphic forms and Maaß wave forms. In particular, we show how one can construct from any arbitrary non-vanishing monogenic automorphic form a Clifford algebra valued Maaß wave form. In the second part of the paper we compute the Fourier expansion of the $k$-hypermonogenic Eisenstein series which provide u…
We prove a commutative algebra result which has consequences for congruences between automorphic forms modulo prime powers. If C denotes the congruence module for a fixed automorphic Hecke eigenform π_0 we prove an exact relation between the p-adic valuation of the order of C and the sum of the exponents of p-power congruences between the Hecke eigenvalues of π_0 and other automorphic forms. We apply this result to several situations including the congruences described by Mazur's Eisenstein ideal.
We first give a relative flexible process to construct torsion cohomology classes for Shimura varieties of Kottwitz-Harris-Taylor type with coefficient in a non too regular local system. We then prove that associated to each torsion cohomology class, there exists a infinity of irreducible automorphic representations in characteristic zero, which are pairwise non isomorphic and weakly congruent.
We prove an integrality result for the value at s=1 of the adjoint L-function associated to a cohomological cuspidal automorphic representation on GL(n) over any number field. We then show that primes (outside an exceptional set) dividing this special value give rise to congruences between automorphic forms. We also prove a non-vanishing property at infinity for the relevant Rankin-Selberg L-functions on GL(n) x GL(n).
In this paper we deal with a new class of Clifford algebra valued automorphic forms on arithmetic subgroups of the Ahlfors-Vahlen group. The forms that we consider are in the kernel of the operator $D Δ^{k/2}$ for some even $k \in {\mathbb{Z}}$. They will be called $k$-holomorphic Cliffordian automorphic forms. $k$-holomorphic Cliffordian functions are well equipped with many function theoretical tools. Furthermore, the real component functions have also the property that they are solutions to the homogeneous and inhomogeneous Weinstein equation. This function class includes the set of $k$-hyp…
We consider the genus of $20$ classes of unimodular Hermitian lattices of rank $12$ over the Eisenstein integers. This set is the domain for a certain space of algebraic modular forms. We find a basis of Hecke eigenforms, and guess global Arthur parameters for the associated automorphic representations, which recover the computed Hecke eigenvalues. Congruences between Hecke eigenspaces, combined with the assumed parameters, recover known congruences for classical modular forms, and support new instances of conjectured Eisenstein congruences for $\mathbb{U}(2,2)$ automorphic forms.
We survey our joint work with Avner Ash and Mark McConnell that computationally investigates the cohomology of conguence subgroups of SL_4 (\Z). This is based on a talk given at the 2009 RIMS conference "Automorphic representations, automorphic L-functions and arithmetic."
We establish the existence of congruences between a fixed endoscopic cuspidal automorphic representation $Π$ of $\mathrm{GSp}(4)$ of square-free conductor and stable cuspidal automorphic representations of the same level and weight modulo certain prime factors of the value at $1$ of the adjoint $L$-function of $Π$ normalized by a suitable period.
In this paper we provide a sufficient condition for a prime to be a congruence prime for an automorphic form $f$ on the unitary group $U(n,n)(A_F)$ for a large class of totally real fields $F$ via a divisibility of a special value of the standard $L$-function associated to $f$. We also study $\ell$-adic properties of the Fourier coefficients of an Ikeda lift $I_ϕ$ (of an elliptic modular form $ϕ$) on $U(n,n)(A_{\mathbf{Q}})$ proving that they are $\ell$-adic integers which do not all vanish modulo $\ell$. Finally we combine these results to show that the condition of $\ell$ being a congruence …
Let $G$ be a connected reductive group over a totally real field $F$ which is compact modulo center at archimedean places. We find congruences modulo an arbitrary power of p between the space of arbitrary automorphic forms on $G(\mathbb A_F)$ and that of automorphic forms with supercuspidal components at p, provided that p is larger than the Coxeter number of the absolute Weyl group of $G$. We illustrate how such congruences can be applied in the construction of Galois representations. Our proof is based on type theory for representations of p-adic groups, generalizing the prototypical case of…
We prove the subconvexity conjecture for sup-norms of automorphic forms for congruence subgroups of SL(n, Z) that satisfy the Ramanujan conjecture at infinity.
We classify all primes appearing in the denominators of the Hauptmodul $J$ and modular forms for non-arithmetic triangle groups with a cusp. These primes have a congruence condition in terms of the order of the generators of the group. As a corollary we show that for the Hecke group of type $(2,m,\infty)$, the prime $p$ does not appear in the denominator of $J$ if and only if $p\equiv \pm 1\pmod m$.
In this paper, we consider the $L$-functions $L(s, f)$ where $f$ is an eigenform for the congruence subgroup $Γ_1(q)$. We prove an asymptotic formula for the sixth moment of this family of automorphic $L$-functions.
We find experimental examples of congruences of Hecke eigenvalues between automorphic representations of groups such as $\mathrm{GSp}_2(\mathbb{A})$, $\mathrm{SO}(4,3)(\mathbb{\mathbb{A}})$ and $\mathrm{SO}(5,4)(\mathbb{A})$, where the prime modulus should, for various reasons, appear in the algebraic part of a critical "tensor-product" $L$-value associated to cuspidal automorphic representations of $\mathrm{GL}_2(\mathbb{A})$ and $\mathrm{GSp}_2(\mathbb{A})$. Using special techniques for evaluating $L$-functions with few known coefficients, we compute sufficiently good approximations to detec…
In this paper we prove a general theorem about congruences between automorphic forms on a reductive group G which is compact at infinity modulo the center. If the rank is one, this essentially reduces to Ribet's level-raising theorem. We then specialize to the higher rank case where G is an inner form of GSp(4). Here we get congruences with automorphic forms having a generic local component. In particular, a Saito-Kurokawa form is congruent to a form which is not of Saito-Kurokawa type. We get similar results for U(3) at split primes.
We investigate the sixth moment of the family of $L$-functions associated to holomorphic modular forms on $GL_2$ with respect to a congruence subgroup $Γ_1(q)$. We improve on previous work and obtain an unconditional upper bound of the correct order of magnitude.
In the 1970's, Serre exploited congruences between $q$-expansion coefficients of Eisenstein series to produce $p$-adic families of Eisenstein series and, in turn, $p$-adic zeta functions. Partly through integration with more recent machinery, including Katz's approach to $p$-adic differential operators, his strategy has influenced four decades of developments. Prior papers employing Katz's and Serre's ideas exploiting differential operators and congruences to produce families of automorphic forms rely crucially on $q$-expansions of automorphic forms. The overarching goal of the present paper i…
Firstly we prove that the Voronoi formula of Miller-Schmid type applies to automorphic forms on GL(3) for the congruence subgroup $Γ_0(N)$, when the conductor of the additive character in the formula is a multiple of $N$. As an application, we produce a result about the functional equation of $L$-function of the automorphic form on GL(3) twisted by Dirichlet characters. Secondly we prove that a similar formula applies to automorphic forms on GL(3) for the congruence subgroup $Γ_0(N)$, when the conductor of the additive character in the formula is coprime with $N$.
We present a general conjecture on congruences between Hecke eigenvalues of parabolically induced and cuspidal automorphic representations of split reductive groups, modulo divisors of critical values of certain $L$-functions. We examine the consequences in several special cases, and use the Bloch-Kato conjecture to further motivate a belief in the congruences.
The automorphic cohomology of a connected reductive algebraic group defined over Q decomposes as a direct algebraic sum of cuspidal and Eisenstein cohomology. In the present paper we construct regular Eisenstein cohomology classes for congruence subgroups of a rational form G of Q-rank 2 of SO(n,2).
We prove for L-function attached to an automorphic cusp form for the Hecke congruence group $Γ_0(D)$, which is also an eigenfunction of all the Hecke operators, that a positive proportion of its non-trivial zeros lie on the critical line. This result extends the work of J.L. Hafner of 1983 where the case of the full modular group is considered.
In this paper, we decompose the space of nearly holomorphic Hilbert-Siegel automorphic forms as representations of the adele group under certain assumptions. We also give an application for classical holomorphic Hilbert-Siegel modular forms. In particular, we show the surjectivity of the global Siegel operator for certain congruence subgroups with large weights.
Using the relationship between Siegel cusp forms of degree $2$ and cuspidal automorphic representations of $\mathrm{GSp}(4,\mathbb{A}_{\mathbb{Q}})$, we derive some congruences involving dimensions of spaces of Siegel cusp forms of degree $2$ and the class number of $\mathbb{Q}(\sqrt{-p})$. We also obtain some congruences between the $4$-core partition function $c_4(n)$ and dimensions of spaces of Siegel cusp forms of degree $2$.
In this paper we study congruence properties of the representations $U_α:=U^{PSL(2,\mathbb{Z})}_{χ_α}$ of the projective modular group ${\rm PSL}(2,\mathbb{Z})$ induced from a family $χ_α$ of characters for the Hecke congruence subgroup $Γ_0(4)$ basically introduced by A. Selberg. Interest in the representations $U_α$ stems from their appearance in the transfer operator approach to Selberg's zeta function for this Fuchsian group and character $χ_α$. Hence the location of the nontrivial zeros of this function and therefore also the spectral properties of the corresponding automorphic Laplace-Be…
We work out instances of a general conjecture on congruences between Hecke eigenvalues of induced and cuspidal automorphic representations of a reductive group, modulo divisors of certain critical L-values, in the case that the group is a split orthogonal group. We provide some numerical evidence in the case that the group is SO(4,3) and the L-function is the spinor L-function of a genus 2, vector-valued, Siegel cusp form. We also consider the case that the group is SO(4,4) and the L-function is a triple product L-function.
Let $G$ be the group of $\mathbb R$--points of a semisimple algebraic group $\mathcal G$ defined over $\mathbb Q$. Assume that $G$ is connected and noncompact. We study Fourier coefficients of Poincar\' e series attached to matrix coefficients of integrable discrete series. We use these results to construct explicit automorphic cuspidal realizations, which have appropriate Fourier coefficients $\neq 0$, of integrable discrete series in families of congruence subgroups. In the case of $G=Sp_{2n}(\mathbb R)$, we relate our work to that of Li [15]. For $\mathcal G$ quasi--split over $\mathbb Q$, …
Using $l$-adic completed cohomology in the context of Shimura varieties of Kottwitz-Harris-Taylor type attached to some fixed similitude group $G$, we prove, allowing to increase the levet at $l$, some new automorphic congruences between any degenerate automorphic representation with a non degenerate one of the same weight.
We investigate a question of Cooper adjacent to the Virtual Haken Conjecture. Assuming certain conjectures in number theory, we show that there exist hyperbolic rational homology 3-spheres with arbitrarily large injectivity radius. These examples come from a tower of abelian covers of an explicit arithmetic 3-manifold. The conjectures we must assume are the Generalized Riemann Hypothesis and a mild strengthening of results of Taylor et al on part of the Langlands Program for GL_2 of an imaginary quadratic field. The proof of this theorem involves ruling out the existence of an irreducible two …
We look at genera of even unimodular lattices of rank $12$ over the ring of integers of $\mathbb{Q}(\sqrt{5})$ and of rank $8$ over the ring of integers of $\mathbb{Q}(\sqrt{3})$, using Kneser neighbours to diagonalise spaces of scalar-valued algebraic modular forms. We conjecture most of the global Arthur parameters, and prove several of them using theta series, in the manner of Ikeda and Yamana. We find instances of congruences for non-parallel weight Hilbert modular forms. Turning to the genus of Hermitian lattices of rank $12$ over the Eisenstein integers, even and unimodular over $\mathbb…
In this paper we give an example of a noncongruence subgroup whose three-dimensional space of cusp forms of weight 3 has the following properties. For each of the four residue classes of odd primes modulo 8 there is a basis whose Fourier coefficients at infinity satisfy a three-term Atkin and Swinnerton-Dyer congruence relation, which is the $p$-adic analogue of the three-term recursion satisfied by the coefficients of classical Hecke eigen forms. We also show that there is an automorphic $L$-function over $\mathbb Q$ whose local factors agree with those of the $l$-adic Scholl representations …
In this paper we discuss the existence of certain classes of cuspidal automorphic representations having non-zero Fourier coefficients for general semisimple algebraic group $G$ defined over a number field $k$ such that its Archimedean group $G_\infty$ is not compact. When $G$ is quasi--split over $k$, we obtain a result on existence of generic cuspidal automorphic representations which generalize a result of Vign\' eras, Henniart, and Shahidi. We also discuss the existence of cuspidal automorphic forms with non--zero Fourier coefficients for congruence of subgroups of $G_\infty$.
We investigate modular embeddings for semi-arithmetic Fuchsian groups. First we prove some purely algebro-geometric or even topological criteria for a regular map from a smooth complex curve to a quaternionic Shimura variety to be covered by a modular embedding. Then we set up an adelic formalism for modular embeddings and apply our criteria to study the effect of abstract field automorphisms of $\mathbb{C}$ on modular embeddings. Finally we derive that the absolute Galois group of $\mathbb{Q}$ operates on the dessins d'enfants defined by principal congruence subgroups of (arithmetic or non-ar…
In this paper we study the compatible family of degree-4 Scholl representations $ρ_{\ell}$ associated with a space $S$ of weight $κ> 2$ noncongruence cusp forms satisfying Quaternion Multiplications over a biquadratic field $K$. It is shown that when either $K$ is totally real or $κ$ is odd, $ρ_\ell$ is automorphic, that is, its associated L-function has the same Euler factors as the L-function of an automorphic form for $GL_4(\mathbb Q)$. Further, it yields a relation between the Fourier coefficients of noncongruence cusp forms in $S$ and those of certain automorphic forms via the three-term …
This paper surveys the connection between the elliptic curve E_D: x^3 + y^3 = D and a certain metaplectic form on the cubic cover of GL(3) which has the property that its m,n^{th} Whittaker--Fourier coefficient is essentially the L--series of the curve E_{m^2n}. One may obtain information about the collective behavior the curves E_D by exploiting this connection; for example, one can prove: Theorem: Fix any prime p \ne 3, and any congruence class c mod p. Then there are infinitely many D congruent to c mod p such that the curve E_D has no rational solutions. This paper is fairly self-contained…
In this work we prove the so-called "torsion congruences" between abelian $p$-adic $L$-functions that are related to automorphic representations of definite unitary groups. These congruences play a central role in the non-commutative Iwasawa theory as it became clear in the works of Kakde, Ritter and Weiss on the non-abelian Main Conjecture for the Tate motive. We tackle these congruences for a general definite unitary group of $n$ variables and we obtain more explicit results in the special cases of $n=1$ and $n=2$. In both of these cases we also explain their implications for some particular…
We prove, in respect of an arbitrary Hecke congruence subgroup Γ=Γ_0(q_0) of the group SL(2,Z[i]), some new upper bounds (or `spectral large sieve inequalities') for sums involving Fourier coefficients of Γ-automorphic cusp forms on SL(2,C). The Fourier coefficients in question may arise from the Fourier expansion at any given cusp c of Γ: our results are not limited to the case in which c is the cusp at infinity. For this reason, our proof is reliant upon an extension, to arbitrary cusps, of the spectral-Kloosterman sum formula for Γ\SL(2,C) obtained by Hristina Lokvenec-Guleska in her doctor…
We show that Selberg's eigenvalue conjecture concerning small eigenvalues of the automorphic Laplacian for congruence groups is equivalent to a conjecture about the non-existence of residual eigenvalues for a perturbed system. We prove this using a combination of methods from asymptotic perturbation theory and number theory.
By assuming the endoscopic classification of automorphic representations on inner forms of unitary groups, which is currently work in progress by Kaletha, Minguez, Shin, and White, we bound the growth of cohomology in congruence towers of locally symmetric spaces associated to $U(n,1)$. In the case of lattices arising from Hermitian forms, we conjecture that the growth exponents we obtain are sharp in all degrees.
We consider $p$-adic families of Siegel eigenforms of genus $2$ and finite slope, defined as local pieces of an eigenvariety and equipped with a suitable integral structure. Under some assumptions on the residual image, we show that the image of the Galois representation associated with a family is big, in the sense that a Lie algebra attached to it contains a congruence subalgebra of non-zero level. We call Galois level of the family the largest such level. We show that it is trivial when the residual representation has full image. When the residual representation is a symmetric cube, the zer…
Let $H$ be a semisimple algebraic group, $K$ a maximal compact subgroup of $G:=H(\mathbb{R})$, and $Γ\subset H(\mathbb{Q})$ a congruence arithmetic subgroup. In this paper, we generalize existing subconvex bounds for Hecke-Maass forms on the locally symmetric space $Γ\backslash G/K$ to corresponding bounds on the arithmetic quotient $Γ\backslash G$ for cocompact lattices using the spectral function of an elliptic operator. The bounds obtained extend known subconvex bounds for automorphic forms to non-trivial $K$-types, yielding subconvex bounds for new classes of automorphic representations, a…
The aim of this paper is to prove inequalities towards instances of the Bloch-Kato conjecture for Hilbert modular forms of parallel weight two, when the order of vanishing of the $L$-function at the central point is zero or one. We achieve this implementing an inductive Euler system argument which relies on explicit reciprocity laws for cohomology classes constructed using congruences of automorphic forms and special points on several Shimura curves.
Let $Sh_K(G,μ)$ be a Shimura variety of KHT type, as introduced in Harris-Taylor book, associated to some similitude group $G/\mathbb Q$ and a open compact subgroup $K$ of $G(\mathbb A)$. For any irreducible algebraic $\overline{\mathbb Q}_l$-representation $ξ$ of $G$, let $V_ξ$ be the $\mathbb Z_l$-local system on $Sh_K(G,μ)$. From my paper about p-stabilization, we know that if we allow the local component $K_l$ of $K$ to be small enough, then there must exists some non trivial cohomology classes with coefficient in $V_ξ$. The aim of this paper is then to construct explicitly such torsion cl…
We develop an explicit Kuznetsov formula on GL(3) for congruence subgroups. Applications include a Lindelof on average type bound for the sixth moment of GL(3) L-functions in the level aspect, an automorphic large sieve inequality, density results for exceptional eigenvalues and density results for Maass forms violating the Ramanujan conjecture at finite places.
We prove new bounds for weighted mean values of sums involving Fourier coefficients of cusp forms that are automorphic with respect to a Hecke congruence subgroup Γ=Γ_0(q) of the group SL(2,Z[i]), and correspond to exceptional eigenvalues of the Laplace operator on the space L^2(Γ\SL(2,C)/SU(2)). These results are, for certain applications, an effective substitute for the generalised Selberg eigenvalue conjecture. We give a proof of one such application, which is an upper bound for a sum of generalised Kloosterman sums (of significance in the study of certain mean values of Hecke zeta-function…
Andrews recently introduced k-marked Durfee symbols, which are a generalization of partitions that are connected to moments of Dyson's rank statistic. He used these connections to find identities relating their generating functions as well as to prove Ramanujan-type congruences for these objects and find relations between. In this paper we show that the hypergeometric generating functions for these objects are natural examples of quasimock theta functions, which are defined as the holomorphic parts of weak Maass forms and their derivatives. In particular, these generating functions may be view…
In this preprint, we explore a beautiful idea of Skinner and Wiles in the context of GSp(4) over a totally real field. The main result provides congruences between automorphic forms which are Iwahori-spherical at a certain place w, and forms with a tamely ramified principal series at w. Thus, after base change to a totally real finite solvable extension, one can often lower the level at w. For the proof, we first establish an analogue of the Jacquet-Langlands correspondence, using the stable trace formula. The congruences are then obtained on inner forms, which are compact at infinity mod cent…
For a given cusp form $ϕ$ of even integral weight satisfying certain hypotheses, Waldspurger's Theorem relates the critical value of the $\mathrm{L}$-function of the $n$-th quadratic twist of $ϕ$ to the $n$-th coefficient of a certain modular form of half-integral weight. Waldspurger's recipes for these modular forms of half-integral weight are far from being explicit. In particular, they are expressed in the language of automorphic representations and (adelic) Hecke characters. We translate these recipes into congruence conditions involving easily computable values of Dirichlet characters. We…
