Seminar
Parent Program: | |
---|---|
Location: | SLMath: Online/Virtual |
Valuation theory plays a major part in the interaction between number theory and logic. In this seminar, a variety of topics from valuation theory, and in particular connections to model theory, will be discussed. There will be a strong emphasis on results involving the definability of valuations.
To participate in this seminar, please register here: https://www.msri.org/seminars/25206
Defining Valuation And Holomorphy Rings In Function Fields Using Quadratic Forms
Valuation theory plays a major part in the interaction between number theory and logic. In this seminar, a variety of topics from valuation theory, and in particular connections to model theory, will be discussed. There will be a strong emphasis on results involving the definability of valuations.
To participate in this seminar, please register here: https://www.msri.org/seminars/25206
Abstract:
Quadratic forms have played a role in some recent definability results in number theory. For example, Jochen Koenigsmann's celebrated construction of a universal first-order definition of in - building on earlier work by Bjorn Poonen - relies on a number of classical facts from number theory on the behaviour of quadratic forms over , in particular the local-global principle for isotropy due to Minkowski.
One can make abstraction of the required results on quadratic forms over and aspire to find results analogous to Koenigsmann's in other classes of fields where the quadratic form theory is well-understood, e.g. through a local-global principle. As a teaser for this idea, this talk will give a sketch of how Kato's local-global principle for 3-fold quadratic Pfister forms for function fields in one variable over local or global fields can be used to find existential or universal definitions of holomorphy and valuations rings of such function fields.
Many of the ideas presented in this talk will be part of upcoming joint work with Philip Dittmann.
Defining Valuation And Holomorphy Rings In Function Fields Using Quadratic Forms
H.264 Video | 25215_28729_8502_Defining_Valuation_and_Holomorphy_Rings_in_Function_Fields_Using_Quadratic_Forms.mp4 |