We study p-divisibility of discriminants of Hecke algebras associated to spaces of cusp forms of prime level. We make a precise conjecture about the indexes of Hecke algebras in their normalisation which implies (if true) the conjecture that there are no mod p congruences between non-conjugate newforms of weight 2 and level Gamma_0(p).
In this article, we establish an average behaviour of the normalised Fourier coefficients of the Hecke eigenforms supported at the integers represented by any primitive integral positive definite binary quadratic form of fixed discriminant $D < 0$ when the class number $h(D) = 1$. We also obtain a quantitative result for the number of sign changes of the sequence of the normalised Fourier coefficients $λ_{f}(n)$ of the Hecke eigenforms $f$ where $n$ is represented by any primitive integral positive definite binary quadratic form of fixed discriminant $D < 0$ when the class number $h(D) = 1$ in…
In this paper we establish the explicit exponential map for the Galois representation from a Hecke character at an ordinary prime. Such explicit maps are important in verifying the Bloch-Kato conjecture for Hecke characters.
Let $-D < -4$ denote a fundamental discriminant which is either odd or divisible by 8, so that the canonical Hecke character of $\Bbb Q(\sqrt{-D})$ exists. Let $d$ be a fundamental discriminant prime to $D$. Let $2k-1$ be an odd natural integer prime to the class number of $\Bbb Q(\sqrt{-D})$. Let $χ$ be the twist of the $(2k-1)$th power of a canonical Hecke character of $\Bbb Q(\sqrt{-D})$ by the Kronecker's symbol $n\mapsto(\frac{d}{n})$. It is proved that the order of the Hecke $L$-function $L(s,χ)$ at its central point $s=k$ is determined by its root number when $|d| \leq c(ε)D^{{1/24}-ε}$…
In this paper, we are interested in exploring the cancellation of Hecke eigenvalues twisted with an exponential sums whose amplitude is $\sqrt{n}$ at prime arguments.
It was conjectured by Gauss that any negative discriminant with at least 32 genera has at least two classes of binary quadratic forms in each genus. We prove that such a discriminant cannot have a particularly large prime factor, by an argument similar to that of Baker's solution to Gauss' class number one problem.
For every prime number p, we show the existence of a solvable number field L ramified only at {p and infinity whose p-Hilbert Class field tower is infinite.
We study the first and second mollified moments of central values of a quadratic family of Hecke $L$-functions of prime moduli to show that more than nine percent of the members of this family do not vanish at the central values.
We study the first moments of central values of Hecke $L$-functions associated with quadratic, cubic and quartic symbols to prime moduli. This also enables us to obtain results on first moments of central values of certain families of cubic and quartic Dirichlet $L$-functions of prime moduli.
We present an algorithm for computing discriminants and prime ideal decomposition in number fields. The algorithm is a refinement of a p-adic factorization method based on Newton polygons of higher order. The running-time and memory requirements of the algorithm appear to be very good: for a given prime number p, it computes the p-valuation of the discriminant and the factorization of p in a number field of degree 1000 in a few seconds, in a personal computer.
In this paper, we obtain an asymptotic formula for the number of imaginary quadratic fields with prime discriminant and class number up to $H$, as $H\to \infty$. Previously, such an asymptotic was only known under the assumption of the Generalized Riemann Hypothesis, by the recent work of Holmin, Jones, Kurlberg, McLeman and Petersen.
Let $η>0$ be a fixed positive number, let $N$ be a sufficiently large number. In this paper, we study the second moment of the sum of Hecke eigenvalues over primes in short intervals (whose length is $η\log N$) on average (with some weights) over the family of weight $k$ holomorphic Hecke cusp forms. We also generalize the above result to Hecke-Maass cusp forms for $SL(2,\mathbb{Z})$ and $SL(3,\mathbb{Z}).$ By applying the Hardy-Littlewood prime 2-tuples conjecture, we calculate the exact values of the mean values.
We state and prove an identity which connects theta series associated with binary quadratic forms of idoneal discriminants $Δ$ and $Δp^2$, for $p$ a prime. Employing this identity, we extend the results of Toh by writing the theta series of forms of discriminant $Δp^2$ as a linear combination of Lambert series. We then use these Lambert series decompositions to give explicit representation formulas for the forms of discriminant $Δp^2$. Lastly, we give a generalization of our main identity, which employs a map of Buell to connect forms of discriminant $Δ$ to $Δp^2$. Our generalized identity lin…
Using the modularity technique of Wiles, we study the Hecke algebra of weight 2 and prime level N localized at the Eisenstein primes. On the way, we recover some results of Mazur ("Modular Curves and the Eisenstein Ideal") from a deformation theoretic point of view. Combining some of our results with a theorem of Merel, we obtain new information about the p-part of the class groups of Q(N^(1/p)), where p and N are prime, and N = 1 mod p.
We show that certain spaces of vector valued modular forms are isomorphic to spaces of scalar valued modular forms whose Fourier coefficients are supported on suitable progressions. As an application we give a very explicit description of Borcherds products on Hilbert modular surfaces.
The discriminant of a polynomial of the form $\pm x^n \pm x^m \pm 1$ has the form $n^n \pm m^m(n-m)^{n-m}$ when $n,m$ are relatively prime. We investigate when these discriminants have prime power divisors. We explain several symmetries that appear in the classification of these values of $n,m$. We prove that there are infinitely many pairs of integers $n,m$ for which this discriminant has no prime cube divisors. This result is extended to show that for infinitely many fixed $m$, there are infinitely many $n$ for which the discriminant has no prime cube divisor.
Using Duke's large sieve inequality for Hecke Gr{ö}ssencharaktere and the new sieve methods of Maynard and Tao, we prove a general result on gaps between primes in the context of multidimensional Hecke equidistribution. As an application, for any fixed $0<ε<\frac{1}{2}$, we prove the existence of infinitely many bounded gaps between primes of the form $p=a^2+b^2$ such that $|a|<ε\sqrt{p}$. Furthermore, for certain diagonal curves $\mathcal{C}:ax^α+by^β=c$, we obtain infinitely many bounded gaps between the primes $p$ such that $|p+1-\#\mathcal{C}(\mathbb{F}_p)|<ε\sqrt{p}$.
We consider the simplest quartic number fields $\mathbb{K}_m$ defined by the irreducible quartic polynomials $$x^4-mx^3-6x^2+mx+1,$$ where $m$ runs over the positive rational integers such that the odd part of $m^2+16$ is squarefree. In this paper, we study the common index divisor $I(\mathbb K_m)$ and determine explicitly the prime ideal decomposition for any prime number in any simplest quartic number fields $\mathbb{K}_m$. On the other hand, we establish an asymptotic formula for the number of simplest quartic fields with discriminant $\leq x$ and given index.
In this paper, we study the one level density of low-lying zeros of a family of quadratic Hecke $L$-functions to prime moduli over the Gaussian field under the generalized Riemann hypothesis (GRH) and the ratios conjecture. As a corollary, we deduce that at least $75 \%$ of the members of this family do not vanish at the central point under GRH.
Let $Q$ be a positive-definite quaternary quadratic form with prime discriminant. We give an explicit lower bound on the number of representations of a positive integer $n$ by $Q$. This problem is connected with deriving an upper bound on the Petersson norm $\langle C, C \rangle$ of the cuspidal part of the theta series of $Q$. We derive an upper bound on $\langle C, C \rangle$ that depends on the smallest positive integer not represented by the dual form $Q^{*}$. In addition, we give a non-trivial upper bound on the sum of the integers $n$ excepted by $Q$.
Let F in S_k(Sp(2g, Z)) be a cuspidal Siegel eigenform of genus g with normalized Hecke eigenvalues mu_F(n). Suppose that the associated automorphic representation pi_F is locally tempered everywhere. For each c>0 we consider the set of primes p for which |mu_F(p)| >= c and we provide an explicit upper bound on the density of this set. In the case g=2, we also provide an explicit upper bound on the density of the set of primes p for which mu_F(p) >= c.
We continue the study of strong, weak, and $dc$-weak eigenforms introduced by Chen, Kiming, and Wiese. We completely determine all systems of Hecke eigenvalues of level $1$ modulo $128$, showing there are finitely many. This extends results of Hatada and can be considered as evidence for the more general conjecture formulated by the author together with Kiming and Wiese on finiteness of systems of Hecke eigenvalues modulo prime powers at any fixed level. We also discuss the finiteness of systems of Hecke eigenvalues of level $1$ modulo $9$, reducing the question to the finiteness of a single e…
Let T^{N,chi}_{p,k}(x) be the characteristic polynomial of the Hecke operator T_p acting on the space of cusp forms S_k(N,chi). We describe the factorization of T^{N,chi}_{p,k}(x) mod l as k varies, and we explicitly calculate those factorizations for N=1 and small l. These factorizations are used to deduce the irreducibility of certain T^{1,1}_{q,k}(x) from the irreducibility of T^{1,1}_{2,k}(x).
We study the asymptotic distribution of CM points on the moduli space of elliptic curves over $\mathbb{C}_p$, as the discriminant of the underlying endomorphism ring varies. In contrast with the complex case, we show that there is no uniform distribution. In this paper we characterize all the sequences of discriminants for which the corresponding CM points converge towards the Gauss point of the Berkovich affine line. We also give an analogous characterization for Hecke orbits. In the companion paper we characterize all the remaining limit measures of CM points and Hecke orbits.
We define the notion of a weighted discriminant and corresponding counting function for number fields, and what it means for these counting functions to have a mass formula for a set of primes. We extend a result of Kedlaya to show that any proper counting function for a finite group $Γ$ has a mass formula for the set of primes not dividing $|Γ|$. We also prove that if $Γ$ is an $\ell$-group for some prime $\ell$, then there are only finitely many weighted discriminant counting functions for $Γ$-extensions of $\Q$ that have a mass formula for all primes. Finally, we enumerate all such counting…
We investigate the average distribution of primes represented by positive definite integral binary quadratic forms, the average being taken over negative fundamental discriminants in long ranges. In particular, we prove corresponding results of Bombieri-Vinogradov type and of Barban-Davenport-Halberstam type, although with shorter ranges than in the original theorems for primes in arithmetic progressions: The results imply that, for all $a>0$, the least prime that can be represented by any given positive definite binary quadratic form of discriminant $q$ is smaller than $|q|^{7+a}$ for all for…
The discriminant of a trinomial of the form $x^n \pm x^m \pm 1$ has the form $\pm n^n \pm (n-m)^{n-m} m^m$ if $n$ and $m$ are relatively prime. We investigate when these discriminants have nontrivial square factors. We explain various unlikely-seeming parametric families of square factors of these discriminant values: for example, when $n$ is congruent to 2 (mod 6) we have that $((n^2-n+1)/3)^2$ always divides $n^n - (n-1)^{n-1}$. In addition, we discover many other square factors of these discriminants that do not fit into these parametric families. The set of primes whose squares can divide …
In this article we report on extensive calculations concerning the Gorenstein defect for Hecke algebras of spaces of modular forms of prime weight p at maximal ideals of residue characteristic p such that the attached mod p Galois representation is unramified at p and the Frobenius at p acts by scalars. The results lead us to the ask the question whether the Gorenstein defect and the multplicity of the attached Galois representation are always equal to 2. We review the literature on the failure of the Gorenstein property and multiplicity one, discuss in some detail a very important practical i…
We prove a uniform estimate for sums of Hecke--Maass eigenvalues squared over primes in short intervals that can be regarded as an analogue of Hoheisel's classical prime number theorem for all real analytic cusp forms. Our argument is modelled after our treatment of Linnik's least prime number theorem for arithmetic progressions (Tata LN 72) and depends on recent works in the theory of automorphic representations. We stress that constants in the present work, including those implicit, are all universal and effectively computable, although we pay no particular attention to numerical precision. …
In his work on modularity theorems, Wiles proved a numerical criterion for a map of rings $R\to T$ to be an isomorphism of complete intersections. He used this to show that certain deformation rings and Hecke algebras associated to a mod $p$ Galois representation at non-minimal level were isomorphic and complete intersections, provided the same was true at minimal level. In this paper we study Hecke algebras acting on cohomology of Shimura curves arising from maximal orders in indefinite quaternion algebras over the rationals localized at a semistable irreducible mod $p$ Galois representation …
For a radical extension K of odd prime degree the ring O_K of integers is constructed as a product of subrings with the following property: for all prime divisors q of the discriminant of O_K there is a q-maximal factor. The discriminant of O_K is the greatest common divisor of the discriminants of all factors. The results are applied to give a criterion for the monogeneity of K where the opposite is not true.
For a prime number $q\geq 5$ and a positive integer $N$ prime to $q$, Ribet proved the action of the Hecke algebra on the component group of the Jacobian variety of the modular curve of level $Nq$ at $q$ is "Eisenstein", which means the Hecke operator $T_\ell$ acts by $\ell+1$ when $\ell$ is a prime number not dividing the level. In this paper, we completely compute the action of the Hecke algebra on this component group by a careful study of supersingular points with extra automorphisms.
Let $λ(n)$ be the normalized n-th Fourier coefficient of a holomorphic cusp form for the full modular group. We show that for some constant $C > 0$ depending on the cusp form and every fixed $c$ in the range $1 < c < 8/7$, the mean value of $λ(p)$ is $\ll \exp (-C \sqrt{\log N})$ as p runs over all (Piatetski-Shapiro) primes of the form $[n^c]$ with a natural number $n \leq N$.
Let $K=\mathbb Q(θ)$ be an algebraic number field with $θ$ a root of an irreducible trinomial $f(x)=x^6+ax+b$ belonging to $\mathbb{Z}[x]$. In this paper, for each prime number $p$ we compute the highest power of $p$ dividing the discriminant of $K$ in terms of the prime powers dividing $a,~b$ and discriminant of $f(x)$. An explicit $p$-integral basis of $K$ is also given for each prime $p$ and a method is described to obtain an integral basis of $K$ from these $p$-integral bases which is illustrated with examples.
Improving and extending recent results of the author, we conditionally estimate exponential sums with Dirichlet coefficients of L-functions, both over all integers and over all primes in an interval. In particular, we establish new conditional results on exponential sums with Hecke eigenvalues and squares of Hecke eigenvalues over primes. We employ these estimates to improve our recent result on squares of Hecke eigenvalues at Piatetski-Shapiro primes under the Riemann Hypothesis for symmetric square L-functions for Hecke eigenforms.
For $k\ge 2$ even, let $d_{k,N}$ denote the dimension of the largest simple Hecke submodule of $S_{k}(Γ_0(N); \mathbb{Q})^\text{new}$. We show, using a simple analytic method, that $d_{k,N} \gg_k \log\log N / \log(2p)$ with $p$ the smallest prime co-prime to $N$. Previously, bounds of this quality were only known for $N$ in certain subsets of the primes. We also establish similar (and sometimes stronger) results concerning $S_{k}(Γ_0(N), χ)$, with $k \geq 2$ an integer and $χ$ an arbitrary nebentypus.
We show that the systems of prime-to-$p$ Hecke eigenvalues arising from automorphic forms$\pmod p$ for a good prime $p$ associated to an algebraic group $G/\mathbb Q$ of Hodge type are the same as those arising from algebraic modular forms$\pmod p$ associated to an inner form of $G$.
Let $K=\mathbb{Q}(\sqrt[n]{a})$ be an extension of degree $n$ of the field $\Q$ of rational numbers, where the integer $a$ is such that for each prime $p$ dividing $n$ either $p\nmid a$ or the highest power of $p$ dividing $a$ is coprime to $p$; this condition is clearly satisfied when $a, n$ are coprime or $a$ is squarefree. The paper contains an explicit formula for the discriminant of $K$ involving only the prime powers dividing $a,n$.
Each number field has an associated finite abelian group, the class group, that records certain properties of arithmetic within the ring of integers of the field. The class group is well-studied, yet also still mysterious. A central conjecture of Brumer and Silverman states that for each prime $\ell$, every number field has the property that its class group has very few elements of order $\ell$, where "very few" is measured relative to the absolute discriminant of the field. This paper surveys recent progress toward this conjecture, and outlines its close connections to counting prime numbers,…
We prove an explicit log-free zero density estimate and an explicit version of the zero-repulsion phenomenon of Deuring and Heilbronn for Hecke $L$-functions. In forthcoming work of the second author, these estimates will be used to establish explicit bounds on the least norm of a prime ideal in a congruence class group and improve upon existing explicit bounds for the least norm of a prime ideal in the Chebotarev density theorem.
We report extensive computational evidence that Gauss period equations are minimal discriminant polynomials for primitive elements representing Abelian (cyclic) polynomials of prime degrees $p$. By computing 200 period equations up to $p=97$, we significantly extend tables in the compendious number fields database of Klüners and Malle. Up to $p=7$, period equations reproduce known results proved to have minimum discriminant. For $11\leq p\leq 23$, period equations coincide with 53 known but unproved cases of minimum discriminant in the database, and fill a gap of 19 missing cases. For $29\leq …
We provide formulas for traces of p-th Hecke operators in level 1 in terms of values of finite field 2F1-hypergeometric functions, extending previous work of the author to all odd primes p, instead of only those p=1 (mod 12). We first give a general level 1 trace formula in terms of the trace of Frobenius on a family of elliptic curves, and then we draw on recent work of Lennon to produce level 1 trace formulas in terms of hypergeometric functions for all primes p >3.
We investigate some key analytic properties of Fourier coefficients and Hecke eigenvalues attached to scalar-valued Siegel cusp forms $F$ of degree 2, weight $k$ and level $N$. First, assuming that $F$ is a Hecke eigenform that is not of Saito-Kurokawa type, we prove an improved bound in the $k$-aspect for the smallest prime at which its Hecke eigenvalue is negative. Secondly, we show that there are infinitely many sign changes among the Hecke eigenvalues of $F$ at primes lying in an arithmetic progression. Third, we show that there are infinitely many positive as well as infinitely many negat…