An oft cited letter from Tate to Serre on computing local heights on elliptic curves

John Tate

DOI: https://doi.org/10.48550/arXiv.1207.5765

2012-07-25

Abstract:A 1979 letter from John Tate to Jean-Pierre Serre in which the author describes an efficient and elegant algorithm for computing local heights on elliptic curves.

Number Theory

What problem does this paper attempt to address?

The Sato--Tate Distribution in Families of Elliptic Curves with a Rational Parameter of Bounded Height

Min Sha,Igor E. Shparlinski

DOI: https://doi.org/10.48550/arXiv.1512.07301

2015-12-23

Abstract: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.

Number Theory
A tour d'horizon of de Casteljau's work

Andreas Müller

DOI: https://doi.org/10.1016/j.cagd.2024.102366

2024-08-20

Abstract:Whilst Paul de Casteljau is now famous for his fundamental algorithm of curve and surface approximation, little is known about his other findings. This article offers an insight into his results in geometry, algebra and number theory. Related to geometry, his classical algorithm is reviewed as an index reduction of a polar form. This idea is used to show de Casteljau's algebraic way of smoothing, which long went unnoticed. We will also see an analytic polar form and its use in finding the intersection of two curves. The article summarises unpublished material on metric geometry. It includes theoretical advances, e.g., the 14-point strophoid or a way to link Apollonian circles with confocal conics, and also practical applications such as a recurrence for conjugate mirrors in geometric optics. A view on regular polygons leads to an approximation of their diagonals by golden matrices, a generalisation of the golden ratio. Relevant algebraic findings include matrix quaternions (and anti-quaternions) and their link with Lorentz' equations. De Casteljau generalised the Euclidean algorithm and developed an automated method for approximating the roots of a class of polynomial equations. His contributions to number theory not only include aspects on the sum of four squares as in quaternions, but also a view on a particular sum of three cubes. After a review of a complete quadrilateral in a heptagon and its angles, the paper concludes with a summary of de Casteljau's key achievements. The article contains a comprehensive bibliography of de Casteljau's works, including previously unpublished material.

History and Overview,Algebraic Geometry,Metric Geometry,Numerical Analysis,Number Theory
Refinements on vertical Sato-Tate

Zhao Yu Ma

2024-05-29

Abstract:Vertical Sato-Tate states that the Frobenius trace of a randomly chosen elliptic curve over $\mathbb F_p$ tends to a semicircular distribution as $p\rightarrow \infty$. We go beyond this statement by considering the number of elliptic curves $N_{t,p}'$ with a given trace $t$ over $\mathbb F_p$ and characterizing the 2-dimensional distribution of $(t,N_{t,p}')$. In particular, this gives the distribution of the size of isogeny classes of elliptic curves over $\mathbb F_p$. Furthermore, we show a notion of stronger convergence for vertical Sato-Tate which states that the number of elliptic curves with Frobenius trace in an interval of length $p^\epsilon$ converges to the expected amount. The key step in the proof is to truncate Gekeler's infinite product formula, which relies crucially on an effective Chebotarev's density theorem that was recently developed by Pierce, Turnage-Butterbaugh and Wood.

Number Theory
Algorithms for $p$-adic Heights on Hyperelliptic Curves of Arbitrary Reduction

Francesca Bianchi,Enis Kaya,J. Steffen Müller

2024-02-01

Abstract:In this paper, we develop an algorithm for computing Coleman--Gross (and hence Nekovář) $p$-adic heights on hyperelliptic curves over number fields with arbitrary reduction type above $p$. This height is defined as a sum of local heights at each finite place and we use algorithms for Vologodsky integrals, developed by Katz and the second-named author, to compute the local heights above $p$. We also discuss an alternative method to compute these for odd degree genus 2 curves via $p$-adic sigma functions, via work of the first-named author. For both approaches one needs to choose a splitting of the Hodge filtration. A canonical choice for this is due to Blakestad in the case of an odd degree curve of genus $2$ that has semistable ordinary reduction at $p$. We provide an algorithm to compute Blakestad's splitting, which is conjecturally the unit root splitting for the action of Frobenius. We give several numerical examples, including the first worked quadratic Chabauty example in the literature for a curve with bad reduction.

