arXiv:1506.00905v2 [math.LO] 12 Jan 2017

Locally compact groups which are separably
categorical structures
A.Ivanov

∗

January 13, 2017

Abstract
We describe locally compact groups which are separably categorical metric structures.
Keywords: Separably categorical structures, locally compact groups
2010 Mathematics Subject Classification:03C60

1

Introduction

In this paper we describe separable locally compact groups which can be
presented as continuous structures with a separably categorical continuous
theory. The latter means that the group is determined uniquely (up to metric
isomorphism) by its continuous theory among all separable groups.
∗

The

research

is

supported

by

Polish

DEC2011/01/B/ST1/01406

1

National

Science

Centre

grant

Locally compact groups will be considered as one-sorted continuous structures in the continuous signature
L = {d, ·,−1 },
where d denotes the metric. Let us recall that a metric L-structure is a complete metric space (M, d) with d bounded by 1, where · and −1 are uniformly
continuous operations on M [3]. It is assumed that to the symbols

−1

and ·

continuity moduli γ1 and γ2 are assigned so that
−1
d(x1 , x2 ) < γ1 (ε) implies d(x−1
1 , x2 ) < ε and

d(x1 , x2 ) < γ2 (ε) implies max(d(x1 ·y, x2 ·y), d(y·x1, y·x2 )) < ε for all y ∈ M.
Note that the latter condition is equivalent to existence of γ3 (ε) (in fact
γ2 (γ2 (ε))) such that
d(x1 , x2 ) < γ3 (ε) implies d(y · x1 · z, y · x2 · z)) < ε for all y, z ∈ M.
We will also assume that the metric is left-invariant. We will see in Lemma
2 and Proposition 4 below that this assumption is natural.
We now state the main result of the paper. All logic notions appeared in
the formulation and a proof of the theorem will be given in Section 2. We
try to make it available for mathematicians outside model theory.
Theorem 1 Let G be a locally compact group with a left-invariand metric
d ≤ 1 so that (G, d) is a continuous metric structure. Then (G, d) is a separably categorical metric structure if and only if there is a compact clopen
subgroup H < G which is invariant with respect to all metric automorphisms
of G, and the induced action of Aut(G, d) on the coset space G/H is oligomorphic.
In this case if the connected component of the identity G0 is a neighbourhood of the identity, H can be taken to be G0 . When this happens or when
d is bi-invariant, the subgroup H is normal and G/H is an ω-categorical
discrete group.
2

We just remind the reader that an action of G on a set Ω is called oligomorphic if for every n the group G has ﬁnitely many orbits on Ωn , see Section
2.1 in [5]. Concerning the second part of the statement note that in any Lie
group the connected component G0 is a neighbourhood of the identity (Section 3.0 in [11]). On the other hand to get an opposite example of a separably
categorical group just take the direct sum of a countably categorical group
with a compact H such that H0 is not open and H0 6= 1. According to
Corollary 5 below such a group has an appropriate metric.
In the rest of the introduction we discuss how powerful the continuous
logic approach is in the class of locally compact groups. We start with the
following lemma which shows that continuous logic can be applied only to
metric groups which have bi-invariant metrics. This lemma appears as a part
of Proposition 3.13 in [2].
Lemma 2 Let a group (G, d) be a metric L-structure with respect to continuity moduli γ1 and γ2 as above. Then G admits a complete bi-invariant
metric d∗ which defines the same topology as d.
Proof. We assume that (G, d) is not discrete. Let d∗ (x, y) = supu,v d(u ·
x · v, u · y · v). Then d∗ (x, y) is a bi-invariant metric with d(x, y) ≤ d∗ (x, y).
Since for every ε we have
d(x, y) < γ2 (γ2 (ε)) ⇒ d∗ (x, y) < ε,
each open d-ball contains an open d∗ -ball and vice versa. 
Thus not all locally compact groups can be viewed as metric structures!
In fact the continuous logic approach works only for SIN-groups.
Definition 3 ([9], Section 2) A topological group G is called a SIN-group
if any neighbourhood of the identity of G contains a neighbourhood of the
identity which is invariant under all inner automorphisms.

