Construction of Milnorian representations

arXiv:1802.07193v1 [] 20 Feb 2018

Ilia Smilga

We prove a partial converse to the main theorem of the author’s previous paper Proper affine actions: a sufficient criterion (submitted; available
at arXiv:1612.08942). More precisely, let G be a semisimple real Lie group
with a representation ρ on a finite-dimensional real vector space V , that does
not satisfy the criterion from the previous paper. Assuming that ρ is irreducible and under some additional assumptions on G and ρ, we then prove
that there does not exist a group of affine transformations acting properly
discontinuously on V whose linear part is Zariski-dense in ρ(G).

1 Introduction
1.1 Background and motivation
The present paper is part of a larger effort to understand discrete groups Γ of affine
transformations (subgroups of the affine group GLn (R) ⋉ Rn ) acting properly discontinuously on the affine space Rn . The case where Γ consists of isometries (in other words,
Γ ⊂ On (R) ⋉ Rn ) is well-understood: a classical theorem by Bieberbach says that such
a group always has an abelian subgroup of finite index.
We say that a group G acts properly discontinuously on a topological space X if for every compact K ⊂ X, the set {g ∈ G | gK ∩ K 6= ∅} is finite. We define a crystallographic
group to be a discrete group Γ ⊂ GLn (R) ⋉ Rn acting properly discontinuously and such
that the quotient space Rn /Γ is compact. In [Aus64], Auslander conjectured that any
crystallographic group is virtually solvable, that is, contains a solvable subgroup of finite
index. Later, Milnor [Mil77] asked whether this statement is actually true for any affine
group acting properly discontinuously. The answer turned out to be negative: Margulis
[Mar83, Mar87] found a counterexample in dimension 3. On the other hand, Fried and
Goldman [FG83] proved that the Auslander conjecture does hold in dimension 3 (the
cases n = 1 and 2 are easy). Recently, Abels, Margulis and Soifer [AMS] proved it in
dimension n ≤ 6. See [Abe01] for a survey of already known results.
Following Margulis’s breatkthrough, numerous other counterexamples to Milnor’s conjecture have been found. It is then natural to try to classify them by their Zariski-closure;
in other words, we ask ourselves the following question:

1

Problem. Let G be any real algebraic group, ρ : G → GL(V ) some representation on a
finite-dimensional real vector space V . The data of ρ then allows us to define the “affine
group” G ⋉ V . Can we find a subgroup Γ ⊂ G ⋉ V whose linear part is Zariski-dense
in G and that is free, nonabelian and acts properly discontinuously on the affine space
corresponding to V ?
Say that the representation ρ is non-Milnorian if the answer is positive, Milnorian if
the answer is negative. Let us focus more specifically on the case where the group G is
semisimple, and the representation ρ is irreducible.
In this setting, the author has found a sufficient condition [Smia] for a representation
to be non-Milnorian (encompassing all the previously known examples of non-Milnorian
representations, such as [Mar83], [AMS02] and [Smi16]; see the introduction to [Smia] for
a brief summary of all of these partial results). He has conjectured that this condition
is actually necessary and sufficient. This paper proves that, assuming that it satisfies
some additional conditions, any representation that fails the test from [Smia] is indeed
Milnorian.
So far, the following examples of Milnorian representations have been known:
• All the representations that do not have 0 as a restricted weight are certainly Milnorian. This includes in particular the standard representation of G = SO+ (n, n)
(acting on V = R2n ). In Section 2 we have spelled out the proof of this fact, but
this argument is obvious and has been known for a long time.
• Abels, Marguls and Soifer [AMS02] have proved that for all n ≥ 1, the standard
representation of G = SO+ (n + 1, n) (acting on V = R2n+1 ) is Milnorian if n is
even (Theorem A), non-Milnorian otherwise (Theorem B).
• They later proved (Theorem A in [AMS11]) that for all natural integers p, q such
that |p−q| ≥ 2, the standard representation of G = SO+ (p, q) (acting on V = Rp+q )
is Milnorian.
The proof presented here allows us to derive Theorem A from [AMS02] as a particular
case, but does not yet cover the representations covered by Theorem A from [AMS11].
In order to state our theorem, we need to introduce a few classical notations.

1.2 Basic notations
For the remainder of the paper, we fix a semisimple real Lie group G; let g be its Lie
algebra. Let us introduce a few classical objects related to g and G (defined for instance
in Knapp’s book [Kna96], though our terminology and notation differ slightly from his).
We choose in g:
• a Cartan involution θ. Then we have the corresponding Cartan decomposition
g = k ⊕ q, where we call k the space of fixed points of θ and q the space of fixed
points of −θ. We call K the maximal compact subgroup with Lie algebra k.

2

• a Cartan subspace a compatible with θ (that is, a maximal abelian subalgebra of g
among those contained in q). We set A := exp a.
• a system Σ+ of positive restricted roots in a∗ . Recall that a restricted root is a
nonzero element α ∈ a∗ such that the restricted root space
gα := {Y ∈ g | ∀X ∈ a, [X, Y ] = α(X)Y }
is nontrivial. They form a root system Σ; a system of positive roots Σ+ is a subset
of Σ contained in a half-space and such that Σ = Σ+ ⊔ −Σ+ . (Note that in contrast
to the situation with ordinary roots, the root system Σ need not be reduced; so in
addition to the usual types, it can also be of type BCn .)
We call Π be the set of simple restricted roots in Σ+ . We call

a++ := X ∈ a ∀α ∈ Σ+ , α(X) > 0

the (open) dominant Weyl chamber of a corresponding to Σ+ , and

a+ := X ∈ a ∀α ∈ Σ+ , α(X) ≥ 0 = a++

the closed dominant Weyl chamber.
Then we call:

