01 March 2017, Queen Mary University of London
Lunch: People's Palace LG01
Talks: Engineering ENG3.24
– travel information
SEEMOD is South and East of England Model Theory network, connecting the University of East Anglia, Oxford University, Queen Mary University of London and other London universities.
Speakers
Sebastian Eterovic (Oxford)
David Evans (IC)
Charlotte Kestner (UCLan)
Jonathan Pila (Oxford)
Michael Wibmer (UPenn)
Registration and Funding
We ask the participants to register by emailing Ivan Tomasic by 22/02, because lunch will be provided.
Some money is available, particularly for PhD students, for travel expenses and to cover additional caring costs (e.g. childcare). Please contact Ivan Tomasic CC Jonathan Kirby in advance if you want to claim expenses.
Abstracts
Eterovic. Model Theory of Shimura Varieties
For every connected Shimura variety, we will construct a corresponding two-sorted structure. We are
Read on
For every connected Shimura variety, we will construct a corresponding two-sorted structure. We are interested in seeing if the theory of these structures is categorical. Following work done by Chrstopher Daw and Adam Harris for Shimura curves, we will see what statement about Shimura varieties is needed to obtain the categoricity result.
Hide abstract
Evans. Determining finite simple images of finitely presented groups
I will discuss joint work with Martin Bridson and Martin Liebeck which addresses the question:
Read on
I will discuss joint work with Martin Bridson and Martin Liebeck which addresses the question: for which collections of finite simple groups does there exist an algorithm that determines the images of an arbitrary finitely presented group that lie in the collection? We prove both positive and negative results. For a collection of finite simple groups that contains infinitely many alternating groups, or contains classical groups of unbounded dimensions, we prove that there is no such algorithm. On the other hand, for a collection of simple groups of fixed Lie type we obtain positive results by using the model theory of finite fields.
Hide abstract
Kestner. The definable (p,q)-theorem for distal theories.
I will start with an introduction to the definable (p,q)-conjecture for NIP theories. I will then go on to
Read on
I will start with an introduction to the definable (p,q)-conjecture for NIP theories. I will then go on to explain recent work showing the conjecture is true in distal theories. This is joint work with Gareth Boxall.
Hide abstract
Pila. Raising to the power i
We consider the multivalued function z^i through the Schanuel-Ax-Zilber
lens,
Read on
We consider the multivalued function z^i through the Schanuel-Ax-Zilber
lens, and prove a corresponding version of CIT.
Hide abstract
Wibmer. Torsors for difference algebraic groups
We introduce a cohomology set for groups defined by algebraic difference equations and show
Read on
We introduce a cohomology set for groups defined by algebraic difference equations and show that it classifies torsors. Based on this result we can explicitly describe all torsors for a large class of difference algebraic groups. This has applications in the Galois theory of differential equations. This is joint work with Annette Bachmayr.
Hide abstract