3

Proposition 4 A topological group G admitting a complete metric can be
presented as a continuous metric L-structure (G, d) under d defining the
topology of G if and only if G is a SIN-group.
Proof. V.Klee has shown in Section 1 of [10] that a Hausdorﬀ group G
admits a bi-invariant metric if and only if it admits a countable complete
system of neighbourhoods of the identity which are invariant under all inner
automorphisms. Thus a metrizable group G has a bi-invariant metric if and
only if G is SIN. In this case we may assume that this metric d is bounded
by 1 (otherwise it can be replaced by

d(x,y)
).
d(x,y)+1

In Section 2 of [10] it is shown

that if a completely metrizable topological group G has a bi-invariant metric
then this metric is complete. 
It is worth noting that a locally compact SIN-group is unimodular. Moreover SIN-groups can be characterized among unimodular locally compact
groups as those groups G for which the von Neumann algebra V N(G) generated by the left regular representation is ﬁnite (i.e. admits no non-unitary
isometry), see [6], 13.10.5. Thus the class of locally compact bi-invariant
metric groups still contains some interesting families (together with obvious
examples: locally compact abelian groups and discrete groups). Moreover
it is also known that Polish groups which are embeddable into the unitary
group of a separable ﬁnite von Neumann algebra (i.e. the algebra has a faithful representation on a separable Hilbert space), admit complete bi-invariant
metrics [13], Section 6.5 (also see Lemma 2.10 of [1]).
The following corollary of Theorem 1 and Lemma 2 gives a complete description of locally compact groups which can be presented as separably categorical metric structures. It substantially restricts the variety of examples
mentioned above to ones which resemble semidirect products of countably
categorical discrete groups with compact ones.

4

Corollary 5 A locally compact group G can be presented as a separably categorical metric structure with respect to some metric if and only if there is
a normal compact clopen subgroup H < G with a bi-invariant metric d so
that d is conjugacy invariant in G and the group of automorphisms of G/H
which are induced by automorphisms of G preserving (H, d) is oligomorphic
(in particular G/H is a countably categorical discrete group).
The proof is given in Section 3. In Section 3 we also prove that when G is
separably categorical and H is as in this statement, stability of the structure
induced on G/H is equivalent to stability of G with respect to continuous
formulas of some special type.
We ﬁnally note that although by Lemma 2 the metric d in the formulation
of Theorem 1 can be chosen bi-invariant, we do not assume this. The choice
of H may depend on the metric (see Remark 12).
The author is grateful to the referee for helpful remarks.

2
2.1

Preliminaries and the proof
Necessary preliminaries

For convenience of the reader we recall some basic deﬁnitions from [3] and
[4]. We keep the signature L together with functions γ1 and γ2 as in Introduction. Then atomic formulas are the expressions of the form d(t1 , t2 ),
where ti are terms (built from functional L-symbols). They take values from
[0, 1]. Statements concerning metric structures are formulated in the form
φ=0
(called an L-condition), where φ is a formula, i.e. an expression built from
numbers of [0, 1] ∩ Q and atomic formulas by applications of the following

5

functions:
x/2 , x−̇y = max(x − y, 0) , min(x, y) , max(x, y) , |x − y| , ¬(x) = 1 − x ,
x+̇y = min(x + y, 1) , x · y ,

√

x , supx and infx .

