Definability in the infinitesimal subgroup of a compact Lie group

par Martin Bays (Universität Münster)

jeudi 14 mars 2019, 10:30 → 11:30 Europe/Paris

Salle 112 Bât Braconnier

Joint work with Kobi Peterzil.
Let G be a simple compact Lie group, say G=SO_3(R).
The infinitesimal neighbourhood of the identity is a subgroup G^00 <= SO_3(*R), definable in the corresponding real closed valued field. We consider the question of how much G^00, as a pure group, is able to define -- and in particular, whether it is aware that it is G^00.