Siegel's theorem and the Shafarevich conjecture (Q1940474): Difference between revisions
From MaRDI portal
Set OpenAlex properties. |
ReferenceBot (talk | contribs) Changed an Item |
||
(2 intermediate revisions by 2 users not shown) | |||
Property / Wikidata QID | |||
Property / Wikidata QID: Q123281534 / rank | |||
Normal rank | |||
Property / arXiv ID | |||
Property / arXiv ID: 1109.6070 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5562698 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3998726 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5589445 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3822250 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Effective analysis of integral points on algebraic curves / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4345955 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Néron Models / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4065666 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4083555 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4319817 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3974142 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Finiteness theorems for abelian varieties over number fields. / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Integer Points on Curves of Genus 2 and their Jacobians / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4486426 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On the diophantine equation f (x, y) = 0. / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Modèles minimaux des courbes de genre deux. / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Modèles entiers des courbes hyperelliptiques sur un corps de valuation discrète / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Curves of genus 2 with good reduction away from 2 with a rational Weierstrass point / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4053768 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On pencils of curves of genus two / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4053767 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5658176 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4375621 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Integer points and models of algebraic curves / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Theta heights and Kodaira construction / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Good reduction of abelian varieties / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Algebraic number fields / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Integral points on Abelian varieties / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4317891 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: <i>S</i> -Unit Equations, Binary Forms and Curves of Genus 2 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3613929 / rank | |||
Normal rank |
Latest revision as of 06:51, 6 July 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Siegel's theorem and the Shafarevich conjecture |
scientific article |
Statements
Siegel's theorem and the Shafarevich conjecture (English)
0 references
7 March 2013
0 references
Let \(f\) be a rational function on a curve \(C\) defined over a number field \(K\). The theorem of Siegel asserts that the number of \(k\)-points \(P\) on \(C\) such that their image \(f(P)\) is in the ring of integers of \(K\), localized at a suitable finite set \(S\) of places \(S\), is finite. In general we don't know an effective algorithm for computing the set of these points. The author aims at providing such an effective algorithm for the case of genus \(2\) curves or more generally for hyperelliptic curves. Let \(\mathcal{H}(g,k,S) \) denote the set of nonsingular projective hyperelliptic curves of genus \(g\) with good reduction outside \(S\) and \(\mathcal{H}'(g,k,S)\) be the set of \(k\)-isomorphism classes of nonsingular projective hyperelliptic curves over \(k\) of genus \(g\) such that their Jacobian has good reduction outside \(S\). The Shafarevich conjecture for abelian varieties (now a theorem proved by Faltings) asserts that the set \(\mathcal{H}'(g,k,S)\) is finite. The main theorem of the author asserts that if there is an effective algorithm in order to compute the set \(\mathcal{H}'(g,k,S)\) (by giving an explicit hyperelliptic Weierstrass equation for each class of the set \(\mathcal{H}'(g,k,S)\)), then an effective version of Siegel's theorem can be provided. Notice that the set \(\mathcal{H}(g,k,S) \) is known to be effectively computable [\textit{R. von Känel}, An effective proof of the hyperelliptic Shafarevich conjecture and applications, PhD thesis, Eidgenössische Technische Hochschule Zürich (2010)] so an effective version of Shafarevich conjecture is about understanding the difference of the inclusion \(\mathcal{H}(g,k,S) \subset \mathcal{H}'(g,k,S)\). The proof of main theorem is based on a modification of Parshin's idea on how the Mordell conjecture could be proved using the Shafarevich conjecture.
0 references
hyperelliptic curves
0 references
Siegel's theorem
0 references
Shafarevich conjecture
0 references