Linéarité des groupes définissables dans une structure o-minimale

par Olivier Frécon (Université de Poitiers)

jeudi 8 déc. 2016, 10:30 → 11:30 Europe/Paris

Salle 112 (ICJ, bât. Braconnier, UCBL - La Doua)

Dans cet exposé, on considère un groupe G définissablement connexe et définissable dans une structure o-minimale quelconque M. D'un côté, si G est sans centre, un théorème bien connu de Peterzil, Pillay et Starchenko montre que G est un produit direct de groupes simples semi-algébriques sur des corps réels clos. D'un autre côté, si M est une expansion d'un corps réel clos R, un théorème d'Otero, Peterzil et Pillay dit que G/Z(G) est définissablement linéaire sur R.

L'objet de cet exposé est de montrer comment on peut unifier ces deux résultats. Certaines idées venant de la théories des groupes de rang de Morley fini sont utilisées.

En outre, ce résultat permet de généraliser la décomposition de Lévi donnée par Conversano et Pillay dans le cas où M est une expansion d'un corps réel clos, au cas où M est arbitraire.