Combinatorial complexity in henselian valued fields : pushing Anscombe-Jahnke up the ladder

In dieser Dissertation untersuchen wir den Zusammenhang zwischen kombinatorischer Komplexität von Theorien erster Stufe von Körpern und algebraischen Eigenschaften, mit Fokus auf Henselität. Wir betrachten zunächst Bewertungen und legen mehrere klassische Methoden dar, sie mittels Formeln erster Stu...

Verfasser: Boissonneau, Blaise
Weitere Beteiligte: Jahnke, Franziska (Gutachter)
FB/Einrichtung:FB 10: Mathematik und Informatik
Dokumenttypen:Dissertation/Habilitation
Medientypen:Text
Erscheinungsdatum:2022
Publikation in MIAMI:25.10.2022
Datum der letzten Änderung:26.10.2022
Angaben zur Ausgabe:[Electronic ed.]
Schlagwörter:Logik; Modelltheorie; Bewertete Körpern; Transfer; NIPn; NTP2; Definierbarkeit Logic; Model Theory; Valued Fields; Transfer; NIPn; NTP2; definability
Fachgebiet (DDC):510: Mathematik
Lizenz:CC BY-SA 4.0
Sprache:Englisch
Hochschulschriftenvermerk:Münster, Univ., Diss., 2022
Format:PDF-Dokument
URN:urn:nbn:de:hbz:6-82039668684
Weitere Identifikatoren:DOI: 10.17879/82039669398
Permalink:https://nbn-resolving.de/urn:nbn:de:hbz:6-82039668684
Onlinezugriff:diss_boissonneau.pdf

In dieser Dissertation untersuchen wir den Zusammenhang zwischen kombinatorischer Komplexität von Theorien erster Stufe von Körpern und algebraischen Eigenschaften, mit Fokus auf Henselität. Wir betrachten zunächst Bewertungen und legen mehrere klassische Methoden dar, sie mittels Formeln erster Stufe zu definieren. Wir untersuchen dann Zusammenhänge zwischen Artin-Schreier-Erweiterungen und kombinatorischer Komplexität, mit expliziten Formeln: Dies erlaubt, die Komplexität des Restklassenkörpers zu heben. Wir zeigen, dass NTP2 henselsch bewertete Körper semizahm oder endlich verzweigt in Teilen sind und dass NIPn henselsch bewertete Körpern sich zerlegen in separabel algebraisch maximal Kaplansky und endlich verzweigte Teile. Wir untersuchen schließlich NIPn und NTP2 Transfersätze und erhalten insbesondere eine vollständige Klassifizierung von NIPn henselsch bewerteten Körpern modulo ihres Restklassenkörpern. Wir wenden dann unsere Ergebnisse auf algebraische Erweiterungen von Qp an.

In this thesis, we study the links between combinatorial complexity of first-order theories of fields and algebraic properties of fields, and most notably, the role henselianity plays. We first study valuations and expose several classical methods to define them with a first-order formula in specific cases. We then study links between Artin-Schreier extensions and combinatorial complexity via explicit formulas; this allows us to lift complexity from residue fields, and to prove that NTP2 henselian valued fields are semitame or finitely ramified by parts, and that NIPn henselian valued fields are separably algebraically maximal Kaplansky or finitely ramified by parts, exactly as in the NIP case. We finally study transfer theorems in NIPn and NTP2 contexts, obtaining notably a complete classification of NIPn henselian valued fields down to their residue fields. We then apply all these results to algebraic extensions of the p-adics, giving a complete survey of their complexity.