Leeds

I will describe joint work with Katrin Tent, in which we consider a profinite group equipped with a uniformly definable family of open subgroups. We show that if the family is `full’ (i.e. includes all open subgroups) then the group has NIP theory if and only if it has NTP_2 theory, if and only if it has an (open) normal subgroup of finite index which is a direct product of finitely many compact p-adic analytic groups (for distinct primes p). Without the `fullness’ assumption, if the group has NIP theory then it  has a prosoluble open normal subgroup of finite index.

The concept of pseudofinite dimension for ultraproducts of finite structures was introduced by Hrushovski and Wagner. In this talk, I will present joint work with D. Macpherson and C. Steinhorn in which we explored conditions on the (fine) pseudofinite dimension that guarantee simplicity or supersimplicity of the underlying theory of an ultraproduct of finite structures, as well as a characterization of forking in terms of droping of the pseudofinite dimension. Also, under a suitable assumption, it can be shown that a measure-theoretic condition is equivalent to loc

The prime spectrum of a quantum algebra has a finite stratification in terms
of a set of distinguished primes called H-primes, and we can study these
strata by passing to certain nice localizations of the algebra.  H-primes
are now starting to show up in some surprising new areas, including
combinatorics (totally nonnegative matrices) and physics, and we can borrow
techniques from these areas to answer questions about quantum algebras and
their localizations.    In particular, we can use Grassmann necklaces -- a
purely combinatorial construction -- to study the topological structure of
the prime spectrum of quantum matrices.

Standard commutative algebra is based on the notions of commutative monoid, Abelian group and commutative ring. In recent years, motivations from category theory, algebraic geometry, and mathematical logic led to the development of an area that may be called commutative 2-algebra, in which the notions used in commutative algebra are replaced by their category-theoretic counterparts (e.g. commutative monoids are replaced by  symmetric monoidal categories). The aim of this talk is to explain the analogy between standard commutative algebra and commutative 2-algebra, and to outline how this suggests counterparts of basic aspects of algebraic geometry. In particular, I will describe some joint work with Andre’ Joyal on operads and analytic functors in this context.

There is a tight fit between type theories à la Martin-Löf and constructive set theories such as Constructive Zermelo-Fraenkel set theory, CZF, and its extension as well as classical Kripke-Platek set theory and extensions thereof. The technology for determining their (exact) proof-theoretic strength was developed in the 1990s. The situation is rather different when it comes to type theories (with universes) having the impredicative type of propositions Prop from the Calculus of Constructions that features in some powerful proof assistants. Aczel's sets-as-types interpretation into these type theories gives rise to  rather unusual set-theoretic axioms: negative power set and negative separation. But it is not known how to determine the proof-theoretic strengths of intuitionistic set theories with such axioms via familiar classical set theories (though it is not difficult to see that ZFC plus infinitely many inaccessibles provides an upper bound). The first part of the talk will be a survey of known results from this area. The second part will be concerned with the rather special computational and proof-theoretic behavior of such theories.

We present some recent work - joint with Arno Fehm - in which we give an `existential Ax-Kochen-Ershov principle' for equicharacteristic henselian valued fields. More precisely, we show that the existential theory of such a valued field depends only on the existential theory of the residue field. In residue characteristic zero, this result is well-known and follows from the classical Ax-Kochen-Ershov Theorems. In arbitrary (but equal) characteristic, our proof uses F-V Kuhlmann's theory of tame fields. One corollary is an unconditional proof that the existential theory of F_q((t)) is decidable. We will explain how this relates to the earlier conditional proof of this result, due to Denef and Schoutens.
 

A 1-dimensional asymptotic class (Macpherson-Steinhorn) is a class of finite structures which satisfies the theorem of Chatzidakis-van den Dries-Macintyre about finite fields: definable sets are assigned a measure and dimension which gives the cardinality of the set asymptotically, and there are only finitely many dimensions and measures in any definable family. There are many examples of these classes, and they all have reasonably tame theories. Non-principal ultraproducts of these classes are supersimple of finite rank.

Recently this definition has been generalised to `Multidimensional Asymptotic Class' (joint work with Macpherson-Steinhorn-Wood). This is a much more flexible framework, suitable for multi-sorted structures. Examples are not necessarily simple. I will give conditions which imply simplicity/supersimplicity of non-principal ultraproducts.

An interesting example is the family of vector spaces over finite fields with a non-degenerate bilinear form (either alternating or symmetric). If there's time, I will explain some joint work with Kestner in which we look in detail at this class.

A pseudofinite group is an infinite model of the theory of finite groups. I will discuss what can be said about pseudofinite groups under various tameness assumptions on the theory (e.g. NIP, supersimplicity), structural results on pseudofinite permutation groups, and connections to word maps and generalisations.

Adaptive network models, in which node states and network topology coevolve, arise naturally in models of social dynamics that incorporate homophily and social influence. Homophily relates the similarity between pairs of agents' states to their network coupling strength, whilst social influence causes the convergence of coupled agents' states. In this talk, I will describe a deterministic adaptive network model of attitude formation in social groups that incorporates these effects, and in which the attitudinal dynamics are represented by an activator-inhibitor process. I will show that consensus, corresponding to all nodes adopting the same attitudinal state and being fully connected, may destabilise via Turing instability, giving rise to chaotic dynamics. For the case where there are just two agents, I will illustrate, using numerical continuation, how such chaotic dynamics arise.