A theory is a set of L-conditions without free variables (here supx and infx
play the role of quantiﬁers). Formulas and statements are interpreted in
continuous L-structures in the natural way. For simplicity we often replace
expressions of the form φ−̇ε = 0 with rational ε by φ ≤ ε.
Let M be a continuous metric L-structure. We deﬁne the automorphism
group Aut(M) of M to be the subgroup of Iso(M, d) consisting of all isometries preserving the values of atomic formulas. It is easy to see that Aut(M)
is a closed subgroup with respect to the pointwise convergence topology on
Iso(M, d).
For every c1 , ..., cn ∈ M and A ⊆ M we deﬁne the n-type tp(c̄/A) of c̄ over
A as the set of all x̄-conditions with parameters from A which are satisﬁed
by c̄ in M. Let Sn (TA ) be the set of all n-types over A of the expansion of the
theory T by constants from A. There are two natural topologies on this set.
The logic topology is deﬁned by the basis consisting of sets of types of the
form [φ(x̄) < ε], i.e. types containing some φ(x̄) ≤ ε′ with rational ε′ < ε.
The logic topology is compact.
The d-topology is deﬁned by the metric
d(p, q) = inf {maxi≤n d(ci , bi )| there is a model N with N |= p(c̄) ∧ q(b̄)}.
By Propositions 8.7 and 8.8 of [3] the d-topology is ﬁner than the logic
topology and (Sn (TA ), d) is a complete space.
Deﬁnability in continuous structures is introduced as follows.
Definition 6 Let M be a continuous metric L-structure and A ⊆ M. A

uniformly continuous map P : M n → [0, 1] is called a predicate definable in
6

M over A if there is a sequence (φk (x̄) : k ≥ 1) of L(A)-formulas such that

the maps interpreting φk (x̄) in M converge to P (x̄) uniformly in M n .

It is clear that a deﬁnable predicate deﬁnes a function on Sn (TA ). By
Propositions 3.4 and 3.10 of [4] functions Sn (TA ) → [0, 1] which are continuous with respect to logic topology are precisely those given by deﬁnable
predicates.
A tuple ā from M n is algebraic in M over A if there is a compact subset
C ⊆ M n such that ā ∈ C and the distance predicate dist(x̄, C) is deﬁnable
in M over A. Let acl(A) be the set of all elements algebraic over A. In
continuous logic the concept of algebraicity is parallel to that in traditional
model theory (see Section 10 of [3]).
A theory T is separably categorical if any two separable models of T
are isomorphic. By Theorem 12.10 of [3] a complete theory T is separably
categorical if and only if for each n > 0, every n-type p is principal. The
latter means that for every model M |= T , the predicate dist(x̄, p(M)) is
deﬁnable over ∅.
Another property equivalent to separable categoricity states that for each
n > 0, the metric space (Sn (T ), d) is compact. In particular for every n and
every ε there is a ﬁnite family of principal n-types p1 , ..., pm so that their
ε-neighbourhoods cover Sn (T ).
In ﬁrst order logic a countable structure M is ω-categorical if and only
if Aut(M) is an oligomorphic permutation group, i.e. for every n, Aut(M)
has ﬁnitely many orbits on M n . In continuous logic we have the following
modiﬁcation.
Definition 7 An isometric action of a group G on a metric space (X, d) is
said to be approximately oligomorphic if for every n ≥ 1 and ε > 0 there is

a finite set F ⊂ Xn such that

G · F = {g x̄ : g ∈ G and x̄ ∈ F }
7

is ε-dense in (Xn , d).
Theorem 8 (C. Ward Henson, see Theorem 12.10 of [3] and Theorem 4.25
in [14]) Let M be separable continuous metric structure. The following conditions are equivalent.
(1) The theory of M is separably categorical;
(2) The d-topology on Sn coincides with the logic topology;
(3) The action of Aut(M) on (M, d) is approximately oligomorphic.

2.2

Proof of Theorem 1

