Searcharxiv⌕ Search

arXiv subjects

Chantal David

Publications and source records attributed to Chantal David.

33 records · Page 2Linked to original sources

A Cohen-Lenstra phenomenon for elliptic curves

Given an elliptic curve $E$ and a finite Abelian group $G$, we consider the problem of counting the number of primes $p$ for which the group of points modulo $p$ is isomorphic to $G$. Under a certain conjecture concerning the distribution of primes in short intervals, we obtain an asymptotic formula for this problem on average over a family of elliptic curves.

math.NT↗

Elliptic curves with a given number of points over finite fields

Given an elliptic curve $E$ and a positive integer $N$, we consider the problem of counting the number of primes $p$ for which the reduction of $E$ modulo $p$ possesses exactly $N$ points over $\mathbb F_p$. On average (over a family of elliptic curves), we show bounds that are significantly better than what is trivially obtained by the Hasse bound. Under some additional hypotheses, including a conjecture concerning the short interval distribution of primes in arithmetic progressions, we obtain an asymptotic formula for the average.

math.NT↗

One-level density of families of elliptic curves and the Ratios Conjectures

Using the ratios conjectures as introduced by Conrey, Farmer and Zirnbauer, we obtain closed formulas for the one-level density for two families of L-functions attached to elliptic curves. From those closed formulas, we can determine the underlying symmetry types of the families. The one-level scaling density for the first family corresponds to the orthogonal distribution as predicted by the conjectures of Katz and Sarnak, and the one-level scaling density for the second family is the sum of the Dirac distribution and the even orthogonal distribution. This seems to be a new phenomenon, caused by the fact that the curves of the second families have odd rank. Then, there is a trivial zero at the central point which accounts for the Dirac distribution, and also affects the remaining part of the scaling density which is then (maybe surprisingly) the even orthogonal distribution. The one-level density for this second family was studied in the past for test functions with Fourier transforms of small support, but since the Fourier transforms of the even orthogonal and odd orthogonal distributions are undistinguishable for small support, it was not possible to identify the distribution with those techniques. This can be done with the ratios conjectures, and it sheds more light on "independent" and "non-independent" zeroes and the repulsion phenomenon.

math.NT↗

Abelian surfaces over finite fields with prescribed groups

Let A be an abelian surface over F_q, the field of q elements. The rational points on A/\F_q form an abelian group A(\F_q) \simeq \Z/n_1\Z \times \Z/n_1 n_2 \Z \times \Z/n_1 n_2 n_3\Z \times\Z/n_1 n_2 n_3 n_4\Z. We are interested in knowing which groups of this shape actually arise as the group of points on some abelian surface over some finite field. For a fixed prime power q, a characterization of the abelian groups that occur was recently found by Rybakov. One can use this characterization to obtain a set of congruences modulo the integers $n_1, n_2, n_3, n_4$ on certain combinations of coefficients of the corresponding Weil polynomials. We use Rybakov's criterion to show that groups \Z/n_1\Z \times \Z/n_1 n_2 \Z \times \Z/n_1 n_2 n_3\Z \times\Z/n_1 n_2 n_3 n_4\Z do not occur if n_1 is very large with respect to n_2, n_2, n_4 (Theorem \ref{splitbound}), and occur with density zero in a wider range of the variables (Theorem \ref{splitbound-average}).

math.NT↗

Distribution of squarefree values of sequences associated with elliptic curves

Let E be a non-CM elliptic curve defined over Q. For each prime p of good reduction, E reduces to a curve E_p over the finite field F_p. For a given squarefree polynomial f(x,y), we examine the sequences f_p(E) := f(a_p(E), p), whose values are associated with the reduction of E over F_p. We are particularly interested in two sequences: f_p(E) =p + 1 - a_p(E) and f_p(E) = a_p(E)^2 - 4p. We present two results towards the goal of determining how often the values in a given sequence are squarefree. First, for any fixed curve E, we give an upper bound for the number of primes p up to X for which f_p(E) is squarefree. Moreover, we show that the conjectural asymptotic for the prime counting function π_{E,f}^{SF}(X) := #{p \leq X: f_p(E) is squarefree} is consistent with the asymptotic for the average over curves E in a suitable box.

math.NT↗

Statistics for ordinary Artin-Schreier covers and other $p$-rank strata

We study the distribution of the number of points and of the zeroes of the zeta function in different $p$-rank strata of Artin-Schreier covers over $\F_q$ when $q$ is fixed and the genus goes to infinity. The $p$-rank strata considered include the ordinary family, the whole family, and the family of curves with $p$-rank equal to $p-1.$ While the zeta zeroes always approach the standard Gaussian distribution, the number of points over $\F_q$ has a distribution that varies with the specific family.

math.NT↗

Distribution of zeta zeroes of Artin--Schreier curves

We study the distribution of the zeroes of the zeta functions of the family of Artin-Schreier covers of the projective line over $\mathbb{F}_q$ when $q$ is fixed and the genus goes to infinity. We consider both the global and the mesoscopic regimes, proving that when the genus goes to infinity, the number of zeroes with angles in a prescribed non-trivial subinterval of $[-π,π)$ has a standard Gaussian distribution (when properly normalized).

math.NT↗

Pseudoprime reductions of Elliptic curves