Number Theory,Algebraic Geometry
Canonical local heights and Berkovich skeleta

Robin de Jong,Farbod Shokrieh

2024-05-28

Abstract:We discuss canonical local heights on abelian varieties over non-archimedean fields from the point of view of Berkovich analytic spaces. Our main result is a refinement of Néron's classical result relating canonical local heights with intersection multiplicities on the Néron model. We also revisit Tate's explicit formulas for Néron's canonical local heights on elliptic curves. Our results can be viewed as extensions of Tate's formulas to higher dimensions.

Number Theory,Algebraic Geometry
Computing p-adic heights on hyperelliptic curves

Stevan Gajović,J. Steffen Müller

2024-11-12

Abstract:We describe an algorithm to compute the local Coleman-Gross p-adic height at p on a hyperelliptic curve. Previously, this was only possible using an algorithm due to Balakrishnan and Besser, which was limited to odd degree. While we follow their general strategy, our algorithm is significantly faster and simpler and works for both odd and even degree. We discuss a precision analysis and an implementation in SageMath. Our work has several applications, also discussed in this article. These include various versions of the quadratic Chabauty method, and numerical evidence for a p-adic version of the conjecture of Birch and Swinnerton-Dyer in cases where this was not previously possible.

Number Theory
Heights on algebraic curves

L. Beshaj,T. Shaska

DOI: https://doi.org/10.48550/arXiv.1406.5659

2015-03-13

Abstract:In these lectures we cover basics of the theory of heights starting with the heights in the projective space, heights of polynomials, and heights of the algebraic curves. We define the minimal height of binary forms and moduli height for algebraic curves and prove that the moduli height of superelliptic curves $\mathcal H (f) \leq c_0 \tilde H (f)$ where $c_0$ is a constant and $\tilde H$ the minimal height of the corresponding binary form. For genus $g=2$ and 3 such constant is explicitly determined. Furthermore, complete lists of curves of genus 2 and genus 3 hyperelliptic curves with height 1 are computed.

Number Theory
On the effective version of Serre's open image theorem

Jacob Mayle,Tian Wang

DOI: https://doi.org/10.1112/blms.13002

2024-01-26

Abstract:Let $E/\mathbb{Q}$ be an elliptic curve without complex multiplication. By Serre's open image theorem, the mod $\ell$ Galois representation $\overline{\rho}_{E, \ell}$ of $E$ is surjective for each prime number $\ell$ that is sufficiently large. Under the generalized Riemann hypothesis, we give an explicit upper bound on the largest prime $\ell$, linear in the logarithm of the conductor of $E$, such that $\overline{\rho}_{E, \ell}$ is nonsurjective.

Number Theory
Computing canonical heights on elliptic curves in quasi-linear time

J. Steffen Müller,Michael Stoll

DOI: https://doi.org/10.1112/s1461157016000139

2016-01-01

LMS Journal of Computation and Mathematics

Abstract:We introduce an algorithm that can be used to compute the canonical height of a point on an elliptic curve over the rationals in quasi-linear time. As in most previous algorithms, we decompose the difference between the canonical and the naive height into an archimedean and a non-archimedean term. Our main contribution is an algorithm for the computation of the non-archimedean term that requires no integer factorization and runs in quasi-linear time.
A Lehmer-Type Lower Bound for the Canonical Height on Elliptic Curves Over Function Fields

Joseph H. Silverman

2024-02-23