The suﬃciency follows from the description of separably categorical structures by approximate oligomorphicity of the group of their metric automorphisms. Indeed, given n ≥ 1 and ε > 0 choose a ﬁnite γ2 (ε)-net F1 in the
compact set of all n-tuples from H. Since Aut(G, d) is oligomorphic on G/H
there is a ﬁnite set F2 of n-tuples from G which represent all Aut(G, d)-orbits
on the set of all n-tuples from G/H. Then Aut(G, d) · (F2 · F1 ) is ε-dense in
the set of all n-tuples of G.
Let us prove the necessity of the theorem. We start with the following
preliminaries. We may assume that G is not discrete. There is a non-zero
rational number ρ < 1 such that the ρ-ball of the unity Bρ (e) = {x ∈ G :
d(x, e) ≤ ρ} is compact. Let Gρ be the subgroup generated by Bρ (e). Note
that for any g ∈ Gρ the open ball
B<ρ (g) = {x ∈ G : d(x, g) < ρ} = {x ∈ G : d(g −1 x, e) < ρ}
is a subset of Gρ ; thus Gρ is an open (in fact clopen) subgroup. If the
connected component of the identity G0 is a neighbourhood of the identity,
we choose ρ such that Bρ (e) ⊆ G0 . Since G0 is a subgroup of G, Gρ ≤ G0 .
Since Gρ is open, Gρ = G0 . Note that when d is a bi-invariant metric, Gρ is
a normal subgroup of G.

8

Lemma 9 Assume that G is a separably categorical locally compact group.
Then under the circumstances above the predicate P (x) = d(x, Gρ ) is definable in G.
Proof. Since Gρ is preserved under metric automorphisms of G the predicate P (x) naturally deﬁnes a map from the set of 1-types S1 to [0, 1]. Since
P (x) is continuous with respect to the d-topology on S1 , by separable categoricity it also continuous with respect to the logic topology. The latter
exactly means that P (x) is deﬁnable in G. 
Remark. Since Gρ is closed, this lemma states that Gρ is a deﬁnable set
in the sense of continuous logic, see Deﬁnition 9.16 of [3].
Let us also note that since the condition d(x, e) ≤ ρ deﬁnes a totally
bounded, complete subset in any elementary extension of G, the set Bρ (e) is
a subset of acl(∅) in G. Thus any Bρn (e) = Bρ (e) · Bρ (e) · .... · Bρ (e) also is a
subset of acl(∅). In particular Gρ ⊂ acl(∅).
Lemma 10 Under the circumstances above there is a natural number n so
that Gρ = Bρn (e). In particular Gρ is compact.
Proof. Assume Gρ 6= Bρn (e) for all n ∈ ω. Notice that this implies that

for every n the ρ-neighbourhood of Bρn (e) does not cover Gρ . Indeed if g1 ∈
Bρn (e), g2 ∈ Gρ and d(g1 , g2 ) < ρ, then g1−1 g2 ∈ Bρ and g2 = g1 g1−1g2 ∈ Bρn+1

(we use the assumption that d is left-invariant). Thus if the ρ-neighbourhood
of Bρn (e) covers Gρ , then we have a contradiction with Gρ 6= Bρn+1 (e).

We see that the assumption Gρ 6= Bρn (e) for all n ∈ ω implies that all

statements
supx1 ...xn (min(ρ−̇d(x, x1 · .... · xn ), ρ−̇d(e, x1 ), ..., ρ−̇d(e, xn ))) = 0
are ﬁnitely consistent together with P (x) = 0. By Lemma 9 and compactness
of continuous logic we obtain a contradiction. 

9

Since Gρ is a characteristic subgroup of G with respect to the automorphism group of the metric structure G, we see that Aut(G, d) acts correctly
on G/Gρ by permutations of G/Gρ . Note that G/Gρ is a discrete space with
respect to the topology induced by the topology of G.
Lemma 11 The action of Aut(G, d) on G/Gρ is oligomorphic.
Proof. Since (G, d) is separably categorical, Aut(G, d) is approximately
oligomorphic on (G, d). Thus for every n there is a ﬁnite set F of n-tuples
from G such that the set of orbits meeting F is ρ-dense in (G, d). In particular
for any g1 , ..., gn ∈ G there is a tuple (h1 , ..., hn ) ∈ F and an automorphism

α ∈ Aut(G, d) such that gi−1 α(hi ) ∈ Gρ for all i ≤ n. 

