# Definability in the group of infinitesimals of a compact Lie group

M. Bays & Y. Peterzil

###### Abstract

We show that for $G$ a simple compact Lie group, the infinitesimal subgroup
${G^{00}}$ is bi-interpretable with a real closed convexly valued field. We
deduce that for $G$ an infinite definably compact group definable in an
o-minimal expansion of a field, ${G^{00}}$ is bi-interpretable with the
disjoint union of a (possibly trivial) $\mathbb{Q}$-vector space and finitely
many (possibly zero) real closed valued fields. We also describe the
isomorphisms between such infinitesimal subgroups, and along the way prove
that every definable field in a real closed convexly valued field $R$ is
definably isomorphic to $R$.

##  1 Introduction

Let $G$ be compact linear Lie group, by which we mean a compact closed Lie
subgroup of $\operatorname{GL}_{d}(\mathbb{R})$ for some $d\in\mathbb{N}$,
e.g. $G=SO_{d}(\mathbb{R})$. By Fact 2.1(i) below, any compact Lie group is
isomorphic to a linear Lie group.

Let $\mathcal{R}\succ\mathbb{R}$ be a real closed field properly extending the
real field. By Fact 2.1(ii), $G$ is the group of $\mathbb{R}$-points of an
algebraic subgroup of $\operatorname{GL}_{d}$ over $\mathbb{R}$, and we write
$G(\mathcal{R})\leq\operatorname{GL}_{d}(\mathcal{R})$ for the
$\mathcal{R}$-points of this algebraic group.

Let $\operatorname{st}:\mathcal{O}\rightarrow\mathbb{R}$ be the standard part
map, the domain
$\mathcal{O}=\bigcup_{n\in\mathbb{N}}[-n,n]\subseteq\mathcal{R}$ of which is a
valuation ring in $\mathcal{R}$. Let

$\mathfrak{m}=\operatorname{st}^{-1}(0)=\bigcap_{n\in\mathbb{N}_{>0}}[{-\frac{1}{n},\frac{1}{n}}]\subseteq\mathcal{R}$

be the maximal ideal of $\mathcal{O}$. A field equipped with a valuation ring,
such as $(\mathcal{R};+,\cdot,\mathcal{O})$, is known as a valued field. The
complete first-order theory of $(\mathcal{R};+,\cdot,\mathcal{O})$ is the
theory $\operatorname{RCVF}$ of non-trivially convexly valued real closed
fields [4].

Since $G$ is compact, $\operatorname{st}:\mathcal{O}\rightarrow\mathbb{R}$
induces a totally defined homomorphism
$\operatorname{st}_{G}:G(\mathcal{R})\twoheadrightarrow G$. The kernel
$\ker(\operatorname{st}_{G})\triangleleft G$ is the “infinitesimal subgroup”
of $G$ in $\mathcal{R}$. Our main results below describe definability in this
group.

In fact, by Fact 5.3(iv) below, $\ker(\operatorname{st}_{G})$ is precisely
${G^{00}}(\mathcal{R})$, the set of $\mathcal{R}$-points of the smallest
bounded-index $\bigwedge$-definable subgroup ${G^{00}}$ of the semialgebraic
group $G$. In terms of matrices,

