Model theory studies structures from the point of view of first-order logic. It isolates combinatorial properties of definable sets and uses these to obtain algebraic consequences. A key example is the group configuration theorem which asserts that certain combinatorial patterns are necessarily induced by the existence of a group. This has proven a powerful tool in applications, e.g. in diophantine geometry and more recently to combinatorics.
Valued fields are another example of the confluence of stability theory and algebraic model theory. While algebraically closed valued fields were already studied by Robinson in 1959, the importance of the tools from geometric stability only became apparent in work of Haskell-Hrushovski-Macpherson on elimination of imaginaries, and have in turn triggered the development of the abstract theory of stable domination, leading to applications in non-archimedean geometry.
In the project, we aim to strengthen the recent relations between model theory and combinatorics, develop the model theory of valued fields using tools from geometric stability and carry out an abstract study of the configurations which are a fundamental tool in these two areas.
To the members of the project: Recall to mention the ANR-DFG program GeoMod in your preprints and publications! |
Michael Lösch | PhD candidate; advisor: A. Martin-Pizarro |
Nadja Hempel | Postdoc |
Amador Martin-Pizarro | GeoMod member |
Daniel Palacín | GeoMod member |
Thomas Blossier | GeoMod member |
Clément Guerin | PhD candidate; advisors: P. Simon & F. Wagner |
Leo Jimenez | GeoMod Postdoc |
Frank Wagner | GeoMod member |
Samuel Zamour | PhD candidate; advisor: F. Wagner |
Anna-Maria Ammer | PhD candidate; advisor: K. Tent |
Martin Bays | GeoMod member |
Blaise Boissonneau | PhD candidate; advisor: F. Jahnke |
Jan Dobrowolski | Postdoc |
Martin Hils | GeoMod member |
Franziska Jahnke | GeoMod member |
Rosario Mennuni | GeoMod Postdoc |
Katrin Tent | GeoMod member |
Tingxiang Zou | Postdoc |
Sylvy Anscombe | GeoMod member (Université de Paris) |
Franck Benoist | GeoMod member (Université Paris-Saclay) |
Elisabeth Bouscaren | GeoMod member (CNRS - Université Paris-Saclay) |
Zoé Chatzidakis | GeoMod member (CNRS - ENS Ulm) |
Akash Hussain | PhD candidate; advisors: E. Bouscaren & S. Rideau-Kikuchi |
Silvain Rideau-Kikuchi | GeoMod member (CNRS - Université de Paris) |
Patrick Simonetta | GeoMod member (Université de Paris) |
Jinhe Ye | Postdoc (FSMP - IMJ) |
Pierre Touchard | PhD student, advisor: Martin Hils, defended September 2020 |
Jean-François Martin | PhD student; advisor: E. Bouscaren |
9h - 9h50: Jinhe Vincent Ye (Sorbonne Université), The étale open topology and the stable fields conjecture
For any field K, we introduce natural topologies on K-points of varieties over
K, which is defined to be the weakest topology such that étale morphisms are
open. This topology turns out to be natural in a lot of settings. For example, when
K is algebraically closed, it is easy to see that we have the Zariski topology, and
the procedure picks up the valuation topology in many henselian valued fields.
Moreover, many topological properties correspond to the algebraic properties of
the field. As an application of this correspondence, we will show that large stable
fields are separably closed.
(Joint work with Will Johnson, Chieu-Minh Tran, and Erik Walsberg.)
10h - 10h40: Blaise Boissonneau (WWU), Artin-Schreier extensions & combinatorial complexity
Model-theoretic combinatorial complexity and algebraic properties are interlinked
in sometimes surprising ways. An example of that is a well-known result by Kaplan,
Scanlon and Wagner, which states that infinite NIP fields of characteristic p have no
Artin-Schreier extension. Since then, the model-theoretic complexity induced by
Artin-Schreier extensions has been studied in many other settings, most notably in
NTP2 fields. We will see what implications this has in the study of NTP2 henselian
fields, especially in the mixed characteristic case.
10h40 - 11h: Coffee Break.
11h - 12h: Short talks (in this order) by Franziska Jahnke, Sylvy Anscombe, Rosario Mennuni, Akash Hossain, Martin Hils, Silvain Rideau-Kikuchi, Martin Bays.
12h - 13h: Time and space for mathematical discussions via "gather town", in groups of variable sizes.
10h - 10h10: Elisabeth Bouscaren (CNRS - Université Paris-Saclay), Introduction.
10h15 - 11h: Rosario Mennuni (Westfälische Wilhelms-Universität Münster), The domination monoid
This talk is concerned with the interaction between the semigroup of invariant types over a monster model U and the preorder of domination, i.e. small-type semi-isolation. In the superstable case, the induced quotient semigroup, which goes under the name of "domination monoid", parameterises "finitely generated saturated extensions of U" and how they can be amalgamated independently. In general, the situation is much wilder, and the domination monoid need not even be well-defined. Nevertheless, this object has been used to formulate AKE-type results, can be computed in various natural examples, and there is heuristic evidence that well-definedness may hold under NIP. I will give an overview of the subject, present some results on these objects from my thesis, and talk about ongoing work with Martin Hils on the domination monoid in theories of valued fields.
11h15 - 12h: Léo Jimenez (Université Claude Bernard Lyon 1), Towards new structures without the CBP
The canonical base property (CBP) is a fine structural concept, appropriate for structures of finite Lascar rank. It has striking consequences, for example a simplified proof of the Zilber
trichotomy in differentially closed fields of characteristic zero. There is currently only one known example of a theory without the canonical base property, due to Palacín, Pillay and Hrushovski. In this talk, we will motivate the search for more counterexamples, describe some sufficient conditions for a theory to not have the CBP, and show how this could be used to obtain new counterexamples.
12h15 - 13h: Michael Lösch (Albert-Ludwigs-Universität Freiburg), Additive covers and the canonical base property
Iternality is a fundamental notion in geometric model theory in order to understand a theory in terms of its building blocks, its minimal types of rank 1. The Canonical Base Property (CBP) isolates a key notion behind various descent arguments for differential and difference varieties and states the following: Over a realization of a stationary type, its canonical base is almost internal to the family of all non-locally modular minimal types. Though many relevant examples of theories satisfy the CBP, Hrushovski, Palacín and Pillay produced an example of an uncountably categorical theory without the CBP.
Without assuming a strong familiarity with stability theory, I will present an alternative description of their counterexample in terms of additive covers of an algebraically closed field and give a new proof of the failure of the CBP, exploiting a notion which already appeared in Chatzidakis’ work on the UCBP. In the end I will sketch new additive covers without the CBP and connect this failure with the aforementioned notion.