• M the centralizer of a in K, m its Lie algebra.
• L the centralizer of a in G, l its Lie algebra. It is clear that l = a ⊕ m, and well
known (see e.g. [Kna96], Proposition 7.82a) that L = M A.
• n+ (resp. n− ) the sum of the restricted root spaces of Σ+ (resp. of −Σ+ ), and
N + := exp(n+ ) and N − := exp(n− ) the corresponding Lie groups.
• p+ := l ⊕ n+ and p− := l ⊕ n− the corresponding minimal parabolic subalgebras,
P + := LN + and P − := LN − the corresponding minimal parabolic subgroups.
• W := NG (A)/ZG (A) the restricted Weyl group.
• w0 the longest element of the Weyl group, that is, the unique element such that
w0 (Σ+ ) = Σ− . It is clearly an involution.
See Examples 2.3 and 2.4 in the author’s earlier paper [Smi16] for working through
these definitions in the cases G = PSLn (R) and G = PSO+ (n, 1).
Finally, if ρ is a representation of G on a finite-dimensional real vector space V , we
call:
• the restricted weight space in V corresponding to a form λ ∈ a∗ the space
V λ := {v ∈ V | ∀X ∈ a, X · v = λ(X)v} ;
• a restricted weight of the representation ρ any form λ ∈ a∗ such that the corresponding weight space is nonzero.

3

1.3 Statement of main result
Let ρ be an irreducible representation of G on a finite-dimensional real vector space V .
Without loss of generality, we may assume that G is connected and acts faithfully. We
may then identify the abstract group G with the linear group ρ(G) ⊂ GL(V ). Let VAff be
the affine space corresponding to V . The group of affine transformations of VAff whose
linear part lies in G may then be written G ⋉ V (where V stands for the group of
translations). Here is the main result of this paper.
Main Theorem. Suppose that ρ satisfies the following conditions:
(i) For every vector v fixed by all elements of L, we have w̃0 (v) = v, where w̃0 is any
representative in G of w0 ∈ NG (A)/ZG (A).
(ii) Every vector v ∈ V that is fixed by all elements of A is actually fixed by all elements
of L;
(iii) There exists an element X0 ∈ a such that −w0 (X0 ) = X0 and for every nonzero
restricted weight λ of ρ, we have λ(X0 ) 6= 0.
Then ρ is Milnorian, i.e. there does not exist a subgroup Γ in the affine group G ⋉ V
whose linear part is Zariski-dense in G and that acts properly discontinuously on the
affine space corresponding to V .
(Note that the choice of the representative w̃0 in the last condition does not matter,
precisely because by assumption the vector v is fixed by L = ZG (A).)
Let us give some comments about the conditions that we require on ρ. Condition (i)
here is the main one: this is just the negation of the condition that appears in the main
theorem of [Smia]. The other two conditions are simplifying assumptions, that the author
hopes to remove in the future. More specifically:
• Condition (ii) is always satisfied if G is split (indeed we then have l = a, and we
may show that a vector is fixed by L (resp. A) if and only if it is fixed by its Lie
algebra), but possibly also covers a few other cases.
• Condition (iii) is precisely the “non-swinging” assumption as introduced in [Smib].
If G is simple, then the only cases where this condition may fail are when its
restricted root system is of type An (n ≥ 2), D2n+1 or E6 . (See also section 5.3
in [Smia] for a slightly more detailed discussion.)

1.4 Strategy of the proof
We proceed by contradiction: we suppose that G⋉V contains a subgroup Γ with Zariskidense linear part that acts properly discontinuously on V .
We start, in Section 2, by eliminating a trivial case: the case where the whole space of
vectors fixed by A (also known as the zero restricted weight space V 0 ) is equal to zero.
Starting from there, we always assume that this space is nontrivial.

4

We then heavily rely on the framework introduced in the author’s previous paper [Smia],
that we briefly recall and slightly expand in Section 3. More specifically, we show (in
Section 4) that such a group Γ necessarily contains a “generalized Schottky” subgroup,
which satisfies verbatim all of the results proved in that paper, except for the last section. The key construction consists in associating, to every sufficiently nice element of
G ⋉ V , some vector that is related to its translation part, called its Margulis invariant.
The most important result from [Smia] is then Proposition 10.2, which says that in this
subgroup, the Margulis invariant of a generic word is roughly equal to the sum of the
Margulis invariants of the letters.
However, at this point we have to diverge from the paper [Smia]. Indeed in Section 11
of [Smia], we prove that the Margulis invariants of the elements of the group tend to
infinity, and hence the group does act properly. Here, on the contrary, we prove (in
Section 5) that the Margulis invariants of the elements of the group accumulate in a
bounded neighborhood of 0. For this, we use a method that is similar to the proof of
Theorem A in [AMS02], but generalized to higher dimensions. In Section 6, we then
deduce from this fact that the group does not act properly.
It is in this last deduction that we rely on conditions (ii) and (iii) imposed on ρ. The
point of these two conditions is to ensure that the so-called quasi-translations (as defined
in Section 7.2 in [Smia]) are just ordinary translations (see Remark 6.2). This in turn
ensures that the Margulis invariant of an element contains all of the relevant information
about its translation part (so that if the Margulis invariant is bounded, and the element
has “boundedly non-degenerate” geometry, the translation part cannot escape to infinity).

1.5 Acknowledgments
I am very grateful to my Ph.D. advisor, Yves Benoist, who introduced me to this exciting
and fruitful subject, and gave invaluable help and guidance in my initial work on this
project.
I would also like to thank François Guéritaud for an interesting discussion a few years
ago (in Luminy), that helped me shape this article in my mind long before I started
actively working on it.
This work has been partially funded by the NSF grant DMS-1709952.

2 Reduction to the case where V 0 6= 0.
We start by doing away with a trivial case.
Proposition 2.1. Suppose that 0 is not a restricted weight of ρ, i.e. that V 0 = 0. Then
there does not exist a subgroup Γ in the affine group G ⋉ V whose linear part is Zariskidense in G and that acts properly discontinuously on the affine space corresponding to V .
(See also Remark 3.5 in [Smib].)
Note that this proposition actually gives a slight improvement of the Main Theorem:
it tells us that at least if V 0 = 0 (which is a particular case of the condition (i)), we can
dispense with the technical conditions (ii) and (iii).

5

