Szpiro's small points conjecture for cyclic covers
type: Item
instance of: scholarly article
title: Szpiro's small points conjecture for cyclic covers
zbMATH Open document ID: 1330.14039
author: Ariyan Javanpeykar
author: Rafael von Känel
published in: Documenta Mathematica
publication date: 2014-10-21T00:00:00Z
full work available at URL: https://arxiv.org/abs/1311.0043
full work available at URL: 37.html
reviewed by: Paul Vojta
Mathematics Subject Classification ID: 14G40
Mathematics Subject Classification ID: 11G30
Mathematics Subject Classification ID: 14G05
Mathematics Subject Classification ID: 11J86
Mathematics Subject Classification ID: 11G32
zbMATH DE Number: 6359331
zbMATH Keywords: Szpiro's small points conjecture
zbMATH Keywords: Arakelov theory
zbMATH Keywords: arithmetic surfaces
zbMATH Keywords: logarithmic forms
zbMATH Keywords: Belyi map
zbMATH Keywords: cyclic cover
zbMATH Keywords: Néron-Tate height
MaRDI profile type: Publication
arXiv ID: 1311.0043
Recommended article: ON THE DISTRIBUTION OF THE RATIONAL POINTS ON CYCLIC COVERS IN THE ABSENCE OF ROOTS OF UNITY
Recommended article: Counting rational points on smooth cyclic covers
Recommended article: Counting number fields in fibers (with an appendix by Jean Gillibert)
Recommended article: Explicit descent for Jacobians of prime power cyclic covers of the projective line
Recommended article: Q4379436
Recommended article: Effective Shafarevich conjecture for cyclic coverings
Recommended article: Q4025969
Recommended article: The distribution of points on superelliptic curves over finite fields
Recommended article: Q3972637
Recommended article: Q5046578
review text: The paper under review proves Szpiro's small points conjecture for cyclic covers of \(\mathbb P^1\) of prime order.NEWLINENEWLINELet \(K\) be a number field. In the paper, a \textit{curve} over \(K\) is defined to be a geometrically connected, smooth and projective curve \(X\to\text{Spec} K\). The height \(h(x)\) of a point \(x\in X(\overline k)\) is the Arakelov height, obtained by intersecting with the dualizing sheaf on a semistable arithmetic surface associated to \(X\) (over the ring of integers of a suitable finite extension of \(K\)). The Néron-Tate height \(h_{\text{NT}}(x)\) is the Néron-Tate height of the point \((2g-2)x-K\) on the Jacobian of \(X\), where \(K\) is a canonical divisor of \(X\). Both heights are absolute logarithmic heights.NEWLINENEWLINEThe statement of the main theorem uses the following notation. Let \(g\geq2\) be an integer, let \(K\) be a number field, and let \(S\) be a finite set of non-archimedean places of \(K\). Let \(D_K\) be the absolute value of the discriminant of \(K\) over \(\mathbb Q\), let \(d=[K:\mathbb Q]\), and let \(N_S=\prod_{v\in S} N_v\), where \(N_v\) is the number of elements in the residue field at \(v\). For brevity, let \(\nu=d(5g)^5\).NEWLINENEWLINEThen the main theorem says the following. Let \(X\) be a curve over \(K\) of genus \(g\). Let \(S\) be the set of non-archimedean places of bad reduction for \(X\). Assume that there is a finite morphism \(X\to\mathbb P^1_K\) of prime degree which is geometrically a cyclic cover. Then there exist infinitely many points \(x\in X(\overline K)\) that satisfy NEWLINE\[NEWLINE\log\max(h_{\text{NT}}(x),h(x)) \leq \nu^{d\nu}(N_SD_K)^\nu\;.NEWLINE\]NEWLINENEWLINENEWLINEVariants of the theorem, with sharper bounds, are also proved in the special cases of hyperelliptic curves and curves of genus \(2\).NEWLINENEWLINEThe proofs use Arakelov theory of arithmetic surfaces, degree bounds for Belyi maps due to \textit{L. S. Khadjavi} [J. Number Theory 96, No. 1, 22--47 (2002; Zbl 1…
description: scientific article; zbMATH DE number 6359331