Conditional algorithmic Mordell
Levent Alp\"oge, Brian Lawrence

TL;DR
This paper constructs hypothetical Turing machines for computing rational points on hyperbolic curves and certain abelian varieties, with their termination guaranteed by major conjectures in number theory.
Contribution
It formalizes the concept of conditional algorithms for key problems in arithmetic geometry based on unproven conjectures.
Findings
Defines $T_{Mordell}$ for computing $C(K)$ if it terminates.
Defines $T_{Shafarevich}$ for listing abelian varieties with specified properties if it terminates.
Shows that these machines' termination is implied by the Hodge, Tate, and Fontaine-Mazur conjectures.
Abstract
We specify a Turing machine with the following properties. 1. On input , with a number field and a smooth projective hyperbolic curve, if terminates, then it outputs . 2. The Hodge, Tate, and Fontaine-Mazur conjectures imply that always terminates. Similarly we specify a Turing machine with the following properties. 1. On input , with , a number field, and a finite set of places of , if terminates, then it outputs the finitely many polarized -dimensional abelian varieties , with polarization of degree , having good reduction outside . 2. The Hodge, Tate, and Fontaine-Mazur conjectures imply that always terminates.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsComputability, Logic, AI Algorithms