Proof. By contradiction, let Γ be such a group. By dimension arguments, it has a
finitely-generated subgroup that is still Zariski-dense; so without loss of generality, we
may assume that Γ is finitely generated. We then have Selberg’s lemma, which says that
such a group Γ is then virtually torsion-free, i.e. contains a finite-index subgroup that is
torsion-free. A finite-index subgroup of a Zariski-dense subgroup is still Zariski-dense; so
without loss of generality, we may assume that Γ is torsion-free.
Let G̃ be the set of elements of G that do not have 1 as an eigenvalue (when acting
on V ). Clearly G̃ is Zariski-open in G; and since V 0 = 0, this set is nonempty. Since by
assumption ℓ(Γ) is Zariski-dense in G, there exists an element γ ∈ Γ whose linear part is
in G̃. This implies that γ has a fixed point when acting on VAff (but is not the identity).
Since Γ is torsion-free, γ has infinite order. This contradicts properness of action.
So from now on, we assume that this issue does not arise:
Assumption 2.2. From now on, we assume that 0 is a restricted weight of ρ:
dim V 0 > 0.
(This is the same as Assumption 5.5 in [Smia].)
In this case, we can say that all that is written in [Smia], except for the last section,
still applies to our group G ⋉ V . From now on, we borrow all of the definitions and
notations from [Smia].

3 Generalized Schottky groups
The goal of this section is to recall the key lemma from [Smia], namely Proposition 10.2,
about “generalized Schottky” groups; and to formulate some easy corollaries of its proof.
Definition 3.1. For every generically symmetric and extreme vector X0 ∈ a+ and for
every constant C ≥ 1, we say that a k-tuple (g1 , . . . , gk ) of elements of G ⋉ V is CSchottky of type X0 if it satisfies the conditions of Proposition 10.2 in [Smia]. (Note that
in that proposition, the definitions of ρ-regularity, C-non-degeneracy and of the Margulis
invariant M (g) all implicitly depend on the choice of X0 .)
If Γ is the group generated by this tuple, by abuse of terminology, we will also sometimes say that Γ is C-Schottky of type X0 . Of course the reader has to keep in mind that
this is not really a property of Γ as an abstract group, but of Γ together with a certain
choice of a generating set.
We may now restate Proposition 10.2 from [Smia]. Actually, recall that this proposition
was obtained as part of an even stronger result, which was proved by induction on
max(l, l′ ):
Proposition 3.2 ([Smia]). Let Γ = hg1 , . . . , gk i be a C-Schottky subgroup of type X0
in G ⋉ V ; and let g = giσ11 · · · giσll be any nonempty cyclically reduced word in Γ. Then we
have the following properties:

6

(i) The map g is ρ-regular.




&
&

Haus

Ag , Agσ1 .C 2 1 − 2−(l−1) s10.2 (C)
α
i1


(ii)



αHaus A.g , A.σl .C 2 1 − 2−(l−1) s10.2 (C).
g
il

(iii) s(g) ≤ 2−(l−1) s10.2 (C).
(iv)

M (g) −

l
X

m=1

M (giσmm ) ≤ (l − 1)ε9.3 (2C).

σ′

σ′

1

l′

(v) If h = gi′1 · · · gi′l′ is another nonempty cyclically reduced word such that gh is also
cyclically reduced, the pair (g, h) is 2C-non-degenerate.

(Technically, this result is neither explicitly stated nor explicitly proved in [Smia].
However a particular case of this result appears in the proof of Proposition 5.2 in [Smi16];
and the proof of Proposition 10.2 in [Smia] is entirely analogous).
By plugging points (i), (iii) and (iv) into Proposition 9.3 from [Smia], we immediately
obtain the following corollary (which in fact was used to prove the proposition above,
specifically for the induction step in point (iv)):
Corollary 3.3. Let Γ = hg1 , . . . , gk i be a C-Schottky subgroup of type X0 in G ⋉ V , and
g and h be two nonempty cyclically reduced words in Γ such that gh is still cyclically
reduced. Then we have
kM (gh) − M (g) − M (h)k ≤ ε9.3 (2C).
Here is another easy porism of Proposition 3.2:
Lemma 3.4. Let Γ = hg1 , . . . , gk i be a C-Schottky subgroup of type X0 in G ⋉ V , and g
and h be two nonempty cyclically reduced words in Γ such that hg is reduced. Then the
pair of affine parabolic spaces


A&g , A.h
is 2C-non-degenerate (and in particular transverse).

This statement is also one of the steps in the proof of Proposition 3.2: in fact, point (v)
was proved by applying this statement to both the pair (g, h) and (h, g). Let us remind
how the latter is proved:
Proof. This follows by combining:
• Proposition 3.2.(ii) applied to g and h,

7

• with the second defining property of a Schottky tuple, i.e. assumption (H2) from
Proposition 10.2 in [Smia];
and plugging them into Lemma 8.3 from [Smia] (which is analogous to Lemma 3.9
from [Smi16]).
We may use this to show that a pair of affine parabolic spaces coming from two elements
of a Schottky group is always transverse, unless of course the two elements are inverse
to each other (possibly up to some powers):
Lemma 3.5. Let Γ = hg1 , . . . , gk i be a C-Schottky subgroup of type X0 in G ⋉ V , and g
and h be two nonempty cyclically reduced words in Γ. Then the pair of affine parabolic
spaces