${G^{00}}(\mathcal{R})=G(\mathcal{R})\cap(I+\operatorname{Mat}_{d}(\mathfrak{m}))=\bigcap_{n\in\mathbb{N}_{>0}}(G(\mathcal{R})\cap(I+\operatorname{Mat}_{d}([-\frac{1}{n},\frac{1}{n}]))$
(1)

(where we write $\operatorname{Mat}_{d}(X)$ for the set of matrices with
entries in a set $X\subseteq\mathcal{R}$). Note in particular that
${G^{00}}(\mathcal{R})$ is definable in the valued field
$(\mathcal{R};+,\cdot,\mathcal{O})$.

We adopt the convention that “definable” always means definable with
parameters: a definable set in a structure $\mathcal{A}=(A;\ldots)$ is a
subset of a Cartesian power $A^{n}$ defined by a first-order formula in the
language of $\mathcal{A}$ with parameters from $A$.

Recall that an interpretation of a (one-sorted) structure $\mathcal{A}$ in a
structure $\mathcal{B}$ is a bijection of the universe of $\mathcal{A}$ with a
definable set in $\mathcal{B}$, or more generally with the quotient of a
definable set by a definable equivalence relation, such that the image of any
definable set in $\mathcal{A}$ is definable in $\mathcal{B}$. A definition of
$\mathcal{A}$ in $\mathcal{B}$ is an interpretation whose codomain is a
definable set rather than a definable quotient; in fact, these are the only
interpretations which will arise in the main results of this article. There is
an obvious notion of composition of interpretations. A pair of interpretations
of $\mathcal{A}$ in $\mathcal{B}$ and of $\mathcal{B}$ in $\mathcal{A}$ form a
bi-interpretation if the composed interpretations of $\mathcal{A}$ in
$\mathcal{A}$ and of $\mathcal{B}$ in $\mathcal{B}$ are definable maps in
$\mathcal{A}$ and $\mathcal{B}$ respectively. If $\mathcal{A}$ and
$\mathcal{B}$ are bi-interpretable, then the structure induced by
$\mathcal{B}$ on the image of $\mathcal{A}$ is precisely the structure of
$\mathcal{A}$, i.e. the definable sets are the same whether viewed in
$\mathcal{A}$ or in $\mathcal{B}$. Indeed, if $(f,g)$ is a bi-interpretation,
then given a subset $X\subseteq\mathcal{A}^{n}$, if $X$ is
$\mathcal{A}$-definable then $f(X)$ is $\mathcal{B}$-definable, and conversely
if $f(X)$ is $\mathcal{B}$-definable then $g(f(X))$ and hence $X$ is
$\mathcal{A}$-definable.

We adopt the following terminology throughout the paper. A linear Lie group is
a closed Lie subgroup of $\operatorname{GL}_{d}(\mathbb{R})$ for some
$d\in\mathbb{N}$. A Lie group is simple if it is connected and its Lie algebra
is simple; a Lie algebra is simple if it is non-abelian and has no proper non-
trivial ideal. (A simple Lie group may have non-trivial discrete centre;
however, the underlying abstract group of a centreless simple Lie group is
simple.) Our first main result describes definability in
${G^{00}}(\mathcal{R})$ for $G$ simple:

######  Theorem 1.1.

Let $G$ be a simple compact linear Lie group.

Let $\mathcal{R}\succ\mathbb{R}$ be a proper real closed field extension of
$\mathbb{R}$.

Then the inclusion
$\iota:{G^{00}}(\mathcal{R})\lhook\joinrel\relbar\joinrel\rightarrow
G(\mathcal{R})$, viewed as a definition of the group
$({G^{00}}(\mathcal{R});*)$ in the valued field
$(\mathcal{R};+,\cdot,\mathcal{O})$, can be extended to a bi-interpretation:
there is a definition $\theta$ of the valued field
$(\mathcal{R};+,\cdot,\mathcal{O})$ in the group $({G^{00}}(\mathcal{R});*)$
such that the pair $(\iota,\theta)$ form a bi-interpretation.

In particular, the $({G^{00}}(\mathcal{R});*)$-definable subsets of powers
$({G^{00}}(\mathcal{R}))^{n}$ are precisely the
$(\mathcal{R};+,\cdot,\mathcal{O})$-definable subsets.

######  Remark 1.2.

The bi-interpretation of Theorem 1.1 requires parameters. Indeed,
${G^{00}}(\mathcal{R})$ has non-trivial inner automorphisms (this follows from
Lemma 2.2 below), which under a hypothetical parameter-free bi-interpretation
would induce definable non-trivial automorphisms of
$(\mathcal{R};+,\cdot,\mathcal{O})$.

However, no such automorphism exists. We sketch a proof of this, following a
method suggested by Martin Hils. By Fact 4.1(1), if $\sigma$ is an
$(\mathcal{R};+,\cdot,\mathcal{O})$-definable automorphism, then it agrees on
some infinite interval $I$ with an $(\mathcal{R};+,\cdot)$-definable map $f$.
But then for $a,b,c,d\in I$ with $c\neq d$,
$\sigma(\frac{a-b}{c-d})=\frac{\sigma(a)-\sigma(b)}{\sigma(c)-\sigma(d)}=\frac{f(a)-f(b)}{f(c)-f(d)}$,
so $\sigma$ is an $(\mathcal{R};+,\cdot)$-definable field automorphism, thus
$\sigma=\operatorname{id}$.

######  Remark 1.3.

For $G$ a simple centreless compact Lie group, Nesin and Pillay [14] showed
that the group itself, $(G;*)$, is bi-interpretable with a real closed field.
They interpret the field by finding a copy of $(\operatorname{SO}_{3};*)$ and
using the geometry of its involutions. A similar project is carried out in
[18] for definably simple and semisimple groups in o-minimal structures. In
the case of ${G^{00}}$, we also find a field by first finding a copy of
$\operatorname{SO}_{3}^{00}$, but the “global” approach of considering
involutions is not available; in fact ${G^{00}}$ is torsion-free. Instead, we
work “locally”, and obtain the field by applying the o-minimal trichotomy
theorem to a definable interval on a curve within
$\operatorname{SO}_{3}^{00}$. This kind of local approach was previously
mentioned in an “added in proof” remark at the end of [18] as an alternative
method for the case of $(G;*)$, but we have to take care to ensure that
structure we apply trichotomy to is definable both o-minimally and in
$({G^{00}};*)$.

######  Remark 1.4.

One might also consider “smaller” infinitesimal neighbourhoods corresponding
to larger valuation rings $\mathcal{O}^{\prime}\supsetneq\mathcal{O}$; Theorem
1.1 holds for these too. More generally, if
$(\mathcal{R}^{\prime};+,\cdot,\mathcal{O}^{\prime})\vDash\operatorname{RCVF}$
extends $\mathbb{R}$ as an ordered field, then the group
$G(\mathcal{R})\cap\operatorname{Mat}_{n}(\mu^{\prime})$ is bi-interpretable
as in Theorem 1.1 with $(\mathcal{R}^{\prime};+,\cdot,\mathcal{O}^{\prime})$.
Indeed, the existence of suitable parameters for the bi-interpretation is
expressed by a sentence in $\operatorname{RCVF}$ with parameters in
$\mathbb{R}$, and since $\operatorname{RCVF}$ is complete we can apply Theorem
1.1 to deduce the result.

We prove Theorem 1.1 in §3.

In §4, we deduce in the spirit of Borel-Tits a characterisation of the group
isomorphisms of groups of the form ${G^{00}}$, decomposing them as
compositions of valued field isomorphisms and isomorphisms induced by
isomorphisms of Lie groups. In particular, this shows that simple compact
$G_{1}$ and $G_{2}$ have isomorphic infinitesimal subgroups if and only if
they have isomorphic Lie algebras. The key technical tool is Theorem 4.2,
which shows that there are no unexpected fields definable in
$\operatorname{RCVF}=\operatorname{Th}(\mathcal{R};+,\cdot,\mathcal{O})$.

In §5, we generalise Theorem 1.1 to the setting of a definably compact group
$G$ definable in an o-minimal expansion of a field. Here, to say that $G$ is
_definably compact_ means that any definable continuous map $[0,1)\rightarrow
G$ can be completed to a continuous map $[0,1]\rightarrow G$; we refer to [20]
for further details on this notion.

Define the disjoint union of 1-sorted structures $M_{i}$ to be the structure
$(M_{i})_{i}$ consisting of a sort for each $M_{i}$ equipped with its own
structure, with no further structure between the sorts.

######  Theorem 1.5.

Let $(G;*)$ be an infinite definably compact group definable in a sufficiently
saturated o-minimal expansion $M$ of a field. Then $({G^{00}}(M);*)$ is bi-
interpretable with the disjoint union of a (possibly trivial) divisible
torsion-free abelian group and finitely many (possibly zero) real closed
convexly valued fields.

To indicate why this is the correct statement, let us note that it can not be
strengthened to bi-interpretability with a single real closed valued field as
in Theorem 1.1: one reason is that $G$ could be commutative, and then
$({G^{00}};*)$ is just a divisible torsion free abelian group and thus does
not even define a field; another reason is that groups are orthogonal in their
direct product, so e.g. if $G=H\times H$ for a semialgebraic compact group $H$
then, viewing ${G^{00}}$ as a definable set in a valued field
$(\mathcal{R};+,\cdot,\mathcal{O})$ as above, the diagonal subgroup of
${G^{00}}(\mathcal{R})={H^{00}}(\mathcal{R})\times{H^{00}}(\mathcal{R})$ is
$(\mathcal{R};+,\cdot,\mathcal{O})$-definable but not
$({G^{00}}(\mathcal{R});*)$-definable.

Note that Theorem 1.5 applies in particular to an arbitrary compact linear Lie
group, since by Fact 2.1(ii) any such group is definable in the real field,
and is definably compact.

###  1.1 Acknowledgements

We would like to thank Mohammed Bardestani, Alessandro Berarducci, Emmanuel
Breuillard, Itay Kaplan, and Martin Hils for useful discussion. We would also
like to thank the Institut Henri Poincaré and the organisers of the trimester
“Model theory, combinatorics and valued fields”, where some of this work was
done. We also thank the anonymous referee for suggestions which improved the
presentation of this paper substantially. Greg Cherlin and Ali Nesin, on
different occasions, have asked about the abstract group structure of the
infinitesimal subgroup of a compact simple Lie group. This article can be seen
as a partial answer to their questions. Finally, we would like to mention the
following question of Itay Kaplan which initiated the discussions which led to
our results (even though our results have in the end almost nothing to do with
the question): is any $\bigwedge$-definable field in an NIP theory itself NIP
as a pure field?

##  2 Preliminaries

###  2.1 Notation

We consider $\mathcal{R}$ and $\mathbb{R}$ as fields and
${G^{00}}(\mathcal{R})$ as a group, thus “${G^{00}}(\mathcal{R})$-definable”
means definable in the pure group $({G^{00}}(\mathcal{R});*)$, and
“$\mathcal{R}$-definable” means definable in the field
$(\mathcal{R};+,\cdot)$, while we write
“$(\mathcal{R};\mathcal{O})$-definable” for definability in the valued field
$(\mathcal{R};+,\cdot,\mathcal{O})$.

We use exponential notation for group conjugation, $g^{h}:=hgh^{-1}$. We write
group commutators as $(a,b):=aba^{-1}b^{-1}$, reserving $[X,Y]$ for the Lie
bracket. For $G$ a group, we write $(G,G)_{1}$ for the set of commutators in
$G$, $(G,G)_{1}:=\\{(g,h):g,h\in G\\}$, and we write $(G,G)$ for the
commutator subgroup, the subgroup generated by $(G,G)_{1}$.

For $G$ a group and $A$ a subset, we write the centraliser of $A$ in $G$ as
$C_{G}(A)=\\{g\in G:\forall a\in A.\;(g,a)=e\\}$, and we write $Z(G)$ for the
centre $Z(G)=C_{G}(G)$. Similarly for $\mathfrak{g}$ a Lie algebra and $A$ a
subset, we write the centraliser of $A$ in $\mathfrak{g}$ as
$C_{\mathfrak{g}}(A)=\\{X\in\mathfrak{g}:\forall Y\in A.\;[X,Y]=0\\}$. We
write $C_{G}(g)$ for $C_{G}(\\{g\\})$ and $C_{\mathfrak{g}}(X)$ for
$C_{\mathfrak{g}}(\\{X\\})$.

###  2.2 Compact Lie groups

Proofs of the statements in the following Fact can be found in [15] as Theorem
5.2.10 and Theorem 3.4.5 respectively.

######  Fact 2.1 (Chevalley).

  1. (i)

Any compact Lie group $G$ is linear; that is, $G$ is isomorphic to a Lie
subgroup of $\operatorname{GL}_{d}(\mathbb{R})$ for some $d$.

  2. (ii)

Compact linear groups are algebraic; that is, any compact subgroup of any
$\operatorname{GL}_{d}(\mathbb{R})$ is of the form $G(\mathbb{R})$ for some
algebraic subgroup $G\leq\operatorname{GL}_{d}$ over $\mathbb{R}$.

######  Lemma 2.2.

Suppose $H$ is a connected closed Lie subgroup of a compact linear Lie group
$G$.

Then
$C_{G(\mathcal{R})}(H(\mathcal{R}))=C_{G(\mathcal{R})}(H^{00}(\mathcal{R}))$.

###### Proof.

Since $G$ and $H$ are algebraic by Fact 2.1(ii), the conclusion can be
expressed as a first-order sentence in the complete theory
$\operatorname{RCVF}_{\mathbb{R}}$ of a non-trivially convexly valued real
closed field extension $(\mathcal{R};+,\cdot,\mathcal{O})$ of the trivially
valued field $\mathbb{R}$, so we may assume without loss that $\mathcal{R}$ is
$\aleph_{1}$-saturated.

Suppose $x\in C_{G(\mathcal{R})}(H^{00}(\mathcal{R}))$. It follows from
$\aleph_{1}$-saturation of $\mathcal{R}$ that $x\in
C_{G(\mathcal{R})}(U(\mathcal{R}))$ for some $\mathbb{R}$-definable
neighbourhood of the identity $U\subseteq H$, since $H^{00}(\mathcal{R})$ is
the intersection of such (e.g. as in (1)). Now we could argue from general
results on o-minimal groups (see [21, Lemma 2.11]) and connectedness that
$C_{G(\mathcal{R})}(U(\mathcal{R}))=C_{G(\mathcal{R})}(H(\mathcal{R}))$, but
we can also argue directly as follows. $H$ is compact and connected, thus is
generated in finitely many steps from $U$. Since $\mathcal{R}$ is an
elementary extension of $\mathbb{R}$, it follows that $H(\mathcal{R})$ is
generated by $U(\mathcal{R})$. Hence $x\in
C_{G(\mathcal{R})}(H(\mathcal{R}))$. ∎

###  2.3 $\operatorname{SO}(3)$

We recall some elementary facts about the group of spatial rotations
$\operatorname{SO}(3)=\operatorname{SO}_{3}(\mathbb{R})$, its universal cover
$\operatorname{Spin}(3)$, and their common Lie algebra $\mathfrak{so}(3)$, as
discussed in e.g. [26, Chapter 6].

Any rotation $g\in\operatorname{SO}(3)$ can be completely described as a
planar rotation $\alpha\in\operatorname{SO}(2)$ around an axis $L$, where $L$
is a ray from the origin in $\mathbb{R}^{3}$. We can identify such a ray $L$
with the unique element of the unit sphere $S^{2}$ which lies on the ray.
Writing $\rho:\operatorname{SO}(2)\times
S^{2}\twoheadrightarrow\operatorname{SO}(3)$ for the corresponding map, the
only ambiguities in this description are that
$\rho(\alpha,L)=\rho(-\alpha,-L)$, and the trivial rotation is $e=\rho(0,L)$
for any $L$. The centraliser in $\operatorname{SO}(3)$ of a non-trivial non-
involutary rotation $g=\rho(\alpha,L)$, $2\alpha\neq 0$, is the subgroup
$C_{\operatorname{SO}(3)}(g)=\rho(\operatorname{SO}(2),L)\cong\operatorname{SO}(2)$
of rotations around $L$. The conjugation action of $\operatorname{SO}(3)$ on
itself is by rotation of the axis: $\rho(\alpha,L)^{g}=\rho(\alpha,gL)$, where
$gL$ is the image of $L$ under the canonical (matrix) left action of $g$ on
$\mathbb{R}^{3}$. The map $\rho$ is continuous and $\mathbb{R}$-definable.

This description transfers to non-standard rotations: given
$\mathcal{R}\succ\mathbb{R}$, $\rho$ extends to a map
$\rho:\operatorname{SO}_{2}(\mathcal{R})\times
S^{2}(\mathcal{R})\twoheadrightarrow\operatorname{SO}_{3}(\mathcal{R})$. The
infinitesimal rotations are then the rotations about any (non-standard) axis
by an infinitesimal angle; i.e. $\rho$ restricts to a map
$\operatorname{SO}_{2}^{00}(\mathcal{R})\times
S^{2}(\mathcal{R})\twoheadrightarrow\operatorname{SO}_{3}^{00}(\mathcal{R})$.

The universal group cover of $\operatorname{SO}(3)$ is denoted
$\operatorname{Spin}(3)$; the corresponding continuous covering homomorphism
$\pi:\operatorname{Spin}(3)\rightarrow\operatorname{SO}(3)$ is a local
isomorphism with kernel
$Z(\operatorname{Spin}(3))\cong\pi_{1}(\operatorname{SO}(3))\cong\mathbb{Z}/2\mathbb{Z}$.
Since $\operatorname{Spin}(3)$ is compact, by Fact 2.1(i) we may represent it
as $\operatorname{Spin}(3)=\operatorname{Spin}_{3}(\mathbb{R})$ where
$\operatorname{Spin}_{3}$ is a linear Lie group. Since $\pi$ is an
$\mathbb{R}$-definable local isomorphism, it induces an isomorphism of Lie
algebras and an isomorphism of infinitesimal subgroups
$\operatorname{Spin}_{3}^{00}(\mathcal{R})\cong\operatorname{SO}_{3}^{00}(\mathcal{R})$,
with respect to which the action by conjugation of
$g\in\operatorname{Spin}_{3}(\mathcal{R})$ on
$\operatorname{Spin}_{3}^{00}(\mathcal{R})$ agrees with the action by
conjugation of $\pi(g)$ on $\operatorname{SO}_{3}^{00}(\mathcal{R})$.

The Lie algebra $\mathfrak{so}(3)\cong\mathfrak{su}(2)$ has $\mathbb{R}$-basis
$\\{H,U,V\\}$ and bracket relations

$[U,V]=H,\;[H,U]=V,\;[V,H]=U.$ (2)

The adjoint action $\operatorname{Ad}$ of $g\in\operatorname{SO}(3)$ on
$\mathfrak{so}(3)$ is by the left matrix action with respect to this basis,
$\operatorname{Ad}_{g}(X)=gX$, and similarly for $g\in\operatorname{Spin}(3)$
the adjoint representation is $\pi$, i.e. $\operatorname{Ad}_{g}(X)=\pi(g)X$.

###  2.4 Lie theory in o-minimal structures

We recall briefly the Lie theory of a group $G$ definable in an o-minimal
expansion of a real closed field $R$; see [17] for further details, but in
fact we apply it only to linear algebraic groups, for which it agrees with the
usual theory for such groups. The Lie algebra of $G$ is the tangent space at
the identity $\mathfrak{g}=L(G)=T_{e}(G)$, a finite dimensional $R$-vector
space. For $h\in G(R)$, define
$\operatorname{Ad}_{h}:\mathfrak{g}\rightarrow\mathfrak{g}$ to be the
differential of conjugation by $h$ at the identity,
$\operatorname{Ad}_{h}:=d_{e}(\cdot^{h})$, and define
$\operatorname{ad}:\mathfrak{g}\rightarrow\operatorname{End}_{R}(\mathfrak{g})$
as the differential of
$\operatorname{Ad}:G\rightarrow\operatorname{Aut}_{R}(\mathfrak{g})$ at the
identity, $\operatorname{ad}:=d_{e}(\operatorname{Ad})$. Then the Lie bracket
of $\mathfrak{g}$ is defined as $[X,Y]:=\operatorname{ad}_{X}(Y)$.

The statements above about the adjoint action of $\operatorname{SO}_{3}$ and
$\operatorname{Spin}_{3}$ on $\mathfrak{so}_{3}$ transfer to $\mathcal{R}$:
for $X\in\mathfrak{so}_{3}(\mathcal{R})$, we have that
$\operatorname{Ad}_{g}(X)=gX$ for $g\in\operatorname{SO}_{3}(\mathcal{R})$,
and $\operatorname{Ad}_{g}(X)=\pi(g)X$ for
$g\in\operatorname{Spin}_{3}(\mathcal{R})$.

##  3 Proof of Theorem 1.1

Let $G$ and $\mathcal{R}$ be as in Theorem 1.1, namely $G$ is a simple compact
linear Lie group and $\mathcal{R}$ is a proper real closed field extension111
Readers familiar with model theory might be made more comfortable by an
assumption that $\mathcal{R}$ is (sufficiently) saturated. They may in fact
freely assume this, since the conclusion of the theorem can be seen to not
depend on the choice of $\mathcal{R}$. of $\mathbb{R}$.

In this section, we write ${G^{00}}$ for the group ${G^{00}}(\mathcal{R})$.

We first give an overview of the proof. We begin in §3.1 by finding a copy of
$\operatorname{SO}(3)$ or $\operatorname{Spin}(3)$ in $G$ which is definable
in such a way that its infinitesimal subgroup is ${G^{00}}$-definable. A
reader who is interested already in the case $G=\operatorname{SO}(3)$ may
prefer to skip that section on a first reading. In §3.2 we use the structure
of $\operatorname{SO}_{3}^{00}$ to find in it an interval on a centraliser
which is definable both in the group and the field. In §3.3 we see that the
non-abelianity of $G$ endows this interval with a rich enough structure to
trigger the existence of a field by the o-minimal trichotomy theorem. Finally,
in §3.4, we use an adjoint embedding to see the valuation on this field and
obtain bi-interpretability.

###  3.1 Finding an $\operatorname{SO}_{3}^{00}$

In this subsection, we find a copy of $\mathfrak{so}(3)$ in the Lie algebra of
$G$ which is the Lie algebra of a Lie subgroup $S\leq G$, and which moreover
is defined in such a way that the infinitesimal subgroup
${S^{00}}\leq{G^{00}}$ is ${G^{00}}$-definable.

Let $\mathfrak{g}_{0}:=L(G)$ be the Lie algebra of $G$.

######  Lemma 3.1.

There exist Lie subalgebras
$\mathfrak{s}\leq\mathfrak{s}^{\prime}\leq\mathfrak{g}_{0}$ such that

  1. (i)

$\mathfrak{s}^{\prime}=C_{\mathfrak{g}_{0}}(C_{\mathfrak{g}_{0}}(\mathfrak{s}^{\prime}))$

  2. (ii)

$\mathfrak{s}=[\mathfrak{s}^{\prime},\mathfrak{s}^{\prime}]$

  3. (iii)

$\mathfrak{s}\cong\mathfrak{so}(3)$.

###### Proof.

In this proof, and in this proof alone, we assume familiarity with the basic
theory and terminology of the root space decomposition of a semisimple Lie
algebra. This can be found in e.g. [10, §§II.4, II.5].

We write $V^{*}$ for the dual space of a vector space $V$.

Let $\mathfrak{g}:=\mathfrak{g}_{0}\otimes_{\mathbb{R}}\mathbb{C}$ be the
complexification of $\mathfrak{g}_{0}$, and let
$\overline{\cdot}:\mathfrak{g}\rightarrow\mathfrak{g}$ be the corresponding
complex conjugation.

Let $\mathfrak{h}_{0}\leq\mathfrak{g}_{0}$ be a Cartan subalgebra of
$\mathfrak{g}_{0}$, meaning that the complexification
$\mathfrak{h}:=\mathfrak{h}_{0}\otimes_{\mathbb{R}}\mathbb{C}$ is a Cartan
subalgebra of $\mathfrak{g}$; we can take $\mathfrak{h}_{0}:=L(T)$ where $T$
is a maximal torus of $G$ (where a torus of $G$ is a Lie subgroup isomorphic
to a power of the circle group).

Now since $G$ is simple, $\mathfrak{g}$ is semisimple and so admits a root
space decomposition
$\mathfrak{g}=\mathfrak{h}\oplus\bigoplus_{\alpha\in\Delta}\mathfrak{g}_{\alpha}$
where each root space $\mathfrak{g}_{\alpha}$ is the 1-dimensional eigenspace
of $\operatorname{ad}(\mathfrak{h})$ with eigenvalue
$\alpha\in\mathfrak{h}^{*}\setminus\\{0\\}$, i.e. if $H\in\mathfrak{h}$ and
$X\in\mathfrak{g}_{\alpha}$ then $[H,X]=\alpha(H)X$. The roots $\alpha$ span
$\mathfrak{h}^{*}$. If $\alpha\in\Delta$ then
$\mathbb{C}\alpha\cap\Delta=\\{\alpha,-\alpha\\}$. We have
$[\mathfrak{g}_{\alpha},\mathfrak{g}_{-\alpha}]\leq\mathfrak{h}$.

Since $G$ is compact, each root $\alpha\in\Delta$ takes purely imaginary
values on $\mathfrak{h}_{0}$, thus
$i\alpha\negmedspace\restriction_{\mathfrak{h}_{0}}\in\mathfrak{h}_{0}^{*}$,
and the subalgebra $\mathfrak{s}_{\alpha}$ of $\mathfrak{g}_{0}$ generated by
$\mathfrak{l}_{\alpha}:=\mathfrak{g}_{0}\cap(\mathfrak{g}_{\alpha}\oplus\mathfrak{g}_{-\alpha})$
is isomorphic to $\mathfrak{so}(3)$ (see [7, Proposition 26.4], or [10,
(4.61)]).

Explicitly, if $E_{\alpha}\in\mathfrak{g}_{\alpha}\setminus\\{0\\}$, so
$\overline{E_{\alpha}}\in\mathfrak{g}_{-\alpha}$, then $\mathfrak{l}_{\alpha}$
is spanned by $U_{\alpha}:=iE_{\alpha}-i\overline{E_{\alpha}}$ and
$V_{\alpha}:=E_{\alpha}+\overline{E_{\alpha}}$. Then for
$H\in\mathfrak{h}_{0}$ we have

$[H,U_{\alpha}]=i\alpha(H)V_{\alpha}\;\;\text{and}\;\;[H,V_{\alpha}]=-i\alpha(H)U_{\alpha},$
(3)

and
$[U_{\alpha},V_{\alpha}]=2i[E_{\alpha},\overline{E_{\alpha}}]\in\mathfrak{s}_{\alpha}\cap\mathfrak{h}_{0}$.
Using that $\mathfrak{g}_{0}$ admits an $\operatorname{Ad}(G)$-invariant inner
product, one can argue (see the proof of [10, (4.56)] for details) that
$\alpha([E_{\alpha},\overline{E_{\alpha}}])<0$, and hence that after
renormalising $E_{\alpha}$, the $\mathbb{R}$-basis
$\\{[U_{\alpha},V_{\alpha}],U_{\alpha},V_{\alpha}\\}$ for
$\mathfrak{s}_{\alpha}$ satisfies the standard bracket relations (2) of
$\mathfrak{so}(3)$.

Let $\alpha_{0}\in\Delta$. Let $\mathfrak{s}:=\mathfrak{s}_{\alpha_{0}}$ and
$\mathfrak{l}:=\mathfrak{l}_{\alpha_{0}}$, and let
$\mathfrak{s}^{\prime}:=\mathfrak{h}_{0}\oplus\mathfrak{l}$. It follows from
the bracket relations above that $\mathfrak{s}^{\prime}$ is a subalgebra of
$\mathfrak{g}_{0}$, and the commutator subalgebra
$[\mathfrak{s}^{\prime},\mathfrak{s}^{\prime}]$ is precisely $\mathfrak{s}$.

It remains to show that
$\mathfrak{s}^{\prime}=C_{\mathfrak{g}_{0}}(C_{\mathfrak{g}_{0}}(\mathfrak{s}^{\prime}))$.

It follows from (3) and
$C_{\mathfrak{g}_{0}}(\mathfrak{h}_{0})=\mathfrak{h}_{0}$ that
$C_{\mathfrak{g}_{0}}(\mathfrak{s}^{\prime})=\mathfrak{h}_{0}\cap
C_{\mathfrak{g}_{0}}(\mathfrak{l})=\ker(\alpha_{0}\negmedspace\restriction_{\mathfrak{h}_{0}})$.

Now for $\alpha^{\prime}\in\Delta$ and
$W\in\mathfrak{g}_{\alpha^{\prime}}\setminus\\{0\\}$, we have
$[W,\ker(\alpha_{0}\negmedspace\restriction_{\mathfrak{h}_{0}})]=0$ if and
only if
$\ker(\alpha^{\prime}\negmedspace\restriction_{\mathfrak{h}_{0}})\supseteq\ker(\alpha_{0}\negmedspace\restriction_{\mathfrak{h}_{0}})$;
since
$i\alpha^{\prime}\negmedspace\restriction_{\mathfrak{h}_{0}},i\alpha_{0}\negmedspace\restriction_{\mathfrak{h}_{0}}\in\mathfrak{h}_{0}^{*}$,
this holds if and only if
$\alpha^{\prime}\in\mathbb{R}\alpha_{0}\cap\Delta=\\{\alpha_{0},-\alpha_{0}\\}$.
Thus
$C_{\mathfrak{g}_{0}}(C_{\mathfrak{g}_{0}}(\mathfrak{s}^{\prime}))=\mathfrak{g}_{0}\cap(\mathfrak{h}+\mathfrak{g}_{\alpha_{0}}+\mathfrak{g}_{-\alpha_{0}})=\mathfrak{s}^{\prime}$,
as required. ∎

Before the next lemma we recall some facts and terminology from Lie theory. An
_integral subgroup_ of $G$ is a connected Lie group which is an abstract
subgroup of $G$ via an inclusion map which is an immersion. An integral
subgroup is a Lie subgroup iff it is closed in $G$ (see [2, Proposition
III.6.2.2]). The map $H\mapsto L(H)$ of taking the Lie algebra is a bijection
between integral subgroups of $G$ and Lie subalgebras of
$\mathfrak{g}_{0}=L(G)$ (see [2, Theorem III.6.2.2]).

######  Lemma 3.2.

There exists a closed Lie subgroup $S\leq G$ isomorphic to either
$\operatorname{Spin}(3)$ or $\operatorname{SO}(3)$, such that the
infinitesimal subgroup
${S^{00}}=S(\mathcal{R})\cap{G^{00}}\cong\operatorname{SO}_{3}^{00}$ is
${G^{00}}$-definable as a subgroup of ${G^{00}}$.

###### Proof.

Let $\mathfrak{s}$ and $\mathfrak{s}^{\prime}$ be as in Lemma 3.1. Let $S$ and
$S^{\prime}$ be the integral subgroups of $G$ with Lie algebras $\mathfrak{s}$
and $\mathfrak{s}^{\prime}$, respectively. Since
$\mathfrak{s}^{\prime}=C_{\mathfrak{g}_{0}}(C_{\mathfrak{g}_{0}}(\mathfrak{s}^{\prime}))$,
we have by [2, Proposition III.9.3.3] that
$S^{\prime}=C_{G}(C_{G}(S^{\prime}))$. In particular, $S^{\prime}$ is closed.

Since $[\mathfrak{s}^{\prime},\mathfrak{s}^{\prime}]=\mathfrak{s}$ and
$\mathfrak{s}$ is an ideal in $\mathfrak{s}^{\prime}$, we have by [2,
Proposition III.9.2.4] that the commutator subgroup $(S^{\prime},S^{\prime})$
is equal to $S$. Now $\mathfrak{s}$ is isomorphic to $\mathfrak{so}(3)$ and
$\operatorname{Spin}(3)$ is simply connected, thus (by [2, Theorem III.6.3.3])
$S$ is the image of a non-singular homomorphism
$\operatorname{Spin}(3)\rightarrow G$ with central kernel, and so since
$\operatorname{Spin}(3)$ is compact and its centre is of order 2, $S$ is a
closed Lie subgroup of $G$ isomorphic either to $\operatorname{Spin}(3)$ or to
$\operatorname{SO}(3)\cong\operatorname{Spin}(3)/Z(\operatorname{Spin}(3))$.

Now $S$ is a closed Lie subgroup of $G$, and thus is a compact linear Lie
group, and its infinitesimal subgroup ${S^{00}}$ is correspondingly the
subgroup $S(\mathcal{R})\cap{G^{00}}$ of ${G^{00}}$. The same goes for the
closed Lie subgroups $S^{\prime}$ and $S^{\prime\prime}:=C_{G}(S^{\prime})$ of
$G$.

######  Claim 3.3.

$(S^{\prime})^{00}=C_{{G^{00}}}(C_{{G^{00}}}(S^{\prime}(\mathcal{R})))$.

###### Proof.

$\displaystyle(S^{\prime})^{00}$
$\displaystyle=S^{\prime}(\mathcal{R})\cap{G^{00}}$
$\displaystyle=C_{G(\mathcal{R})}(C_{G(\mathcal{R})}(S^{\prime}(\mathcal{R})))\cap{G^{00}}$
$\displaystyle=C_{{G^{00}}}(C_{G(\mathcal{R})}(S^{\prime}(\mathcal{R})))$
$\displaystyle=C_{{G^{00}}}(S^{\prime\prime}(\mathcal{R}))$
$\displaystyle=C_{{G^{00}}}((S^{\prime\prime})^{00})$ (by Lemma 2.2)
$\displaystyle=C_{{G^{00}}}(C_{G(\mathcal{R})}(S^{\prime}(\mathcal{R}))\cap{G^{00}})$
$\displaystyle=C_{{G^{00}}}(C_{{G^{00}}}(S^{\prime}(\mathcal{R}))).$

∎

By the Descending Chain Condition for definable groups in o-minimal
structures, [17, Corollary 1.16], there exists a finite set $X_{0}\subseteq
C_{G^{00}}(S^{\prime})\subseteq G^{00}$ such that
$C_{G}(C_{G^{00}}(S^{\prime}))=C_{G}(X_{0})$. Thus,

$S^{00}=C_{G}(X_{0})\cap G^{00}=C_{G^{00}}(X_{0})$

is ${G^{00}}$-definable.

Meanwhile, for the commutator subgroup, we have
$((S^{\prime})^{00},(S^{\prime})^{00})\subseteq(S^{\prime},S^{\prime})^{00}=S^{00}$.
Now
$(\operatorname{SO}_{3}^{00},\operatorname{SO}_{3}^{00})_{1}=\operatorname{SO}_{3}^{00}$;
in fact [5] proves $({G^{00}},{G^{00}})_{1}={G^{00}}$ for any compact
semisimple Lie group, but one can also see it directly in this case, since
$(\operatorname{SO}_{3}^{00},\operatorname{SO}_{3}^{00})_{1}$ is invariant
under conjugation by $\operatorname{SO}_{3}(\mathcal{R})$ and can be seen to
contain infinitesimal rotations of all infinitesimal angles. So since
$(S^{\prime})^{00}\supseteq S^{00}\cong\operatorname{SO}_{3}^{00}$, we have
$((S^{\prime})^{00},(S^{\prime})^{00})_{1}=S^{00}$. Hence ${S^{00}}$ is
${G^{00}}$-definable.

Thus $S$ is as required. ∎

###  3.2 Finding a group interval in ${S^{00}}$

Let $S\leq G$ be as given by Lemma 3.2. Now $S$ is isomorphic to
$\operatorname{SO}_{3}$ or $\operatorname{Spin}_{3}$ via an isomorphism which
has compact graph and hence is $\mathbb{R}$-definable, so let the
$\mathbb{R}$-definable map $\pi:S\twoheadrightarrow\operatorname{SO}_{3}$ be
this isomorphism or its composition with the universal covering homomorphism
respectively. Then $\pi$ induces an isomorphism
$\pi:S^{00}\xrightarrow{\cong}\operatorname{SO}_{3}^{00}$.

From now on, we work in $\mathcal{R}$, and consider $S$, $G$,
$\operatorname{SO}_{2}$, $\operatorname{SO}_{3}$, and
$\operatorname{Spin}_{3}$ as $\mathbb{R}$-definable (linear algebraic) groups
rather than as Lie groups; moreover, we write $S$ for $S(\mathcal{R})$, and
similarly with $G$, $\operatorname{SO}_{2}$, $\operatorname{SO}_{3}$, and
$\operatorname{Spin}_{3}$.

Let $g\in{S^{00}}\setminus\\{e\\}$. Then
$C_{S}(g)=\pi^{-1}(C_{\operatorname{SO}_{3}}(\pi(g)))$, and
$C_{\operatorname{SO}_{3}}(\pi(g))\cong\operatorname{SO}_{2}$ since $g$ is not
torsion. Thus the circular order on $\operatorname{SO}_{2}$ induces222
Explicitly, say $\pi(g)=\rho(\alpha,L)$; then if
$\pi_{(1,2)}:\operatorname{SO}_{2}\rightarrow\mathcal{R}$ extracts the top-
right matrix element, then
$x_{1}<x_{2}\Leftrightarrow\pi_{(1,2)}(\beta_{1})<\pi_{(1,2)}(\beta_{2})$
where $\pi(x_{i})=\rho(\beta_{i},L)$ defines an order on such a neighbourhood
of the identity in $C_{S}(g)$.  an $\mathcal{R}$-definable linear order on a
neighbourhood of the identity in $C_{S}(g)$ containing $C_{{S^{00}}}(g)$, and
the induced linear order on $C_{{S^{00}}}(g)$ makes it a linearly ordered
abelian group. Moreover, the order topology on $C_{{S^{00}}}(g)$ coincides
with the group topology. We may assume that $g$ is positive with respect to
this ordering.

######  Lemma 3.4.

There exists an open interval $J\subseteq C_{{S^{00}}}(g)$ containing $e$ such
that $J$ and the restriction to $J$ of the order on $C_{{S^{00}}}(g)$ are both
${S^{00}}$-definable and $\mathcal{R}$-definable.

###### Proof.

First, consider the $\mathcal{R}$-definable set $I:=g^{S}g^{S}\cap C_{S}(g)$,
where $g^{S}g^{S}:=\\{g^{a_{1}}g^{a_{2}}:a_{1},a_{2}\in S\\}$. Since
${S^{00}}$ is normal in $S$, in fact $I\subseteq C_{{S^{00}}}(g)$.

Say a subset $X$ of a group is _symmetric_ if it is closed under inversion,
i.e. $X^{-1}=X$.

######  Claim 3.5.

$I$ is a closed symmetric interval in $C_{{S^{00}}}(g)$.

###### Proof.

Recall that a definable set in an o-minimal structure is _definably connected_
if it is not the union of disjoint open definable subsets.

$X:=g^{S}g^{S}$ is the image under a definable continuous map of the definably
connected closed bounded set $(g^{S})\times(g^{S})$, and hence ([6,
1.3.6,6.1.10]) $X$ is closed and definably connected.

Now $X$ is invariant under conjugation by $S$. Thus
$\pi(X)\subseteq\operatorname{SO}_{3}^{00}$ consists of the rotations around
arbitrary axes by the elements of some $\mathcal{R}$-definable set
$\Theta\subseteq\operatorname{SO}_{2}^{00}$, i.e.
$\pi(X)=\rho(\Theta,S^{2}(\mathcal{R}))$. Since
$\rho(\theta,L)^{-1}=\rho(\theta,-L)$, it follows that $\pi(X)$ is symmetric,
and hence $\Theta$ is symmetric. Similarly, $\pi(g^{S})$ is symmetric, and
hence $e\in\pi(X)$ and so $e\in\Theta$.

Recall that if $L$ is the axis of rotation of $\pi(g)$ (i.e.
$\pi(g)=\rho(\alpha,L)$ for some $\alpha$), then
$\pi(C_{S}(g))=\rho(\operatorname{SO}_{2},L)$. So then
$\pi(I)=\rho(\Theta,L)$. Since $\pi(X)$ is closed and definably connected,
$\Theta$ is of the form $\Theta^{\prime}\cup\Theta^{\prime-1}$ where
$\Theta^{\prime}$ is a closed interval. Thus since $\Theta$ contains the
identity, $\Theta$ is itself a closed symmetric interval. So $I$ is a closed
symmetric interval in $C_{{S^{00}}}(g)$. ∎

Say $I=[h^{-1},h]$. Write the group operation on $C_{{S^{00}}}(g)$ additively.
For $g_{1},g_{2}\in{S^{00}}$, let
$Y_{g_{1},g_{2}}:=g_{1}^{{S^{00}}}g_{2}^{{S^{00}}}\cap C_{{S^{00}}}(g)$ (an
${S^{00}}$-definable set). Clearly, $Y_{g_{1},g_{2}}\subset I=[-h,h]$.

######  Claim 3.6.

There exist333 Although this existence statement suffices for our purposes, in
fact one may calculate that we may take $h=g^{2}$ and $g_{1}=g=g_{2}$. This
can be seen by combining the proof of the claim with the following
observations on $\operatorname{Spin}_{3}$ considered as the group of unit
quaternions. Firstly, if $a,b\in\operatorname{Spin}_{3}(\mathbb{R})$ have the
same scalar part, $\Re(a)=\Re(b)$, then $\Re(a*b)\geq\Re(a*a)$, with equality
iff $a=b$. Secondly, conjugation in $\operatorname{Spin}_{3}$ preserves scalar
part. Finally, the order on $C_{{S^{00}}}(g)$ agrees (up to inversion) with
the order on the scalar part.  $h^{\prime\prime}<h$ and
$g_{1},g_{2}\in{S^{00}}$ such that the interval $(h^{\prime\prime},h]$ is
contained in $Y_{g_{1},g_{2}}$.

###### Proof.

Consider the map $f:S^{2}\rightarrow S$ defined by
$f(a_{1},a_{2}):=g^{a_{1}}g^{a_{2}}$. By definable choice in $\mathcal{R}$,
$f$ admits a $\mathcal{R}$-definable section over the set $I$, and hence $f$
admits a continuous $\mathcal{R}$-definable section on an open interval
$\theta:(h^{\prime},h)\rightarrow S^{2}$ for some $h^{\prime}\in
C_{{S^{00}}}(g)$. By definable compactness of $S^{2}$, $\theta$ extends to a
continuous $\mathcal{R}$-definable section $\theta:(h^{\prime},h]\rightarrow
S^{2}$. Say $\theta(h)=(a_{1},a_{2})\in S^{2}$. Let $g_{i}:=g^{a_{i}}$ for
$i=1,2$. Note that $g_{i}\in{S^{00}}$.

So by continuity of $\theta$, for some $h^{\prime\prime}<h$ we have

$(h^{\prime\prime},h]\subseteq\theta^{-1}(({S^{00}}a_{1})\times({S^{00}}a_{2}))\subseteq
f(({S^{00}}a_{1})\times({S^{00}}a_{2}))=g_{1}^{{S^{00}}}g_{2}^{{S^{00}}}.$

∎

Thus

$P:=h-Y_{g_{1},g_{2}}\subseteq h-I=[0,2h]$

is an ${S^{00}}$-definable subset of the non-negative part of
$C_{{S^{00}}}(g)$.

So set $p:=h-h^{\prime\prime}>0$. Note that $[0,p)\subseteq P\subseteq[0,2h]$.
It is now easy to see that the open interval $(0,p)$ is equal to $P\cap(p-P)$,
thus is definable in ${S^{00}}$.

So $J:=(-p,p)=[0,p)\cup-[0,p)$ and its order are ${S^{00}}$-definable, since
for $a,b\in J$ we have $a\geq b$ iff $a-b\in[0,p)$.

Finally, $J=(-p,p)$ and its order are also $\mathcal{R}$-definable as an
interval in the $\mathcal{R}$-definable order on an $\mathbb{R}$-definable
neighbourhood of the identity in $C_{S}(g)$. This ends the proof of Lemma 3.4.
∎

###  3.3 Defining the field

Let $J$ be as given by Lemma 3.4. We now return to working with the full
simple compact group $G$, of which $J$ is a subset. Let $n:=\dim(G)$. Recall
that $J$ consists of a neighborhood of the identity in the one-dimensional
real algebraic group group $C_{S}(g)$, thus it is a one-dimensional smooth
sub-manifold of $G$. For $h\in G$, the set $J^{h}$ is an open neighborhood of
$e$ in the group $C_{S}(g)^{h}$. We let $T_{e}(J^{h})$ denote its tangent
space at $e$ with respect to the real closed field $R$.

######  Lemma 3.7.

There exists an open neighbourhood $U\subseteq{G^{00}}$ of the identity, an
open interval $e\in J^{\prime}\subseteq J$, and a bijection $\phi:J^{\prime
n}\rightarrow U$ which is both ${G^{00}}$-definable and
$\mathcal{R}$-definable, with $\phi(x,e,\ldots,e)=x$.

###### Proof.

Let $\mathfrak{g}=T_{e}(G)$ be the Lie algebra of $G$ (as discussed in §2.4).
Consider the $\mathcal{R}$-subspace $V\leq\mathfrak{g}(\mathcal{R})$ generated
by

$\bigcup_{h\in{G^{00}}}T_{e}(J^{h})=\bigcup_{h\in{G^{00}}}\operatorname{Ad}_{h}(T_{e}(J)).$

Then $V$ is $\operatorname{Ad}_{{G^{00}}}$-invariant. Thus $\operatorname{Ad}$
restricts to
$\operatorname{Ad}:{G^{00}}\rightarrow\operatorname{Aut}_{\mathcal{R}}(V)$,
and hence the differential at the identity is a map
$\operatorname{ad}=d_{e}\operatorname{Ad}:\mathfrak{g}(\mathcal{R})\rightarrow\operatorname{End}_{\mathcal{R}}(V)$,
i.e. it follows that $V$ is
$\operatorname{ad}_{\mathfrak{g}(\mathcal{R})}$-invariant. So $V$ is a non-
trivial ideal in $\mathfrak{g}(\mathcal{R})$. But $\mathfrak{g}$ is simple,
thus we have $V=\mathfrak{g}(\mathcal{R})$.

So say $h_{1},h_{2},\ldots,h_{n}\in{G^{00}}$ are such that $T_{e}(J^{h_{i}})$
span $T_{e}G$. Conjugating by $h_{1}^{-1}$, we may assume $h_{1}=e$.

Define $\phi:J^{n}\rightarrow{G^{00}}$ by

$\phi(x_{1},\ldots,x_{n}):=x_{1}^{h_{1}}x_{2}^{h_{2}}\ldots x_{n}^{h_{n}},$

which is clearly both ${G^{00}}$-definable and $\mathcal{R}$-definable. Then
the differential $d_{(e,\ldots,e)}\phi:T_{e}J^{n}\rightarrow
T_{e}G(\mathcal{R})$ is an isomorphism. Thus by the implicit function theorem
(for the real closed field $\mathcal{R}$), for some open interval $e\in
J^{\prime}\subseteq J$, the restriction
$\phi\negmedspace\restriction_{(J^{\prime})^{n}}$ is a bijection with some
open neighbourhood $U$ of $e$, as required.

∎

Redefine $J$ to be $J^{\prime}$ as provided by the lemma.

We shall consider the o-minimal structure obtained by expanding the interval
$(J;<)$ by the pullback of the group operation near $e$ via the chart $\phi$.
As we will now verify, it follows from the non-abelianity of $G$ that the
resulting structure on $J$ is “rich” in the sense of the o-minimal trichotomy
theorem [19] (see below), and so by that theorem it defines a field. Let us
first recall the relevant notions:

######  Definition 3.8.

Let $\mathcal{M}=(M;<,\cdots)$ be an o-minimal structure. A _definable family
of curves_ is given by a definable set $F\subseteq M^{n}\times T$, for some
definable $T\subseteq M^{k}$, such that for every $t\in T$, the set
$F_{t}=\\{a\in M^{n}:(a,t)\in F\\}$ is of dimension $1$.

The family is called normal if for $t_{1}\neq t_{2}$, the set $F_{t_{1}}\cap
F_{t_{2}}$ is finite. In this case, the dimension of the family is taken to be
$\dim T$.

A linearly ordered set $(I;<)$, together with a partial binary function $+$
and a constant $0$, is called a group-interval if $+$ is continuous, definable
in a neighborhood of $(0,0)$, associative and commutative when defined, order
preserving in each coordinate, has $0$ as a neutral element and each element
near $0$ has additive inverse in $I$.

We shall use Theorem 1.2 in [19]:

######  Fact 3.9.

Let $\mathcal{I}=(I;<,+,0,\cdots)$ be an $\omega_{1}$-saturated o-minimal
expansion of a group-interval. Then one and only one of the following holds:

  1. 1.

There exists an ordered vector space $\mathcal{V}$ over an ordered division
ring, such that $(I;<,+,0)$ is definably isomorphic to a group-interval in $V$
and the isomorphism takes every $\mathcal{I}$-definable set to a definable set
in $\mathcal{V}$.

  2. 2.

A real closed field is definable in $\mathcal{I}$, with its underlying set a
subinterval of $I$ and its ordering compatible with $<$.

We now return to our interval $J\subseteq C_{S}(g)\subseteq G^{00}$ and to the
definable bijection $\phi:J^{n}\to U$. We let $\star:J^{n}\times
J^{n}\dashrightarrow J^{n}$ be the partial function obtained as the pullback
via $\phi$ of the group operation in $G$. Namely, for $a,b,c\in J^{n}$,

$a\star b=c\Leftrightarrow\phi(a)\cdot\phi(b)=\phi(c).$

Since $\phi$ and the group operation on $U$ are definable in both ${G^{00}}$
and $\mathcal{R}$, then so is $\star$. Because $J$ is an open interval around
the identity inside the one-dimensional group $C_{S}(g)\subseteq G$, the
restriction to $J$ of the group operation of $G$ makes $J$ into a group-
interval, and we let $+$ denote this restriction to $J$. Note that the
ordering on $J$ is definable using $+$ and therefore definable in both
${G^{00}}$ and in $\mathcal{R}$.

######  Lemma 3.10.

The structure $\mathcal{J}=(J;<,+,\star)$ is an o-minimal expansion of a
group-interval, not of type (1) in the sense of Fact 3.9. It is definable in
both ${G^{00}}$ and in $\mathcal{R}$.

###### Proof.

The structure $\mathcal{J}$ is o-minimal since it is definable in the
o-minimal structure $\mathcal{R}$ and the ordered interval $(J;<)$ is
definably isomorphic via a projection map with an ordered interval in
$(\mathcal{R};<)$. We want to show that $\mathcal{J}$ is not of type (1).

To simplify notation we denote below the group $C_{S}(g)$ by $H$. Because $G$
is a simple group, there are infinitely many distinct conjugates of the one-
dimensional group $H$. More precisely, $\dim N_{G}(H)<\dim G$ and if
$h_{1},h_{2}\in G$ are not in the same right-coset of $N_{G}(H)$ then
$H^{h_{1}}\cap H^{h_{2}}$ and hence also $J^{h_{1}}\cap I^{h_{2}}$ is finite.
Since $\dim(N_{G}(H))<\dim G$ one can find infinitely many $h\in G$,
arbitrarily close to $e$, which belong to different right-cosets of
$N_{G}(H)$. In fact, by Definable Choice in o-minimal expansions of groups or
group-intervals, we can find in $\mathcal{J}$ a definably connected one-
dimensional set $C\subseteq J^{n}$ with $(e,\ldots,e)\in C$, such that no two
elements of $\phi(C)$ belong to the same right-coset of $N_{G}(H)$.

The family $\\{H^{h}\cap U:h\in\phi(C)\\}$ is a one-dimensional normal family
of definably connected curves in $U$, all containing $e$, and we want to “pull
it back” to the structure $\mathcal{J}$. In order to do that we first note
that by replacing $J$ by a subinterval $J_{0}\subseteq J$, and replacing $C$
by a possibly smaller definably connected set, we may assume that for every
$h\in\phi(C)$ and every $g\in J_{0}$, each of $h,h^{-1}g$ and $h^{-1}gh$ is
inside $U$. Thus, the one-dimensional normal family of definably connected
curves

$\\{\phi^{-1}(J_{0}^{h}):h\in\phi(C)\\}$

is definable in $\mathcal{J}$, and all of these curves contain the point
$(e,\ldots,e)$ (=$\phi^{-1}(e))$.

Now, if $\mathcal{J}$ was of type (1) in Fact 3.9, then up to a change of
signature it would be a reduct of an ordered vector space. However, it easily
follows from quantifier elimination in ordered vector spaces that in such
structures there is no definable infinite normal family of one-dimensional
definably connected sets, all going through the same point. Hence,
$\mathcal{J}$ is not of type (1). ∎

By Fact 3.9, there is a $\mathcal{J}$-definable real closed field $K$ on an
open interval in $J$ containing $e$. Thus $K$ with its field structure is also
${G^{00}}$-definable and $\mathcal{R}$-definable.

###  3.4 Obtaining the valuation, and bi-interpetability

Let $K\subseteq J$ be the definable real closed field obtained in the previous
subsection, considered as a pure field. By [16], there is an
$\mathcal{R}$-definable field isomorphism $\theta_{R}:\mathcal{R}\rightarrow
K$. Let $G_{K}:=G^{\theta_{R}}(K)$ be the group of $K$-points of the
$K$-definable (linear algebraic) group obtained by applying $\theta_{R}$ to
the parameters defining $G$, so $\theta_{R}$ induces an
$\mathcal{R}$-definable group isomorphism $\theta_{G}:G\rightarrow G_{K}$. Let
$G_{K}^{00}:=(G^{\theta_{R}})^{00}(K)$ be the corresponding infinitesimal
subgroup, thus $\theta_{R}$ restricts to an isomorphism
$\theta_{G}\negmedspace\restriction_{G^{00}}:{G^{00}}\rightarrow G_{K}^{00}$.

Denote by $(\mathcal{R};{G^{00}})$ the expansion of the field $\mathcal{R}$ by
a predicate for ${G^{00}}\leq G$.

######  Lemma 3.11.

$(\mathcal{R};{G^{00}})$ and $(\mathcal{R};\mathcal{O})$ have the same
definable sets.

###### Proof.

Since $G$ is defined over $\mathbb{R}$, it admits a chart at the identity
defined over $\mathbb{R}$, that is, an $\mathbb{R}$-definable homeomorphism
$\psi:I^{n}\rightarrow U$, where $I\subseteq\mathcal{R}$ is an open interval
around $0$, and $U\subseteq G$ is an open neighbourhood of $e$, and
$\psi((0,\ldots,0))=e$.

Then $\operatorname{st}_{G}(\psi(x))=\psi(\operatorname{st}(x))$, and so
${G^{00}}=\psi(\mathfrak{m}^{n})$. Thus ${G^{00}}$ is definable in
$(\mathcal{R};\mathcal{O})$, and conversely $\mathfrak{m}^{n}$, and hence
$\mathfrak{m}$, and so also
$\mathcal{O}=\mathcal{R}\setminus\frac{1}{\mathfrak{m}}$, are definable in
$(\mathcal{R};{G^{00}})$. ∎

######  Lemma 3.12.

$G_{K}^{00}\leq G_{K}$ is ${G^{00}}$-definable, and moreover
$\theta_{G}\negmedspace\restriction_{G^{00}}:{G^{00}}\rightarrow G_{K}^{00}$
is ${G^{00}}$-definable.

###### Proof.

Let $n:=\dim(G)$.

Precisely as in [17, 3.2.2], translating by an element of ${G^{00}}$ if
necessary we may assume that the group operation is $C_{1}$ for $K$ on a
neighbourhood of the identity according to the chart
$\phi\negmedspace\restriction_{K^{n}}$ (where $\phi$ is the map from Lemma
3.7), and then the adjoint representation yields an $\mathcal{R}$-definable
homomorphism $\operatorname{Ad}:G\rightarrow\operatorname{GL}_{n}(K)$. Since
${G^{00}}$ defines $\phi$ and the field $K$ and the conjugation maps $x\mapsto
x^{g}$ for $g,x\in{G^{00}}$, the restriction
$\operatorname{Ad}\negmedspace\restriction_{{G^{00}}}:{G^{00}}\lhook\joinrel\relbar\joinrel\rightarrow\operatorname{GL}_{n}(K)$
is ${G^{00}}$-definable, and is an embedding since $G$ has finite centre, and
${G^{00}}$ is torsion-free.

Define
$\eta:=\operatorname{Ad}\circ\theta_{G}^{-1}:G_{K}\lhook\joinrel\relbar\joinrel\rightarrow\operatorname{GL}_{n}(K)$.
So $\eta$ is $\mathcal{R}$-definable. Since $K$ is $\mathcal{R}$-definably
isomorphic to $\mathcal{R}$, the $\mathcal{R}$-definable structure on $K$ is
just the field structure. Thus $\eta$ is also $K$-definable, and hence
${G^{00}}$-definable.

So
$\theta_{G}\negmedspace\restriction_{{G^{00}}}=\eta^{-1}\circ\operatorname{Ad}\negmedspace\restriction_{{G^{00}}}$
is ${G^{00}}$-definable.

∎

###### Proof of Theorem 1.1.

By Lemma 3.12, $\theta_{R}$ provides a definition of $(\mathcal{R};{G^{00}})$
in ${G^{00}}$ with universe $K$. This forms a bi-interpretation together with
the tautological interpretation of ${G^{00}}$ in $(\mathcal{R};{G^{00}})$;
indeed, the composed interpretations are $\theta_{R}$ and
$\theta_{G}\negmedspace\restriction_{{G^{00}}}$, which are
$\mathcal{R}$-definable and ${G^{00}}$-definable respectively.

Combining this with Lemma 3.11 concludes the proof of Theorem 1.1. ∎

##  4 Isomorphisms of infinitesimal subgroups

Cartan [3] and van der Waerden [25] showed that any abstract group isomorphism
between compact semisimple Lie groups is continuous. In a similar spirit,
Theorem 4.10 below shows that every abstract group isomorphism of two
infinitesimal subgroups of simple compact Lie groups is, up to field
isomorphisms, given by an algebraic map.

We preface the proof with two self-contained preliminary subsections. In
outline, the proof is as follows. We first prove in Theorem 4.2 that given
$R\vDash\operatorname{RCVF}$, any model of $\operatorname{RCVF}$ definable $R$
is definably isomorphic to $R$. As in other cases of the “model-theoretic
Borel-Tits phenomenon”, first described for $\operatorname{ACF}$ in [24], it
follows that every abstract group isomorphism of the infinitesimal subgroups
is the composition of a valued field isomorphism with an
$\operatorname{RCVF}$-definable group isomorphism; we give a general form of
this argument in Lemma 4.8. Finally, in Section 4.3 we deduce the final
statement by seeing that any $\operatorname{RCVF}$-definable group isomorphism
of the infinitesimal subgroups is induced by an algebraic isomorphism of the
Lie groups.

###  4.1 Definable fields in $\operatorname{RCVF}$

Here, we show that there are no unexpected definable fields in $R^{n}$ for
$R\vDash\operatorname{RCVF}$.

In this subsection we reserve the term ‘semialgebraic’ for $R$-semialgebraic
sets. Let $\mathcal{R}_{v}=\langle
R;\mathcal{O}\rangle\vDash\operatorname{RCVF}$. We say a point $a$ of an
$\mathcal{R}_{v}$-definable set $X$ over $A$ is generic over $A$ if
$\operatorname{trd}(a/A)$ is maximal for points in $X(R^{\prime})$ for
$R^{\prime}$ an elementary extension of $R$. Such an $a$ exists if $R$ is
$(\aleph_{0}+|A|^{+})$-saturated. This maximal transcendence degree is the
dimension $\dim(X)$ of $X$, which coincides ([11, Theorem 4.12]) with the
largest $d$ such that the image of $X$ under a projection to $d$ co-ordinates
has non-empty interior.

######  Fact 4.1.

  1. 1.

Let $X\subseteq R^{n}$ be an $\mathcal{R}_{v}$-definable set over $A$, and
$a\in X$ a generic element over $A$. Then there exists a semialgebraic
neighborhood $U\subseteq R^{n}$ of $a$ (possibly defined over additional
parameters, which may be taken to be independent of $Aa$) such that $U\cap X$
is semialgebraic.

  2. 2.

Let $U\subseteq R^{d}$ be an open $\mathcal{R}_{v}$-definable set over $A$,
and $a\in U$ generic over $A$. Let $F:U\to R$ be an
$\mathcal{R}_{v}$-definable function. Then there exists a semialgebraic
neighborhood $U$ of $a$, such that $F|U$ is semialgebraic and $C^{1}$ with
respect to $R$, meaning that all partial derivatives of $F$ with respect to
$R$ exist and are continuous on $U$.

###### Proof.

  1. 1.

Permuting co-ordinates, we may assume $a=(b,c)$ where $b\in R^{d}$ is generic
over $A$ and $c\in R^{n-d}$ is in $\operatorname{dcl}(bA)$. Let
$\pi:R^{n}\rightarrow R^{d}$ be the projection to the first $d$ co-ordinates.

By [11, Theorem 4.11], $X$ admits a decomposition into finitely many disjoint
$A$-definable cells each of which is the graph of a definable function on an
open subset of some $R^{t}$.

Definable closure in $\mathcal{R}_{v}$ coincides with definable closure in $R$
[13, Theorem 8.1(1)]. Thus if $C$ is the cell containing $a$, then $C$ is the
graph of a semialgebraic function on a neighbourhood of $b$. We now claim that
locally near $a$, the set $X$ is equal to $C$.

Suppose for a contradiction that $C^{\prime}\neq C$ is another cell in the
decomposition, and $a\in\operatorname{cl}(C^{\prime})$, the topological
closure of $C^{\prime}$. The cell decomposition of $X$ induces a cell
decomposition of $\pi(X)\subseteq R^{d}$, and since $b$ is generic in $R^{d}$
over $A$, it must belong to the interior of $\pi(C)$. It follows that
$\pi(C^{\prime})=\pi(C)$, and so there exists $c^{\prime}\neq c$ such that
$(b,c^{\prime})\in C^{\prime}$.

By the inductive definition of a cell and the genericity of $a$ in $X$, also
$C^{\prime}$ is the graph of a semialgebraic function on a neighbourhood of
$b$, thus in particular is locally closed, contradicting
$a\in\operatorname{cl}(C^{\prime})$.

  2. 2.

By (1), the graph of $F$ is a semialgebraic set in a neighborhood of
$(a,f(a))$, and since $a$ is generic in its domain, the function $F$ is
$C^{1}$ in a neighborhood of $a$.

∎

######  Theorem 4.2.

Let $\mathcal{R}_{v}=\langle R;\mathcal{O}\rangle\vDash\operatorname{RCVF}$.

  1. (a)

If $F\subseteq R^{n}$ is a definable field in $\mathcal{R}_{v}$ then it is
$\mathcal{R}_{v}$-definably isomorphic to either $R$ or its algebraic closure
$R(\sqrt{-1})$.

  2. (b)

If $F\subseteq R^{n}$ is a definable non-trivially valued field in
$\mathcal{R}_{v}$ then it is $\mathcal{R}_{v}$-definably isomorphic to either
$\mathcal{R}_{v}$ or its algebraic closure $\mathcal{R}_{v}(\sqrt{-1})$.

###### Proof.

Passing to an elementary extension as necessary, we assume $R$ is
$(\aleph_{0}+|A|^{+})$-saturated for any parameter set $A$ we consider.

We first prove (a). Let $d=\dim F$. We first show that the additive group of
$F$ can be endowed with the structure of a definable $C^{1}$ atlas (not
necessarily finite). By that we mean: a definable family of subsets of $F$,
$\\{U_{t}:t\in T\\}$, and a definable family of bijections $f_{t}:U_{t}\to
V_{t}$, where each $V_{t}$ is an open subset of $R^{d}$, such that for every
$s,t\in T$, the set $f_{t}(U_{t}\cap U_{s})$ is open in $V_{t}$ and the
transition maps $\sigma_{t,s}:f_{t}(U_{t}\cap U_{s})\to f_{s}(U_{t}\cap
U_{s})$ are $C^{1}$ with respect to $R$. Moreover, the group operation and
additive inverse are $C^{1}$-maps when read through the charts.

To see this we follow the strategy of the paper of Marikova, [12]. Without
loss of generality $F$ is definable over $\emptyset$. We fix $g\in F$ generic
and an open neighborhood $U\ni g$ as in Fact 4.1 (1). By the cell
decomposition in real closed fields, we may assume that $U\cap F$ is a cell,
so definably homeomorphic to some open subset $V$ of $R^{d}$. By replacing
$U\cap F$ with $V$ we may assume that $U$ is an open subset of $R^{d}$, and
$g$ is generic in $F$ over the parameters defining $U$.

######  Claim 4.3.

The map $(x,y,z)\mapsto x-y+z$ is a $C^{1}$-map (as a map from $U^{3}$ into
$U$) in some neighborhood of $(g,g,g)$.

###### Proof.

The proof is identical to [12, Lemma 2.10], with Fact 4.1 (2) above replacing
Lemma 2.8 there.∎

Thus, there exists $U_{0}\ni g$, such that the map $(x,y,z)\mapsto x-y+z$ is a
$C^{1}$ map from $U_{0}^{3}$ into $U$. We now consider the definable cover of
$F$:

$\mathcal{U}=\\{h+U_{0}:h\in F\\},$

(with $+$ the $F$-addition) and the associated family of chart maps
$f_{h}:h+U_{0}\to U_{0}$, $f_{h}(x)=x-h$. Using Claim 4.3, it is not hard to
see that $\mathcal{U}$ endows $\langle F,+\rangle$ with a definable
$C^{1}$-atlas; indeed, if $h+U_{0}\cap h^{\prime}+U_{0}\neq\emptyset$, say
$h+u_{0}=h^{\prime}+u_{0}^{\prime}$, then $h-h^{\prime}=u_{0}^{\prime}-u_{0}$,
so
$\sigma_{h,h^{\prime}}(u_{0}^{\prime\prime})=h+u_{0}^{\prime\prime}-h^{\prime}=u_{0}^{\prime\prime}-u_{0}+u_{0}^{\prime}$.
Similarly, the function $+$ is a $C^{1}$-map from $F^{2}$ into $F$ (where
$F^{2}$ is endowed with the product atlas), and $x\mapsto-x$ is a $C^{1}$-map
as well. Indeed, in [12] Marikova proves in exactly the same way that the same
$\mathcal{U}$ endows the group with a topological group structure (using [12,
Lemma 2.10] in place of Claim 4.3).

By Fact 4.1 (2), every definable function from $F$ to $F$ is $C^{1}$ in a
neighborhood of generic point of $F$. Thus, just as in [12, Lemma 2.13], we
have:

######  Fact 4.4.

If $\alpha:F\to F$ is a definable endomorphism of $\langle F,+\rangle$ then
$\alpha$ is a $C^{1}$-map.

For every $c\in F$, we consider the map $\lambda_{c}:F\to F$, defined by
$\lambda_{c}(x)=cx$ (multiplication in $F$). By fact 4.4 each $\lambda_{c}$ is
a $C^{1}$-map and we consider its Jacobian matrix at $0$, with respect to $R$,
denoted by $J_{0}(\lambda_{c})$. This is a matrix in $M_{d}(R)$, and the map
$c\mapsto J_{0}(\lambda_{c})$ is $\mathcal{R}_{v}$-definable.

As was discussed in [16, Lemma 4.3], it follows from the chain rule that the
map $c\mapsto J_{0}(\lambda_{c})$ is a ring homomorphism into $M_{d}(R)$ (note
that we do not use here the uniqueness of solutions of ODE as in [16], thus we
a-priori only obtain a ring homomorphism). However, since $F$ is a field the
map is injective.

To summarize, we mapped $F$ isomorphically and definably onto an
$\mathcal{R}_{v}$-definable field, call it $F_{1}$, of matrices inside
$M_{d}(R)$. Notice that now the field operations are just the usual matrix
operations, $1_{F_{1}}$ is the identity matrix, so in particular, all non-zero
elements of $F_{1}$ are invertible matrices in $M_{d}(R)$. Our next goal is to
show that $F_{1}$ is semialgebraic.

By Fact 4.1 (2), there exists some non-empty relatively open subset of $F_{1}$
which is semialgebraic. By translating it to $0$ (using now the semialgebraic
$F_{1}$-addition), we find such a neighborhood, call it $W\subseteq F_{1}$, of
the $0$-matrix. But now, given any $a\in F$, by multiplying $a$ by an
invertible matrix $b\in W$ sufficiently close to $0$, we obtain $ba\in W$.
Thus, $F_{1}=\\{a^{-1}b:a,b\in W\\}$. Because $W$ is semialgebraic so is
$F_{1}$.

Thus, we showed that $F$ is definably isomorphic in $\mathcal{R}_{v}$ to a
semialgebraic field $F_{1}$. We now apply Theorem [16, Theorem 1.1] and
conclude that $F_{1}$ is semialgebraically isomorphic to $R$ or to
$R(\sqrt{-1})$.

Finally, we address (b). This follows immediately from (a) once we observe
that $\mathcal{O}$ is the only definable valuation ring in $\mathcal{R}_{v}$.
So suppose $\mathcal{O}^{\prime}$ is another. By weak o-minimality,
$\mathcal{O}^{\prime}$ is a finite union of convex sets, and then since it is
a subring with unity it is easy to see that $\mathcal{O}^{\prime}$ is convex.
Thus either $\mathcal{O}\subseteq\mathcal{O}^{\prime}$ or
$\mathcal{O}^{\prime}\subseteq\mathcal{O}$. Without loss of generality,
$\mathcal{O}$ is the standard valuation ring $\cup_{n\in\mathbb{N}}[-n,n]$, so
$\mathcal{O}$ properly contains no non-trivial convex valuation ring. Thus
$\mathcal{O}\subseteq\mathcal{O}^{\prime}$. But then if $v:R\rightarrow\Gamma$
is the valuation induced by $\mathcal{O}$, then the image of the units of
$\mathcal{O}^{\prime}$ is a definable subgroup
$v((\mathcal{O}^{\prime})^{*})\leq\Gamma$. But $\Gamma$ is a pure divisible
ordered abelian group, and so has no non-trivial definable subgroup. Hence
$v((\mathcal{O}^{\prime})^{*})=\\{0\\}$, and hence
$\mathcal{O}^{\prime}=\mathcal{O}$. ∎

######  Remark 4.5.

The techniques we applied here will not readily adapt to handle imaginaries.
In the case of algebraically closed valued fields, a result of [9] is that the
only interpretable fields, up to definable isomorphism, are the valued field
and its residue field. It would be natural to expect that, correspondingly,
the only interpretable fields in $\operatorname{RCVF}$ up to definable
isomorphism are the valued field, its residue field, and their algebraic
closures.

###  4.2 Interpretations and general nonsense

We address the “Borel-Tits phenomenon” associated with bi-interpretations
which require parameters. We spell out an abstract form of the argument given
by Poizat [24] in the case of algebraically closed fields. The ideas in this
subsection are well-known. For convenience of exposition, we first give a name
to the following key property.

######  Definition 4.6.

Say a theory $T$ is self-recollecting if any $\mathcal{B}^{\prime}\models T$
interpreted in any $\mathcal{B}\models T$ is $\mathcal{B}$-definably
isomorphic to $\mathcal{B}$.

Say $T$ is self-recollecting for definitions if this holds for interpretations
which are definitions (where recall a definition is an interpretation which
doesn’t involve non-trivial quotients).

######  Examples 4.7.

$\operatorname{ACF}$ is self-recollecting by [24], $\operatorname{RCF}$ is
self-recollecting by [14], and $\operatorname{Th}(\mathbb{Q}_{p})$ is self-
recollecting for definitions by [22]. It follows directly from the
characterisation of interpretable fields in [9] that the theory of non-
trivially valued algebraically closed fields $\operatorname{ACVF}$ is self-
recollecting.

Theorem 4.2(b) proves that $\operatorname{RCVF}$ is self-recollecting for
definitions, but we do not settle the question of whether it is self-
recollecting.

We use the notation $\alpha:\lx@xy@svg{\hbox{\raise 0.0pt\hbox{\kern
6.75pt\hbox{\ignorespaces\ignorespaces\ignorespaces\hbox{\vtop{\kern
0.0pt\offinterlineskip\halign{\entry@#!@&&\entry<EMAIL_ADDRESS>0.0pt\hbox{\hbox{\kern 0.0pt\raise 0.0pt\hbox{\hbox{\kern 3.0pt\raise
0.0pt\hbox{$\textstyle{\mathcal{A}\ignorespaces\ignorespaces\ignorespaces\ignorespaces}$}}}}}}}\ignorespaces\ignorespaces\ignorespaces{}\ignorespaces\ignorespaces{\hbox{\lx@xy@drawsquiggles@}}\ignorespaces{\hbox{\kern
30.75pt\raise 0.0pt\hbox{\hbox{\kern 0.0pt\raise
0.0pt\hbox{\lx@xy@tip{1}\lx@xy@tip{-1}}}}}}\ignorespaces\ignorespaces{\hbox{\lx@xy@drawsquiggles@}}\ignorespaces{\hbox{\lx@xy@drawsquiggles@}}{\hbox{\kern
30.75pt\raise 0.0pt\hbox{\hbox{\kern 0.0pt\raise 0.0pt\hbox{\hbox{\kern
3.0pt\raise
0.0pt\hbox{$\textstyle{\mathcal{B}}$}}}}}}}\ignorespaces}}}}\ignorespaces$ to
denote an interpretation of $\mathcal{A}$ in $\mathcal{B}$, which recall we
consider to be a map from $\mathcal{A}$ to some definable quotient in
$\mathcal{B}$. Note that any isomorphism is in particular an interpretation
(and even a definition). We denote composition of interpretations by
concatenation.

