SEEMOD Workshop 4

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.

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.

Sebastian Eterovic (Oxford)

David Evans (IC)

Charlotte Kestner (UCLan)

Jonathan Pila (Oxford)

Michael Wibmer (UPenn)

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.

12:00—13:00
13:00—13:40
13:45—14:35
14:40—15:30
15:30—16:00
16:00—16:50
16:55—17:45

Eterovic

Wibmer

Pila

Kestner

Evans

Jonathan Kirby (UEA)

Ivan Tomasic (QMUL)

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

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

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

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

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

The workshop is supported by an LMS Scheme 3 grant and by the School of Mathematical Sciences at QMUL.

Jonathan Kirby (UEA), principal node

Ivan Tomasic (QMUL)

Boris Zilber (Oxford)

i.tomasic__at__qmul.ac.uk

jonathan.kirby__at__uea.ac.uk