Frobenius distributions in short intervals for CM elliptic curves
type: Item
instance of: scholarly article
title: Frobenius distributions in short intervals for CM elliptic curves
zbMATH Open document ID: 1411.11052
author: Anthony Agwu
author: Phillip Harris
author: Siddarth Kannan
author: Huixi Li
author: Kevin James
published in: Journal of Number Theory
publication date: 2018-04-04T00:00:00Z
review text: Let \(E/\mathbb{Q}\) be an elliptic curve, and for prime \(p\), let \(a_p\) be the trace of Frobenius, which is equal to \(\#E(\mathbb{F}_p)-p-1\), where \(\#E(\mathbb{F}_p)\) is the number of solutions to the curve over the finite field \(\mathbb{F}_p\). By Hasse's theorem, \(|a_p| < 2\sqrt p\) for all primes \(p\), and the distribution of \(a_p\) on the interval \([-2\sqrt p, 2\sqrt p]\) is an important subject in the theory of elliptic curves. Let \(A_p\) denote \(a_p/(2\sqrt p)\). Then, by Hasse's theorem, \(-1 < A_p < 1\). By the work of Hecke in 1920 and the work of Deuring in 1950's, the probability density of \(A_p\) for \(E\) with complex multiplication (CM) was fully understood. The density of \(A_p\) for \(E\) without CM, which is different from CM cases, was known as the Sato-Tate conjecture, and it was fully answered by the collaborative work of Clozel, Harris, Shepherd-Barron, and Taylor in 2006. The authors of the paper under review are interested in the distribution of \(A_p\) for subsets of ``smaller'' measure. A measurable function \(f : (0,\infty) \to (0,\infty)\) is called \textit{regularly varying} if \(f(\lambda x)/f(x) \to C(\lambda)\) as \(x\to\infty\) for all \(\lambda >0\). Polynomials and \(\log(x)\) are examples of regularly varying functions. The authors of the paper under review prove the following: Suppose that \(E\) has CM, and \(f\) is a convex, differentiable, and regularly varying function. If \(x^{-1/2}\ll f(x) = o(1)\), then \[ \#\{ p\leq x : A_p > 1 - f(p) \} \sim \frac{\sqrt 2}{\pi(2+\alpha)}\, \sqrt{f(x)}\, \frac{x}{\log(x)} \] where \(\alpha\) is determined by \(f\), and the same asymptotic holds for \(\#\{ p\leq x : A_p < -1 + f(p) \}\).
reviewed by: Sungkon Chang
Mathematics Subject Classification ID: 11G15
Mathematics Subject Classification ID: 11G05
zbMATH DE Number: 6855847
zbMATH Keywords: complex multiplication
zbMATH Keywords: elliptic curve
zbMATH Keywords: trace of Frobenius
zbMATH Keywords: Sato-Tate conjecture
zbMATH Keywords: Lang-Trotter conjecture
zbMATH Keywords: Frobenius distributions
zbMATH Keywords: elliptic champion prime
zbMATH Keywords: elliptic trailing prime
MaRDI profile type: Publication
full work available at URL: j.jnt.2018.01.007
OpenAlex ID: W2790368229
cites work: A family of Calabi-Yau varieties and potential automorphy. II.
cites work: Q3992980
cites work: Notes on elliptic curves. II.
cites work: TORSION POINTS ON ELLIPTIC CURVES WITH COMPLEX MULTIPLICATION (WITH AN APPENDIX BY ALEX RICE)
cites work: Q4920301
cites work: Q5848270
cites work: Q5848271
cites work: Q3238386
cites work: Q3289913
cites work: Extremal primes for elliptic curves with complex multiplication
cites work: Extremal primes for elliptic curves
cites work: On the distance between consecutive prime ideal numbers in sectors
cites work: A Titchmarsh divisor problem for elliptic curves
cites work: The Arithmetic of Elliptic Curves
DOI: 10.1016/J.JNT.2018.01.007
description: scientific article; zbMATH DE number 6855847