To see that Theorem 1 follows from lemmas above just take H to be Gρ .
Remark 12 We now illustrate that the choice of H may depend on the
metric. Let G be
S 1 × Z/2Z × (Z/2Z)ω ,
where S 1 = {z ∈ C :k z k= 1} is the circle group and k x k is the Euclidean
norm in C. Let us consider G with respect to the metric d1 deﬁned as follows:
if x1 and x2 represent distinct S 1 -cosets, then d1 (x1 , x2 ) = 1,
if x1 and x2 represent the same coset, then d1 (x1 , x2 ) =

1
k 1 − x−1
1 x2 k .
4

Applying the proof of Theorem 1 for ρ = 1/2 we obtain H1 = Gρ = Bρ (e) =
S 1 . Let us correct d1 on the subgroup S 1 × Z/2Z as follows:
1
if x1 , x2 ∈ S 1 × Z/2Z represent distinct S 1 -cosets, then d2 (x1 , x2 ) = ,
2
1
if x1 and x2 represent the same coset, then d2 (x1 , x2 ) = k 1 − x−1
1 x2 k .
8
We obtain a bi-invariant metric d2 ≤ 1. Applying the proof of Theorem 1 for
(G, d2) and ρ = 1/2 we see that the corresponding subgroup H2 is diﬀerent:
Gρ = Bρ (e) = S 1 × Z/2Z.
10

3

Locally compact groups, separable categoricity and stability

We start with the proof of Corollary 5:
A locally compact group G can be presented as a separably categorical metric structure with respect to some metric if and only
if there is a normal compact clopen subgroup H < G with a biinvariant metric d so that d is conjugacy invariant in G and the
group of automorphisms of G/H which are induced by automorphisms of G preserving (H, d) is oligomorphic (in particular G/H
is a countably categorical discrete group).
In the proof of suﬃcency we construct some canonical metric d∗ corresponding to the topology of G, so that (G, d∗ ) is separably categorical. In
the ﬁnal part of the section we consider the question when (G, d∗ ) is stable.
Proof of Corollary 5. If the locally compact group G can be presented
as a separably categorical metric structure with respect to some metric ≤ 1
then by Lemma 2 (and its proof) we may choose an equivalent deﬁnable
metric d which is bi-invariant. Since the automorphism group of (G, d) is still
approximately oligomorphic, the structure (G, d) is separably categorical. By
Theorem 1 we ﬁnd a normal compact clopen subgroup H < G so that G/H
is an ω-categorical discrete group.
To see the suﬃciency of the theorem assume that H < G is a compact,
clopen normal subgroup. Choose a bi-invariant metric d as in the formulation. We may assume that the d-diameter is 12 .
We consider the countable ω-categorical group G/H with respect to the
{0, 1}-metric, say d0 . Then consider G with respect to so called wreath product of metrics d∗ = d0 wrt d [12]:
if x1 and x2 represent distinct H-cosets, then d∗ (x1 , x2 ) = 1,
11

if x1 and x2 represent the same coset, then d∗ (x1 , x2 ) = d(1, x−1
1 x2 ).
It is easy to see that d∗ is a metric. To see that it is a left-invariant metric
assume that x1 and x2 represent the same coset with respect to H, and let
x · xi = x′i , i ∈ {1, 2}.
′ −1 ′
′
′
Then x−1
1 x2 = (x1 ) x2 and d(x1 , x2 ) = d(x1 , x2 ). The case when xi do not

represent the same coset is obvious. To see that d∗ is right-invariant apply
the following argument.
We may suppose that x1 and x2 represent the same coset with respect to
H. Let
xi · x = x′i , i ∈ {1, 2}.
′ −1 ′
−1 −1
′ −1 ′
Then x−1 x−1
1 x2 x = (x1 ) x2 , i.e. d(e, x x1 x2 x) = d(e, (x1 ) x2 ) and since
′ −1 ′
d is conjugacy invariant we have d(e, x−1
1 x2 ) = d(e, (x1 ) x2 ). In particular

