We determine the Sato-Tate groups and prove the generalized Sato-Tate conjecture for the Jacobians of curves of the form $$ y^2=x^p-1 \text{ and } y^2=x^{2p}-1,$$ where $p$ is an odd prime. Our results rely on the fact the Jacobians of these curves are nondegenerate, a fact that we prove in the paper. Furthermore, we compute moment statistics associated to the Sato-Tate groups. These moment statistics can be used to verify the equidistribution statement of the generalized Sato-Tate conjecture by comparing them to moment statistics obtained for the traces in the normalized $L$-polynomials of the curves.
We introduce a tensor decomposition of the $\ell$-adic Tate module of an abelian variety $A_0$ defined over a number field which is geometrically isotypic. If $A_0$ is potentially of $\GL_2$-type and defined over a totally real number field, we use this decomposition to describe its Sato--Tate group and to prove the Sato--Tate conjecture in certain cases.
In this expository article we explore the relationship between Galois representations, motivic L-functions, Mumford-Tate groups, and Sato-Tate groups, and we give an explicit formulation of the Sato-Tate conjecture for abelian varieties as an equidistribution statement relative to the Sato-Tate group. We then discuss the classification of Sato-Tate groups of abelian varieties of dimension g <= 3 and compute some of the corresponding trace distributions. This article is based on a series of lectures presented at the 2016 Arizona Winter School held at the Southwest Center for Arithmetic Geometry…
We determine the twisting Sato-Tate group of the genus $3$ hyperelliptic curve $y^2 = x^{8} - 14x^4 + 1$ and show that all possible subgroups of the twisting Sato-Tate group arise as the Sato-Tate group of an explicit twist of $y^2 = x^{8} - 14x^4 + 1$. Furthermore, we prove the generalized Sato-Tate conjecture for the Jacobians of all $\mathbb Q$-twists of the curve $y^2 = x^{8} - 14x^4 + 1$.
Let C/Q be the genus 3 Picard curve given by the affine model y^3=x^4-x. In this paper we compute its Sato-Tate group, show the generalized Sato-Tate conjecture for C, and compute the statistical moments for the limiting distribution of the normalized local factors of C.
We obtain new results concerning the Sato--Tate conjecture on the distribution of Frobenius angles over parametric families of elliptic curves with a rational parameter of bounded height.
We prove a few new cases of the Sato-Tate conjecture for abelian surfaces, using a new automorphy theorem of Allen et al. Then in the unproven cases, we use partial results to describe nontrivial asymptotics on the trace of Frobenius, and prove their optimality given current knowledge.
We study various families of Artin $L$-functions attached to geometric parametrizations of number fields. In each case we find the Sato-Tate measure of the family and determine the symmetry type of the distribution of the low-lying zeros.
In this expository note, we present an approach to the generalization of Serre of the Sato-Tate Conjecture. Most of its content is taken from Serre's original references. However, we provide a few new examples and supply references to recent progress developed in the area.
We prove effective forms of the Sato-Tate conjecture for holomorphic cuspidal newforms which improve on the author's previous work (solo and joint with Lemke Oliver). We also prove an effective form of the joint Sato-Tate distribution for two twist-inequivalent newforms. Our results are unconditional because of recent work of Newton and Thorne.
In this paper we propose conjectures that assert that, the sequence of Frobenius angles of a given elliptic curve over $\mathbf{Q}$ without complex multiplication is pseudorandom, in other words that the Frobenius angles are statistically independently distributed with respect to the Sato-Tate measure. Numerical evidences are presented to support the conjectures.
In this paper, we give a complete characterization of the component group of the Sato-Tate group of an abelian variety $A$ of arbitrary dimension, defined over a number field $K,$ in terms of the connectedness of the Lefschetz group associated to $A.$
We prove many non-generic cases of the Sato-Tate conjecture for abelian surfaces as formulated by Fite, Kedlaya, Rotger and Sutherland, using the potential automorphy theorems of Barnet-Lamb, Gee, Geraghty and Taylor.
We prove a natural analogue of the Sato-Tate conjecture for modular forms of weight 2 or 3 whose associated automorphic representations are a twist of the Steinberg representation at some finite place.
We prove an analogue of the Sato-Tate conjecture for Drinfeld modules. Using ideas of Drinfeld, J.-K. Yu showed that Drinfeld modules satisfy some Sato-Tate law, but did not describe the actual law. More precisely, for a Drinfeld module ϕdefined over a field L, he constructs a continuous representation ρ_\infty : W_L \to D^* of the Weil group of L into a certain division algebra, which encodes the Sato-Tate law. When the Drinfeld module has generic characteristic and L is finitely generated, we shall describe the image of this representation up to commensurability. As an application, we give i…
We give some arithmetic-geometric interpretations of the moments M_2[a_1], M_1[a_2], and M_1[s_2] of the Sato-Tate group of an abelian variety A defined over a number field by relating them to the ranks of the endomorphism ring and Néron-Severi group of A.
Nagao's conjecture relates the rank of an elliptic surface to a limit formula arising from a weighted average of fibral Frobenius traces, and it is further generalized for smooth irreducible projective surfaces by M. Hindry and A. Pacheco. We show that the Sato-Tate conjecture based on the random matrix model implies Nagao's conjecture for certain twist families of elliptic curves and hyperelliptic curves.
We construct infinitely ramified Galois representations $ρ$ such that the $a_l (ρ)$'s have distributions in contrast to the statements of Sato-Tate, Lang-Trotter and others. Using similar methods we deform a residual Galois representation for number fields and obtain an infinitely ramified representation with very large image, generalising a result of Ramakrishna.
In this article, we propose to use the character theory of compact Lie groups and their orthogonality relations for the study of Frobenius distribution and Sato-Tate groups. The results show the advantages of this new approach in several aspects. With samples of Frobenius ranging in size much smaller than the moment statistic approach, we obtain very good approximation to the expected values of these orthogonality relations, which give useful information about the underlying Sato-Tate groups and strong evidence of the correctness of the generalized Sato-Tate conjecture. In fact, $2^{10}$ to $2…
We obtain new results concerning the Sato-Tate conjecture on the distribution of Frobenius traces over single and double parametric families of elliptic curves. We consider these curves for values of parameters having prescribed arithmetic structure: product sets, geometric progressions, and most significantly prime numbers. In particular, some families are much thinner than the ones previously studied.
We consider the distribution of normalized Frobenius traces for two families of genus 3 hyperelliptic curves over Q that have large automorphism groups: y^2=x^8+c and y^2=x^7-cx with c in Q*. We give efficient algorithms to compute the trace of Frobenius for curves in these families at primes of good reduction. Using data generated by these algorithms, we obtain a heuristic description of the Sato-Tate groups that arise, both generically and for particular values of c. We then prove that these heuristic descriptions are correct by explicitly computing the Sato-Tate groups via the correspondenc…
We establish an error term in the Sato-Tate theorem of Birch. That is, for $p$ prime, $q=p^r$ we show that $\#\{ (a,b) \in \mathbb{F}_q^2 : θ_{a,b}\in I\} =μ_{ST}(I)q^2 + O_r(q^{7/4})$ for any interval $I\subseteq[0,π]$ where for an elliptic curve $E: y^2= x^3 +ax +b$, the quantity $θ_{a,b}$ is defined by $2\sqrt{q}\cosθ_{a,b} = q+1-E(\mathbb{F}_q)$ and $μ_{ST}(I)$ denotes the Sato-Tate measure of the interval $I$.
We present an heuristic argument for the prediction of expected Mordell-Weil rank of elliptic curves over number fields, using Birch and Swinnerton-Dyer's original conjecture and Sato-Tate conjectures. We do calculations in some cases and raise questions about their relations, if any, with the predictions of various average rank models that have been considered.
For distinct odd primes $p$ and $q$, we define the Catalan curve $C_{p,q}$ by the affine equation $y^q=x^p-1$. In this article we construct the Sato-Tate groups of the Jacobians in order to study the limiting distributions of coefficients of their normalized L-polynomials.Catalan Jacobians are nondegenerate and simple with noncyclic Galois groups (of the endomorphism fields over $\mathbb Q$), thus making them interesting varieties to study in the context of Sato-Tate groups. We compute both statistical and numerical moments for the limiting distributions. Lastly, we determine the Galois endomo…
We formulate a conjectured orthogonality relation between the Fourier coefficients of Maass forms on PGL(N) for N>=2. Based on the work of Goldfeld-Kontorovich and Blomer for N=3, and on our conjecture for N>=4, we prove a weighted vertical equidistribution theorem (with respect to the generalized Sato-Tate measure) for the Satake parameter of Maass forms at a finite prime. For N=3, the rate of convergence for the equidistribution theorem is obtained.
We obtain asymptotic formulae for the number of primes $p\le x$ for which the reduction modulo $p$ of the elliptic curve $$ \E_{a,b} : Y^2 = X^3 + aX + b $$ satisfies certain ``natural'' properties, on average over integers $a$ and $b$ with $|a|\le A$ and $|b| \le B$, where $A$ and $B$ are small relative to $x$. Specifically, we investigate behavior with respect to the Sato--Tate conjecture, cyclicity, and divisibility of the number of points by a fixed integer $m$.
We make explicit a construction of Serre giving a definition of an algebraic Sato-Tate group associated to an abelian variety over a number field, which is conjecturally linked to the distribution of normalized L-factors as in the usual Sato-Tate conjecture for elliptic curves. The connected part of the algebraic Sato-Tate group is closely related to the Mumford-Tate group, but the group of components carries additional arithmetic information. We then check that in many cases where the Mumford-Tate group is completely determined by the endomorphisms of the abelian variety, the algebraic Sato-T…
We obtain new results concerning Lang-Trotter conjecture on Frobenius traces and Frobenius fields over single and double parametric families of elliptic curves. We also obtain similar results with respect to the Sato-Tate conjecture. In particular, we improve a result of A.C. Cojocaru and the second author (2008) towards the Lang-Trotter conjecture on average for polynomially parameterized families of elliptic curves when the parameter runs through a set of rational numbers of bounded height. Some of the families we consider are much thinner than the ones previously studied.
We make explicit Serre's generalization of the Sato-Tate conjecture for motives, by expressing the construction in terms of fiber functors from the motivic category of absolute Hodge cycles into a suitable category of Hodge structures of odd weight. This extends the case of abelian varietes, which we treated in a previous paper. That description was used by Fite--Kedlaya--Rotger--Sutherland to classify Sato-Tate groups of abelian surfaces; the present description is used by Fite--Kedlaya--Sutherland to make a similar classification for certain motives of weight 3. We also give conditions under…
We prove the Sato-Tate conjecture for Hilbert modular forms. More precisely, we prove the natural generalisation of the Sato-Tate conjecture for regular algebraic cuspidal automorphic representations of $\GL_2(\A_F)$, $F$ a totally real field, which are not of CM type. The argument is based on the potential automorphy techniques developed by Taylor et. al., but makes use of automorphy lifting theorems over ramified fields, together with a 'topological' argument with local deformation rings. In particular, we give a new proof of the conjecture for modular forms, which does not make use of poten…
The vertical Sato--Tate conjectures gives expected trace distributions for for families of curves. We develop exact expression for the distribution associated to degree-$4$ representations of $\mathrm{USp}(4)$, $\mathrm{SU}(2)\times\mathrm{SU}(2)$ and $\mathrm{SU}(2)$ in the neighborhood of the extremities of the Weil bound. As a consequence we derive qualitative distinctions between the extremal traces arising from generic genus-$2$ curves and genus-$2$ curves with real or quaternionic multiplication. In particular we show, in a specific sense, to what extent curves with real multiplication d…
Extending recent work of others, we provide effective bounds on the family of all elliptic curves and one-parameter families of elliptic curves modulo p (for p prime tending to infinity) obeying the Sato-Tate Law. We present two methods of proof. Both use the framework of Murty-Sinha; the first involves only knowledge of the moments of the Fourier coefficients of the L-functions and combinatorics, and saves a logarithm, while the second requires a Sato-Tate law. Our purpose is to illustrate how the caliber of the result depends on the error terms of the inputs and what combinatorics must be do…
We show that, for sufficiently large integers $m$ and $X$, for almost all $a =1, ..., m$ the ratios $a/x$ and the products $ax$, where $|x|\le X$, are very uniformly distributed in the residue ring modulo $m$. This extends some recent results of Garaev and Karatsuba. We apply this result to show that on average over $r$ and $s$, ranging over relatively short intervals, the distribution of Kloosterman sums $$ K_{r,s}(p) = \sum_{x=1}^{p-1} \exp(2 πi (rn + sn^{-1})/p), $$ for primes $p\le T$ is in accordance with the Sato--Tate conjecture.
We investigate the pair correlation statistics for sequences arising from Hecke eigenvalues with respect to spaces of primitive modular cusp forms. We derive the average pair correlation function of Hecke angles lying in small subintervals of $[0,1]$. The averaging is done over non-CM newforms of weight $k$ with respect to $Γ_0(N).$ We also derive similar statistics for Hilbert modular forms and modular forms on hyperbolic 3-spaces.
We determine the limiting distribution of the normalized Euler factors of an abelian threefold A defined over a number field k when A is geometrically isogenous to the cube of a CM elliptic curve defined over k. As an application, we classify the Sato-Tate distributions of the Jacobians of twists of the Fermat and Klein quartics, obtaining 54 and 23, respectively, and 60 in total. We encounter a new phenomenon not visible in dimensions 1 or 2: the limiting distribution of the normalized Euler factors is not determined by the limiting distributions of their coefficients.
With suitable order of limits, as p, m, and n all tend to infinity, the distribution of the normalized trace of Frobenius on H^1 of a "random" plane curve of degree n over the field with p^m elements, tends to a Gaussian distribution. The same is true of a "random" curve of genus g over the field with p^m elements.
Fix a non-CM elliptic curve $E/\mathbb{Q}$, and let $a_E(p) = p + 1 - \#E(\mathbb{F}_p)$ denote the trace of Frobenius at $p$. The Sato-Tate conjecture gives the limiting distribution $μ_{ST}$ of $a_E(p)/(2\sqrt{p})$ within $[-1, 1]$. We establish bounded gaps for primes in the context of this distribution. More precisely, given an interval $I\subseteq [-1, 1]$, let $p_{I,n}$ denote the $n$th prime such that $a_E(p)/(2\sqrt{p})\in I$. We show $\liminf_{n\to\infty}(p_{I,n+m}-p_{I,n}) < \infty$ for all $m\ge 1$ for "most" intervals, and in particular, for all $I$ with $μ_{ST}(I)\ge 0.36$. Furthe…
Let $A$ be an abelian variety defined over a number field and let $G$ denote its Sato-Tate group. Under the assumption of certain standard conjectures on $L$-functions attached to the irreducible representations of $G$, we study the convergence rate of any virtual selfdual character of $G$. We find that this convergence rate is dictated by several arithmetic invariants of $A$, such as its rank or its Sato-Tate group $G$. The results are consonant with some previous experimental observations, and we also provide additional numerical evidence consistent with them. The techniques that we use were…
Let $A/\mathbb{Q}$ be an abelian variety of dimension $g\geq 1$ that is isogenous over $\overline{\mathbb{Q}}$ to $E^g$, where $E$ is an elliptic curve. If $E$ does not have complex multiplication (CM), by results of Ribet and Elkies concerning fields of definition of elliptic $\mathbb{Q}$-curves $E$ is isogenous to a curve defined over a polyquadratic extension of $\mathbb{Q}$. We show that one can adapt Ribet's methods to study the field of definition of $E$ up to isogeny also in the CM case. We find two applications of this analysis to the theory of Sato--Tate groups: First, we show that $1…
We study fluctuations in the distribution of families of $p$-th Fourier coefficients $a_f(p)$ of normalised holomorphic Hecke eigenforms $f$ of weight $k$ with respect to $SL_2(\mathbb{Z})$ as $k \to \infty$ and primes $p \to \infty.$ These families are known to be equidistributed with respect to the Sato-Tate measure. We consider a fixed interval $I \subset [-2,2]$ and derive the variance of the number of $a_f(p)$'s lying in $I$ as $p \to \infty$ and $k \to \infty$ (at a suitably fast rate). The number of $a_f(p)$'s lying in $I$ is shown to asymptotically follow a Gaussian distribution when a…
We consider the identity component of the Sato-Tate group of the Jacobian of curves of the form $$C_1\colon y^2=x^{2g+2}+c, C_2\colon y^2=x^{2g+1}+cx, C_3\colon y^2=x^{2g+1} +c,$$ where $g$ is the genus of the curve and $c\in\mathbb Q^*$ is constant. We approach this problem in three ways. First we use a theorem of Kani-Rosen to determine the splitting of Jacobians for $C_1$ curves of genus 4 and 5 and prove what the identity component of the Sato-Tate group is in each case. We then determine the splitting of Jacobians of higher genus $C_1$ curves by finding maps to lower genus curves and then…
This article covers three topics. (1) It establishes links between the density of certain subsets of the set of primes and related subsets of the set of natural numbers. (2) It extends previous results on a conjecture of Bruinier and Kohnen in three ways: the CM-case is included; under the assumption of the same error term as in previous work one obtains the result in terms of natural density instead of Dedekind-Dirichlet density; the latter type of density can already be achieved by an error term like in the prime number theorem. (3) It also provides a complete proof of Sato-Tate equidistribu…
We derive new bounds for moments of the error in the Sato-Tate law over families of elliptic curves. Our estimates are stronger than those obtained by W.D. Banks and I.E. Shparlinski (arXiv:math/0609144) and L. Zhao and the fist-named author in (arXiv:math/0608318) for the first and second moments, but this comes at the cost of larger ranges of averaging. As applications, we deduce new almost-all results for the said errors and a conditional Central Limit Theorem on the distribution of these errors. Our method is different from those used in the above-mentioned papers and builds on recent work…
This paper concerns the Algebraic Sato--Tate and Sato--Tate conjectures, based on Serre's original motivic formulation, with an eye towards explicit computations of Sato--Tate groups. We build on the algebraic framework for the Sato--Tate conjecture introduced in a previous paper, which used Deligne's motivic category for absolute Hodge cycles and was restricted to motives of odd weight. Here, we allow general weight and some other motivic categories, notably André's motivic category of motivated cycles; moreover, some results are also new in the odd weight case. The paper consists of two part…
We determine the limiting distribution of the normalized Euler factors of an abelian surface A defined over a number field k when A is isogenous to the square of an elliptic curve defined over k with complex multiplication. As an application, we prove the Sato-Tate Conjecture for Jacobians of Q-twists of the curves y^2=x^5-x and y^2=x^6+1, which give rise to 18 of the 34 possibilities for the Sato-Tate group of an abelian surface defined over Q. With twists of these two curves one encounters, in fact, all of the 18 possibilities for the Sato-Tate group of an abelian surface that is isogenous t…