######  Lemma 4.8.

Suppose $\mathcal{A}_{i}$ is a structure interpreted in a structure
$\mathcal{B}_{i}$ for $i=1,2$, and the interpretation of $\mathcal{A}_{1}$ in
$\mathcal{B}_{1}$ can be completed to a bi-interpretation. Suppose further
that $\operatorname{Th}(\mathcal{B}_{1})=\operatorname{Th}(\mathcal{B}_{2})$,
and $T_{B}:=\operatorname{Th}(\mathcal{B}_{1})$ is self-recollecting.

Suppose $\sigma:\mathcal{A}_{1}\rightarrow\mathcal{A}_{2}$ is an isomorphism
of structures.

Then there exist an isomorphism
$\sigma^{\prime}:\mathcal{B}_{1}\xrightarrow{\cong}\mathcal{B}_{2}$ and a
$\mathcal{B}_{2}$-definable isomorphism
$\theta:\sigma^{\prime}(\mathcal{A}_{1})\rightarrow\mathcal{A}_{2}$ such that
$\sigma=\theta(\sigma^{\prime}\negmedspace\restriction_{\mathcal{A}_{1}})$.

If $T_{B}$ is only self-recollecting for definitions but the given
interpretations are definitions, then the same result holds.

###### Proof.

Let $(f,g)$ be the bi-interpretation of $\mathcal{A}_{1}$ with
$\mathcal{B}_{1}$, and $\alpha:\lx@xy@svg{\hbox{\raise 0.0pt\hbox{\kern
8.15001pt\hbox{\ignorespaces\ignorespaces\ignorespaces\hbox{\vtop{\kern
0.0pt\offinterlineskip\halign{\entry@#!@&&\entry<EMAIL_ADDRESS>0.0pt\hbox{\hbox{\kern 0.0pt\raise 0.0pt\hbox{\hbox{\kern 3.0pt\raise
0.0pt\hbox{$\textstyle{\mathcal{A}_{2}\ignorespaces\ignorespaces\ignorespaces\ignorespaces}$}}}}}}}\ignorespaces\ignorespaces\ignorespaces{}\ignorespaces\ignorespaces{\hbox{\lx@xy@drawsquiggles@}}\ignorespaces{\hbox{\kern
32.15001pt\raise 0.0pt\hbox{\hbox{\kern 0.0pt\raise
0.0pt\hbox{\lx@xy@tip{1}\lx@xy@tip{-1}}}}}}\ignorespaces\ignorespaces{\hbox{\lx@xy@drawsquiggles@}}\ignorespaces{\hbox{\lx@xy@drawsquiggles@}}{\hbox{\kern
32.15001pt\raise 0.0pt\hbox{\hbox{\kern 0.0pt\raise 0.0pt\hbox{\hbox{\kern
3.0pt\raise
0.0pt\hbox{$\textstyle{\mathcal{B}_{2}}$}}}}}}}\ignorespaces}}}}\ignorespaces$
the interpretation.