Abstract:Let $\mathbb{F}$ be the function field of a curve over an algebraically closed field with $\operatorname{char}(\mathbb{F})\ne2,3$, and let $E/\mathbb{F}$ be an elliptic curve. Then for all finite separable extensions $\mathbb{K}/\mathbb{F}$ and all non-torsion points $P\in{E(\mathbb{K})}$, the $\mathbb{F}$-normalized canonical height of $P$ is bounded below by \[ \hat{h}_E(P) \ge \frac{1}{4570\cdot h_{\mathbb{F}}(j_E)^{2}\cdot [\mathbb{K}:\mathbb{F}]^{2}}. \]

Number Theory
Heights and quantitative arithmetic on stacky curves

Brett Nasserden,Stanley Yao Xiao

DOI: https://doi.org/10.4153/s0008414x24000075

2024-01-19

Canadian Journal of Mathematics

Abstract:Abstract In this paper, we investigate the theory of heights in a family of stacky curves following recent work of Ellenberg, Satriano, and Zureick-Brown. We first give an elementary construction of a height which is seen to be dual to theirs. We count rational points having bounded ESZ-B height on a particular stacky curve, answering a question of Ellenberg, Satriano, and Zureick-Brown. We also show that when the Euler characteristic of stacky curves is non-positive, the ESZ-B height coming from the anti-canonical divisor class fails to have the Northcott property. We prove that a stacky version of a conjecture of Vojta is equivalent to the $abc$ -conjecture.

mathematics
Sequences associated to elliptic curves

Betül Gezer

DOI: https://doi.org/10.48550/arXiv.1909.12654

2019-09-27

Abstract:Let $E$ be an elliptic curve defined over a field $K$ (with $char(K)\neq 2$) given by a Weierstrass equation and let $P=(x,y)\in E(K)$ be a point. Then for each $n$ $\geq 1$ and some $\gamma \in K^{\ast }$ we can write the $x$- and $y$-coordinates of the point $[n]P$ as \begin{equation*} \lbrack n]P=\left( \frac{\phi_n(P)}{\psi_n^2(P)}, \frac{\omega_n(P) }{\psi_n^3(P)} \right) =\left( \frac{\gamma^2 G_n(P)}{F_n^2(P)}, \frac{\gamma^3 H_n(P)}{F_n^3(P)}\right) \end{equation*} where $\phi_n,\psi_n,\omega_n \in K[x,y]$, $\gcd (\phi_n,\psi_n^2)=1$ and \begin{equation*} F_n(P) = \gamma^{1-n^2}\psi_n(P), G_n(P) = \gamma ^{-2n^{2}}\phi_{n}(P),H_{n}(P) = \gamma ^{-3n^{2}} \omega_n(P) \end{equation*} are suitably normalized division polynomials of $E$. In this work we show the coefficients of the elliptic curve $E$ can be defined in terms of the sequences of values $(G_{n}(P))_{n\geq 0}$ and $(H_{n}(P))_{n\geq 0}$ of the suitably normalized division polynomials of $E$ evaluated at a point $P \in E(K)$. Then we give the general terms of the sequences $(G_{n}(P))_{n\geq 0}$ and $(H_{n}(P))_{n\geq 0}$ associated to Tate normal form of an elliptic curve. As an application of this we determine square and cube terms in these sequences.

Number Theory
Park City lectures on elliptic curves over function fields

Douglas Ulmer

DOI: https://doi.org/10.48550/arXiv.1101.1939

2011-01-10

Number Theory

Abstract:These are the notes from a course of five lectures at the 2009 Park City Math Institute. The focus is on elliptic curves over function fields over finite fields. In the first three lectures, we explain the main classical results (mainly due to Tate) on the Birch and Swinnerton-Dyer conjecture in this context and its connection to the Tate conjecture about divisors on surfaces. This is preceded by a "Lecture 0" on background material. In the remaining two lectures, we discuss more recent developments on elliptic curves of large rank and constructions of explicit points in high rank situations.
Lang's Conjecture and Sharp Height Estimates for the elliptic curves $y^{2}=x^{3}+ax$

