SEEMOD Workshop 2

19 April 2016, Maths Lecture Theatre,
School of Mathematical Sciences, Queen Mary University of London – 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.

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.

Jonathan Kirby (UEA)

Jochen Koenigsmann (Oxford)

Martin Orr (IC)

Tamara Servi (Paris 7)

Lubna Shaheen (Oxford)

We ask the participants to register by emailing Ivan Tomasic by 12/04, 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.

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

Orr

Shaheen

Kirby

Servi

Koenigsmann

Drinks at the SCR Bar following the talks (optional).

Dinner at The Morgan Arms pub from 18:30.

David Evans (IC)

Jonathan Kirby (UEA)

Ivan Tomasic (QMUL)

Boris Zilber (Oxford)

Zilber conjectured that the complex exponential field Cexp is quasiminimal. He later showed
Read on

Zilber conjectured that the complex exponential field Cexp is quasiminimal. He later showed that if Schanuel's conjecture is true and Cexp is strongly exponentially-algebraically closed then his conjecture holds. I will report on work-in-progress showing that Schanuel's conjecture can be dropped as an assumption, and strong exponential-algebraic closedness can be weakened to exponential-algebraic closedness. This is joint work with Martin Bays.
Hide abstract

Classical model theory of non-archimedean local fields has regained momentum in recent years.
Read on

Classical model theory of non-archimedean local fields has regained momentum in recent years. We will highlight some of the new developments on issues of definability and decidability originating from old open problems, but with a view towards new arithmetically compelling challenges.
Hide abstract

The Pila-Wilkie counting theorem counts rational points in a set X definable in an o-minimal structure.
Read on

The Pila-Wilkie counting theorem counts rational points in a set X definable in an o-minimal structure. In this talk, I will present an extension of this theorem (due to Pila) which counts intersections between X and affine spaces defined over the rational numbers. I will then discuss applications of Pila's theorem to unlikely intersections in tori, abelian varieties and Shimura varieties.
Hide abstract

The aim of this project is to attach a geometric structure to the ring of integers and to understand Spec(Z)
Read on

The aim of this project is to attach a geometric structure to the ring of integers and to understand Spec (Z) from the point of view of stability theory. In his paper "The notion of dimension in geometry and algebra" Y.I. Manin asked several questions about the dimension of Spec(Z). Recently A.Connes and C.Consani published an important paper which introduces a much more complex structure called the arithmetic site which includes Spec(Z). Our approach for the same purpose is based on the generalization of constructions applied by Boris Zilber in non-commutative (and commutative) algebraic geometry.
We describe a category of certain representations of integral extensions of Z and establish its tight connection with the space of elementary theories of pseudo-finite fields. From model-theoretic point of view the category of representations is a multi-sorted structure which we prove to be super-stable with pre-geometry of trivial type. It comes as some surprise that a structure like this can code a rich mathematics of pseudo-finite fields. We formally have answered two of Manin's questions about Dimension of Spec(Z) being 1 and infinity.
Hide abstract

We prove the stability under integration and under Fourier transform of a concrete class E of functions,
Read on

We prove the stability under integration and under Fourier transform of a concrete class E of functions, containing all globally subanalytic functions and their complex exponentials. The class E is a system of algebras of which we describe explicitly the generators. The methods of proof pertain to o-minimality (in particular, subanalytic resolution of singularities) and to the theory of almost periodic functions. This provides an example of a fruitful interaction between singularity theory, o-minimality and analysis.
Joint work with R. Cluckers, G. Comte, D. Miller and J.-P. Rolin.
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