we see d(x1 , x2 ) = d(x′1 , x′2 ).
To ﬁnish the proof note that since
φ(x1 )−1 φ(x2 ) = φ(x−1
1 x2 ) , where φ ∈ Aut(G),
any automorphism of G which acts on H as an automorphism of the continuous structure (H, d), also preserves the metric d∗ . Now the statement
that (G, d∗ ) is a separably categorical structure follows from suﬃciency of
Theorem 1. 
Given G as in the corollary is the group of automorphisms of G/H which
are induced by automorphisms of G preserving (H, d), closed in Aut(G/H)?
By the ﬁnal part of the proof above such automorphisms always extend to
automorphisms of the continuous structure (G, d∗). Having in mind this
question let us consider Aut(G, d∗ ) as a metric group. We remind the reader
that when (Y, d) is a Polish space the corresponding isometry group Iso(Y)
is a Polish group with respect to the pointwise convergence topology. A
12

compatible left-invariant metric can be obtained as follows: ﬁx a countable
dense set S = {si : i ∈ {1, 2, ...}} and then deﬁne for two isometries α and β
of Y
ρS (α, β) =

∞
X

2−i min(1, d(α(si ), β(si ))).

i=1

Let us ﬁx such a metric on Aut(G, d∗ ).
Lemma 13 The group of automorphisms of G/H which are induced by automorphisms of (G, d∗ ) is closed in Aut(G/H).
Proof. We denote by ρ the metric ρS which we have chosen for Aut(G, d∗ ).
Here S = {si : i ∈ {1, 2, ...}} is the corresponding countable dense subset
of G. Since G is separable and H is clopen, G/H is countable and each
H-coset contains an element of S. We order G/H so that the number of
any gH is determined by the ﬁrst representative of gH from S. Note that
the metric ρG/H deﬁned with respect to this enumeration of G/H has the
following presentation:
ρG/H (α, β) =

∞
X
i=1

{2−i : α and β do not agree for the i-th element of G/H}.

Let us consider a sequence αi ∈ Aut(G/H), i ∈ ω, converging to some
α ∈ Aut(G/H) with respect to ρG/H . We assume that each αi is induced by
some γi ∈ Aut(G, d∗). Let us prove that there is a subsequence of {γi : i ∈ ω}
converging to some γ ∈ Aut(G, d∗ ). We use the following construction.
At step n > 0 we deﬁne a partial map δn on the 2−n -net Dn of the ﬁrst
n cosets of the enumeration of G/H so that
(i) Dn is contained in the minimal initial segment of S which covers the ﬁrst n cosets of the enumeration of G/H by a 2−n -net;
(ii) for any s ∈ Dn we have d∗ (δn (s), δn+1(s)) < 2−n−1 (this condition is empty for n = 0);
(iii) there is an inﬁnite subsequence of αi which agree with δn on

13

the ﬁrst n cosets of G/H ;
(iv) δn maps Dn into the union of the cosets determined by Im(αi )
as above and the subsequence in (iii) can be chosen so that for the
corresponding γi we have d∗ (δn (s), γi (s)) < 2−n−2 for all s ∈ Dn .
Let us assume that Dn−1 and δn−1 are already deﬁned. Extend Dn−1 to some
Dn so that (i) is satisﬁed. Take an inﬁnite subsequence of αi which
- agree with δn−1 on the ﬁrst n − 1 cosets of G/H and
- can be extended to a sequence of γi satisfying
d∗ (δn−1 (s), γi (s)) < 2−n−1 for all s ∈ Dn−1 .
We may also assume that all αi agree at the n-th coset of the enumeration
of G/H. Since each H-coset is compact, we can ﬁnd a ﬁnite 2−n−2 -net, say
Un+2 , in the union of all cosets from the image of the ﬁrst n cosets of G/H
with respect to our αi -s. Any γi deﬁnes the map Dn → Un+2 which takes any
s ∈ Dn to the nearest element of Un+2 . Extending Un+2 if necessary we may
assume that these maps are injective. Since the set of these maps is ﬁnite
we ﬁnd an inﬁnite subsequence of γi deﬁning the same map Dn → Un+2 . We
denote this map by δn . Then condition (iv) is obvious and condition (ii) for
δn follows from (iv) for δn−1 and δn and the triangle inequality.
Having the sequence δn , n ∈ {1, 2, ...}, we choose γn so that (iv) is satisﬁed
for each pair δn and γn . Then for every initial segment of G/H the sequence
γn is a Cauchy sequence of maps on the union of cosets of this segment with
respect to the metric ρ. Thus the sequence γn converges to some γ in every
union of this form. 
From now on we consider G/H under the structure induced by Aut(G, d∗ ),
which exists by the lemma above.
We now discuss stability of (G, d∗ ), where d∗ is constructed as in the proof
of Corollary 5. Let us recall the following deﬁnition from Section 5.2 of [7].

