I just got back from an extremely enjoyable meeting in Montreal, where I learned some nice new results about homogeneity, a natural logical property of groups. Now, I realise that logic may seem like a distant and irrelevant subject to many topologists, but I hope you’ll bear with me, as in this case I think there’s a very interesting relationship between logic and geometric group theory. If you need to be further convinced, perhaps it would help if I told you that this circle of ideas is intimately connected to Sela’s solution to the homeomorphism problem for hyperbolic manifolds. (Perhaps I’ll write some more about that on another occasion.)
If you’re interested in the logic of a group , then it makes sense to talk about the type of an element
. This is just the logical characterization of that element: to be precise, it’s the set of all formulae in first-order logic that the element satisfies. To take a simple example, the formula
is in the type of an element if and only if
is in the centre of
. It’s obvious that elements of the same
-orbit will have the same type, so it’s natural to ask whether the converse holds.
Definition: A group is 1-homogeneous if, whenever
have the same type, there is an automorphism
of
with
. You can make the same definition for
-tuples
, in which case
is called
-homogeneous. If it’s
-homogeneous for all
then I will simply call
homogeneous.
(Note that this only coincides with the standard definition when is countable.)
As a result of the epic projects of Sela and, independently, Kharlampovich and Miasnikov, the logic of finitely generated non-abelian free groups is fairly well understood, so it makes sense to ask whether free groups are homogenous. Free groups have enormous automorphism groups, so you might guess that they are indeed homogeneous, and this has been confirmed by Perin–Sklinos and Ould Houcine.
Theorem (Perin–Sklinos, Ould Houcine): Finitely generated, non-abelian free groups are homogeneous.
Having dealt with that case, the obvious next thing to do is to look at groups of the form , where
is a closed, orientable, hyperbolic surface. These also have a very large number of automorphisms, so one might hope that surface groups are also homogeneous. But it turns out that this is not the case, and it’s easy to see this if one uses some known facts. A subgroup
is called elementary if the inclusion map preserves types. The following is a very special case of a theorem of Sela and Perin (which actually classifies all elementary subgroups of all torsion-free hyperbolic groups).
Theorem (Sela, Perin): The elementary subgroups of are precisely the non-abelian free factors of subgroups of the form
, where
is a retract of
and
is not a three-punctured sphere.
This statement may seem a little complicated, but the reason for excluding the three-punctured sphere is fundamentally topological: its mapping class group is too small.
Corollary: If the genus of is greater than two then
is not homogeneous.
Proof: There is a retract of
homeomorphic to a twice-punctured torus. Let
be a non-separating simple closed curve on
, and let
be an element of a basis but not represented by a simple closed curve. Then
and
are both elements of a basis, and hence are related by an automorphism of
; in particular, they have the same type in
, and hence in
. But automorphisms of
send conjugacy classes of simple closed curves to conjugacy classes of simple closed curves, so
and
are not represented by an automorphism of
. QED
In summary, the problem is that the logic can’t distinguish simple closed curves from non-simple closed curves on .
At this point, it’s quite natural to think that this must be the end of the story for homogeneity in hyperbolic groups. Take, for example, to be a closed hyperbolic manifold of dimension greater than two. Mostow Rigidity implies that any automorphism of
is induced by an isometry of
, and there are at most finitely many of these: that is,
is finite. So the heuristic I mentioned above, that to be homogeneous you need a large automorphism group, suggests that there’s no hope. But a very nice observation of Ould Houcine shows that heuristic to be completely wrong. Let
be a torsion-free hyperbolic group, and we will define
to be rigid if
does not split as
or
, where
is trivial or cyclic. You can keep
, for
a hyperbolic manifold of dimension greater than two, in mind as an example.
Lemma: If is rigid then there is a finite set
with the property that any map
either kills some
or is an automorphism.
Sketch proof: First, we note that torsion-free rigid hyperbolic groups are co-Hopfian (Sela). This means that an monomorphism is an automorphism, so it is enough to show that the map
is injective.
Fix a generating set for
. Now, if the lemma fails then there’s a sequence of homomorphisms
that are injective on larger and larger balls in the Cayley graph of
relative to
. Using a standard limiting argument, we can take a limit in the pointed Gromov–Hausdorff topology, and extract a nice, faithful action of
on a real tree
. We can then apply the Rips Machine to contradict the hypothesis that
is rigid. QED
Ould Houcine uses this result to deduce homogeneity, as follows.
Theorem (Ould Houcine): Rigid, torsion-free, hyperbolic groups are homogeneous.
Proof:
Let be a generating set for
and let
,
be tuples with the same type. Then
satisfies the formula
.
The fact that also satisfies this formula shows that
.
The assignment now defines a homomorphism
that sends
to
and that does not kill any elements of
. By the lemma, this map is an automorphism. QED
In summary, the class of homogeneous, torsion-free, hyperbolic groups is a naturally occurring class of hyperbolic groups that includes free groups and hyperbolic
-manifold groups for
, but not surface groups. I think that’s pretty interesting! The obvious next question to ask is:
Question 1: Is a free product of homogeneous hyperbolic groups homogeneous?
In fact, Perin–Sklinos’s methods can be used to give many further nice examples of non-homogeneous hyperbolic groups. For instance, let be a non-abelian free group and let
be such that
is rigid relative to
(meaning that
has no free or cyclic splittings
,
or
, as above, with
conjugate into
or
). Then we can build a nice, one-ended, hyperbolic group
as follows.
Example: Take to be a compact, orientable surface with one boundary component, of genus equal to the commutator length of
. Let
. Note that
is a retract of
. By another instance of the theorem of Sela and Perin, it turns out that
is an elementary subgroup of
. But every automorphism of
restricts to an inner automorphism of
, so just as before we see that any pair of non-conjugate basis elements of
will serve to prove that
is not homogeneous.
More generally, I would guess that the Perin–Sklinos argument can be adapted to show quite quickly that most non-free elementarily free groups (ie group with the same first-order logic as a free group) are not homogeneous, but perhaps I’m missing something.
This still leaves an enormous number of hyperbolic groups that remain mysterious.
Question 2: Let . Is the double
homogeneous?
Of course, in some cases you get a free group or a surface group, but the majority of cases will look very different to either of these. On the one hand, typically the outer automorphism group is quite small (, in fact, generated by the Dehn twist in
). On the other hand, if I have absorbed the Perin–Sela theorem correctly, these groups have no elementary subgroups, so there’s no hope of using an argument like the one above to show that they’re not homogeneous.
Maybe the heuristics of “a homogeneous model has lots automorphisms” can be refined as “a homogeneous model either has lots of automorphisms, or you can say a lot about its elements in first order”. A good example is that of
in the language of fields: it has no automorphisms, but each element is the only one of its type (it’s uniquely defined by which rationals are smaller), so it is homogeneous.
Comment by Chloé Perin — October 21, 2010 @ 7:11 am |
“More generally, I would guess that the Perin–Sklinos argument can be adapted to show quite quickly that most non-free elementarily free groups (ie group with the same first-order logic as a free group) are not homogeneous, but perhaps I’m missing something.”
Actually, it follows from general model theory that every group
whatsoever (or, more general, structure in the sense of first-order logic) can be embedded into a group
which is
-homogeneous for every
(in the sense of your definition) and such that
is an elementary subgroup of
(in particular, has the same first-order theory). (Keyword: saturated models.)
Comment by Matthias Aschenbrenner — October 21, 2010 @ 3:10 pm |
Thanks for pointing this out, Matthias. I missed out a crucial qualification, viz: I really mean finitely generated elementarily free groups (in my universe, all groups are finitely generated!).
In the case of a finitely generated elementarily free group
, one expects to find an elementary subgroup
with an automorphism that doesn’t extend to
.
Comment by Henry Wilton — October 21, 2010 @ 6:28 pm |