Past Advanced Class Logic

Jochen Koenigsmann’s Habilitation introduced a classification of fields elementarily characterised by their absolute Galois groups, including two conjecturally empty families. The emptiness of one of these families would follow from a Galois cohomological conjecture concerning radically closed fields formulated by Koenigsmann. A promising approach to resolving this conjecture involves the use of local-global principles in Galois cohomology. This talk examines the conceptual foundations of this method, highlights its relevance to Koenigsmann’s classification, and evaluates existing local-global principles with regard to their applicability to this conjecture.

Please attend if you would like to give a talk in the Logic Advanced Class this term.

Solovay defined the inner model $L(\mathbb{R}, \mu)$ in the context of $\mathsf{AD}_{\mathbb{R}}$ by using it to define the supercompactness measure $\mu$ on $\mathcal{P}_{\omega_1}(\mathbb{R})$ naturally given by $\mathsf{AD}_{\mathbb{R}}$. Solovay speculated that stronger versions of this inner model should exist, corresponding to stronger versions of the measure $\mu$. Woodin, in his unpublished work, defined $\mu_{\infty}$ which is arguably the ultimate version of the supercompactness measure $\mu$ that Solovay had defined. I will talk about $\mu_{\infty}$ in the context of $\mathsf{AD}^+$ and the axiom $\mathsf{V} = \mathsf{Ultimate\ L}$.

https://woloszyn.org/

Does the limit construction for inverse systems of first-order structures preserve elementary equivalence? I will give sufficient conditions for when this is the case. Using Karp's theorem, we explain the connection between a syntactic and formal-semantic approach to inverse limits of structures. We use this to give a simple proof of van den Dries' AKE theorem (in ZFC), a general AKE theorem for mixed characteristic henselian valued fields with no assumptions on ramification. We also recall a seemingly forgotten result of Feferman, that can be interpreted as a "saturated" AKE theorem in positive characteristic: given two elementarily equivalent $\aleph_1$-saturated fields $k$ and $k'$, the formal power series rings $k[[t]]$ and $k'[[t]]$ are elementarily equivalent as well. We thus hope to popularise some ideas from categorical logic.

Consider definable sets over the family of finite fields $\mathbb{F}_q$. Ax proved a quantifier-elimination result for this theory, in a reasonable geometric language. Chatzidakis, Van den Dries and Macintyre showed that to a first-order approximation, the cardinality of a definable set $X$ is definable in a very mild expansion of Ax's theory.  Can such a statement be true of the next higher order approximation, i.e. can we write $|X(\mathbb{F}_q)| = aq^{d} + bq^{d-1/2} + o(q^{d-1/2})$, with $d,a,b$ varying definably with $X$ in a tame theory?    Here $b$ must be viewed as real-valued so continuous logic is needed. I will report on joint work in progress with Will Johnson.

I will report on a joint work with Pablo Destic and Nuno Hultberg, about some applications of Globally Valued Fields (GVFs) and I will describe a density result that we needed, which turns out to be connected to Riemann-Zariski and Berkovich spaces.

I will present a recent work with G. Kocharyan, where we show the undecidability of the following two problems: given a finitely generated subgroup G of GL(n,Q), a) determine whether G has a non-identity element whose (i,j) entry is equal to zero, and b) determine whether the stabilizer of a given vector in G is non-trivial. Undecidability of problem b) answers a question of Dixon from 1985. The proofs reduce to the undecidability of the word problem for finitely presented groups.

Motivated by work of Hrushovski on pseudofinite fields with an additive character we investigate the theory ACFA+ which is the model companion of the theory of difference fields with an additive character on the fixed field. Building on results by Hrushovski we can recover it as the characteristic 0-asymptotic theory of the algebraic closure of finite fields with the Frobenius-automorphism and the standard character on the fixed field. We characterise 3-amalgamation in ACFA+. As cosequences we obtain that ACFA+ is a simple theory, an explicit description of the connected component of the Kim-Pillay group and (weak) elimination of imaginaries. If time permits we present some results on higher amalgamation.

We will decide on speakers for Trinity term 2024.

I will talk about some model-theoretic properties of Booleanizations of theories, subdirect products of structures, and sheaves of structures. I will discuss a result of Macintyre from 1973 on model-completeness, and more recent results jointly with Ehud Hrushovski and with Angus Macintyre.

I will discuss aspects of some work in progress with Tingxiang Zou, in which we continue the investigation of pseudofinite sets coarsely respecting structures of algebraic geometry, focusing on algebraic group actions. Using a version of Balog-Szemerédi-Gowers-Tao for group actions, we find quite weak hypotheses which rule out non-abelian group actions, and we are applying this to obtain new Elekes-Szabó results in which the general position hypothesis is fully weakened in one co-ordinate.

This talk is based on a joint work with Vincent Jinhe Ye. I will define various classes of hyperbolic varieties (Broody hyperbolic, algebraically hyperbolic, bounded, groupless) and discuss existence of model companions of classes of fields that exclude them. This is related to moduli spaces of maps to hyperbolic varieties and to the (open) question whether the above mentioned hyperbolicity notions are in fact equivalent.

Let q be a prime power and let C be a smooth curve defined over F_q. The number of points of C over the finite extensions of F_q are determined by the Zeta function of C, which can be written in the form P_C(t)/((1-t)(1-qt)), where P_C(t) is a polynomial of degree 2g and g is the genus of C; this is often called the L-polynomial of C. We use a Chebotarev-like statement (over function fields instead of Z) due to Katz in order to study the distribution, as C varies, of the coefficients of P_C(t) in a non-archimedean setting.

This is a pre-seminar meeting for Margaret Bilu's talk "A motivic circle method", which takes place later in the day at 5PM in L3.

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).