Date: October 21 2017

Location: University of Oregon, Fenton Hall room 110

Program:

- 11:00 - 12:00: Kirsten Eisenträger Lecture I: Title: Undecidability in number theory
- 12:00 - 1:30: Lunch (provided)
- 1:30 - 2:30: Kirsten Eisenträger Lecture II: Title: Existentially and universally definable subsets of global fields
- 2:30 - 3:00: Travis Scholl (University of Washington): Title: Isolated elliptic curves in cryptography

Abstracts:

Kirsten Eisenträger Lecture I, Undecidability in number theory: In 1900 Hilbert presented his now famous list of 23 open problems. The tenth problem in its original form was to find an algorithm to decide, given a multivariate polynomial equation with integer coefficients, whether it has a solution over the integers. Hilbert's Tenth Problem remained open until 1970 when Matiyasevich, building on work by Davis, Putnam and Robinson, proved that no such algorithm exists, i.e. Hilbert's Tenth Problem is undecidable. In this talk we will give an overview of Hilbert's Tenth Problem and related problems in undecidability. We will also discuss how elliptic curves can be used to prove the undecidability of Hilbert's Tenth Problem for various rings and fields.

Kirsten Eisenträger Lecture II, Existentially and universally definable subsets of global fields: In 1970, Matiyasevich, building on work by Davis, Putnam and Robinson, proved that Hilbert's Tenth Problem over the integers is undecidable. The analogue of Hilbert's Tenth Problem over the rationals remains open. A diophantine definition of the integers over the rationals, together with a standard reduction argument, would show that Hilbert's Tenth Problem over the rationals is undecidable. Such a diophantine definition of the integers over the rationals seems out of reach right now, but recently, Koenigsmann proved that it is possible to define the integers inside the rationals using only universal quantifiers. If Mazur's conjecture holds then this may be the best possible result. In this talk we use class field theory to extend Koenigsmann's result to global function fields of odd characteristic and show that rings of S-integers can be defined universally. We also prove that the set of non-norms and the set of non-squares in global fields are diophantine. The result for non-squares gives a new proof of a theorem by Poonen who used results on the Brauer-Manin obstruction to prove that the set of non-squares in global fields is diophantine.

Travis Scholl, Isolated elliptic curves in cryptography: We call an elliptic curve "isolated" if it does not admit many efficiently computable isogenies. The motivation for isolated curves comes from elliptic curve cryptography. We present some examples, and results that suggest that random isolated curves are rarely susceptible to known attacks on elliptic curve cryptosystems.

If you plan to attend this meeting, please register by filling out this webform.

A limited amount of funding will be available for participants, with priority for students and early career mathematicians. To apply for funding to attend the next meeting, please fill out the above registration webform.

Winter 2018 Speaker: Ken Ono, Emory University

Date: TBA

Location: Oregon State University

None yet.

Shabnam Akhtari | University of Oregon |

Derek Garton | Portland State University |

Clay Petsche | Oregon State University |

Holly Swisher | Oregon State University |

Email: oregonnumbertheorydays@gmail.com |