Paul Voutier,Minoru Yabuta

DOI: https://doi.org/10.1142/S1793042113500176

2013-07-18

Abstract:For elliptic curves given by the equation $E_{a}: y^{2}=x^{3}+ax$, we establish the best-possible version of Lang's conjecture on the lower bound of the canonical height of non-torsion points along with best-possible upper and lower bounds for the difference between the canonical and logarithmic height.

Number Theory
Local heights on hyperelliptic curves and quadratic Chabauty

L. Alexander Betts,Juanita Duque-Rosero,Sachi Hashimoto,Pim Spelier

2024-04-02

Abstract:Local heights are arithmetic invariants used in the quadratic Chabauty method for determining the rational points on curves. We present an algorithm to compute these local heights for hyperelliptic curves at odd primes $\ell\neq p$. This algorithm significantly broadens the applicability of quadratic Chabauty to curves which were previously inaccessible due to the presence of non-trivial local heights. We provide numerous examples, including the first quadratic Chabauty computation for a curve having two primes with non-trivial local heights.

Number Theory,Algebraic Geometry
Height inequality of algebraic points on curves over functional fields

Sheng-Li Tan

DOI: https://doi.org/10.48550/arXiv.alg-geom/9502011

1995-02-14

Algebraic Geometry

Abstract:The purpose of this paper is to give a linear and effective height inequality for algebraic points on curves over functional fields. Our height inequality can be viewed as the logarithmic canonical class inequality of a punctured curve over a functional field (a fibered surface minus a section).
Building bridges between Tate conjectures and arithmetic invariants

Victoria Cantoral-Farfan,Seoyoung Kim

2024-09-20

Abstract:In this paper, we clarify and build connections between various conjectures largely motivated by the works of Jean-Pierre Serre and John Tate. We closely study the Tate conjecture for algebraic cycles as well as their motivic generalizations along with various links to Nagao's conjecture.

Algebraic Geometry,Number Theory
A note on Tate's conjectures for abelian varieties

Chao Li,Wei Zhang

DOI: https://doi.org/10.48550/arXiv.2112.15164

2021-12-30

Number Theory

Abstract:In this mostly expository note, we explain a proof of Tate's two conjectures [Tat65] for algebraic cycles of arbitrary codimension on certain products of elliptic curves and abelian surfaces over number fields.
Algebraic Methods In The Study Of Simple-Elliptic Singularities

Craig Seeley,Stephen Yau

DOI: https://doi.org/10.1007/BFb0086272

1991-01-01

Lecture notes in mathematics

Abstract:Without Abstract

An oft cited letter from Tate to Serre on computing local heights on elliptic curves

The Sato--Tate Distribution in Families of Elliptic Curves with a Rational Parameter of Bounded Height

A tour d'horizon of de Casteljau's work

Refinements on vertical Sato-Tate

Algorithms for $p$-adic Heights on Hyperelliptic Curves of Arbitrary Reduction

Canonical local heights and Berkovich skeleta

Computing p-adic heights on hyperelliptic curves

Heights on algebraic curves

On the effective version of Serre's open image theorem

Computing canonical heights on elliptic curves in quasi-linear time

A Lehmer-Type Lower Bound for the Canonical Height on Elliptic Curves Over Function Fields

Heights and quantitative arithmetic on stacky curves

Sequences associated to elliptic curves

Park City lectures on elliptic curves over function fields

Lang's Conjecture and Sharp Height Estimates for the elliptic curves $y^{2}=x^{3}+ax$

Local heights on hyperelliptic curves and quadratic Chabauty

Height inequality of algebraic points on curves over functional fields

Building bridges between Tate conjectures and arithmetic invariants

A note on Tate's conjectures for abelian varieties

Algebraic Methods In The Study Of Simple-Elliptic Singularities