$\textstyle{\mathcal{A}_{1}\ignorespaces\ignorespaces\ignorespaces\ignorespaces\ignorespaces\ignorespaces\ignorespaces\ignorespaces}$$\scriptstyle{f}$$\scriptstyle{\sigma}$$\textstyle{\mathcal{A}_{2}\ignorespaces\ignorespaces\ignorespaces\ignorespaces}$$\scriptstyle{\alpha}$$\textstyle{\mathcal{B}_{1}\ignorespaces\ignorespaces\ignorespaces\ignorespaces}$$\scriptstyle{g}$$\textstyle{\mathcal{B}_{2}}$

For interpretations $\beta,\gamma:\lx@xy@svg{\hbox{\raise 0.0pt\hbox{\kern
6.75pt\hbox{\ignorespaces\ignorespaces\ignorespaces\hbox{\vtop{\kern
0.0pt\offinterlineskip\halign{\entry@#!@&&\entry<EMAIL_ADDRESS>0.0pt\hbox{\hbox{\kern 0.0pt\raise 0.0pt\hbox{\hbox{\kern 3.0pt\raise
0.0pt\hbox{$\textstyle{\mathcal{A}\ignorespaces\ignorespaces\ignorespaces\ignorespaces}$}}}}}}}\ignorespaces\ignorespaces\ignorespaces{}\ignorespaces\ignorespaces{\hbox{\lx@xy@drawsquiggles@}}\ignorespaces{\hbox{\kern
30.75pt\raise 0.0pt\hbox{\hbox{\kern 0.0pt\raise
0.0pt\hbox{\lx@xy@tip{1}\lx@xy@tip{-1}}}}}}\ignorespaces\ignorespaces{\hbox{\lx@xy@drawsquiggles@}}\ignorespaces{\hbox{\lx@xy@drawsquiggles@}}{\hbox{\kern
30.75pt\raise 0.0pt\hbox{\hbox{\kern 0.0pt\raise 0.0pt\hbox{\hbox{\kern
3.0pt\raise
0.0pt\hbox{$\textstyle{\mathcal{B}}$}}}}}}}\ignorespaces}}}}\ignorespaces$, we
write $\beta\sim\gamma$ if
$\gamma\beta^{-1}:\beta(\mathcal{A})\rightarrow\gamma(\mathcal{A})$ is a
$\mathcal{B}$-definable isomorphism between the two copies of $\mathcal{A}$ in
$\mathcal{B}$.444Interpretations satisfying this condition are sometimes
called homotopic.

