Séminaires : Géométrie et Théorie des Modèles

Equipe(s) : lm,
Responsables :Zoé Chatzidakis, Raf Cluckers, Georges Comte
Email des responsables : zoe.chatzidakis@imj-prg.fr
Salle :
Adresse :
Description

http://gtm.imj-prg.fr/

 

Pour recevoir le programme par e-mail, écrivez à : zoe.chatzidakis@imj-prg.fr
Pour les personnes ne connaissant pas du tout de théorie des modèles, des notes introduisant les notions de base (formules, ensembles définissables, théorème de compacité, etc.) sont disponibles ici : https://webusers.imj-prg.fr/~zoe.chatzidakis/papiers/MTluminy.dvi/MTluminy.dvi. Ces personnes peuvent aussi consulter les premiers chapitres du livre Model Theory and Algebraic Geometry, E. Bouscaren ed., Springer Verlag, Lecture Notes in Mathematics 1696, Berlin 1998.Retour ligne automatique
Les notes de quelques-uns des exposés sont disponibles.

Orateur(s) Martin Bays - Münster,
Titre Definability in the infinitesimal subgroup of a simple compact Lie group
Date11/01/2019
Horaire14:15 à 15:45
Diffusion
RésumeJoint work with Kobi Peterzil.
Let G be a simple compact Lie group, for example G=SO_3(R). We consider the structure of definable sets in the subgroup G^00 of infinitesimal elements. In an aleph_0-saturated elementary extension of the real field, G^00 is the inverse image of the identity under the standard part map, so is definable in the corresponding valued field. We show that the pure group structure on G^00 recovers the valued field, making this a bi-interpretation. Hence the definable sets in the group are as rich as possible.

Salle
Adresse
© IMJ-PRG