L3

Open Riemann surfaces and the Weil-Petersson Poisson structure

Abstract available at: http://people.maths.ox.ac.uk/~kirby/LInnocente.pdf

Let T be a (one-sorted first order) geometric theory (so T

has infinite models, T eliminates "there exist infinitely many" and

algebraic closure gives a pregeometry). I shall present some results

about T_P, the theory of lovely pairs of models of T as defined by

Berenstein and Vassiliev following earlier work of Ben-Yaacov, Pillay

and Vassiliev, of van den Dries and of Poizat. I shall present

results concerning superrosiness, the independence property and

imaginaries. As far as the independence property is concerned, I

shall discuss the relationship with recent work of Gunaydin and

Hieronymi and of Berenstein, Dolich and Onshuus. I shall also discuss

an application to Belegradek and Zilber's theory of the real field

with a subgroup of the unit circle. As far as imaginaries are

concerned, I shall discuss an application of one of the general

results to imaginaries in pairs of algebraically closed fields,

adding to Pillay's work on that subject.

In 1993 in his paper "A new strongly minimal set" Hrushovski produced a family of counter examples to a conjecture by Zilber. Each one of these counter examples carry a pregeometry. We answer a question by Hrushovski about comparing these pregeometries and their localization to finite sets. We first analyse the pregeometries arising from different variations of the construction before the collapse. Then we compare the pregeometries of the family of new strongly minimal structures obtained after the collapse.

We present a topos-theoretic interpretation of (a categorical generalization of) Fraïssé's construction in Model Theory, with applications to countably categorical theories. The proof of our main theorem represents an instance of exploiting the interplay of syntactic, semantic and geometric ideas in the foundations of Topos Theory.