Let $E$ be an elliptic curve over $\F_p$ without complex multiplication, and for each prime $p$ of good reduction, let $n_E(p) = | E(\F_p) |$. Let $Q_{E,b}(x)$ be the number of primes $p \leq x$ such that $b^{n_E(p)} \equiv b\,({\rm mod}\,n_E(p))$, and $π_{E, b}^{\rm pseu}(x)$ be the number of {\it compositive} $n_E(p)$ such that $b^{n_E(p)} \equiv b\,({\rm mod}\,n_E(p))$ (also called elliptic curve pseudoprimes). Motivated by cryptography applications, we address in this paper the problem of finding upper bounds for $Q_{E,b}(x)$ and $π_{E, b}^{\rm pseu}(x)$, generalising some of the literature for the classical pseudoprimes \cite{Erdos56, Pomerance81} to this new setting.

math.NT↗

The fluctuations in the number of points of smooth plane curves over finite fields

In this note, we study the fluctuations in the number of points of smooth projective plane curves over finite fields $\mathbb{F}_q$ as $q$ is fixed and the genus varies. More precisely, we show that these fluctuations are predicted by a natural probabilistic model, in which the points of the projective plane impose independent conditions on the curve. The main tool we use is a geometric sieving process introduced by Poonen.

math.NT↗

Statistics for traces of cyclic trigonal curves over finite fields

We study the variation of the trace of the Frobenius endomorphism associated to a cyclic trigonal curve of genus g over a field of q elements as the curve varies in an irreducible component of the moduli space. We show that for q fixed and g increasing, the limiting distribution of the trace of the Frobenius equals the sum of q+1 independent random variables taking the value 0 with probability 2/(q+2) and 1, e^{(2pi i)/3}, e^{(4pi i)/3} each with probability q/(3(q+2)). This extends the work of Kurlberg and Rudnick who considered the same limit for hyperelliptic curves. We also show that when both g and q go to infinity, the normalized trace has a standard complex Gaussian distribution and how to generalize these results to p-fold covers of the projective line.

math.NT↗

Almost prime values of the order of elliptic curves over finite fields

Let $E$ be an elliptic curve over $\Q$ without complex multiplication, and which is not isogenous to a curve with non-trivial rational torsion. For each prime $p$ of good reduction, let $|E(\F_p)|$ be the order of the group of points of the reduced curve over $\F_p$. We prove in this paper that, under the GRH, there are at least $2.778 C_E^{\rm twin} x / (\log{x})^2$ primes $p$ such that $|E(\F_p)|$ has at most 8 prime factors, counted with multiplicity. This improves previous results of Steuding & Weng and Murty & Miri. This is also the first result where the dependence on the conjectural constant $C_E^{\rm twin}$ appearing in the twin prime conjecture for elliptic curves (also known as Koblitz's conjecture) is made explicit. This is achieved by sieving a slightly different sequence than the one used by previous authors. By sieving the same sequence and using Selberg's linear sieve, we can also improve the constant appearing in the upper bound for the number of primes $p$ such that $|E(\F_p)|$ is prime. Finally, we remark that our results still hold under an hypothesis weaker than the GRH.

math.NT↗

Square-free discriminants of Frobenius rings

Let $E$ be an elliptic curve over $\Q$. It is well known that the ring of endomorphisms of $E_p$, the reduction of $E$ modulo a prime $p$ of ordinary reduction, is an order of the quadratic imaginary field $Q(π_p)$ generated by the Frobenius element $π_p$. When the curve has complex multiplication (CM), this is always a fixed field as the prime varies. However, when the curve has no CM, very little is known, not only about the order, but about the fields that might appear as algebra of endomorphisms varying the prime. The ring of endomorphisms is obviously related with the arithmetic of $a_p^2-4p$, the discriminant of the characteristic polynomial of the Frobenius element. In this paper, we are interested in the function $π_{E,r,h}(x)$ counting the number of primes $p$ up to $x$ such that $a_p^2-4p$ is square-free and in the congruence class $r$ modulo $h$. We give in this paper the precise asymptotic for $π_{E,r,h}(x)$ when averaging over elliptic curves defined over the rationals, and we discuss the relation of this result with the Lang-Trotter conjecture, and with some other problems related to the curve modulo $p$.

math.NT↗

Average twin prime conjecture for elliptic curves

Let E be an elliptic curve over Q. In 1988, Koblitz conjectured a precise asymptotic for the number of primes p up to x such that the order of the group of points of E over the finite field F_p is prime. This is an analogue of the Hardy and Littlewood twin prime conjecture in the case of elliptic curves. Koblitz's conjecture is still widely open. In this paper we prove that Koblitz's conjecture is true on average over a two-parameter family of elliptic curves. One of the key ingredients in the proof is a short average distribution result in the style of Barban-Davenport-Halberstam, where the average is taken over twin primes and their differences.

math.NT↗

Vanishing of L-functions of elliptic curves over number fields

Let $E$ be an elliptic curve over $\mathbb{Q}$, with L-function $L_E(s)$. For any primitive Dirichlet character $χ$, let $L_E(s, χ)$ be the L-function of $E$ twisted by $χ$. In this paper, we use random matrix theory to study vanishing of the twisted L-functions $L_E(s, χ)$ at the central value $s=1$. In particular, random matrix theory predicts that there are infinitely many characters of order 3 and 5 such that $L_E(1, χ)=0$, but that for any fixed prime $k \geq 7$, there are only finitely many character of order $k$ such that $L_E(1, χ)$ vanishes. With the Birch and Swinnerton-Dyer Conjecture, those conjectures can be restated to predict the number of cyclic extensions $K/\mathbb{Q}$ of prime degree such that $E$ acquires new rank over $K$.

math.NT↗