Seminar
| Parent Program: | |
|---|---|
| Location: | SLMath: Online/Virtual |
This seminar will focus on Diophantine problems in a broad sense, with a view towards (but not limited to) interactions between Number Theory and Logic. Particular attention will be given to topics with the potential of further developments in the context of this MSRI scientific program. This will provide an opportunity for researchers to update on new results, techniques and some of the main problems of the field.
To participate in this seminar, please register here: https://www.msri.org/seminars/25206
On Hilbert's Tenth Problem In Two Variables
To participate in this seminar, please register here: https://www.msri.org/seminars/25206
Abstract: In joint work with Brian Lawrence, we show that, assuming standard motivic conjectures (Fontaine-Mazur, Grothendieck-Serre, Hodge, Tate), there is a finite-time algorithm that, on input (K,C) with K a number field and C/K a smooth projective hyperbolic (i.e. genus > 1) curve, outputs C(K). The algorithm has the property that, if it terminates, the output is unconditionally correct --- one uses the conjectures to show that it always terminates in finite time.
On the other hand, in certain cases (i.e. after imposing conditions on K and C) there is an unconditional finite-time algorithm to compute (K,C)\mapsto C(K), using potential modularity theorems instead. Example: given K totally real of odd degree and a\in K^\times, one can effectively compute C_a(K) where C_a : x^6 + 4y^3 = a^2.
I will focus on the first of these two results but will try to mention at least the ideas that go into the second if time permits.
On Hilbert's Tenth Problem In Two Variables
| H.264 Video | 25178_28676_8658_On_Hilbert's_Tenth_Problem_in_Two_Variables.mp4 |