Now $\alpha\sigma g$ is an interpretation of $\mathcal{B}_{1}$ in
$\mathcal{B}_{2}$, and thus by self-recollecting there is a
$\mathcal{B}_{2}$-definable isomorphism $\tau:(\alpha\sigma
g)(\mathcal{B}_{1})\rightarrow\mathcal{B}_{2}$. Let
$\sigma^{\prime}:=\tau\alpha\sigma
g:\mathcal{B}_{1}\rightarrow\mathcal{B}_{2}$. Then $\alpha\sigma
g\sim\sigma^{\prime}$, and so $\alpha\sigma gf\sim\sigma^{\prime}f$.

Now $gf$ is definable, and it follows that $\alpha\sigma\sim\alpha\sigma gf$.
Thus $\alpha\sigma\sim\sigma^{\prime}f$. Then
$\alpha^{\prime}:=\sigma^{\prime}f\sigma^{-1}\sim\alpha$.

So $\theta:=\alpha\alpha^{\prime-1}$ is a $\mathcal{B}_{2}$-definable
isomorphism, and $\theta\sigma^{\prime}f=\alpha\sigma$. Since we view
$\mathcal{A}_{1}$ and $\mathcal{A}_{2}$ in $\mathcal{B}_{2}$ via $f$ and
$\alpha$, this is as desired.

