Definability in the group of infinitesimals of a compact Lie group

Martin Bays, Ya'acov Peterzil

We show that for $G$ a simple compact Lie group, the infinitesimal subgroup $G^{00}$ is bi-intepretable with a real closed valued field. We deduce that for $G$ an infinite definabl…