Mathematical Sciences Research Institute

Home » Existential AKE Principles for Henselian Valued Fields


Existential AKE Principles for Henselian Valued Fields July 25, 2022 (02:15 PM PDT - 03:00 PM PDT)
Parent Program:
Location: MSRI: Simons Auditorium, Online/Virtual
Speaker(s) Sylvy Anscombe (Institut de Mathématiques de Jussieu–Paris Rive Gauche)
Description No Description

Existential AKE Principles For Henselian Valued Fields


The full first-order theories of local fields of positive characteristic, i.e.\ fields of Laurent series over finite fields, are far less well understood than their characteristic zero analogues: the fields of real, complex and $p$-adic numbers. On the other hand, the existential theory of an equicharacteristic henselian valued field in the language of valued fields is controlled by the existential theory of its residue field. One is decidable if and only if the other is decidable. When we add a parameter to the language, things get more complicated. Denef and Schoutens gave an algorithm, assuming resolution of singularities, to decide the existential theory of rings like $F_p [[t]]$, with the parameter $t$ in the language. I will discuss their algorithm and present a new result (from work with Dittmann and Fehm) that weakens the hypothesis to a form of local uniformization, and which works in greater generality.

No Notes/Supplements Uploaded

Existential AKE Principles For Henselian Valued Fields