The proof in the case of definitions is identical. ∎

###  4.3 Characterisation of isomorphisms of infinitesimal subgroups

######  Lemma 4.9.

If $G,H$ are compact connected centreless linear Lie groups, and
$\mathcal{R}\succ\mathbb{R}$ is a proper real closed field extension of
$\mathbb{R}$, and
$\theta:{G^{00}}(\mathcal{R})\xrightarrow{\cong}{H^{00}}(\mathcal{R})$ is an
$(\mathcal{R};\mathcal{O})$-definable group isomorphism, then $\theta$ extends
to an $\mathcal{R}$-definable algebraic isomorphism
$G(\mathcal{R})\xrightarrow{\cong}H(\mathcal{R})$.

###### Proof.

We may assume $\mathcal{R}$ is $\aleph_{0}$-saturated. Let
$\Gamma\subseteq(G\times H)(\mathcal{R})$ be the $\mathcal{R}$-Zariski closure
of the graph $\Gamma_{\theta}$ of $\theta$. Since $\Gamma_{\theta}$ is an
abstract subgroup, $\Gamma$ is (the set of $\mathcal{R}$-points of) an
algebraic subgroup over $\mathcal{R}$. The image of the projection
$\pi_{G}:\Gamma\rightarrow G(\mathcal{R})$ contains ${G^{00}}(\mathcal{R})$,
which is Zariski-dense in $G$ since $G$ is connected, and thus
$\pi_{G}(\Gamma)=G(\mathcal{R})$.

