Joint IAS/Princeton Arithmetic Geometry Seminar

Conditional Computability of Rational Points on Hyperbolic Curves

In this talk, I will specify a Turing machine T and prove the following about it. 1. On input C/K a smooth projective hyperbolic curve over a number field, if T halts, then its output is C(K). 2. The Hodge, Tate, and Fontaine-Mazur conjectures imply T always halts. (Joint work with Brian Lawrence.)

Date & Time

February 06, 2023 | 4:30pm – 5:30pm

Location

Princeton University, Fine Hall 314

Speakers

Levent Alpöge

Affiliation

Harvard University

Event Series