14

A continuous theory T has the order property if there is a formula
ψ(x̄, ȳ), where x̄ and ȳ are of the same length and sorts, and there is a model
M of T with (āi : i ∈ ω) ⊆ M, so that
ψ(āi , āj ) = 0 ⇔ i < j and ψ(āi , āj ) = 1 ⇔ i ≥ j.
By compactness this condition is equivalent to the property that for all n
and δ ∈ (0, 1) there are ā1 , ..., ān such that
ψ(āi , āj ) ≤ δ ⇔ i < j and ψ(āi , āj ) ≥ 1 − δ ⇔ i ≥ j.
The theory T is called stable if it does not have the order property. In fact
this coincides with the deﬁnition of stability given in Section 8 of [4].
We will concentrate on formulas ψ which behave as slow functions.
Definition 14 Let r ∈ [0, 1]. We will say that a continuous formula ψ(x̄)
is r-slow if there do not exist tuples b̄ and b̄′ with max(d(bi , b′i )) ≤ r so that
ψ(b̄) = 0 and ψ(b̄′ ) = 1.
In the situation of (G, d∗), where d∗ is constructed as in the proof of
Corollary 5, if b and b′ represent the same cosets with respect to H then the
distance between them is ≤ 1/2. In particular if n-tuples b̄ and b̄′ represent

the same cosets with respect to H in an appropriate power Gk then they

are not distant at > 1/2 under the corresponding max-metric deﬁned by d∗ .
Thus in this situation a formula ψ(x̄) is 12 -slow if and only if there do not
exist tuples b̄ and b̄′ which represent the same cosets with respect to H so
that ψ(b̄) = 0 and ψ(b̄′ ) = 1.
Theorem 15 Let G be a locally compact group which can be presented as a
separably categorical metric structure and let H and d∗ be as in Corollary 5
and its proof.
Then the continuous theory T h(G, d∗ ) does not have 21 -slow formulas with
the order property if and only if the elementary theory of the structure G/H
is stable.
15

Proof. Assume that T h(G, d∗) has the order property witnessed by a
1
-slow
2

formula ψ(x̄, ȳ) and an ω-sequence (āi , i ∈ ω). We know that ψ is

uniformly continuous. Thus replacing ψ by appropriate roots ψ 2

−l

if neces-

sary, we can arrange that for any tuples b̄1 , b̄′1 , b̄2 and b̄′2 of length |āi | with
max(ψ(b̄1 , b̄2 ), d∗ (b̄1 b̄2 , b̄′1 b̄′2 )) < 1/2 the value ψ(b̄′1 , b̄′2 ) is less than 1. In particular deﬁning ψ(x̄, ȳ) on the discrete set (G/H)k by the minimal values on
cosets corresponding to x̄ and ȳ we see that the relation ψ(x̄, ȳ) < 1/4 has
the order property on G/H in the classical sense. Since it is invariant under
the oligomorphic automorphism group of the structure on G/H induced by
Aut(G, d∗) we see that the theory of G/H is not stable.
The opposite direction is easy. Having a relation θ(x̄, ȳ) with the order
property with respect to the structure on G/H we may deﬁne it on G so
that it takes constant values on cosets: 0 or 1. Since the elements of distinct
cosets are distant by 1, we see that θ (viewed as a continuous formula) is
continuous in (G, d∗ ). It is also clear that it is Aut(G, d∗ )-invariant. Applying
the argument of Lemma 9 we see that θ is deﬁnable as a continuous predicate
(by a sequence of formulas). Take a close approximation of θ, say θ′ , which
is a formula. If θ′ does not have values 0 or 1, we can correct it as 2θ′ − ε
for suﬃciently small rational ε. As a result we obtain a 21 -slow formula with

