We use recent bounds on bilinear sums with modular square roots to study the distribution of solutions to congruences $x^2 \equiv p \pmod q$ with primes $p\le P$ and integers $q \le Q$. This can be considered as a combined scenario of Duke, Friedlander and Iwaniec with averaging only over the modulus $q$ and of Dunn, Kerr, Shparlinski and Zaharescu with averaging only over $p$.
One of the main open problems in the theory of automorphic products is to classify reflective modular forms. In [Sch06] Scheithauer classified strongly reflective modular forms of singular weight on lattices of prime level. In this paper we classify symmetric reflective modular forms on lattices of prime level. This yields a full classification of lattices of prime level which have reflective modular forms. We also present some applications.
Let $p$ be a prime. We prove that if a modular unit has a $p^{th}$ root that is again a modular unit then the level of that root is at most $p$ times the level of the original unit.
This article starts a computational study of congruences of modular forms and modular Galois representations modulo prime powers. Algorithms are described that compute the maximum integer modulo which two monic coprime integral polynomials have a root in common in a sense that is defined. These techniques are applied to the study of congruences of modular forms and modular Galois representations modulo prime powers. Finally, some computational results with implications on the (non-)liftability of modular forms modulo prime powers and possible generalisations of level raising are presented.
In this paper we construct families of Hilbert modular newforms without exceptional primes. This is achieved by generalizing the notion of good-dihedral primes, introduced by Khare and Wintenberger in their proof of Serre's modularity conjecture, to totally real fields.
We show that certain abelian varieties over $\Q$ with bad reduction at one prime only are modular by using methods based on the tables of Odlyzko and class field theory.
Prime detecting quasi-modular forms in higher level
The University of Hong Kong(香港大学);National Institute of Technology Tiruchirappalli(蒂鲁奇拉帕利国立理工学院);Weihai Institute for Interdisciplinary Research, Shandong University(山东大学威海交叉科学研究院)
Under the generalized Lindelöf hypothesis, the exponent in the error term of the prime geodesic theorem for the modular surface is reduced to $\frac{5}{8}+\varepsilon $ outside a set of finite logarithmic measure.
In this work we provide a level raising theorem for $\mod λ^n$ modular Galois representations. It allows one to see such a Galois representation that is modular of level $N$, weight 2 and trivial Nebentypus as one that is modular of level $Np$, for a prime $p$ coprime to $N$, when a certain local condition at $p$ is satisfied. It is a generalization of a result of Ribet concerning $\mod \ell$ Galois representations.
In this paper, we study central values of the family of quadratic twists of modular $L$-functions of moduli $8p$, with $p$ ranging over odd primes. Assuming the truth of the generalized Riemann hypothesis, we establish a positive proportion non-vanishing result for the corresponding $L$-values.
We study the splitting of primes in number fields generated by points on modular curves. Momose was the first to notice that quadratic points on $X_1(n)$ generate quadratic fields over which certain primes split in a particular way and his results were later expanded upon by Krumm. We prove results about the splitting behaviour of primes in quadratic fields generated by points on the modular curves $X_0(n)$ which are hyperelliptic (except for $n=37$) and in cubic fields generated by points on $X_1(2, 14)$.
The main objective of this article is to study the exponential sums associated to Fourier coefficients of modular forms supported at numbers having a fixed set of prime factors. This is achieved by establishing an improvement on Shparlinski's bound for exponential sums attached to certain recurrence sequences over finite fields.
In this paper we will consider new bounds on the smallest primitive root modulo a prime. We will make more judicious use of the Pòlya--Vinogradov and Burgess inequalities, and use them to prove that the smallest primitive root is smaller than $p^{0.68}$ for all primes $p$.
We construct a meromorphic function on the eigencurve that interpolates a square root of the ratio of the central values of two quadratic twists of the $L$-function at classical points.
This article surveys modularity, level raising and level lowering questions for two-dimensional representations modulo prime powers of the absolute Galois group of the rational numbers. It contributes some new results and describes algorithms and a database of modular forms orbits and higher congruences.
Soundararajan and Young (2013) proposed a new approach to improve the error term of the prime geodesic theorem for the modular group and actually obtained the exponent 25/36 of the error term. In the present paper, we sharpen it to 9/13.
Associated to an open subgroup $G$ of $\GL_2(\Zhat)$ satisfying conditions $-I \in G$ and $\det(G) \subsetneq (\Zhat)^{\times}$ there is a modular curve $X_G$ which is a smooth compact curve defined over an extension of $\Q.$ In this article, we give a complete list of all such prime power level genus $0$ modular curves with a point.
Lehner's 1949 results on the $j$-invariant showed high divisibility of the function's coefficients by the primes $p\in\{2,3,5,7\}$. Expanding his results, we examine a canonical basis for the space of level $p$ modular functions holomorphic at the cusp 0. We show that the Fourier coefficients of these functions are often highly divisible by these same primes.
A result of Dieulefait-Wiese proves the existence of modular eigenforms of weight 2 for which the image of every associated residual Galois representation is as large as possible. We generalize this result to eigenforms of general even weight k $\geq$ 2.
We obtain a simple relations for the Newman sum over multiples of a prime with a primitive or semiprimitive root 2. We consider the case of p=17 as well.
We study the supersingular curves on Picard modular surfaces modulo a prime $p$ which is inert in the underlying quadratic imaginary field. We analyze the automorphic vector bundles in characteristic $p$, and as an application derive a formula relating the number of irreducible components in the supersingular locus to the second Chern class of the surface.
We make many new observations on primitive roots modulo primes. For an odd prime $p$ and an integer $c$, we establish a theorem concerning $\sum_g(\frac{g+c}p)$, where $g$ runs over all the primitive roots modulo $p$ among $1,\ldots,p-1$, and $(\frac{\cdot}p)$ denotes the Legendre symbol. On the basis of our numerical computations, we formulate 35 conjectures involving primitive roots modulo primes. For example, we conjecture that for any prime $p$ there is a primitive root $g<p$ modulo $p$ with $g-1$ a square, and that for any prime $p>3$ there is a prime $q<p$ with the Bernoulli number $B_{q…
Continuing the study of the Iwasawa theory of symmetric powers of CM modular forms at supersingular primes begun by the first author and Antonio Lei, we prove a Main Conjecture equating the "admissible" $p$-adic $L$-functions to characteristic ideals of "finite-slope" Selmer modules constructed by the second author. As a key ingredient, we improve Rubin's result on the Main Conjecture of Iwasawa theory for imaginary quadratic fields to an equality at inert primes.
Given an elliptic curve with supersingular reduction at an odd prime p, Iovita and Pollack have generalised results of Kobayashi to define even and odd Coleman maps at p over Lubin-Tate extensions given by a formal group of height 1. We generalise this construction to modular forms of higher weights.
Let $p$ be a prime number, $p=2^nq+1$, where $q$ is odd. D. Shanks described an algorithm to compute square roots $\pmod{p}$ which needs $O(\log q + n^2)$ modular multiplications. In this note we describe two modifications of this algorithm. The first needs only $O(\log q + n^{3/2})$ modular multiplications, while the second is a parallel algorithm which needs $n$ processors and takes $O(\log q+n)$ time.
Let f be a newform of weight at least 2 and squarefree level with Fourier coefficients in a number field K. We give explicit bounds, depending on congruences of f with other newforms, on the set of primes lambda of K for which the deformation problem associated to the mod lambda Galois representation of f is obstructed. We include some explicit examples.
We explicitly write down the Eisenstein elements inside the space of modular symbols for Eisenstein series with integer coefficients for the congruence subgroups Γ_0 (pq) with p and q distinct odd primes, giving an answer to a question of Merel in these cases. We also compute the winding elements explicitly for these congruence subgroups. Our results are explicit versions of the Manin-Drinfeld Theorem.
Recently, Bruinier and Ono classified cusp forms $f(z) := \sum_{n=0}^{\infty} a_f(n)q ^n \in S_{λ+1/2}(Γ_0(N),χ)\cap \mathbb{Z}[[q]]$ that does not satisfy a certain distribution property for modulo odd primes $p$. In this paper, using Rankin-Cohen Bracket, we extend this result to modular forms of half integral weight for primes $p \geq 5$. As applications of our main theorem we derive distribution properties, for modulo primes $p\geq5$, of traces of singular moduli and Hurwitz class number. We also study an analogue of Newman's conjecture for overpartitions.
We investigate, using the weighted linear sieve, the distribution of almost-primes among the residue classes (mod p) that generate the multiplicative group of reduced residue classes. We are concerned with finding an upper bound for the least prime or almost-prime primitive root (mod p) that holds uniformly for all p, analogous to Linnik's Theorem on a uniform upper bound for the least prime in a single arithmetic progression (mod p).
We study the number of primes with a given primitive root and in an arithmetic progression under the assumption of a suitable form of the generalized Riemann Hypothesis. Previous work of Lenstra, Moree and Stevenhagen has given asymptotics without an explicit error term, we provide an explicit error term by combining their work with the method of Hooley regarding Artin's primitive root conjecture. We give an application to a Diophantine problem involving primes with a given primitive root.
We generalise works of Kobayashi to give a formulation of the Iwasawa main conjecture for modular forms at supersingular primes. In particular, we give analogous definitions of even and odd Coleman maps for normalised new forms of arbitrary weights and relate Pollack's $p$-adic $L$-functions to the even and odd Selmer groups. In addition, by generalising works of Pollack and Rubin on CM elliptic curves, we prove the "main conjecture" for CM modular forms.
The first purpose of our paper is to show how Hooley's celebrated method leading to his conditional proof of the Artin conjecture on primitive roots can be combined with the Hardy-Littlewood circle method. We do so by studying the number of representations of an odd integer as a sum of three primes, all of which have prescribed primitive roots. The second purpose is to analyse the singular series. In particular, using results of Lenstra, Stevenhagen and Moree, we provide a partial factorisation as an Euler product and prove that this does not extend to a complete factorisation.
For a polynomial $f(x)\in\mathbb Z[x]$ without non-trivial linear relations among roots, we propose a conjecture on the distribution of the least root $r_p$ ($r_p\in\mathbb Z,\,0\le r_p<p)$ of $f(x)\equiv0\bmod p$ where $p$ runs over the set of primes such that $f(x)$ modulo $p$ is fully splitting.
Given a prime $p \ge 5$ and an abstract odd representation $ρ_n$ with coefficients modulo $p^n$ (for some $n \ge 1$) and big image, we prove the existence of a lift of $ρ_n$ to characteristic $0$ whenever local lifts exist (under some technical conditions). Moreover, we can chose the inertial type of our lift at all primes but finitely many (where the lift is of Steinberg type). We apply this result to the realm of modular forms, proving a level lowering theorem modulo prime powers and providing examples of level raising. In particular, our method shows that given a modular eigenform $f$ witho…
We complete the description of semistable models for modular curves associated with maximal subgroups of $\mathrm{GL}_2 ({\mathbb F}_p )$ (for $p$ any prime, $p>5$). That is, in the new cases of non-split Cartan modular curves and exceptional subgroups, we identify the irreducible components and singularities of the reduction mod $p$, and the complete local rings at the singularities. We review the case of split Cartan modular curves. This description suffices for computing the group of connected components of the fibre at $p$ of the Néron model of the Jacobian.
We obtain new uniform bounds for the symmetric tensor rank of multiplication in finite extensions of any finite field Fp or Fp2 where p denotes a prime number greater or equal than 5. In this aim, we use the symmetric Chudnovsky-type generalized algorithm applied on sufficiently dense families of modular curves defined over Fp2 attaining the Drinfeld-Vladuts bound and on the descent of these families to the definition field Fp. These families are obtained thanks to prime number density theorems of type Hoheisel, in particular a result due to Dudek (2016).
In this paper, we prove under mild hypotheses the Iwasawa main conjectures of Lei--Loeffler--Zerbes for modular forms of weight $2$ at non-ordinary primes. Our proof is based on the study of the two-variable analogues of these conjectures formulated by Büyükboduk--Lei for imaginary quadratic fields in which $p$ splits, and on anticyclotomic Iwasawa theory. As application of our results, we deduce the $p$-part of the Birch and Swinnerton-Dyer formula in analytic ranks $0$ or $1$ for abelian varieties over $\mathbb{Q}$ of ${\rm GL}_2$-type for non-ordinary primes $p>2$.
We study the splitting fields of the family of polynomials $f_n(X)= X^n-X-1$. This family of polynomials has been much studied in the literature and has some remarkable properties. Serre related the function on primes $N_p(f_n)$, for a fixed $n \leq 4$ and $p$ a varying prime, which counts the number of roots of $f_n(X)$ in $\mathbb F_p$ to coefficients of modular forms. We study the case $n=5$, and relate $N_p(f_5)$ to mod $5$ modular forms over $\mathbb Q$, and to characteristic 0, parallel weight 1 Hilbert modular forms over $\mathbb Q(\sqrt{19 \cdot 151})$.
We present the geometry lying behind counting twin prime polynomials in $\mathbb{F}_q[T]$ in general. We compute cohomology and explicitly count points by means of a twisted Lefschetz trace formula applied to these parametrizing varieties for cubic twin prime polynomials. The elliptic curve $X^3 = Y(Y-1)$ occurs in the geometry, and thus counting cubic twin prime polynomials involves the associated modular form. In theory, this approach can be extended to higher degree twin primes, but the computations become harder. The formula we get in degree $3$ is compatible with the Hardy-Littlewood heur…
Energy bounds for modular roots and their applications
University of New South Wales(新南威尔士大学);London Institute for Mathematical Sciences(伦敦数学科学研究所);University of Illinois at Urbana-Champaign(伊利诺伊大学厄巴纳-香槟分校);Simon Stoilow Institute of Mathematics of the Romanian Academy(罗马尼亚科学院西蒙·斯托伊洛数学研究所)
In this paper, we make a conjecture (conjecture 1) related to the Bateman-Horn conjecture and proceed to study the roots of $x^2+1$ and $x^2+2$ to prime moduli, assuming the truth of the Bateman-Horn conjecture and conjecture 1 and using the Erdős-Turan-Koksma inequality.
For a half-integral weight modular form $f = \sum_{n=1}^{\infty} a_f(n)n^{\frac{k-1}{2}} q^n$ of weight $k = l +\frac{1}{2}$ on $Γ_0(4)$ such that $a_f(n)$ ($n$ $\in$ $\mathbb{N}$) are real, we prove for a fixed suitable natural number $r$ that $a_f(n)$ changes sign infinitely often as $n$ varies over numbers having at most $r$ prime factors, assuming the analog of the Ramanujan conjecture for half-integral weight forms.
We study the difference between the number of primitive roots modulo $p$ and modulo $p+k$ for prime pairs $p,p+k$. Assuming the Bateman-Horn conjecture, we prove the existence of strong sign biases for such pairs. More importantly, we prove that for a small positive proportion of prime pairs $p,p+k$, the dominant inequality is reversed.
Let a,f and g be integers, with a and f coprime. Under the generalized Riemann hypothesis it follows from work of Hooley and Lenstra that the set of primes p such that p=a(mod f) and g is primitive root mod p has a natural density. In this note we explicitly evaluate this density and give some applications of this result.
We derive, for all prime moduli p except those in a very thin set, an upper bound for the least prime primitive root (mod p) of order of magnitude a constant power of log p. The improvement over previous results, where the upper bound was log p to an exponent tending to infinity with p, lies in the use of the linear sieve (a particular version called the shifted sieve) rather than Brun's sieve. The same methods allow us to rederive a conditional result of Shoup on the least prime primitive root (mod p) for all prime moduli p, assuming the generalized Riemann hypothesis. We also extend both res…
Let $H^{\pm}_{2k} (N^3)$ denote the set of modular newforms of cubic level $N^3$, weight $2 k$, and root number $\pm 1$. For $N > 1$ squarefree and $k>1$, we use an analytic method to establish neat and explicit formulas for the difference $|H^{+}_{2k} (N^3)| - |H^{-}_{2k} (N^3)|$ as a multiple of the product of $φ(N)$ and the class number of $\mathbb{Q}(\sqrt{- N})$. In particular, the formulas exhibit a strict bias towards the root number $+1$. Our main tool is a root-number weighted simple Petersson formula for such newforms.
We study the automorphisms of the non-split Cartan modular curves $X_{ns}(p)$ of prime level $p$. We prove that if $p\geq 37$ all the automorphisms preserve the cusps. Furthermore, if $p\equiv 1\text{ mod }12$ and $p\neq 13$, the automorphism group is generated by the modular involution given by the normalizer of a non-split Cartan subgroup of $\text{GL}_2(\mathbb F_p)$. We also prove that for every $p\geq 37$ such that $X_{ns}(p)$ has a CM rational point, the existence of an exceptional rational automorphism would give rise to an exceptional rational point on the modular curve $X_{ns}^+(p)$ a…
A Lehmer number modulo a prime $p$ is an integer $a$ with $1 \leq a \leq p-1$ whose inverse $\bar{a}$ within the same range has opposite parity. Lehmer numbers that are also primitive roots have been discussed by Wang and Wang in an endeavour to count the number of ways $1$ can be expressed as the sum of two primitive roots that are also Lehmer numbers (an extension of a question of S. Golomb). In this paper we give an explicit estimate for the number of Lehmer primitive roots modulo $p$ and prove that, for all primes $p \neq 2,3,7$, Lehmer primitive roots exist. We also make explicit the know…