Let $k\leq\mathcal{R}$ be a finitely generated field over which $\theta$ is
defined. Since $\Gamma_{\theta}$ is Zariski dense in $\Gamma$, there exists
$(g,\theta(g))\in\Gamma_{\theta}$ which is algebraically generic in $\Gamma$
over $k$ (i.e. of maximal transcendence degree); indeed, the Zariski density
implies that $\Gamma_{\theta}$ is contained in no subvariety of $\Gamma$ over
$k$ of lesser dimension, and so such a generic exists by
$\aleph_{0}$-saturation of $\mathcal{R}$. But definable closure in
$\operatorname{RCVF}$ agrees with field-theoretic algebraic closure [13,
Theorem 8.1(1)], so $\operatorname{trd}(\theta(g)/k(g))=0$ and thus
$\pi_{G}^{-1}(g)$ is finite. Then also $\ker(\pi_{G})$ is finite, and hence
central. So since $G$ is centreless, $\pi_{G}$ is an isomorphism.

Similarly, $\pi_{H}$ is an isomorphism. So $\theta$ extends to the algebraic
isomorphism $\pi_{H}\circ\pi_{G}^{-1}$. ∎

######  Theorem 4.10.

Suppose $G_{1}$ and $G_{2}$ are compact simple centreless linear Lie groups,
and $\mathcal{R}_{i}\succ\mathbb{R}$ is a proper real closed field extension
of $\mathbb{R}$ for $i=1,2$, and
$\sigma:G_{1}^{00}(\mathcal{R}_{1})\xrightarrow{\cong}G_{2}^{00}(\mathcal{R}_{2})$
is an abstract group isomorphism.

Then there exist a valued field isomorphism
$\sigma^{\prime}:(\mathcal{R}_{1},\mathcal{O}_{1})\xrightarrow{\cong}(\mathcal{R}_{2},\mathcal{O}_{2})$
and an $\mathcal{R}_{2}$-definable isomorphism
$\theta:G_{3}(\mathcal{R}_{2})\xrightarrow{\cong}G_{2}(\mathcal{R}_{2})$,
where $G_{3}=\sigma^{\prime}(G_{1})$, such that
$\sigma=\theta\negmedspace\restriction_{G_{3}^{00}}\circ\sigma^{\prime}\negmedspace\restriction_{G_{1}^{00}}$.

In particular, $\sigma$ extends to an abstract group isomorphism
$G_{1}(\mathcal{R}_{1})\xrightarrow{\cong}G_{2}(\mathcal{R}_{2})$.

###### Proof.

By Theorem 1.1, Theorem 4.2(b), and Lemma 4.8, there exist an isomorphism
$\sigma^{\prime}:(\mathcal{R}_{1},\mathcal{O}_{1})\xrightarrow{\cong}(\mathcal{R}_{2},\mathcal{O}_{2})$
and an $(\mathcal{R}_{2},\mathcal{O}_{2})$-definable isomorphism
$\theta^{\prime}:\sigma^{\prime}(G_{1}^{00}(\mathcal{R}_{1}))\xrightarrow{\cong}G_{2}^{00}(\mathcal{R}_{2})$
such that
$\sigma=\theta^{\prime}\circ\sigma^{\prime}\negmedspace\restriction_{G_{1}^{00}}$.

Then
$\sigma^{\prime}(G_{1}^{00}(\mathcal{R}_{1}))=G_{3}^{00}(\mathcal{R}_{2})$.
Thus by Lemma 4.9, $\theta^{\prime}$ extends to an $\mathcal{R}_{2}$-definable
algebraic isomorphism
$\theta:G_{3}(\mathcal{R}_{2})\xrightarrow{\cong}G_{2}(\mathcal{R}_{2})$, as
required. ∎

######  Remark 4.11.

We have stated the results of this section in terms of ${G^{00}}$, but it is
easy to see that they apply equally to other infinitesimal subgroups as in
Remark 1.4.

##  5 Infinitesimal subgroups of definably compact groups

In this section, we prove Theorem 1.5 by combining Theorem 1.1 with results in
the literature on definably compact groups and ${G^{00}}$.

We work in a sufficiently saturated o-minimal expansion $M$ of a real closed
field, say $\kappa$-saturated where $\kappa$ is sufficiently large. (In fact
$\kappa=2^{\aleph_{0}}$ suffices for the arguments below; moreover, it follows
after the fact that Theorem 1.5 holds with only $\kappa=\aleph_{0}$, but we do
not spell this out). For $G$ a definable group, let ${G^{00}}$ be the smallest
$\bigwedge$-definable (in the sense of $M$) subgroup of bounded index. Here, a
_$\bigwedge$ -definable set_ is a set defined by an infinite conjunction of
formulas over a common parameter set $A\subseteq M$ with $|A|<\kappa$.

######  Lemma 5.1.

Let $G$ and $H$ be definably compact definable groups.

  1. (i)

If $\theta:G\twoheadrightarrow H$ is a definable surjective homomorphism, then
$\theta({G^{00}})={H^{00}}$.

  2. (ii)

If $H$ is a definable subgroup of $G$, then ${H^{00}}={G^{00}}\cap H$.

  3. (iii)

${G^{00}}$ is the unique $\bigwedge$-definable subgroup of bounded index which
is divisible and torsion-free.

  4. (iv)

$(G\times H)^{00}={G^{00}}\times{H^{00}}$

###### Proof.

  1. (i)

$\theta^{-1}({H^{00}})$ resp. $\theta({G^{00}})$ is a $\bigwedge$-definable
bounded index subgroup of $G$ resp. $H$.

  2. (ii)

[1, Theorem 4.4].

  3. (iii)

[1, Corollary 4.7].

  4. (iv)

This follows directly from (iii).

∎

Say a group $(G;*)$ is the definable internal direct product of its subgroups
$H_{1},\ldots,H_{n}$ if each $H_{i}$ is $(G;*)$-definable and
$(h_{1},h_{2},\ldots,h_{n})\mapsto h_{1}h_{2}\ldots h_{n}$ is an isomorphism
$\prod_{i}H_{i}\rightarrow G$. The following lemma is an immediate consequence
of the definition.

######  Lemma 5.2.

If a group $(G;*)$ is the definable internal direct product of subgroups
$H_{1},\ldots,H_{n}$, then $(G;*)$ is bi-interpretable with the disjoint union
of the $(H_{i};*)$.