the continuous order property. 
It is worth noting that the condition of

1
-slowness
2

is essential in the

theorem. For example an ℵ0 -categorical extra-special p-group G has a ﬁnite
deﬁnable subgroup H so that G/H is elementary abelian and thus is stable.
On the other hand it is shown in [8] that extra-special p-groups are not
stable. Our theorem shows that if we introduce appropriate d∗ (which deﬁnes
the discrete topology in this case) the ﬁrst-order formula deﬁning the order
property is not 21 -slow.

16

References
[1] Ando, H., Matsuzawa, Y.: On Polish groups of ﬁnite type. Publ. Res.
Inst. Math. Sci. 48, 389 - 408 (2012)
[2] Ben Yaacov, I.: Deﬁnability of groups in ℵ0 -stable metric structures.
J.Symbolic Logic, 75, 817 - 840 (2010)
[3] Ben Yaacov, I., Berenstein, A., Henson, W., Usvyatsov, A.: Model theory
for metric structures. In: Model theory with Applications to Algebra and
Analysis, v.2 (Chatzidakis, Z., Macpherson, H.D., Pillay, A., Wilkie, A.
eds.). London Math. Soc. Lecture Notes, v.350, pp. 315 - 427, Cambridge
University Press (2008)
[4] Ben Yaacov, I., Usvyatsov A.: Continuous ﬁrst order logic and local
stability. Trans. Amer. Math. Soc. 362, 5213 - 5259 (2010)
[5] Cameron, P.: Oligomorphic Permutation Groups. London Math. Soc.
Lecture Notes, vol. 152, Cambridge University Press (1990)
[6] Diximier, J.: Les C ∗ -algébres et leurs Représentations. Gauthier-Villas,
Paris (1969)
[7] Farah, I., Hart B., Sherman D.: Model theory of operator algebras II:
Model theory. Israel J. Math. 201, 477 - 505 (2014)
[8] Felgner, U.: On ℵ0 -categorical extra-special p-groups. Comptes Rendus
de la Semaine d’Étude en Théorie des Modéles. Logique et Analyse 18,
no. 71-72, 407 - 428 (1975)
[9] Hofmann, K.H., Morris, S., Stroppel, M.: Varieties of topological groups,
Lie groups and SIN groups. Coll. Math., 70, 151 - 163 (1996)
[10] Klee, V.L., Jr.: Invariant metrics in groups (solution of a problem of
Banach). Proc. Amer. Math. Soc. 3, 484 - 487(1952)
17

[11] Montgomery, D., Zippin, L.: Topological Transformation Groups. Interscience Publishers, New York (1955)
[12] Oliynyk, B.: Isometry groups of wreath products of metric spaces. Algebra and Discr. Math. 4, 123 - 130 (2007)
[13] Popa, S.: Cocycles and orbit equivalence superrigity for malleable actions of w-rigid groups. Invent. Math. 170, 243 - 295 (2007)
[14] Schoretsanitis, K.: Fraı̈ssé Theory for Metric Structures. PhD thesis,
University of Illinois at Urbana-Champaign (2007)
(available at http://www.math.uiuc.edu/∼henson/cfo/metricfraisse.pdf)

1. Institute of Mathematics, Wroclaw University, pl.Grunwaldzki 2/4,
50-384 Wroclaw, Poland,

2. Institute of Mathematics, Silesian University of Technology, ul.Kaszubska
23, 44-100 Gliwice, Poland

e-mail: iwanowaleksander@gmail.com

18