A&g , A.h
is always transverse, unless g and h are of the form
(
g = fa
h = f −b

(3.1)

for some f ∈ Γ and some positive integers a and b.
Proof. Since g and h are cyclically reduced words, we have
len(gn ) = n len(g)
for every nonnegative n (and similarly for h). In particular the two words
glen(h)

and (h−1 )len(g)

have the same length, namely len(g) len(h). (Of course instead of the product of the
lengths, we could have used their least common multiple, or for that matter any common
multiple, or even infinite words formed by repeating g and h−1 infinitely many times;
the proof would still work the same way.) There are then two possible cases:
• Either the two words coincide: glen(h) = (h−1 )len(g) . It is easy to see (basically by
Euclid’s GCD algorithm) that this is precisely equivalent to (3.1).
• Otherwise, the two words differ in at least one letter. Let then p be their longest
′
common prefix, and let giσ (resp. giσ′ ) be the first letter of the word glen(h) (resp.
(h−1 )len(g) ) that follows p. By assumption, we then have (i, σ) 6= (i′ , σ ′ ).
Now consider the conjugates p−1 gp and p−1 hp. If we write them in reduced form,
we get cyclic permutations of g and h respectively (which are always cyclically
reduced). Moreover, the reduced form of p−1 gp then starts with the letter giσ
′
. We may thus apply
and the reduced form of p−1 hp then ends with the letter gi−σ
′
Lemma 3.4 to the pair (p−1 hp, p−1 gp), to conclude that the pair of affine parabolic
spaces


&
.
Ap−1 gp , Ap−1 hp
8

is transverse. Now given that the property of being transverse is invariant by the
action of G, we conclude that the pair


A&g , A.h ,
which is the image of the previous pair by p, is transverse as well.

4 Construction of a generalized Schottky subgroup in Γ
We now introduce some subgroup Γ ⊂ G ⋉ V whose linear part is Zariski-dense in G.
The remainder of this paper is dedicated to proving that its action on VAff cannot be
proper (which will prove the Main Theorem).
The goal of this section is to find, inside Γ, a C-Schottky subgroup of type X0 , for a
suitable generically symmetric and extreme vector X0 ∈ a+ and constant C ≥ 1. The
actual construction will be done in subsection 4.2; before this, we need some preliminary
work, to be done in subsection 4.1.
The results of this section hold for any representation ρ that has 0 as a restricted
weight; we do not yet need the conditions (i), (ii) and (iii) from the Main Theorem.

4.1 Characterization of transversality of flags
The goal of this subsection is to prove Lemma 4.4, which characterizes transverse pairs of
flags. It encompasses Lemma 4.21 (ii) from [Smib], but also provides its converse (which
is what we will really need in the next subsection).
We fix, for the duration of this subsection, a vector X ∈ a+ . The result that we are
going to prove holds without any additional assumption on X. Also, it makes sense in
a purely linear setting (i.e. in the group G rather than G ⋉ V ); so we may temporarily
forget about our representation ρ.
We start with the following lemma, which plays the role of Lemma 6.5 from [Smib]
in the case where ρ is replaced by the adjoint representation (so that Ω = Σ ∪ {0}),
but X is no longer assumed to be generic with respect to it (in other terms, we do not
<
=
necessarily have ΠX = ∅). Define Σ>
X , ΣX and ΣX to be the set of restricted roots that
take respectively positive, zero or negative values on X.
Lemma 4.1. Every element w of the restricted Weyl group W such that
≥
wΣ>
X ⊂ ΣX
≥
is actually an element of WX (and in particular stabilizes both Σ>
X and ΣX ).

Proof. Let w ∈ W be an element satisfying this condition. The condition is equivalent
to
≥
−1 ≥
Σ>
X ⊂ w ΣX = ΣwX ,
or in other terms
∀α ∈ Σ>
X,

α(wX) ≥ 0.

9

(4.1)

Now note that Σ=
X is itself a (possibly empty) root system, whose Weyl group is
precisely WX (by Chevalley’s lemma, see e.g. [Kna96], Proposition 2.27) and which has
ΠX as a system of positive simple roots. Hence there exists some w′ ∈ WX such that
w′ wX is dominant with respect to ΠX , i.e. on which every α ∈ ΠX = Π ∩ Σ=
X takes a
nonnegative value.
′
On the other hand, since clearly WX stabilizes Σ>
X , this vector w wX still satisfies
′
(4.1); in particular every α ∈ Π \ ΠX = Π ∩ Σ>
X also takes a nonnegative value on w wX.
′
′
+
We conclude that w wX is dominant with respect to all of Π, i.e. that w wX ∈ a .
But every Weyl orbit intersects a+ at exactly one point, so we actually have w′ wX = X.
Since by construction w′ ∈ WX , we conclude that w ∈ WX as well.
We may now characterize G-orbits of pairs of flags in terms of the Bruhat decomposition of a suitable map.
Lemma 4.2. Let φ1 , φ2 ∈ G; consider the pair of cosets (φ1 PX+ , φ2 PX− ) ∈ G/PX+ ×G/PX− .
Then:
(i) its G-orbit depends only on the “Bruhat projection” w of the map φ−1
1 φ2 w0 , which
is defined to be the unique element w ∈ W such that
+
+
φ−1
1 φ2 w0 ∈ P wP .

(ii) this pair lies in the same G-orbit as the pair (PX+ , PX− ) if and only if this Bruhat
projection w satisfies
ww0 ∈ WX .
Proof. For shortness’ sake, we introduce the notation Y := −w0 (X). (In subsequent
applications, the vector X will actually be symmetric, meaning that Y = X).
(i) Since PX+ is by definition the normalizer of p+
X (in the adjoint representation), the
coset φPX+ is entirely determined by the conjugacy class Adφ p+
X and vice-versa:
∀φ, φ′ ∈ G,

+
φPX+ = φ′ PX+ ⇐⇒ Adφ p+
X = Adφ′ pX .

Of course the same statement holds for PX− and p−
X . So the question can be restated
as follows: we need to prove that the AdG -orbit

−
,
Ad
p
AdG · Adφ1 p+
φ
2
X
X
+
depends only on w. Now noting that p−
X = Adw0 pY , and multiplying everything
−1
by φ1 , this orbit is in fact equal to the orbit

+
AdG · p+
X , Adφ−1 φ2 w0 pY .

Now by definition of w, we can find some p1 , p2 ∈ P + such that φ−1 φ2 w0 = p1 wp2 .
−1
Let us multiply everything by p−1
1 . The elements p1 and p2 are by assumption
in P + , which is a subset of both PX+ and PY+ and in particular normalizes both

10

+
of their Lie algebras. So both rightmost factors can be absorbed into p+
X and pY
respectively, and we see that our orbit is the same as the orbit

+
AdG · p+
X , Adw pY ,

and indeed depends only on w.

(ii) By (i), it is enough to show that, for every w ∈ W , the pair (PX+ , ww0 PX− ) is in the
same G-orbit as the pair (PX+ , PX− ) if and only if ww0 ∈ WX . Applying once again
the reductions made in the proof of (i), this can be further reduced to showing
that, for every w ∈ W , we have


+
−
+
p+
⇐⇒
ww0 ∈ WX .
X , Adw pY ∈ AdG · pX , pX
Indeed:

• Assume first that ww0 ∈ WX . This means in particular that ww0 stabilizes
p−
X , so that we actually have


+
−
+
p+
X , Adw pY = pX , pX ;

of course the orbits are then equal as well.


−
+
∈ AdG · p+
• Conversely, assume that p+
X , pX . This means in
X , Adw pY
+
particular that the pair p+
X , Adw pY is transverse, in the sense that
+
p+
X + Adw pY = g.

This is equivalent to
≥
Σ≥
X ∪ wΣY = Σ,

which in turn is equivalent to
≥
ww0 Σ>
X ⊂ ΣX

(compare this with (7.7) in [Smia]). We conclude by Lemma 4.1.
Recall that the proof of Lemma 4.21 in [Smia] relied on a “model” attracting line and
repelling hyperplane in each of the “reference” representations; let us now give a notation
to these pairs of spaces.
Definition 4.3. Let i ∈ Π, and let (ρi , Vi ) be one of the representations of G introduced
s the highest restricted weight space of V ,
in Proposition 2.12 from [Smia]. We call Vi,0
i
u its natural complement:
and Vi,0
s
Vi,0
:= Vini ̟i ;
M
u
Vi,0
:=
Viλ .
λ6=ni ̟i

We are now ready to state, and prove, the announced lemma.

11

Lemma 4.4. For any φ1 , φ2 ∈ G, the pair (φ1 PX+ , φ2 PX− ) ∈ G/PX+ × G/PX− is transverse
s 6∈ φ V u .
if and only if, for every i ∈ Π \ ΠX , we have φ1 Vi,0
2 i,0
Of course it is understood here that φ1 and φ2 act on Vi by ρi .
Proof. Let φ1 , φ2 ∈ G, and let w be the Bruhat projection of the map φ−1
1 φ2 w0 . By
Lemma 4.2, the pair (φ1 PX+ , φ2 PX− ) is transverse if and only if ww0 ∈ WX .
On the other hand, for every i ∈ Π \ ΠX , the condition
s
u
φ1 Vi,0
6∈ φ2 Vi,0

is equivalent to


ni ̟i 6∈ w Ωi \ {w0 (ni ̟i )}

(where Ωi , as in [Smia], denotes the set of restricted weights of ρi ). This happens if and
only if ww0 fixes ni ̟i , i.e. if and only if ww0 ∈ W̟i .
Finally, we note that
\
WX =
W̟ i
i∈Π\ΠX

(see (4.13) in [Smia]). The conclusion follows.

4.2 Construction of the subgroup
We are now ready to construct a generalized Schottky subgroup in Γ. Our first step is
to find an appropriate vector X0 (that we will fix for the remainder of the paper).
Proposition 4.5. There exists some generically symmetric and extreme vector X0 ∈ a+
such that Γ contains at least one element g compatible with X0 .
Proof. Define the limit cone of Γ (denoted by ℓΓ ; not to be confused with ℓ(Γ), which is
the linear part of Γ) to be the smallest closed cone in a+ containing the Jordan projections
of all the elements of Γ. (The Jordan projection, also known as the Lyapunov projection,
is the map Jd : G → a+ given by Definition 2.3 in [Smia], or equivalently the map log λ
in the notations of [Ben97].) Then Theorem 1.2.a.β in [Ben97] says that ℓΓ is convex and
has nonempty interior. In particular its intersection with the (−w0 )-invariant subspace
of a+ also has nonempty interior: hence it contains at least one generically symmetric
vector X0′ . Applying Proposition 5.12 from [Smib], we can then find an extreme vector X0
of the same type as X0′ .
Now consider the set a′ρ,X0 of vectors in a compatible with X0 , introduced in Remark 6.15 in [Smia]. This set is an open convex cone containing X0′ . Now we have
X0′ ∈ ℓΓ , which means by definition that Γ contains elements whose Jordan projections
have direction arbitrarily close to X0′ . In particular Γ must contain some element g whose
Jordan projection is in a′ρ,X0 , i.e. which is compatible with X0 .
We fix this value of X0 for the remainder of the paper. Let us now find a second
element h ∈ Γ, also compatible with X0 , and “in general position” with respect to g:

12

Proposition 4.6. Let g ∈ Γ be an element compatible with X0 . Then there exists another
0 ,+
element h ∈ Γ compatible with X0 such that both attracting flags yhX0 ,+ and yhX−1
are
X0 ,−
X0 ,−
transverse to both repelling flags yg
and yg−1 .
(See Definition 4.3 in [Smia] for the definitions of the attracting and repelling flags.
They make sense when g and h are X0 -regular; but we know that g and h are compatible
with X0 , which, by Proposition 6.16 (i) in [Smia], is a stronger property.)
Proof. We find h as the conjugate of g by some element φ ∈ Γ; this automatically ensures
that h is still compatible with X0 . The transversality conditions are then satisfied if and
only if the element φ is contained in each of the following four sets:


U ++ := φ ∈ G φ ygX0 ,+ transverse to ygX0 ,− ;
n
o

0 ,−
U +− := φ ∈ G φ ygX0 ,+ transverse to ygX−1
;
o

n

0 ,+
U −+ := φ ∈ G φ ygX−1
transverse to ygX0 ,− ;

n

o
0 ,+
0 ,−
U −− := φ ∈ G φ ygX−1
transverse to ygX−1
.

It remains to show that Γ ∩ U ++ ∩ U +− ∩ U −+ ∩ U −− 6= ∅. Since Γ is by assumption
Zariski-dense, the result will follow if we can prove that all four sets U ++ , U +− , U −+ ,
U −− are Zariski-open and nonempty.
From Lemma 4.4, it follows (using Lemma 4.21 from [Smia]) that we have
o
n
\
s
u
f
E
∈
6
E
f
∈
GL(V
)
U ++ =
ρ−1
i
ρi (g)
ρi (g) .
i
i∈Π\ΠX

o
n
and similarly for the other three sets. Now each set f ∈ GL(Vi ) f Eρsi (g) 6∈ Eρui (g−1 )
is just the (set-theoretical) complement of a hyperplane, hence Zariski-open. Since the
representations ρi are algebraic, it follows that U ++ (and similary U +− , U −+ and U −− )
is Zariski-open.
Now the sets U ++ and U −− are obviously nonempty, as they contain the identity. For
+−
U
and U −+ , it is easy to show nonemptiness by using the transversality criterion of
Lemma 4.2.
We may now finally construct the desired subgroup.
Definition 4.7.
• From now on, we fix two elements g and h compatible with X0 and satisfying the
transversality conditions of Proposition 4.6.

13

• These transversality conditions can be restated as follows: for any two elements
f1 , f2 ∈ {g, g −1 , h, h−1 } that are not inverse to each other, the pair of flags


X0 ,+
X0 ,−
y f1 , y f2

is transverse. By Remark 7.15 from [Smia], this is equivalent to saying that for any
such f1 , f2 , the pair


&
Vf1 , Vf.2
is transverse. This, in turn, is obviously equivalent to the pair


&
Af1 , A.f2

being transverse. Now clearly, any transverse pair of affine parabolic spaces is Cnon-degenerate for some finite C ≥ 1. We fix, for the rest of the paper, a value
C ≥ 1 such that all six of these pairs are C-non-degenerate.
• Finally we call Γ′ the group generated by g N and hN , where N is a positive integer
large enough that the pair (g N , hN ) is C-Schottky of type X0 . Concretely, we need
to choose N such that for every f ∈ {g, g−1 , h, h−1 }, we have

sX0 f N ≤ s10.2 (C)

(where s10.2 (C) is the constant introduced in Proposition 10.2 from [Smia]). This is
made possible by Proposition 7.23.(ii) from [Smia], which ensures that the left-hand
side tends to 0 as N tends to infinity.

5 Construction of a sequence with bounded Margulis
invariants
The goal of this section is to prove Proposition 5.3, which gives, in this generalized
Schottky group Γ′ , an infinite collection of elements whose Margulis invariants remain
bounded. Actually, we will find these elements an an even smaller subgroup Γ′′ ⊂ Γ′ ,
that is still generalized Schottky but possibly with a different parameter.
Assumption 5.1. From now on, we assume that ρ satisfies condition (i) from the Main
Theorem. Using the notation introduced in Proposition 7.8 in [Smia], it can now be
rephrased as follows:
∀v ∈ V0t , −w0 (v) = −v.
(5.1)
Note that conditions (ii) and (iii) from the Main Theorem are not required until the
next section.
With this assumption, Proposition 9.1 from [Smia] reduces to a particularly simple
form:

14

Remark 5.2. For every ρ-regular map g ∈ G ⋉ V , we then have
M (g−1 ) = −M (g).

(5.2)

In other terms, the identity M (gn ) = nM (g) now holds for all integer values of n, positive
and negative.
Proposition 5.3. There exists a constant C ′ > 1, an integer k ≥ 2 and elements
γ1 , . . . , γk ∈ Γ′ with the following properties:
• The family (γ1 , . . . , γk ) is C ′ -Schottky of type X0 .
• The group Γ′′ generated by this family contains an infinite subset S of elements that
are cyclically reduced (as words in Γ′′ ) and such that
∃R ≥ 0, ∀γ ∈ S,

kM (γ)k ≤ R.

To prove this, we distinguish two cases: either the Margulis invariants of the elements
of Γ′ are all collinear, or they span a vector subspace of V0t of dimension at least 2.

5.1 Case where M(Γ′ ) is contained in a line
In this case, we can basically apply the same techniques as for the proof of Theorem A
in [AMS02].
Proof of Proposition 5.3 when dim Span(M (Γ′ )) ≤ 1. In this case, restricting to a smaller
group is unnecessary: we simply take C ′ := C, k := 2, γ1 := g and γ2 := h (so that
Γ′′ = Γ′ ).
By assumption, the vectors M (g) and M (h) must in particular be linearly dependent.
Without loss of generality (exchanging g and h if needed), suppose that we have
M (g) = cM (h)
for some c ∈ R. Now we deduce from Proposition 9.3 in [Smia] that for every natural
integer n, we have
kM (gn h−⌊cn⌋ )k ≤ knM (g) − ⌊cn⌋M (h)k + ε9.3 (C)
≤ kM (h)k + ε9.3 (C).

(To ensure that this works no matter the sign of c, we rely on (5.2).) Thus taking R to
be the right-hand side of the last inequality, the set
n
o
S = gn h−⌊cn⌋ n ∈ N
satisfies the required conditions.

15

5.2 Case where M(Γ′ ) is not contained in a line: construction of the
subgroup
Let us now assume that dim Span(M (Γ′ )) ≥ 2. We split the proof of this case into two
parts: in this subsection we construct the generalized Schottky subgroup Γ′′ ⊂ Γ′ , and
in the next subsection we construct the set S inside it.
The number of generators k of the subgroup will be taken to be
k := dim Span(M (Γ′ )).
Let us choose once and for all
g1 , . . . , gk
some cyclically reduced elements of Γ′ whose Margulis invariants form a basis of the vector
subspace spanned by M (Γ′ ). (We may assume them to be cyclically reduced since, by
construction, the Margulis invariant of an element only depends on its conjugacy class.)
We start by checking that these elements and their inverses are pairwise in general
position:
Lemma 5.4. For any two indices i, i′ ∈ {1, . . . , k} and signs σ, σ ′ such that (i′ , σ ′ ) 6=
(i, −σ), the pair of affine parabolic spaces


&
.
Agσ , A σ′
gi′

i

is transverse.
This is an easy consequence of Lemma 3.5.
Proof. By contradiction, let i, i′ , σ, σ ′ be some indices and signs such that the pair is not
transverse. From Lemma 3.5, this is only possible if we have
(
giσ = f a
′
giσ′ = f −b
for some f ∈ Γ′ and some positive integers a and b. Using the identity (5.2), this means
that the Margulis invariants of the maps gi and gi′ are related by
M (gi ) =

σa
M (gi′ ).
−σ ′ b

By assumption the Margulis invariants of the different maps gi are linearly independent;
so we must have i = i′ . If we additionally had σ = σ ′ , then the two parabolic spaces
would be the dynamic spaces of one single ρ-regular map, so they would be transverse.
So we necessarily have σ = −σ ′ .
This allows us to construct our subgroup:
Definition 5.5.

16

• In the light of Lemma 5.4, we fix a constant C ′ ≥ 1 such that all of the pairs of spaces
concerned by this lemma (there are (2k)2 − 2k of them) are C ′ -non-degenerate.
• We call φΓ′ the linear map that maps any vector in Span(M (Γ′ )) to its coordinates
in the basis (M (g1 ), . . . , M (gk )).
• We fix an integer N ′ large enough that, for every i = 1, . . . , k and σ = ±1, we have:
′

sX0 (giσN ) ≤ s10.2 (C ′ ),
where s10.2 is the constant from Proposition 10.2 in [Smia]. This is possible thanks
to Proposition 7.23.(ii) from [Smia]. Additionally, we require N ′ to satisfy
√
N ′ ≥ 12 k kφΓ′ k ε9.3 (2C ′ ),
(5.3)
where ε9.3 is the constant from Proposition 9.3 in [Smia].
′

• Finally, for all i = 1, . . . , k, we set γi := giN ; and we set Γ′′ := hγ1 , . . . , γk i. Then
the first assumption on N ′ ensures that the group Γ′′ is indeed C ′ -Schottky of
type X0 . (The second assumption basically ensures that the Margulis invariants of
its generators are large enough that the error term in Proposition 3.3.(iv) becomes
negligible.)

5.3 Case where M(Γ′ ) is not contained in a line: construction of the
sequence
It now remains to construct an infinite subset S ⊂ Γ′′ of elements whose Margulis invariants remain bounded.
The basic idea is as follows: start with an arbitrary prefix w; then we can always
complete it to a word whose Margulis invariant is in some fixed compact set. Indeed
thanks to (5.2), no matter where we are in the vector subspace Span(M (Γ′ )), we can
always find a letter among the generators and their inverses whose Margulis invariant
points roughly towards the origin. Then “approximate additivity” of Margulis invariants
ensures that, when we multiply by this letter, the norm of the Margulis invariant decreases
(or stays small). This is roughly the content of Lemma 5.7 below.
There is however a complication: we need to ensure, at every step, that the word
remains cyclically reduced. So every time we append a letter, we might need to add
some “padding” to protect it from possible cancellations. The following technical lemma
tells us that even with this “padding”, we can still manage to decrease the norm of the
vector (provided that we choose the “padding” wisely, and unless the vector was already
small to begin with).
Lemma 5.6. Take any vector α = (c1 , . . . , ck ) ∈ Rk with sufficiently large Euclidean
norm, namely
√ 
√ 
kαk ≥ k 3 + 2√3k .

17

Let i be the index of the component having the largest absolute value, and let σ ∈ {±1}
be its sign, so that we have
σci = |ci | = max |cj |.
j=1,...,k

Let j be any other index (here we use the assumption that k ≥ 2), and let τ ∈ {±1} be
such that τ cj is nonnegative. Finally, let β = σei + xτ ej , where x is either 0, 1 or 2 (and
(e1 , . . . , ek ) stands for the canonical basis of Rk ). Then we have
1
kα − βk ≤ kαk − √ .
2 k
Proof. Note that from the definition of ci , it follows that kαk ≤
then have
√
|ci | ≥ √1k kαk ≥ 3 + 2√3k .

√

k|ci |. In particular we

Now we compute:
kαk2 − kα − βk2
kαk + kα − βk
2(|ci | + x|cj |) − (1 + x)
=
kαk + kα − βk
2|ci | − 3
≥
2kαk + kβk
2|ci | − 3
≥ √
√
2 k|ci | + 3

kαk − kα − βk =

(this works because 2|ci | − 3 ≥ 0)

√

3 + √3
1
k
√
=√ − √
k 2 k|ci | + 3

√
√3
k
√ 
3
√
2 k

3+

1
≥√ − √ 
k 2 k 3+
1
= √ .
2 k

+

√

3

The following lemma now shows how we can decrement the Margulis invariant of a
word by appending one, two or three letters.
Lemma 5.7. Let w be any cyclically reduced word on the generators γ1 , . . . , γk , such that
√ !
√
3
kφΓ′ (M (w))k ≥ k 3 + √
N ′.
(5.4)
2 k
Then there exists a cyclically reduced word u on the same generators such that wu is still
cyclically reduced, and we have
N′
kφΓ′ (M (wu))k ≤ kφΓ′ (M (w))k − √ .
4 k

18

Proof. Let c1 , . . . , ck be the coordinates of M (w) in the basis (M (g1 ), . . . , M (gk )). Let
i be the index of the one that has the largest absolute value, and let σ ∈ {±1} be its
sign, so that we have
σci = |ci | = max |cj |.
j=1,...,k

Let j be any other index (here we use the assumption that k ≥ 2), and let τ ∈ {±1} be
such that τ cj is nonnegative.
We now set u = l1 γi−σ l2 , where:
(
γj−τ if the last letter of w is γiσ ,
l1 :=
1
if it is anything else;
(
γj−τ if the first letter of w is γiσ ,
l2 :=
1
if it is anything else.
In other terms, u is equal to either γi−σ , γj−τ γi−σ , γi−σ γj−τ or γj−τ γi−σ γj−τ , depending on
the first and last letter of w. Clearly u is cyclically reduced in all four cases; and its
construction ensures that wu is still cyclically reduced.
By Corollary 3.3 and Remark 5.2, we then have
M (wu) = M (w) − σM (γi ) − xτ M (γj ) + E

with

kEk ≤ 3ε9.3 (2C ′ ),

where x = 0, 1 or 2 depending on the first and last letter of w. Applying φΓ′ to this
estimate, we get
φΓ′ (M (wu)) = φΓ′ (M (w)) − N ′ (σei + xτ ej ) + E ′

with

kE ′ k ≤ 3 kφΓ′ k ε9.3 (2C ′ ).

Now recall the lower bound (5.4) that we have on φΓ′ (M (w)). This allows us to apply Lemma 5.6, rescaled by N ′ , to the right-hand side of this formula (error term E ′
excluded). We obtain that
1
kφΓ′ (M (wu))k ≤ kφΓ′ (M (w))k − √ N ′ + kE ′ k
2 k
1
≤ kφΓ′ (M (w))k − √ N ′ + 3 kφΓ′ k ε9.3 (2C ′ ).
2 k
Now recall that N ′ has been chosen to satisfy the lower bound (5.3); this translates to
1
3 kφΓ′ k ε9.3 (2C ′ ) ≤ √ N ′ .
4 k
The conclusion follows.
Proof of Proposition 5.3 when dim Span(M (Γ′ )) ≥ 2. By applying Lemma 5.7 iteratively,
we see that for any cyclically reduced word w in Γ′′ , there is another cyclically reduced
word w′ having w as a prefix and whose Margulis invariant is bounded by
√ !
√
3
N ′.
kφΓ′ (M (w′ ))k ≤ k 3 + √
2 k

19

Let S be the set of all such words w′ . By construction these words can have any cyclically
reduced word as a prefix, so clearly S is infinite. Moreover, the Margulis invariants of its
elements are all bounded by the constant
√ !
√
3
−1
R = kφΓ′ k k 3 + √
N ′,
2 k
as required.

6 Proof of non-properness
From boundedness of Margulis invariants, we may now deduce that the group does not
act properly.
To do this, we have to rely on all the conditions of the Main Theorem:
Assumption 6.1. In addition to condition (i), the representation ρ also satisfies conditions (ii) and (iii) of the Main Theorem.
Remark 6.2. Using notations from Section 7.2 from [Smia], these two conditions are easily
seen to be equivalent to the statement
V0t = V 0 = V0= ,

(6.1)

V0a = V ≎ ⊕ (V0a ∩ V 0 ) = 0.

(6.2)

or equivalently
In fact, (ii) and (iii) respectively account for each for the two equalities in (6.1), or for
the vanishing of each direct summand in (6.2).
Plugging this into Proposition 7.8 in [Smia], the two conditions together mean that
quasi-translations are actually simply translations.
Proof of the Main Theorem. We will now deduce from Proposition 5.3 that Γ′′ (hence, a
fortiori, the larger group Γ) does not act properly on VAff .
We introduce the following compact subset of VAff :


p
K := BA 0, 2C ′ R2 + 1 ∩ VAff


p
= BVAff p0 , (2C ′ )2 (R2 + 1) − 1 ,
where p0 is the chosen origin of VAff (i.e. the intersection of VAff , seen as an affine subspace
of the “extended affine space” A, with the line R0 : see Section 6.2 in [Smia]). We claim
that
∀γ ∈ S, γK ∩ K 6= ∅;
since S ⊂ Γ′′ ⊂ Γ′ ⊂ Γ is infinite, this completes the proof.

20

Indeed, take any γ ∈ S ⊂ Γ′′ . By construction, γ is then a cyclically reduced word
in Γ′′ ; in particular, by Proposition 10.2 in [Smia], it is then ρ-regular and 2C ′ -nondegenerate. Let φγ be an optimal canonizing map of γ (see Definition 7.20 in [Smia]), so
that we have
′
kφγ k ≤ 2C ′ and kφ−1
γ k ≤ 2C .
In particular, this implies that

 
p
′
2
φγ (K) = φγ BA 0, 2C R + 1 ∩ VAff
 p

⊃ BA 0, R2 + 1 ∩ VAff
= BVAff (p0 , R).

(6.3)

Now recall (Proposition 7.10 from [Smia]) that the conjugate map φγ ◦ γ ◦ φ−1
acts
γ
(which
by
definition
contains
p
)
by
quasi-translation.
But
given
the
on the space A=
0
0
assumptions we made on ρ, a quasi-translation is just a translation (see Remark 6.2
above). Moreover, by definition, the translation vector of the map φγ ◦ γ ◦ φ−1
γ is then
precisely equal to M (γ). Thus we have
φγ ◦ γ ◦ φ−1
γ (p0 ) = p0 + M (γ).
Now since by assumption, we have kM (γ)k ≤ R, it follows from (6.3) that the image
set φγ (K) meets its image by the conjugate map φγ ◦ γ ◦ φ−1
γ . We conclude that the
original set K meets its image by the original map γ.

References
[Abe01] H. Abels. Properly discontinuous groups of affine transformations, a survey.
Geom. Dedicata, 87:309–333, 2001.
[AMS]

H. Abels, G.A. Margulis, and G.A. Soifer. The Auslander conjecture for dimension less than 7. Preprint, arXiv:1211.2525.

[AMS02] H. Abels, G.A. Margulis, and G.A. Soifer. On the Zariski closure of the linear
part of a properly discontinuous group of affine transformations. J. Differential
Geometry, 60:315–344, 2002.
[AMS11] H. Abels, G.A. Margulis, and G.A. Soifer. The linear part of an affine group
acting properly discontinuously and leaving a quadratic form invariant. Geom.
Dedicata, 153:1–46, 2011.
[Aus64]

L. Auslander. The structure of compact locally affine manifolds. Topology,
3:131–139, 1964.

[Ben97]

Y. Benoist. Propriétés asymptotiques des groupes linéaires. Geom. and funct.
anal., 7:1–47, 1997.

21

[FG83]

D. Fried and W.M. Goldman. Three-dimensional affine crystallographic groups.
Adv. in Math., 47:1–49, 1983.

[Kna96] A.W. Knapp. Lie Groups Beyond an Introduction. Birkhaüser, 1996.
[Mar83] G.A. Margulis. Free properly discontinuous groups of affine transformations.
Dokl. Akad. Nauk SSSR, 272:937–940, 1983.
[Mar87] G.A. Margulis. Complete affine locally flat manifolds with a free fundamental
group. J. Soviet Math., 134:129–134, 1987.
[Mil77]

J. Milnor. On fundamental groups of complete affinely flat manifolds. Adv. in
Math., 25:178–187, 1977.

[Smia]

I. Smilga. Proper affine actions: a sufficient criterion. Submitted; available at
arXiv:1612.08942.

[Smib]

I. Smilga. Proper affine actions in non-swinging representations. To appear in
Groups, Geometry and Dynamics; available at arXiv:1605.03833.

[Smi16]

I. Smilga. Proper affine actions on semisimple Lie algebras. Annales de l’Institut
Fourier, 66(2):785–831, 2016.

Yale University Mathematics Department, PO Box 208283, New Haven, CT
06520-8283, USA
E-mail address: ilia.smilga@normalesup.org

22

