Je commencerai par présenter les résultats basiques de la théorie des modèles des corps ?Roedifférentiellement clos?Roe au sens des dérivations de Hasse en toute caractéristique.Ensuite j'introduirai les notions de D-prolongations et de D-structures sur une variété, pour D une dérivation de Hasse, et expliquerai les liens avec des théorèmes de descente sur le corps des constantes. Ce contexte nous permettra de ?Roerevisiter?R avec un point de vue différent certaines des notions que j'avais introduites lors de mon exposé du 19 novembre à ce même séminaire ou qui avaient été évoquées […]

Let K be a discretely valued field with perfect residue field k. Let G be a semi-abelian variety over K, i.e., an extension of an abelian K-variety A by a K-torus T. The Néron lft-model of G is the minimal extension of G to a smooth group scheme over the value ring of K. We say that G has semi-abelian reduction if the identity component of the special fiber of the Néron lft-model of G is a semi-abelian k-variety. By Grothendieck's Semi-Stable Reduction Theorem, G acquires semi-abelian reduction over some […]

Hilbert's fifth problem asks whether every locally euclidean group G can be equipped with a real analytic structure (compatible with the topology) so that the group operations become real analytic

I will survey some results on definable groups in o-minimal structures, some old, some new, emphasizing the interplay between algebra, logic, and topology. In particular I will show how a combination of techniques from model theory and algebraic topology lead to the determination of the definable homeomorphism type of definable abelian groups in dimension not equal to 4 (joint work with E. Baro). If time permits, I will consider the problem of finding a tame definable context, larger than o-minimality, which is suitable for the study of universal covers (work […]

Le groupe de Cremona Crn(C) est le groupe des transformations birationnelles de Cn. Au contraire des groupes de matrices, on ne sait pas, si n?oo2, s'il possède des sous-groupes de type fini non résiduellement finis. Je montrerai une version faible dans cette direction: il est sofique, c'est-à-dire approximable, en un sens convenable, par des groupes finis (notion introduite par M. Gromov et B. Weiss). J'introduirai en détail toutes les notions utilisées.