The following Fact extracts from the literature the key results we will need
on the structure of definably connected definably compact groups. A definable
group is _definably simple_ if it contains no proper non-trivial normal
definable subgroup. First recall that if $G\subseteq M^{n}$ is a definable
group in an o-minimal structure $M$ then, by [21], it admits a topology with a
definable basis which makes it into a topological group. Moreover, this is the
unique topology which agrees with the ambient $M^{n}$-topology on a definable
subset of $G$ whose complement has smaller dimension. All topological notions
below (e.g. definable compactness) are with respect to this topology.

######  Fact 5.3.

Let $G$ be a definably connected definably compact definable group. Let
$G^{\prime}:=(G,G)$ be the derived subgroup of $G$. Then:

  1. (i)

$G^{\prime}$ and $Z(G)$ are definable and definably compact.

  2. (ii)

$G$ is the product of its subgroups $G^{\prime}$ and $Z(G)^{0}$, and
$Z(G)^{0}\cap G^{\prime}$ is finite.

  3. (iii)

$Z(G^{\prime})$ is finite, and $G^{\prime}/Z(G^{\prime})$ is the direct
product of finitely many definably simple definably compact definable
subgroups $H_{i}$.

  4. (iv)

If $G$ is definably simple, then there exists a compact real linear Lie group
$H$ and a real closed field $\mathcal{R}$ extending $\mathbb{R}$ such that
$({G^{00}};*)$ is isomorphic to $({H^{00}};*)$, where
${H^{00}}:={H^{00}}(\mathcal{R})$ is the infinitesimal neighbourhood of the
identity as defined in §1.

###### Proof.

  1. (i)

By [8, Corollary 6.4(i)], $G^{\prime}$ is definable. Since definable subgroups
are closed, both groups are definably compact.

  2. (ii)

This is [8, Corollary 6.4(ii)].

  3. (iii)

This is immediate from [8, Corollary 6.4(i)] and [8, Fact 1.2(3)] (based on
[17, Theorem 4.1]).

  4. (iv)

This follows from the proof of [23, Proposition 3.6]. Indeed, as discussed
there (see also [8, Fact 1.2(1)]), $G$ is definably isomorphic to $H(R)$ for
$R$ a definable real closed field and $H$ a semialgebraic linear group over a
copy of the real field within $R$. Since $G$ is definably compact, $H$ is
compact (see [20, Theorem 2.1]). Now Case II in the proof of [23, Proposition
3.6] shows that the smallest $M$-$\bigwedge$-definable subgroup $H^{00}(R)$ of
$H$ is precisely the infinitesimal neighbourhood $\operatorname{st}^{-1}(e)$,
as required.

∎

We now repeat the statement of Theorem 1.5, and prove it.

######  Theorem 1.5.

Let $(G;*)$ be an infinite definably compact group definable in a sufficiently
saturated o-minimal expansion $M$ of a field. Then $({G^{00}}(M);*)$ is bi-
interpretable with the disjoint union of a (possibly trivial) divisible
torsion-free abelian group and finitely many (possibly zero) real closed
convexly valued fields.

###### Proof.

It follows from Lemma 5.1(ii) that ${G^{00}}=(G^{0})^{00}$ where $G^{0}$ is
the smallest definable subgroup of finite index, so we may assume $G=G^{0}$,
and hence (by [21, Lemma 2.12]) that $G$ is definably connected.

Let $G^{\prime}:=(G,G)$ be the derived subgroup of $G$, and let
$({G^{00}})^{\prime}:=({G^{00}},{G^{00}})$ be the derived subgroup of
${G^{00}}$.

By Fact 5.3(i), $G^{\prime}$ and $Z(G)$ are definable and definably compact,
and so Lemma 5.1 applies to them.

Let $H:=G^{\prime}/Z(G^{\prime})$. Let $H_{i}$ be as in Fact 5.3(iii), so
$H=\prod_{i}H_{i}$.

######  Claim 5.4.

  1. (i)

$(G^{\prime})^{00}\cong H^{00}$ as groups.

  2. (ii)

$H^{00}=(\prod_{i}H_{i})^{00}$ is the definable internal direct product of the
$H_{i}^{00}$.

###### Proof.

  1. (i)

$(G^{\prime})^{00}$ is torsion-free by Lemma 5.1(iii), and $Z(G^{\prime})$ is
finite by Fact 5.3(iii), thus $Z(G^{\prime})\cap(G^{\prime})^{00}=\\{e\\}$. So
by Lemma 5.1(i), the quotient map induces such an isomorphism.

  2. (ii)

Given Lemma 5.1(iv), we need only show that $H_{i}^{00}$ is
$({H^{00}};*)$-definable.

By Lemma 2.2, $C_{H}(H_{i}^{00})=C_{H}(H_{i})$, and since each $H_{i}$ is
centreless we have $H_{i}=\bigcap_{j\neq i}C_{H}(H_{j})$, thus
$H_{i}^{00}=\bigcap_{j\neq i}C_{{H^{00}}}(H_{j}^{00})$ (using Lemma 5.1(iv)
again).

∎

######  Claim 5.5.

  1. (i)

${G^{00}}=Z(G)^{00}(G^{\prime})^{00}$.

  2. (ii)

$(G^{\prime})^{00}=({G^{00}})^{\prime}$.

  3. (iii)

$Z(G)^{00}=Z({G^{00}})$.

  4. (iv)

${G^{00}}$ is the definable internal direct product of $Z(G)^{00}$ and
$(G^{\prime})^{00}$.

###### Proof.

  1. (i)

Since $Z(G)^{00}$ is central and each of $Z(G)^{00}$ and $(G^{\prime})^{00}$
is divisible and torsion-free, also $L:=Z(G)^{00}(G^{\prime})^{00}$ is
divisible and torsion-free. Now $G=Z(G)G^{\prime}$ by Fact 5.3(ii), so any
coset of $L$ can be written as $zaL=(zZ(G)^{00})(a(G^{\prime})^{00})$ with
$z\in Z(G)$ and $a\in G^{\prime}$, thus the index of $L$ in $G$ is bounded by
the product of the indices of $Z(G)^{00}$ in $Z(G)$ and of $(G^{\prime})^{00}$
in $G^{\prime}$. So $L$ is a bounded index subgroup. Thus we conclude by Lemma
5.1(iii).

  2. (ii)

By Fact 5.3(iv) and [5], $H_{i}^{00}=(H_{i}^{00},H_{i}^{00})_{1}$ for each
$i$. So by Claim 5.4,
$(G^{\prime})^{00}=((G^{\prime})^{00},(G^{\prime})^{00})_{1}$. Also
${G^{00}}\cap G^{\prime}=(G^{\prime})^{00}$ by Lemma 5.1(ii), and so
$({G^{00}},{G^{00}})_{1}=(G^{\prime})^{00}$, and then since this is a subgroup
we also have $({G^{00}})^{\prime}=({G^{00}},{G^{00}})_{1}$.

  3. (iii)

By (i) it suffices to see that $Z((G^{\prime})^{00})=\\{e\\}$. But indeed, as
in Lemma 2.2, $Z((G^{\prime})^{00})\leq
C_{G^{\prime}}((G^{\prime})^{00}=C_{G^{\prime}}(G^{\prime})=Z(G^{\prime})=\\{e\\}$.
Alternatively, one can see this way that each $Z(H_{i}^{00})=\\{e\\}$, and
apply Claim 5.4(ii).

  4. (iv)

By Fact 5.3(ii), $Z(G)^{0}\cap G^{\prime}$ is finite. Hence also
$Z(G)^{00}\cap(G^{\prime})^{00}$ is finite, and thus by Lemma 5.1(iii) it is
trivial. Combining this with the previous items of this Claim, we conclude.

∎

Now each $H_{i}^{00}$ is bi-interpretable with a model of RCVF by Fact 5.3(iv)
and Theorem 1.1, and $Z(G)^{00}$ is (by Lemma 5.1(iii)) a divisible torsion
free abelian group, so we conclude by Claim 5.5(iv), Claim 5.4, and Lemma 5.2.
∎

######  Remark 5.6.

Since $M$ is an o-minimal expansion of a field, any $M$-definable real closed
field is $M$-definably isomorphic to $M$ as a field. Thus the valued fields
$R_{i}$ interpreted in the groups $H_{i}^{00}$ in the above proof are
$M$-definably isomorphic as fields. However, the disjoint union structure
clearly does not define any such isomorphisms between the $R_{i}$, and hence
nor does the group $({G^{00}};*)$.

## References

  * Ber [07] Alessandro Berarducci.  o-minimal spectra, infinitesimal subgroups and cohomology.  J. Symbolic Logic, 72(4):1177–1193, 2007.
  * Bou [89] Nicolas Bourbaki.  Lie groups and Lie algebras. Chapters 1–3.  Elements of Mathematics (Berlin). Springer-Verlag, Berlin, 1989.  Translated from the French, Reprint of the 1975 edition.
  * Car [30] Elie Cartan.  Sur les représentations linéaires des groupes clos.  Comment. Math. Helv., 2(1):269–283, 1930.
  * CD [83] Gregory Cherlin and Max A. Dickmann.  Real closed rings. II. Model theory.  Ann. Pure Appl. Logic, 25(3):213–231, 1983.
  * DM [16] Alessandro D’Andrea and Andrea Maffei.  Commutators of small elements in compact semisimple groups and Lie algebras.  J. Lie Theory, 26(3):683–690, 2016.
  * vdD [98] L. van den Dries.  Tame topology and o-minimal structures, volume 248 of London Mathematical Society Lecture Note Series.  Cambridge University Press, Cambridge, 1998.
  * FH [91] William Fulton and Joe Harris.  Representation theory, volume 129 of Graduate Texts in Mathematics.  Springer-Verlag, New York, 1991.  A first course, Readings in Mathematics.
  * HPP [11] Ehud Hrushovski, Ya’acov Peterzil, and Anand Pillay.  On central extensions and definably compact groups in o-minimal structures.  J. Algebra, 327:71–106, 2011.
  * HR [18] Ehud Hrushovski and Silvain Rideau.  Valued fields, metastable groups.  2018\.  arXiv:1709.08801v3 [math.LO].
  * Kna [02] Anthony W. Knapp.  Lie groups beyond an introduction, volume 140 of Progress in Mathematics.  Birkhäuser Boston, Inc., Boston, MA, second edition, 2002.
  * MMS [00] Dugald Macpherson, David Marker, and Charles Steinhorn.  Weakly o-minimal structures and real closed fields.  Trans. Amer. Math. Soc., 352(12):5435–5483, 2000.
  * Mař [07] Jana Maříková.  Type-definable and invariant groups in o-minimal structures.  J. Symbolic Logic, 72(1):67–80, 2007.
  * Mel [06] T. Mellor.  Imaginaries in real closed valued fields.  Ann. Pure Appl. Logic, 139(1-3):230–279, 2006.
  * NP [91] Ali Nesin and Anand Pillay.  Some model theory of compact Lie groups.  Trans. Amer. Math. Soc., 326(1):453–463, 1991.
  * OV [90] A. L. Onishchik and È. B. Vinberg.  Lie groups and algebraic groups.  Springer Series in Soviet Mathematics. Springer-Verlag, Berlin, 1990.  Translated from the Russian and with a preface by D. A. Leites.
  * OPP [96] Margarita Otero, Ya’acov Peterzil, and Anand Pillay.  On groups and rings definable in o-minimal expansions of real closed fields.  Bull. London Math. Soc., 28(1):7–14, 1996.
  * [17] Y. Peterzil, A. Pillay, and S. Starchenko.  Definably simple groups in o-minimal structures.  Trans. Amer. Math. Soc., 352(10):4397–4419, 2000.
  * [18] Ya’acov Peterzil, Anand Pillay, and Sergei Starchenko.  Simple algebraic and semialgebraic groups over real closed fields.  Trans. Amer. Math. Soc., 352(10):4421–4450, 2000.
  * PS [98] Ya’acov Peterzil and Sergei Starchenko.  A trichotomy theorem for o-minimal structures.  Proc. London Math. Soc. (3), 77(3):481–523, 1998.
  * PS [99] Ya’acov Peterzil and Charles Steinhorn.  Definable compactness and definable subgroups of o-minimal groups.  J. London Math. Soc. (2), 59(3):769–786, 1999.
  * Pil [88] Anand Pillay.  On groups and fields definable in $o$-minimal structures.  J. Pure Appl. Algebra, 53(3):239–255, 1988.
  * Pil [89] Anand Pillay.  On fields definable in ${\bf Q}_{p}$.  Arch. Math. Logic, 29(1):1–7, 1989.
  * Pil [04] Anand Pillay.  Type-definability, compact Lie groups, and o-minimality.  J. Math. Log., 4(2):147–162, 2004.
  * Poi [88] Bruno Poizat.  MM. Borel, Tits, Zil’ber et le Général Nonsense.  J. Symbolic Logic, 53(1):124–131, 1988.
  * vdW [33] B. L. van der Waerden.  Stetigkeitssätze für halbeinfache Liesche Gruppen.  Math. Z., 36(1):780–786, 1933.
  * Woi [17] Peter Woit.  Quantum theory, groups and representations.  Springer, Cham, 2017.