Past Advanced Class Logic

The class of henselian valued fields with non-discrete value group is not well-understood. In 2018, Koenigsmann conjectured that a list of seven natural axioms describes a complete axiomatisation of Q_p^ab, the maximal extension of the p-adic numbers Q_p with abelian Galois group, which is an example of such a valued field. Informed by the recent work of Jahnke-Kartas on the model theory of perfectoid fields, we formulate an eighth axiom (the discriminant property) that is not a consequence of the other seven. Revisiting work by Koenigsmann (the Galois characterisation of Q_p) and Jahnke-Kartas, we give a uniform treatment of their underlying method. In particular, we highlight how this method can yield short, non-standard model-theoretic proofs of known results (e.g. finite extensions of perfectoid fields are perfectoid).

For a complete theory T, Lascar associated with it a Galois group which we call the Lacsar group. We will talk about some of my work on recovering the Lascar group as the fundamental group of Mod(T) and some recent progress in understanding the higher homotopy groups.

The local Kronecker-Weber theorem states that the maximal abelian extension of p-adic numbers Q_p is obtained from this field by adjoining all roots of unity. In 2018, Koenigsmann conjectured that the maximal abelian extension of Q_p is decidable. In my talk, we will discuss Koenigsmann's proposed axiomatisation. In contrast, the maximal unramified extension of Q_p is known to be decidable, admitting a complete axiomatisation by an informed but simple set of axioms (this is due to Kochen). We explain how the question of completeness can be reduced to an Ax-Kochen-Ershov result in residue characteristic 0 by the method of coarsening.

The Zilber-Pink Conjecture, which should rule the behaviour of intersections between an algebraic variety and a countable family of "special varieties", does not take into account double intersections; some results related to tangencies with special subvarieties have been obtained by Marché-Maurin in 2014 in the case of powers of the multiplicative group and by Corvaja-Demeio-Masser-Zannier in 2019 in the case of elliptic schemes. We prove that any algebraic curve contained in Y(1)^2 is tangent to finitely many modular curves, which are the one-codimensional special subvarieties. The proof uses the Pila-Zannier strategy: the Pila-Wilkie counting theorem is combined with a degree bound coming from a Weakly Bounded Height estimate. The seminar will be divided into two talks: in the first one, we will explain the general Zilber-Pink Conjecture philosophy, we will describe the main tools used in this context and we will see what the differences in the double intersection case are; in the second one, we will focus on the proofs and we will see how o-minimality plays a main role here. In the case of a curve in Y(1)^2, o-minimality is also used for height estimates (which are then ineffective, which is usually not the case).

The Zilber-Pink Conjecture, which should rule the behaviour of intersections between an algebraic variety and a countable family of "special varieties", does not take into account double intersections; some results related to tangencies with special subvarieties have been obtained by Marché-Maurin in 2014 in the case of powers of the multiplicative group and by Corvaja-Demeio-Masser-Zannier in 2019 in the case of elliptic schemes. We prove that any algebraic curve contained in Y(1)^2 is tangent to finitely many modular curves, which are the one-codimensional special subvarieties. The proof uses the Pila-Zannier strategy: the Pila-Wilkie counting theorem is combined with a degree bound coming from a Weakly Bounded Height estimate. The seminar will be divided into two talks: in the first one, we will explain the general Zilber-Pink Conjecture philosophy, we will describe the main tools used in this context and we will see what the differences in the double intersection case are; in the second one, we will focus on the proofs and we will see how o-minimality plays a main role here. In the case of a curve in Y(1)^2, o-minimality is also used for height estimates (which are then ineffective, which is usually not the case).

I will give an overview of new ideas showing up in arithmetic intersection theory based on some exciting talks that appeared at the very recent conference "Global invariants of arithmetic varieties". I will also outline connections to globally valued fields and some classical problems.

.. showing that a field K is isomorphic to Q if it has the same absolute Galois group and if it satisfies a very small additional condition (very similar to my talk 2 years ago).

What makes an intersection likely or unlikely? A simple dimension count shows that two varieties of dimension r and s are non "likely" to intersect if r < codim s, unless there are some special geometrical relations among them. A series of conjectures due to Bombieri-Masser-Zannier, Zilber and Pink rely on this philosophy. I will speak about a joint work with F. Barroero (Basel) in this framework in the special case of a curve in a family of elliptic curves. The proof is based on Pila-Zannier method, combining diophantine ingredients with a refinement of a theorem of Pila and Wilkie about counting rational points in sets definable in o-minimal structures.
   Everyone welcome!
 

Using results by Eisenbud, Schoutens and Zilber I will propose a model theoretic structure that aims to capture the algebra (or geometry) of a non reduced scheme over an algebraically closed field. 

Abstract: We will consider a model theoretic approach to Gelfand-Naimark duality, from the point of view of (generalized) Zariski structures. In particular we will show quantifier elimination for compact Hausdorff spaces in the natural Zariski language. Moreover we may see a slightly unusual construction and tweak to the language, which improves stability properties of the structures.
 

In this talk I will present some answers to the question when every specialisation from a \kappa-saturated extension of 
a Zariski structure is \kappa-universal? I will show that for algebraically closed fields, all specialisations from a \kappa-
saturated extension is \kappa-universal. More importantly, I will consider this question for finite and infinite covers of
Zariski structures. In these cases I will present a counterexample to show that there are covers of Zariski structures 
which have specialisations from a \kappa-saturated extension that are not \kappa-universal. I will present some natural 
conditions on the fibres under which all specialisations from a \kappa-saturated extension of a cover is \kappa-universal. 
I will explain how this work points towards a prospective Ladder Theorem for Specialisations and explain difficulties and 
further works that needs to be considered.
 

This will be a little potpourri containing some of the recent developments on the model theory of F_p((t)) and of algebraic extensions of Q_p.

 "We give a diophantine criterion for a polynomial with rational coefficients not to have any
rational zero, i.e. an existential formula in terms of the coefficients expressing this property. This can be seen as a kind of restricted
model-completeness for Q and answers a question of Koenigsmann."