The Frobenius number g(a) of an integer vector a with positive coprime coefficients is defined as the largest integer that does not have a representation as a non-negative integer linear combination of the coefficients of a. According to a recent result by Marklof, if a is taken to be random in an expanding d-dimensional domain D, then g(a) (appropriately rescaled) has a limit distribution. In the present paper we prove an asymptotic formula for the (algebraic) tail behavior of this limit distribution. We also prove that the corresponding upper bound on the probability of the Frobenius number being large holds uniformly with respect to the expansion factor of the domain D. Finally we prove that for large d, the limit distribution has almost all of its mass concentrated in a fairly short interval. The techniques involved in the proofs come from the geometry of numbers, and in particular we use results by Schmidt on the distribution of sublattices of Z^m, and bounds by Rogers and Schmidt on lattice coverings of space with convex bodies.
We obtain distribution results for traces of Frobenius for various families of elliptic curves with respect to the Lang-Trotter conjecture, extremal primes, and the central limit theorem. This includes some generalisations and bounds related to the work of Sha-Shparlinski on the average Lang-Trotter conjecture for single-parametric families of elliptic curves and the work of various authors on the trace of Frobenius for primes in congruence classes. Some results are also obtained for modular forms.
Let $q$ be an odd prime power, $a \in \mathbb{F}_q[T]$ and $u \in \mathbb{F}_q^*$. Provided $q \geq 17$, we compute the average number of primes $p$ for which the characteristic polynomial of the Frobenius at $p$ is $X^2 - aX + up$ over a family of rank 2 Drinfeld $ \mathbb{F}_q[T]$-modules. Our results give asymptotic formulas in the $x$-limit.
In this article we present a heuristic model that describes the asymptotic behaviour of the number of primes p such that the p-th coefficient of a given eigenform is a rational integer. We treat the case of a weight 2 eigenform with quadratic coefficient field without inner twists. Moreover we present numerical data which agrees with our model and the assumptions we made to obtain it.
Let $K$ be a number field and $r$ an integer. Given an elliptic curve $E$, defined over $K$, we consider the problem of counting the number of degree two prime ideals of $K$ with trace of Frobenius equal to $r$. Under certain restrictions on $K$, we show that "on average" the number of such prime ideals with norm less than or equal to $x$ satisfies an asymptotic identity that is in accordance with standard heuristics. This work is related to the classical Lang-Trotter conjecture and extends the work of several authors.
Let $K$ be a fixed number field, assumed to be Galois over $\mathbb Q$. Let $r$ and $f$ be fixed integers with $f$ positive. Given an elliptic curve $E$, defined over $K$, we consider the problem of counting the number of degree $f$ prime ideals of $K$ with trace of Frobenius equal to $r$. Except in the case $f=2$, we show that "on average," the number of such prime ideals with norm less than or equal to $x$ satisfies an asymptotic identity that is in accordance with standard heuristics. This work is related to the classical Lang-Trotter conjecture and extends the work of several authors.
For any polynomial $p\left(x\right)$ over $\mathbb{F}_{l}$ we determine the asymptotic density of hyperelliptic curves over $\mathbb{F}_{q}$ of genus $g$ for which $p\left(x\right)$ divides the characteristic polynomial of Frobenius acting on the $l$-torsion of the Jacobian, and give an explicit formula for this density. We prove this result as a consequence of more general density theorems for quotients of Tate modules of such curves, viewed as modules over the Frobenius. The proof involves the study of measures on $R$-modules over arbitrary rings $R$ which are finite $\mathbb{Z}_{l}$-algebra…
In a previous article, we obtained data on the distribution of traces of Frobenius of non-hyperelliptic genus $3$ curves over small finite fields. In the present one, we give a heuristic explanation of these data, by extrapolating from results on the distribution of traces of Frobenius for plane curves whose degree is small with respect to the cardinality of their finite base field. In particular, our methods shed some new light on the asymmetry of the distribution around its mean value, which is related to the Serre obstruction.
We consider unitary polynomials $P \in Z[X]$ whose roots $(x_i)$ belong to a given compact $K$ of $C$. To such a polynomial we associate the measure $μ_P$ on $K$ which is the mean value of the Dirac measures $δ_{x_i}$. What are the limits of the measures $μ_P$ when $P$ varies ? In particular, what are their supports? We give partial answers to such questions, especially when $K$ is contained in $R$.
We study the distribution of the Frobenius traces on $K3$ surfaces. We compare experimental data with the predictions made by the Sato--Tate conjecture, i.e. with the theoretical distributions derived from the theory of Lie groups assuming equidistribution. Our sample consists of generic $K3$ surfaces, as well as of such having real and complex multiplication. Each time, the theoretical density and the histogram obtained by counting points match in the range of visible accuracy. Thus, we report evidence for the Sato-Tate conjecture for the surfaces considered.
Let E and E' be two elliptic curves over a number field. We prove that the reductions of E and E' at a finite place p are geometrically isogenous for infinitely many p, and draw consequences for the existence of supersingular primes. This result is an analogue for distributions of Frobenius traces of known results on the density of Noether-Lefschetz loci in Hodge theory. The proof relies on dynamical properties of the Hecke correspondences on the modular curve.
Let C denote the Fermat curve over Q of prime exponent l. The Jacobian Jac(C) of C splits over Q as the product of Jacobians Jac(C_k), 0< k < l-1, where C_k are curves obtained as quotients of C by certain subgroups of automorphisms of C. It is well known that Jac(C_k) is the power of an absolutely simple abelian variety B_k with complex multiplication. We call degenerate those pairs (l,k) for which B_k has degenerate CM type. For a non-degenerate pair (l,k), we compute the Sato-Tate group of Jac(C_k), prove the generalized Sato-Tate Conjecture for it, and give an explicit method to compute th…
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.
The computation of the order of Frobenius action on the $\ell$-torsion is a part of Schoof-Elkies-Atkin algorithm for point counting on an elliptic curve $E$ over a finite field $\mathbb{F}_q$. The idea of Schoof's algorithm is to compute the trace of Frobenius $t$ modulo primes $\ell$ and restore it by the Chinese remainder theorem. Atkin's improvement consists of computing the order $r$ of the Frobenius action on $E[\ell]$ and of restricting the number $t \pmod{\ell}$ to enumerate by using the formula $t^2 \equiv q (ζ+ ζ^{-1})^2 \pmod{\ell}$. Here $ζ$ is a primitive $r$-th root of unity. In …
We introduce a "limiting Frobenius structure" attached to any degeneration of projective varieties over a finite field of characteristic p which satisfies a p-adic lifting assumption. Our limiting Frobenius structure is shown to be effectively computable in an appropriate sense for a degeneration of projective hypersurfaces. We conjecture that the limiting Frobenius structure relates to the rigid cohomology of a semistable limit of the degeneration through an analogue of the Clemens-Schmidt exact sequence. Our construction is illustrated, and conjecture supported, by a selection of explicit ex…
The Frobenius number F(a) of an integer vector a with positive coprime coefficients is defined as the largest number that does not have a representation as a positive integer linear combination of the coefficients of a. We show that if a is taken to be random in an expanding d-dimensional domain, then F(a) has a limit distribution, which is given by the probability distribution for the covering radius of a certain simplex with respect to a (d-1)-dimensional random lattice. This result extends recent studies for d=3 by Arnold, Bourgain-Sinai and Shur-Sinai-Ustinov. The key features of our appro…
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.
Let $g \geq 1$ be an integer and let $A/\mathbb{Q}$ be an abelian variety that is isogenous over $\mathbb{Q}$ to %the product $E_1 \times \ldots \times E_g$ of elliptic curves $E_1/\mathbb{Q}$, $\ldots$, $E_g/\mathbb{Q}$, without complex multiplication and pairwise non-isogenous over $\overline{\mathbb{Q}}$. a product of $g$ elliptic curves defined over $\mathbb{Q}$, pairwise non-isogenous over $\overline{\mathbb{Q}}$ and each without complex multiplication. %pairwise non-isogenous over $\overline{\mathbb{Q}}$. For an integer $t$ and a positive real number $x$, denote by $π_A(x, t)$ the number…
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 show that for a large class of rings $R$, the number of principally polarized abelian varieties over a finite field in a given simple ordinary isogeny class and with endomorphism ring $R$ is equal either to 0, or to a ratio of class numbers associated to $R$, up to some small computable factors. This class of rings includes the maximal order of the CM field $K$ associated to the isogeny class (for which the result was already known), as well as the order $R$ generated over $\mathbf{Z}$ by Frobenius and Verschiebung. For this latter order, we can use results of Louboutin to estimate the appr…
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 the distribution of the traces of the Frobenius endomorphism of genus $g$ curves which are quartic non-cyclic covers of $\mathbb{P}^{1}_{\mathbb{F}_{q}}$, as the curve varies in an irreducible component of the moduli space. We show that for $q$ fixed, the limiting distribution of the trace of Frobenius equals the sum of $q + 1$ independent random discrete variables. We also show that when both $g$ and $q$ go to infinity, the normalized trace has a standard complex Gaussian distribution. Finally, we extend these computations to the general case of arbitrary covers of $\mathbb{P}^{1}_{\…
Bounds for the distribution of the Frobenius traces associated to a generic abelian variety
University of Illinois at Chicago（伊利诺伊大学芝加哥分校）；Institute of Mathematics “Simion Stoilow” of the Romanian Academy（罗马尼亚科学院西蒙·斯托伊洛数学研究所）；Concordia University（康科迪亚大学）
We study the inequities in the distribution of Frobenius elements in Galois extensions of the rational numbers with Galois groups that are either dihedral $D_{2n}$ or (generalized) quaternion $\mathbb H_{2n}$ of two-power order. In the spirit of recent work of Fiorilli and Jouve arXiv:2001.05428, we study, under natural hypotheses, some families of such extensions, in a horizontal aspect, where the degree is fixed, and in a vertical aspect, where the degree goes to infinity. Our main contribution uncovers in families of extensions a phenomenon, for which Ng gave numerical evidence : real zeros…
In the 1960's, Birch proved that the traces of Frobenius for elliptic curves taken at random over a large finite field is modeled by the semicircular distribution (i.e. the usual Sato-Tate for non-CM elliptic curves). In analogy with Birch's result, a recent paper by Ono, the author, and Saikia proved that the limiting distribution of the normalized Frobenius traces $A_λ(p)$ of a certain family of $K3$ surfaces $X_λ$ with generic Picard rank $19$ is the $O(3)$ distribution. This distribution, which we denote by $\frac{1}{4π}f(t),$ is quite different from the semicircular distribution. It is su…
A standard observation in algebraic geometry and number theory is that a ramified cover of an algebraic variety $\widetilde{X}\rightarrow X$ over a finite field $F_q$ furnishes the rational points $x\in X(F_q)$ with additional arithmetic structure: the Frobenius action on the fiber over $x$. For example, in the case of the Vieta cover of polynomials over $F_q$ this structure describes a polynomial's irreducible decomposition type. Furthermore, the distribution of these Frobenius actions is encoded in the cohomology of $\widetilde{X}$ via the Grothendieck-Lefschetz trace formula. This note pres…
In this paper, we study moments of Hurwitz class numbers associated to imaginary quadratic orders restricted into fixed arithmetic progressions. In particular, we fix $t$ in an arithmetic progression $t\equiv m\pmod{M}$ and consider the ratio of the $2k$-th moment to the zeroeth moment for $H(4n-t^2)$ as one varies $n$. The special case $n=p^r$ yields as a consequence asymptotic formulas for moments of the trace $t\equiv m\pmod{M}$ of Frobenius on elliptic curves over finite fields with $p^r$ elements.
We show that the sum of the traces of Frobenius elements of Artin $L$-functions in a family of $G$-fields satisfies the Gaussian distribution under certain counting conjectures. We prove the counting conjectures for $S_4$ and $S_5$-fields. We also show central limit theorem for modular form $L$-functions with the trivial central character with respect to congruence subgroups as the level goes to infinity.
We consider very general "random integers" and (attempt to) prove that many multiplicative and additive functions of such integers have limiting distributions. These integers include, for instance, the curvatures of Apollonian circle packings, trace of Frobenius elements for elliptic curves, the Ramanujan tau-function, Mersenne numbers, and many others.
Let F be a finite field and let b and N be integers. We prove explicit estimates for the probability that the number of rational points on a randomly chosen elliptic curve E over F equals b modulo N. The underlying tool is an equidistribution result on the action of Frobenius on the N-torsion subgroup of E. Our results subsume and extend previous work by Achter and Gekeler.
The study of Frobenius endomorphism provides numerous information about its corresponding Abelian variety. To understand the action of the Frobenius endomorphism, one may be interested in its eigenvalues. According to Weil's third conjecture ("Riemann hypothesis over finite fields"), they all have absolute value less than or equal to $2g\sqrt{p}$. Thus, the eigenvalues of the Frobenius endomorphism all belong to the same compact subset of the complex plane, and are roots of the same monic polynomial with integer coefficients (the characteristic polynomial of the Frobenius endomorphism). Such c…
