Strongly transitive actions on affine ordered hovels
Corina Ciobotaru∗1 and Guy Rousseau†2,3
Université de Genève, Section de mathématiques, 2–4 rue du Lièvre,
1211 Genève 4, Switzerland.
2
Université de Lorraine, Institut Élie Cartan de Lorraine, UMR 7502,
Vandœuvre-lès-Nancy, F-54506, France.
3
CNRS, Institut Élie Cartan de Lorraine, UMR 7502, Vandœuvre-lès-Nancy,
F-54506, France.

arXiv:1504.00526v3 [] 2 Mar 2017

1

June 21, 2016

Abstract
A hovel is a generalization of the Bruhat–Tits building that is associated with an
almost split Kac–Moody group G over a non-Archimedean local field. In particular,
G acts strongly transitively on its corresponding hovel ∆ as well as on the building
at infinity of ∆, which is the twin building associated with G. In this paper we study
strongly transitive actions of groups that act on affine ordered hovels ∆ and give
necessary and sufficient conditions such that the strong transitivity of the action on
∆ is equivalent to the strong transitivity of the action of the group on its building at
infinity ∂∆. Along the way a criterion for strong transitivity is given and the cone
topology on the hovel is introduced. We also prove the existence of strongly regular
hyperbolic automorphisms of the hovel, obtaining thus good dynamical properties
on the building at infinity ∂∆.

1

Introduction

Hovels were introduced by Gaussent and Rousseau [GR08] and developed further by
Rousseau [Rou11,Rou], Charignon [Cha11], Gaussent–Rousseau [GR14] and Bardy-Panse–
Gaussent–Rousseau in [BPGR]. By the Bruhat–Tits theory, to every semi-simple algebraic group over a non-Archimedean local field one associates a symmetric space, called
the corresponding building. More generally, to an almost split Kac–Moody group G over
a field K one associates a hovel, which gives a generalization of the Bruhat–Tits construction. As for buildings, a hovel is covered by apartments corresponding to the maximal
split tori and every apartment is a finite dimensional real affine space endowed with a set
∗
†

corina.ciobotaru@unifr.ch
Guy.Rousseau@univ-lorraine.fr

1

of affine hyperplanes called walls. At a first glance, a hovel looks like the Bruhat–Tits
building. Still, for the case of hovels, the set of all walls is not always a locally finite
system of hyperplanes and it is no longer true that any two points are contained in a
same apartment. For this reason, the word “building” is replaced by the word “hovel”.
Moreover, if we look at infinity of the hovel, we get a twin building, which is the analogue of the spherical building at infinity associated to the Bruhat–Tits building. As an
application, Bardy-Panse, Gaussent and Rousseau [GR14], [BPGR], use the construction
of the hovel to define the spherical Hecke and Iwahori–Hecke algebras associated to an
almost split Kac–Moody group over a local non-Archimedean field. In [GR08], the hovel
is used to make the link (in the representation theory of Kac–Moody groups) between
the Littelmann’s path model and the Mirkovic–Vilonen cycle model.
As we mentioned above, to every almost split Kac–Moody group G there is associated
a natural symmetric space, the hovel, where the group G acts by automorphisms and such
that at infinity of the hovel we obtain the twin building corresponding to G. Moreover,
by construction, G acts strongly transitively on its corresponding twin building and
there is associated the spherical Hecke algebra, which is commutative (see Gaussent–
Rousseau [GR14]). It is then natural to see to what extent the main result of Caprace–
Ciobotaru [CC15] can be obtained in the more general case of hovels. For the convenience
of the reader we recall this result and the definitions of strong transitivity that are
involved.
Definition 1.1. Let ∆ be a building and A be the (not necessarily complete) apartment
system defining ∆. Let G≤Aut(∆). We say that G acts strongly transitively on ∆ if
G acts transitively on the set A of apartments and if, for one apartment A ∈ A, the
stabilizer StabG (A) of A in G acts transitively on the chambers in A. Accordingly, the
building at infinity ∂∆ is defined with respect to (∆, A).
When ∆ = (∆− , ∆+ ) is a twin building and G≤Aut(∆) we say that G acts strongly
transitively on ∆ if G acts transitively on the set of all twin apartments A = (A− , A+ )
of ∆ and StabG (A) acts transitively on Ch(A+ ) (so also on Ch(A− )), for every twin
apartment A = (A− , A+ ) of ∆.
Theorem 1.2. (See [CC15, Theorem 1.1]) Let G be a locally compact group acting continuously and properly by type-preserving automorphisms on a locally finite thick Euclidean
building ∆ (endowed with its complete apartment system). Then the following are equivalent:
(i) G acts strongly transitively on ∆;
(ii) G acts strongly transitively on the spherical building at infinity ∂∆;
(iii) G acts cocompactly on ∆, and there exists a compact subgroup K of G such that the
Hecke algebra corresponding to (G, K) is commutative (in this case the pair (G, K)
is called Gelfand).
In particular, when G acts cocompactly on ∆, it admits a Gelfand pair only when
G acts strongly transitively on ∆. In this case, its only Gelfand pairs are of the form
(G, Gx ) where x is a special vertex of ∆ and Gx is the stabilizer of x in G.
2

In order to generalize Theorem 1.2 to hovels, one has to be aware of the fact that
hovels are more difficult objects to deal with than affine buildings. The difficulties are
coming from the fact that (local) chambers and (local) faces are no longer subsets of an
apartment A, but filters of subsets of A, the hovel is not necessarily a geodesic metric
space, two points are not always contained in the same apartment, and there is no natural
topology on the hovel that can be induced on the full group of automorphisms. Therefore,
under some assumptions, we obtain the following theorem, which is the main result of
this article. In order to motivate these assumptions, we have:
Remark 1.3. Let T be a locally finite and regular tree and let ξ be an end of T . Define
A as the set of all apartments not containing ξ and G the group of automorphisms of T
fixing ξ. Then G is 2–transitive (equivalently, strongly transitive) on the set E(A) of ends
of (T, A) and for any η ∈ E(A) the orbits of G0η are closed in E(A) \ {η} = E(T ) \ {η, ξ}.
But G is not strongly transitive on (T, A): any g ∈ G stabilizing an apartment A ∈ A
fixes the projection of ξ on A.
Definition 1.4. Let (∆, A) be an affine ordered hovel that is not a tree and let G be a
vectorially Weyl subgroup of Aut(∆). Let σ, σ ′ ⊂ ∂∆ be a pair of opposite panels and
denote by P (σ, σ ′ ) the union of all apartments of (∆, A) whose boundaries contain σ
and σ ′ . By Lemma 2.2 consider the panel tree ∆(σ, σ ′ ) := (T (σ, σ ′ ), A(σ, σ ′ )) associated
with σ and σ ′ . Let Gσ,σ′ be the stabilizer in G of σ, σ ′ . We say that G satisfies condition (LST) if for each pair of opposite panels (σ, σ ′ ) the subgroup Gσ,σ′ acts strongly
transitively on the panel tree ∆(σ, σ ′ ).
If we assume the apartment system "locally complete" (see section 2.7 below) and G
strongly transitive on ∂∆, then Lemma 2.5 tells that G satisfies (LST). The Remark 1.3
proves that this conclusion may be wrong without an hypothesis on A.
Theorem 1.5. Let (∆, A) be a semi-discrete thick, affine ordered hovel, that is not a
tree. Let G be a vectorially Weyl subgroup of Aut(∆) satisfying condition (LST) and with
the property that for every c ∈ Ch(∂∆) the G0c –orbits on Opp(c) are closed with respect
to the cone topology on Ch(∂∆). If ∆ has some factors of affine type, we ask moreover
that G satisfies the condition (AGT) of Remark 6.3. Then the following are equivalent:
(i) G acts strongly transitively on ∆;
(ii) G acts strongly transitively on the twin building at infinity ∂∆.
The definition of a strongly transitive action of a subgroup of Aut(∆) on a hovel ∆ is
given in Rousseau [Roub, 4.10] (see also Gaussent–Rousseau [GR14, 1.5], or Definition 5.2
below). Because, in principle, this definition is difficult to be verified, Proposition 5.3
from Section 5 provides us with two equivalent simpler definitions, which will prove to
be very useful in the sequel.
To prove Theorem 1.5 (see Section 7), we have followed the main ideas as in Caprace–
Ciobotaru [CC15] and their results are carefully translated in the language of affine
3

ordered hovels. Still, one has to overcome the differences between affine ordered hovels
and affine buildings. Firstly, let us recall the main strategy in order to prove Theorem 1.5.
The implication (i) ⇒ (ii) is easy. The converse implication (ii) ⇒ (i) is more involved.
Using Proposition 5.3, we only have to prove the following: the pointwise stabilizer
G0c ≤ G of any sector germ (i.e., chamber at infinity) c of ∂∆, is transitive on the set of
all apartments containing c. To do so, more ingredients are needed: the cone topology
and the existence and the dynamics of strongly regular elements.
Section 4 defines the cone topology only on the set of chambers at infinity of an affine
ordered hovel ∆ and verifies that this topology does not depend on the chosen base point,
the main difficulty being that a hovel is not necessarily a geodesic metric space as in the
case of CAT(0) spaces.
The existence and the dynamics of strongly regular elements are treated in Section 6.
Although the proof of the dynamics of strongly regular elements at infinity of the hovel is
the same as in the case of affine buildings from Caprace–Ciobotaru [CC15, Section 2.1],
the existence of those elements requires a different proof than in the latter case.
Finally, the dynamics of strongly regular elements and the assumption that for every
c ∈ Ch(∂∆), the G0c –orbits on Opp(c) are closed with respect to the cone topology on
Ch(∂∆), allows us to conclude that indeed G0c is transitive on the set of all apartments
containing c and Theorem 1.5 follows. The mysterious condition about the closedness of
G0c –orbits on Opp(c) is imposed in order to substitute the lack of the topology induced
from the hovel ∆ to the group Aut(∆). Notice that when ∆ is a locally finite affine
building, the group Aut(∆) is locally compact and the group G appearing in Theorem 1.2
is a closed subgroup of Aut(∆). This implies that G0c is a closed subgroup of G and also
that G0c –orbits on Opp(c) are closed with respect to the cone topology.

Acknowledgement
Part to this work was conducted when the second named author was visiting the University of Geneva. We would like to thank this institution for its hospitality and good
conditions of working. We also thank Bernhard Mühlherr for his remarks on this paper.

2
2.1

Affine ordered hovels
Vectorial data

We consider a quadruple (V, W v , (αi )i∈I , (α∨
i )i∈I ) where V is a finite dimensional real
vector space, W v a subgroup of GL(V ) (the vectorial Weyl group), I a finite non empty
∗
set, (α∨
i )i∈I a family in V and (αi )i∈I a free family in the dual V . We ask these data
to satisfy the conditions of Rousseau [Rou11, 1.1]. In particular, the formula ri (v) = v −
v
v
αi (v)α∨
i defines a linear involution in V which is an element in W and (W , {ri | i ∈ I})
is a Coxeter system.
To be more concrete, we consider the Kac–Moody case of [l.c. ; 1.2]: the matrix
v
M = (αj (α∨
i ))i,j∈I is a generalized (eventually decomposable) Cartan matrix. Then W

4

is the Weyl group of the corresponding Kac–Moody Lie algebra gM and the associated
real root system is
M
Φ = {w(αi ) | w ∈ W v , i ∈ I} ⊂ Q =
Z.αi .
i∈I

L
L
∨
WeL
set Φ± = Φ ∩ Q± where Q± = ±( i∈I (Z≥0 ).αi ) and Q∨ = ( i∈I Z.α∨
i ), Q± =
+
−
−1 and
±( i∈I (Z≥0 ).α∨
i ). We have Φ = Φ ∪ Φ and, for α = w(αi ) ∈ Φ, rα = w.ri .w
∨
∨
∨
rα (v) = v − α(v)α , where the coroot α = w(αi ) depends only on α. We shall also
−
±
±
v
consider the imaginary roots of gM : Φim = Φ+
im ∪ Φim where Φim ⊂ Q is W −stable
and Φ ⊔ Φim is the set of all roots of gM , associated to some Cartan subalgebra.
The fundamental positive chamber is Cfv = {v ∈ V | αi (v) > 0, ∀i ∈ I}. Its
closure Cfv is the disjoint union of the vectorial faces F v (J) = {v ∈ V | αi (v) = 0, ∀i ∈
J, αi (v) > 0, ∀i ∈ I \ J} for J ⊂ I. The positive (resp. negative) vectorial faces are the
sets w.F v (J) (resp. −w.F v (J)) for w ∈ W v and J ⊂ I; they are chambers (resp., panels)
when J = ∅ (resp. |J| = 1). The support of such a face is the vector space it generates.
The set J or the face w.F v (J) or an element of this face is called spherical if the group
W v (J) generated by {ri | i ∈ J} is finite. A chamber or a panel is spherical.
The Tits cone T (resp., its interior T ◦ ) is the (disjoint) union of the positive
vectorial (resp., and spherical) faces. Both are W v −stable convex cones in V .
We make no irreducibility hypothesis for (V, W v ). So V (and also A, ∆ below) may
be a product of direct irreducible factors, which are either of finite, affine or indefinite
type, see Kac [Kac90, 4.3].

2.2

The model apartment

As in Rousseau [Rou11, 1.4] the model apartment A is V considered as an affine space
and endowed with a family M of walls. These walls are affine hyperplanes directed by
Ker(α), for α ∈ Φ. They can be described as M (α, k) = {v ∈ V | α(v) + k = 0}, for
α ∈ Φ and k ∈ Λα ⊂ R (with |Λα | = ∞). We may (and shall) suppose the origin to be
special, i.e., 0 ∈ Λα , ∀α ∈ Φ.
We say that this apartment is semi-discrete if each Λα is discrete in R; then
Λα = kα .Z is a non trivial discrete subgroup of R. Using the Lemma 1.3 in Gaussent–
Rousseau [GR14] (i.e., replacing Φ by another system Φ1 ) we may assume that Λα =
Z, ∀α ∈ Φ.
For α ∈ Φ, k ∈ Λα and M = M (α, k), the reflection rα,k = rM with respect to the
wall M is the affine involution of A with fixed points this wall M and associated linear
involution rα . The affine Weyl group W a = W v ⋉ Q∨ is the group generated by the
reflections rM for M ∈ M; we assume that W a stabilizes M.
An automorphism of A is an affine bijection ϕ : A → A stabilizing the set of pairs
(M, α∨ ) of a wall M and the coroot associated with α ∈ Φ such that M = M (α, k),
k ∈ Z. The group Aut(A) of these automorphisms contains W a and normalizes it.
For α ∈ Φ and k ∈ R, D(α, k) = {v ∈ V | α(v) + k ≥ 0} is an half-space, it is called
an half-apartment if M (α, k) is a wall i.e., k ∈ Λα .
5

The Tits cone T and its interior T o are convex and W v −stable cones, therefore, we
can define two W v −invariant preorder relations on A:
o

x < y ⇔ y − x ∈ T o.

x≤ y ⇔ y−x ∈ T;

If W v has no fixed point in V \ {0} and no finite factor, then they are order relations;
still, they are not in general: one may have x ≤ y, y ≤ x and x 6= y.

2.3

Faces, sectors, chimneys...

The faces in A are associated to the above systems of walls and half-apartments. As in
Bruhat–Tits [BT72], they are no longer subsets of A, but filters of subsets of A. For the
definition of that notion and its properties, we refer to Bruhat–Tits [BT72] or Gaussent–
Rousseau [GR08, Definition 2.3]. We endow A with its affine space topology.
If F is a subset of A containing an element x in its closure, the germ of F in x is the
filter germx (F ) consisting of all subsets of A containing the intersection of F and some
neighborhoods of x.
Given a filter F of subsets of A, its enclosure clA (F ) (resp., closure F ) is the filter
made of the subsets of A containing an element of F of the shape ∩α∈Φ∪Φim D(α, kα ),
where kα ∈ Λα ∪ {∞} (resp., containing the closure S of some S ∈ F ). Its support,
denoted by supp(F ), is the smallest affine subspace of A containing it.
A local face F in the apartment A is associated to a point x ∈ A (its vertex) and a
vectorial face F v in V (its direction); it is F = F ℓ (x, F v ) := germx (x + F v ). Its closure
is F ℓ (x, F v ) = germx (x + F v ). The enclosure clA (F ) is called a closed face.
There is an order on the local faces: the assertions “F is a face of F ′ ”, “F ′ covers F ”
and “F ≤ F ′ ” are by definition equivalent to F ⊂ F ′ . The dimension of a local face F is
the dimension of its support; if F = F ℓ (x, F v ), then we define supp(F ) := x + supp(F v ).
A local chamber is a maximal local face, i.e., a local face F ℓ (x, ±w.Cfv ) for x ∈ A
and w ∈ W v . The fundamental local chamber is C0+ = germ0 (Cfv ). A local panel
is a local face F ℓ (x, F v ), where x ∈ A and F v is a vectorial panel.
A sector in A is a V −translate Q = x + C v of a vectorial chamber C v = ±w.Cfv
(w ∈ W v ), x is its base point and C v is its direction; it is open in A. Two sectors have
the same direction if, and only if, they are conjugate by a V −translation, and if, and
only if, their intersection contains another sector.
The sector-germ of a sector Q = x + C v in A is the filter germ(Q) of subsets
of A consisting of the sets containing a V −translation of Q, it is well determined by the
direction C v .So, the set of translation classes of sectors in A, the set of vectorial chambers
in V and the set of sector-germs in A are in canonical bijection.
A sector-face in A is a V −translation f = x + F v of a vectorial face F v = ±w.F v (J).
The sector-face-germ of f is the filter F of subsets containing a shortening of f i.e., a
translation f′ of f by a vector in F v (i.e., f′ ⊂ f). If F v is spherical, then f and F are
also called spherical. The sign of f and F is the sign of F v . We say that f (resp. F) is a
sector-panel (resp., sector-panel-germ) if, and only if, F v is a vectorial panel.
6

A chimney in A is associated to a local face F = F ℓ (x, F0v ), called its basis, and to
a vectorial face F v , its direction; it is the filter
r(F, F v ) = clA (F + F v ).
A chimney r = r(F, F v ) is splayed if F v is spherical, it is solid if its support (as a
filter) has a finite pointwise stabilizer in W v . A splayed chimney is therefore solid. The
enclosure of a sector-face f = x + F v is a chimney. The germ of the chimney r is the filter
germ(r) = R consisting of all subsets of A which contain r(F + ξ, F v ) for some ξ ∈ F v .
A ray δ with origin in x and containing y 6= x (or the interval (x, y], or the segment
o
o
[x, y]) is called preordered if x ≤ y or y ≤ x and generic if x < y or y < x; its sign
is + if x ≤ y and − if x ≥ y. The germ of this ray is the filter germ(δ) consisting of all
subsets of A which contain a shortening of δ i.e., δ \ [x, z) for some z ∈ δ.

2.4

The hovel

In this section, we recall the definition and some properties of an affine ordered hovel
given in Rousseau [Rou11].
1) An apartment of type A is a set A endowed with a set Isomw(A, A) of bijections
(called Weyl-isomorphisms) such that, if f0 ∈ Isomw(A, A), then f ∈ Isomw(A, A) if,
and only if, there exists w ∈ W a satisfying f = f0 ◦ w. An isomorphism (resp., a Weylisomorphism, resp., a vectorially Weyl-isomorphism) between two apartments ϕ :
A → A′ is a bijection such that, for any f ∈ Isomw(A, A), f ′ ∈ Isomw(A, A′ ), f ′−1 ◦ϕ◦f ∈
Aut(A) (resp., ∈ W a , resp., ∈ (W v ⋉ V ) ∩ Aut(A)). We write Isom(A, A′ ) (resp.,
′
Isomw (A, A′ ), resp., Isomw
R (A, A )) for the set of these isomorphisms. As the filters in A
defined in Section 2.3 above (e.g., local faces, sectors, walls,...) are permuted by Aut(A),
they are well defined in any apartment of type A and exchanged by any isomorphism.
Definition 2.1. An affine ordered hovel of type A is a set ∆ endowed with a covering
A of subsets called apartments such that:
(MA1) any A ∈ A admits a structure of an apartment of type A;
(MA2) if F is a point, a germ of a preordered interval, a generic ray or a solid chimney in
an apartment A and if A′ is another apartment containing F , then A ∩ A′ contains
the enclosure clA (F ) of F and there exists a Weyl-isomorphism from A onto A′
fixing (pointwise) clA (F );
(MA3) if R is the germ of a splayed chimney and if F is a closed face or a germ of a solid
chimney, then there exists an apartment that contains R and F ;
(MA4) if two apartments A, A′ contain R and F as in (MA3), then their intersection
contains clA (R ∪ F ) and there exists a Weyl-isomorphism from A onto A′ fixing
(pointwise) clA (R ∪ F );
(MAO) if x, y are two points contained in two apartments A and A′ , and if x ≤A y then
the two line segments [x, y]A and [x, y]A′ are equal.
7

Remark that we assume no completeness property for the apartment system A.
We say that ∆ is thick (resp., thick of finite thickness) if the number of local
chambers containing a given (local) panel is ≥ 3 (resp., and finite).
An automorphism (resp., a Weyl-automorphism, resp., a vectorially Weylautomorphism) of ∆ is a bijection ϕ : ∆ → ∆ such that A ∈ A ⇐⇒ ϕ(A) ∈ A and
then ϕ|A : A → ϕ(A) is an isomorphism (resp., a Weyl-isomorphism, resp., a vectorially
Weyl-isomorphism).
2) The building at infinity: By (MA3), two spherical sector-faces (or generic rays)
are, up to shortening, contained in a same apartment A; we say they are parallel if
one of it is a translation of the other one. This does not depend on the choice of A by
(MA4). The parallelism is an equivalence relation. The parallel class ∂δ of a generic ray
δ is called an ideal point or a point at infinity. The parallel class ∂f of a spherical
sector-face f is called an ideal face or a face at infinity (a chamber if f is a sector
and a panel if f is a sector-panel). Actually, a chamber at infinity is nothing else than a
sector-germ.
Notice that, by the hypotheses made with respect to the definition of an affine ordered
hovel ∆, the rank of its building at infinity ∂∆ is strictly positive.
We write ∂f ≤ ∂f′ if, for good choices of f, f′ in their parallel classes, we have f ⊂ f′ .
The ordered set of ideal faces of sign ± is (the set of spherical faces of) a building ∂ ± ∆
with Weyl group W v ; these buildings are twinned (see Rousseau [Rou11, 3.7]). We write
∂∆ = ∂ + ∆ ⊔ ∂ − ∆ and Ch(∂∆) = {ideal chambers}.
We say that an ideal point ξ, an ideal face φ, is at infinity of an apartment A (or a
wall h, an half apartment H, ...) if we may write ξ = ∂δ, φ = ∂f, with δ ⊂ A, f ⊂ A (or
⊂ h, ⊂ H, ...). We say that ξ = ∂δ ∈ φ = ∂f if δ ⊂ f.
From (MA3) and (MA4), we see that a point x ∈ ∆ and an ideal chamber c (resp., an
ideal point ξ) determine, in the parallel class c (resp., ξ), a unique sector (resp., generic
ray [x, ξ)) of base point (resp., origin) x. To fix the notation, for a point x ∈ ∆ and
an ideal chamber c ∈ ∂∆, we denote by Qx,c the sector in ∆ with base point x that
corresponds to the chamber at infinity c.
Any vectorially Weyl-automorphism ϕ of ∆ acts on ∂∆ as a type preserving automorphism; if it stabilizes an ideal face φ, it fixes any ideal point ξ ∈ φ.
3) For x, y ∈ ∆, we introduce the relation:
x ≤ y if, and only if, there is an (or for any) apartment A such that x, y ∈ A and
x ≤A y (i.e., f −1 (x) ≤ f −1 (y) for any f ∈ Isomw (A, A)).
This relation is a preorder on ∆, invariant by any vectorially Weyl-automorphism.
4) Let c be an ideal chamber at infinity of an apartment A. By (MA3) and (MA4),
for any x ∈ ∆, there is an apartment A′ containing x and the sector-germ germ(Q)
associated to c and there is a unique Weyl-isomorphism ϕ : A → A′ fixing germ(Q). So,
by the usual arguments, we see that x 7→ ϕ(x) is a well defined map ρA,c : ∆ → A, called
the retraction of ∆ onto A with center c.
5) The main examples of thick, affine, ordered, semi-discrete (resp., and of finite thickness) hovels are provided by the hovels of almost split Kac–Moody groups over fields com8

plete for a discrete valuation and with a perfect (resp., finite) residue field, see [GR08],
[Rou], [Cha11] and [Roub].

2.5

Trees in affine ordered hovels

The following property of affine ordered hovels is useful in the sequel.
Lemma 2.2. Let ∆ be an affine ordered hovel of dimension n. Let σ, σ ′ ⊂ ∂∆ be a pair
of opposite panels at infinity. We denote by P (σ, σ ′ ) the union of all apartments of ∆
whose boundaries contain σ and σ ′ . Then P (σ, σ ′ ) is a closed convex subset of ∆, which
splits canonically as a product
P (σ, σ ′ ) ∼
= T × Rn−1 ,
where T is a R−tree whose ends are canonically in one-to-one correspondence with the
elements of the set Ch(σ) of all ideal chambers having σ as a panel. Under this isomorphism, the walls of ∆, contained in P (σ, σ ′ ) and containing σ, σ ′ at infinity, correspond
to the subsets of the form {v} × Rn−1 with v a vertex of T .
When ∆ is semi-discrete (resp., thick, resp., thick of finite thickness), then the R−tree
T is a genuine discrete (resp., thick, resp., thick of finite thickness) tree.
Proof. A reference for this is Rousseau [Rou11, Section 4.6].

2.6

Stabilizers of pairs of opposite panels

Recall that a group of automorphisms of a twin building is said to be strongly transitive
if, and only if, it acts transitively on the pairs (c, A), where A is an apartment of the
twin building and c is a chamber of A.
The following result is well-known; still, we provide a proof for completeness.
Lemma 2.3. Let Z be a thick twin building and let G ≤ Aut(Z) be a strongly transitive
group of type-preserving automorphisms. Then, for any pair of opposite panels σ, σ ′ , the
stabilizer Gσ,σ′ is 2-transitive on the set of chambers Ch(σ).
Proof. Let c ∈ Ch(σ) and x, y ∈ Ch(σ) be two chambers different from c. Let c′ =
projσ′ (c). Then x and y are both opposite c′ . Therefore there is g ∈ Gc′ mapping x to
y. Since G is type-preserving, it follows that g fixes σ ′ (because it fixes c′ ) and hence σ
(because it is the unique panel of x, respectively y, which is opposite σ ′ ). Thus g ∈ Gσ,σ′ .
Moreover g fixes c′ , and hence also c = projσ (c′ ).
Thus, for any triple c, x, y of distinct chambers in Ch(σ), we have found an element
g ∈ Gσ,σ′ fixing c and mapping x to y. The 2-transitivity of Gσ,σ′ on Ch(σ) follows.

9

2.7

Locally complete apartment systems

There is no existing definition of complete apartment systems for hovels. We introduce
now an, a priori, weaker definition:
Definition 2.4. Let ∆ be an affine ordered hovel. The apartment system A of ∆ is said
to be locally-complete if the following holds:
Take any increasing sequence {Hn }n≥0 of half-apartments that are respectively
contained in apartmentsS{An }n≥0 ∈ A. We suppose that,
S for an ideal chamber
c ∈ Ch(∂H0 ), we have n≥0 ρA0 ,c (Hn ) = A0 . Then n≥0 Hn is an apartment
A ∈ A.
Clearly, for trees, the local-completeness is equivalent to the completeness of the
apartment system. So, combining Lemmas 2.2, 2.3 and Corollary 3.6 in [CC15] (which
assumes the apartment system complete), we get the following:
Lemma 2.5. Let (∆, A) be an affine ordered hovel with a locally complete apartment
system. Then any vectorially Weyl subgroup of Aut(∆) that acts strongly transitively on
∂∆ satisfies condition (LST).

3

Stabilizers of chambers at infinity

This section reproduces the same results as in Caprace–Ciobotaru [CC15, Section 3],
where affine Euclidean buildings are studied. We only translate those results in the
language of affine ordered hovels.
Lemma 3.1. Let ∆ be an affine ordered hovel and let G ≤ Aut(∆) be any group of
vectorially Weyl-automorphisms. Let c ∈ Ch(∂∆) be a chamber at infinity. Then the set
G0c := {g ∈ Gc | g fixes some point of ∆}
is a normal subgroup of the stabilizer Gc := {g ∈ G | g(c) = c}.
Proof. It is clear that Gc , G0c are subgroups of G, as an element g ∈ Gc fixing a point
x of ∆ will also fix (pointwise) an entire sector that emanates from x and pointing to c.
This is also used to prove that G0c is normal in Gc (see [CC15, Section 3]).
Lemma 3.2. Let ∆ be an affine ordered hovel and let G ≤ Aut(∆) be any group of
vectorially Weyl-automorphisms. Let c ∈ Ch(∂∆) be a chamber at infinity and A be an
apartment of ∆, whose boundary contains c. Then for any g ∈ Gc , the map
βc (g) : A → A : x 7→ ρA,c (g(x))
is an automorphism of the apartment A, acting as a (possibly trivial) translation. Moreover the map
βc : Gc → Aut(A)
is a group homomorphism whose kernel coincides with G0c .
10

Proof. For g ∈ Gc , g(A) is an apartment of ∆ that contains the chamber c in its boundary
at infinity ∂g(A). By the definition of the retraction ρA,c , as g is vectorially Weyl and
c ∈ Ch(∂A) ∩ Ch(∂g(A)), it is easy to see that indeed βc (g) is an element of Aut(A),
that can act as a translation or can fix a point of A.
Let us prove that βc is a group homomorphism, whose kernel coincides with G0c .
Let g, h ∈ Gc . Because c ∈ Ch(∂A) ∩ Ch(∂g(A)) ∩ Ch(∂h(A)), there exists a common
sector Qx,c in Ch(∂A) ∩ Ch(∂g(A)) ∩ Ch(∂h(A)). This implies that for βc to be a group
homomorphism it is enough to consider a point y far away in the interior of the sector
Qx,c such that ρA,c (h(y)) = h(y). We have that
βc (g)βc (h)(y) = βc (g)(ρA,c (h(y))) = βc (g)(h(y)) = ρA,c (g(h(y))) = βc (gh)(y).
It is clear from the definition that G0c is contained in the kernel of βc . Let now
g ∈ Ker(βc ). This implies that g fixes a point in the intersection A ∩ g(A); therefore,
g ∈ G0c . The conclusion follows.
Lemma 3.3. Let ∆ be an affine ordered hovel and let G ≤ Aut(∆) be a subgroup of
vectorially Weyl-automorphisms that acts strongly transitively on ∂∆.
Then for any pair c, c′ of opposite chambers at infinity, every G0c –orbit on the set of
chambers opposite c is invariant under Gc,c′ := Gc ∩ Gc′ .
Proof. Let c, c′ be a pair of opposite chambers at infinity of ∆ and let d ∈ Opp(c). As
G acts strongly transitively on ∂∆ there is some g ∈ Gc with d = g(c′ ). As the quotient
Gc /G0c is abelian by Lemma 3.2, we have that the subgroup H := Gc,c′ G0c is normal in
Gc and
Gc,c′ (G0c (d)) = H(g(c′ ))
= g(H(c′ ))
= g(G0c .Gc,c′ (c′ ))
= gG0c (c′ )
= G0c (g(c′ ))
= G0c (d).
Thus the G0c –orbit of d is indeed invariant by Gc,c′ , as claimed. It follows that the
H–orbits on Opp(c) coincide with the G0c –orbits.

4

The cone topology on affine ordered hovels

Let ∆ be an affine ordered hovel. As in the case of CAT(0) spaces we would like to define
a topology on the boundary ∂∆ of the hovel ∆, which does not depend on the chosen
base point. Recall that a hovel is not necessarily a geodesic metric space, therefore, we
cannot apply the CAT(0) theory. For the purpose of this article, it would be enough
to define a cone topology only on the set of chambers at infinity; this set is denoted by
Ch(∂∆).
In addition, by a chamber at infinity we mean the interior of it and we choose, in any
chamber c at infinity, an ideal point ξc , called its barycenter. Moreover, for any two
11

opposite ideal chambers c and c− , we impose that the corresponding barycenters ξc and
ξc− are also opposite. If G is a group of vectorially Weyl-automorphisms of ∆, we may
suppose that it permutes these barycenters.
Definition 4.1. Let ∆ be an affine ordered hovel, x ∈ ∆ be a point and c ∈ Ch(∂∆)
be a chamber at infinity. Let ξc be the barycenter of c. By the definition of a hovel, we
know that there exists an apartment A ⊂ ∆ such that x ∈ A and c ∈ Ch(∂A). As A
is an affine space, consider the ray [x, ξc ) ⊂ A issuing from x and corresponding to the
barycenter ξc of c. Let r ∈ [x, ξc ) and we define the following subset of Ch(∂∆)
Ux,r,c := {c′ ∈ Ch(∂∆) | [x, r] ( [x, ξc′ ) ∩ [x, ξc )}.
The subset Ux,r,c is called a standard open neighborhood in Ch(∆) of the (open)
chamber c with base point x and gate r.
Definition 4.2. Let ∆ be an affine ordered hovel and let x be a point of ∆. The cone
topology Topx (Ch(∂∆)) on Ch(∂∆), with base point x, is the topology generated by
the standard open neighborhoods Ux,r,c, with c ∈ Ch(∂) and r ∈ [x, ξc ).
Actually, c′ ∈ Ux,r,c means that Qx,c ∩ Qx,c′ ⊃ cl([x, r]) is a “big” part of Qx,c . It is
easy therefore, to see that the topology Topx (Ch(∂∆)) does not depend of the choice of
the barycenters.
Proposition 4.3. Let ∆ be an affine ordered hovel and let x, y ∈ ∆ two different points.
Then the cone topologies Topx (Ch(∂∆)) and Topy (Ch(∂∆)) are the same.
Proof. To prove that Topx (Ch(∂∆)) and Topy (Ch(∂∆)) are the same, it is enough to
show that the identity map Id : (Ch(∂∆), Topx (Ch(∂∆))) → (Ch(∂∆), Topy (Ch(∂∆)))
is continuous with respect to the corresponding topologies. For this it is enough to prove
that for every chamber c ∈ Ch(∂∆) and every standard open neighborhood V of c in
Topy (Ch(∂∆)), there exists a standard open neighborhood W of c in Topx (Ch(∂∆)) such
that W ⊂ V .
Let us fix a chamber c ∈ Ch(∂∆) and let V := Uy,r,c be a standard open neighborhood
of c with respect to the base point y, where r > 0.
Let Qz,c be the sector with base point z ∈ ∆ corresponding to the chamber at infinity
c ∈ ∂∆. Notice that, for any two points z1 , z2 ∈ ∆, the intersection Qz1 ,c ∩ Qz2 ,c is not
empty and moreover, it contains a subsector Qz3 ,c , where z3 is a point in the interior of
Qz1 ,c ∩ Qz2 ,c . Take z1 := x, z2 := y and z3 := z, such that z is in the interior of the
intersection Qy,c ∩ Qx,c .
To y and z as above apply Lemma 4.4, that is stated below. We obtain the existence
of a standard open neighborhood Uz,r′ ,c of c with base point z such that Uz,r′ ,c ⊂ Uy,r,c .
Now for R := r ′ ∈ [z, ξc ) far enough, apply Lemma 4.4 to the points z and x. We obtain
the existence of a standard open neighborhood Ux,R′ ,c of c with base point x such that
Ux,R′ ,c ⊂ Uz,r′ ,c = Uz,R,c . From here we have that Ux,R′ ,c ⊂ Uy,r,c and the conclusion
follows.

12

Lemma 4.4. Let ∆ be an affine ordered hovel and let c ∈ Ch(∂∆) be a chamber at
infinity. Let z1 , z2 ∈ ∆ be two different points such that the sector Qz1 ,c contains the
point z2 in its interior. Then, for every standard open neighborhood Uz1 ,r,c of c, with
base point z1 , there exists a standard open neighborhood Uz2 ,r′ ,c of c with base point z2
such that Uz2 ,r′ ,c ⊂ Uz1 ,r,c . And vice versa, for every standard open neighborhood Uz2 ,R,c
of c with base point z2 there exists a standard open neighborhood Uz1 ,R′ ,c of c with base
point z1 such that Uz1 ,R′ ,c ⊂ Uz2 ,R,c .
Proof. Let A be an apartment of ∆ such that Qz1 ,c ⊂ A. Let ξc be the barycenter of the
chamber at infinity c and consider the standard open neighborhoods Uz1 ,r,c and Uz2 ,R,c .
Our first claim is that there exists r ′ ∈ (z2 , ξc ) far enough, such that the enclosure
clA ([z1 , r ′ ]) contains the segment [z1 , r) and also that there exists R′ ∈ (z1 , ξc ), far enough,
such that clA ([z2 , R′ ]) ⊃ [z2 , R]. Indeed, this is true because for every point x in the
interior of Qz1 ,c we have that clA ([z1 , x]) ⊃ (Qz1 ,c ∩ Qx,c− ), where c− ∈ Ch(∂A) denotes
the chamber opposite c and [z1 , x] is the geodesic segment with respect to the affine space
A. By taking r ′ , and respectively, R′ sufficiently far enough, the claim follows.
Let us prove the first assertion. Let r ′ ∈ (z2 , ξc ) satisfying the above claim and let
∈ (z1 , ξc ) such that [z1 , r ′′ ] = Qz1 ,c ∩Qr′ ,c− ∩[z1 , ξc ). This implies that Uz1 ,r′′ ,c ⊂ Uz1 ,r,c .
Next we want to prove that in fact Uz2 ,r′ ,c ⊂ Uz1 ,r′′ ,c ⊂ Uz1 ,r,c .
Let c′ ∈ Uz2 ,r′ ,c ; so [z2 , r ′ ] ( [z2 , ξc′ ) ∩ [z2 , ξc ). We may apply Lemma 4.5 (see
below) to δ2 = [z2 , ξc′ ) and δ1 = [r ′ , ξc− ). We get an apartment B containing these two
rays, hence, their enclosures Qz2 ,c′ and Qr′ ,c− . Thus, c− , c′ ∈ Ch(∂B), and B contains
clA (z1 , r ′ ) ⊃ Qz1 ,c ∩ Qr′ ,c− . In B all rays of direction ξc′ are parallel to [z2 , ξc′ ), hence to
[z2 , r ′ ]; or [z1 , r ′′ ] ⊂ A ∩ B. So [z1 , r ′′ ] ⊂ [z1 , ξc′ ) and c′ ∈ Uz1 ,r′′ ,c . This concludes that
Uz2 ,r′ ,c ⊂ Uz1 ,r′′ ,c ⊂ Uz1 ,r,c .
Let us prove the second assertion. From our first claim there exists R′ ∈ (z1 , ξc ), far
enough, such that clA ([z1 , R′ ]) ⊃ (Qz1 ,c ∩ QR′ ,c− ) ⊃ [z2 , R]. If c′ ∈ Uz1 ,R′ ,c , we apply
Lemma 4.5 to δ2 = [z1 , ξc′ ) and δ1 = [R′ , ξc− ) and one easily proves that c′ ∈ Uz2 ,R,c ,
hence Uz1 ,R′ ,c ⊂ Uz2 ,R,c .
r ′′

Lemma 4.5. Let δ1 , δ2 be two preordered rays in apartments A1 , A2 of an affine ordered
hovel ∆, with origins x1 , x2 . Suppose x1 6= x2 and x1 , x2 ∈ δ1 ∩δ2 (hence [x1 , x2 ] ⊂ δ1 ∩δ2 ).
Then δ1 ∪ δ2 is a line in an apartment A of ∆.
Proof. This is exactly what is proved in part 2) of the proof of Rousseau [Rou11, Prop.
5.4].
Lemma 4.6. Let Q1 , Q2 be two sectors in an affine ordered hovel ∆, sharing the same
base point x, with Q1 (resp., Q2 ) of positive (resp., negative) direction. We suppose
o
o
Q1 , Q2 are opposite, i.e., there exist y1 ∈ Q1 , y2 ∈ Q2 (hence y2 < x < y1 ) such that
x ∈ [y1 , y2 ]. Then there is an apartment A containing Q1 and Q2 .
Remark. This is condition (CO) of Parreau [Par00, 1.12]

13

Proof. Let δi′ be the generic ray of origin x in Qi containing yi . By (MA3) there is an
apartment Ai containing germ(δi′ ) and germx ([x, y3−i ]), hence also δi′ (by convexity) and
some point xi ∈ (x, y3−i ]. Now it is clear that δi = δi′ ∪ [x, xi ] is a (generic) ray in Ai .
Applying Lemma 4.5, there is an apartment A containing δ1 and δ2 . Now, by (MA2) and
(MA3), A contains clA (δi′ ) ⊃ Qi .

5

A criterion for strong transitivity

In this section we verify an analogue criterion for strong transitivity as in Caprace–
Ciobotaru [CC15, Section 3]. We first start with a definition.
Definition 5.1. Let ∆ be an affine ordered hovel and let G ≤ Aut(∆) be a group of
automorphisms. Let A be an apartment of ∆. We say that a subset (or a filter) Ω of
the apartment A is good with respect to the group G if, for any two apartments A, A′
containing Ω, there is g ∈ G0Ω := {g ∈ G | g fixes pointwise Ω} such that A′ = g(A) and
g : A → A′ , x 7→ g(x) is a Weyl-isomorphism.
For Ω a local chamber or a sector germ, Ω is good if, and only if, G0Ω is transitive
on the set of all apartments containing Ω: this is a consequence of (MA2) and (MA4) as
two isomorphisms A → A′ fixing Ω are necessarily equal; this implies in particular that
the corresponding isomorphism is Weyl. In the same way, we also obtain that G0Ω fixes
pointwise Ω and clA (Ω).
Definition 5.2. (See Gaussent–Rousseau [GR14, 1.5] or Rousseau [Roub, 4.10]). Let
∆ be an affine ordered hovel and let G be a subgroup of Aut(∆). We say that G acts
strongly transitively on ∆ if any isomorphism involved in axioms (MA2), (MA4) may
be chosen to be the restriction of an element of G.
This means that each of the sets clA (F ) appearing in (MA2) and clA (R∪F ) appearing
in (MA4) is good with respect to the group G.
The Kac–Moody groups as in the example 2.4.5) act strongly transitively by vectorially Weyl-automorphisms on the corresponding hovels.
Proposition 5.3. Let ∆ be an affine ordered hovel and let G ≤ Aut(∆) be a group of
vectorially Weyl-automorphisms. Then the following conditions are equivalent.
(i) G is strongly transitive on ∆;
(ii) every local chamber of ∆ is good;
(iii) every sector-germ of ∆ is good.
Proof. (i) ⇒ (iii): This follows from the definition of the strongly transitive action of G
on the hovel ∆.
(ii) ⇒ (i): First we claim that every local face F of the hovel ∆ is good. Indeed, if
there exist two apartments A and A′ such that F ⊂ A ∩ A′ , we consider a local chamber
14

C of A and a local chamber C ′ of A′ such that both cover F . By Rousseau [Rou11, Prop.
′
5.1] there is an apartment A′′ of ∆ containing C ∪ C . Applying our hypothesis, the claim
follows.
We need to verify that all isomorphisms involved in the definition of the hovel are
e = clA (F ) or Ω
e = clA (R ∪ F ) be as in the
induced by elements of G. Therefore, let Ω
e which is an element
axiom (MA2) or (MA4). We consider a closed subset Ω ⊂ supp(Ω)
′
e
of the filter Ω and is contained in the intersection A ∩ A of two apartments A, A′ of ∆.
But in Ω one can find a (maximal) local face F1 such that F1 ⊂ Ω ⊂ supp(F1 ), where
supp(F1 ) is the unique affine space of minimal dimension that contains F1 . For this
face F1 we apply our above claim and we obtain an element g in the pointwise stabilizer
G0F1 < G such that g(A) = A′ , g : A → A′ , x 7→ g(x) is a Weyl-isomorphism and g fixes
pointwise the face F1 . As F1 ⊂ Ω and g(A) = A′ we also have that g fixes pointwise the
subset Ω. The conclusion follows.
(iii) ⇒ (ii): Let C be a local chamber contained in the intersection of two apartments
A and A′ of ∆. Let x be the vertex of C and consider in A the sector Qx with base
point x that contains the chamber C. Then A ∩ A′ contains a neighborhood C ′ of x in
Qx , so C ⊂ C ′ . Let y be a point in the interior of C ′ . Take the sector in A of the form
Qy := Qx + (y − x) ⊂ Qx . In the apartment A′ consider the sector Q′y with base point y
that contains the vertex x, hence which is opposite Qy . Notice that Q′y ∩ Qx is a small
neighborhood of x (respectively, of y). By applying Lemma 4.6, one concludes that there
is an apartment A′′ containing the sectors Qx and Q′y . So A′′ contains Qx ⊂ clA ({x}∪Qy )
and Qx ∩ Q′y is an element of the filter C. By the hypothesis, applied successively to
(Sx , A, A′′ ) and (Sy′ , A′ , A′′ ), we obtain the conclusion.

6

Existence and dynamics of strongly regular elements

Definition 6.1. (See [CC15, Section 2.1]) Let (∆, A) be an affine ordered hovel and let
A be an apartment in A. With respect to the affine structure of A, a line ℓ ⊂ A is called
strongly regular, if its points at infinity lie in the interior of two opposite chambers
of the twin building at infinity of ∆. This also means that both associated ray germs
are generic. In particular, the apartment A is the unique apartment of ∆ containing the
strongly regular line ℓ.
Moreover, a hyperbolic element γ of Aut(∆) is called strongly regular if it admits
a strongly regular translation axis (i.e., there exists an apartment A of ∆ and a strongly
regular geodesic line in A which is a translation axis of γ).
Theorem 6.2. Let (∆, A) be a thick, affine, semi-discrete, ordered hovel such that Av =
(V, W v ) has no irreducible factor of affine type and such that ∆ is not a tree. Let G be
a vectorially Weyl subgroup of Aut(∆) that acts strongly transitively on the twin building
at infinity ∂∆ of ∆ and satisfies condition (LST). Then G contains a strongly regular
hyperbolic element.

15

Remark 6.3. As stated, the theorem fails when ∆ is of affine type: we may consider
a split loop group G over a non-Archimedean local field, acting on its hovel. It acts
strongly transitively on ∂∆, but the smallest positive imaginary root δ ∈ Φ+
im is trivial
on the maximal torus T . So all translations induced by StabG (A) on the corresponding
apartment A have their corresponding translation vectors in the boundary ker(δ) of the
Tits cone: there is no strongly regular element.
It will be clear from the proof of the theorem that the conclusion of the theorem is
true even when Av may have an irreducible factor of affine type, if we add the following
hypothesis for the action of G:
(AGT) For some (and hence for any) apartment A of the hovel ∆, its stabilizer
StabG (A) in G contains an element which induces an affinely generic translation,
→
→
i.e., a translation whose corresponding translation vector −
v satisfies δ(−
v ) 6= 0 for any
imaginary root of an affine component of Φ ∪ Φim .
Proof of Theorem 6.2. As G is strongly transitive on the twin building at infinity of ∆,
we have that G acts transitively on the set of all apartments of ∆. If
We start with a preliminary observation. Let A be an apartment of ∆ and let H, H ′
be two complementary half-apartments of A. We claim that there is some g ∈ StabG (A)
which swaps H and H ′ ; in particular g stabilizes the common boundary wall ∂H = ∂H ′ .
In order to prove the claim, choose a pair of opposite panels σ, σ ′ at infinity of
the wall ∂H. Notice that it makes sense to consider panels at infinity since ∆ is not
a tree, and thus the twin building ∂∆ has positive rank. By Lemma 2.3, the stabilizer Gσ,σ′ acts 2-transitively on Ch(σ). We now invoke Lemma 2.2 which provides a
canonical isomorphism P (σ, σ ′ ) ∼
= (T (σ, σ ′ ), A(σ, σ ′ )) × Rn−1 , where n = dim(∆) and
′
′
(T (σ, σ ), A(σ, σ )) is a thick tree. The set Ch(σ) being in one-one correspondence with
∂T (σ, σ ′ ), we infer that Gσ,σ′ is 2-transitive on ∂T (σ, σ ′ ). Recall that Gσ,σ′ is strongly
transitively on (T (σ, σ ′ ), A(σ, σ ′ )) by the hypothesis (LST). We emphasize that one cannot apply Caprace–Ciobotaru [CC15, Corollary 3.6] as in our case the apartment system
A(σ, σ ′ ) is not necessarily complete if A is not locally complete. Therefore, if v (resp.,
D) denotes the vertex (resp., geodesic line) of T corresponding to the wall ∂H (resp.,
the apartment A), we can find some g ∈ StabGσ,σ′ (A) stabilizing D and acting on it as
the symmetry through v. It follows that g stabilizes A, the wall ∂H = ∂H ′ and swaps
the two half-apartments H and H ′ . This proves our claim. (We warn the reader that g
might however act non-trivially on the wall ∂H.)
Using the above proven fact, we claim that for every root α ∈ Φ, we can construct a
translation in StabG (A) of translation vector that is almost collinear to α∨ .
Indeed, let h be a wall of A and denote by H, H ′ the corresponding two complementary
half-apartments of A such that ∂H = ∂H ′ = h. Let g ∈ StabG (A) that swaps H and H ′
and stabilizes the wall h together with a panel σ at infinity of h. We have that rh ◦ g is
a vectorially Weyl-automorphism of A and stabilizes the two chambers of ∂A containing
σ, where rh ∈ StabAut(∆) (A) ≤ Aut(∆) denotes the reflection with respect to the wall h.
We conclude that rh ◦ g is a translation in StabAut(∆) (A). As g and rh stabilize h, the

16

element rh ◦ g is a translation parallel to h. We call such an element g ∈ StabG (A) a
reflection-translation of wall h.
We remark the following. Fix two different walls h1 and h2 of the apartment A of
direction ker α and let g1 , g2 ∈ StabG (A) be two reflection-translations corresponding
respectively, to the walls h1 and h2 . We have that g1 ◦ g2 ∈ StabG (A) is a translation
element whose translation vector is not in ker α. In particular, we notice that the projection of the translation vector of g1 ◦ g2 in the direction ker α equals the sum of the
translation vectors of g1 and g2 . Moreover, the projection of the translation vector of
g1 ◦ g2 in the direction of α∨ depends on the euclidean distance between the walls h1 and
h2 .
Let us denote γ := g1 ◦ g2 . For every reflection-translation g ∈ StabG (A) of wall hg of
direction ker α, we have that γ n gγ −n ∈ StabG (A) is a reflection-translation of wall γ n (hg )
and whose translation vector equals the translation vector of g. We conclude that every
wall of direction ker α admits a reflection-translation in StabG (A) whose translation vector is bounded independently of the wall. To conclude our last claim, one can choose two
walls h1 and h2 of direction ker α that are very far away and two reflection-translations
g1 , g2 ∈ StabG (A) corresponding respectively to h1 and h2 . By the remark above, we
have that g1 ◦ g2 ∈ StabG (A) is a translation and the projection of its translation vector
in the direction α∨ can be made very big, depending on the distance between h1 and h2 .
In particular, the translation vector of g1 ◦ g2 can be made almost collinear to α∨ as we
want. The claim follows.
Finally, to construct a strongly regular hyperbolic element, we choose a base of roots
(α
the hypothesis on the type of (V, W v ), we get some Z−linear combination
Pi )i∈I . By
∨
v
i∈I ni αi which is in Cf , see Kac [Kac90, Th. 4.3]. But from above, we get a fixed
neighborhood U of 0 in V and elements gi,n ∈ StabG (A) inducing translations with
vector in nri α∨
i + U , for every i ∈ I and some
Q ri ∈ (0, +∞). Therefore, for some Ni big
(with all Ni ri /ni almost equal), the product i∈I gi,Ni (in any order) will be the desired
hyperbolic element.
Remark 6.4. The hypothesis that ∆ is a semi-discrete hovel is necessary in order to
apply, along the proof of Theorem 6.2, Corollary 3.6 from Caprace–Ciobotaru [CC15].
This corollary regards only thick trees and not real trees.
Proposition 6.5. (See [CC15, Proposition 2.12]) Let ∆ be an affine ordered hovel and
let γ ∈ Aut(∆) be a vectorially Weyl strongly regular hyperbolic element of translation
apartment A. Let c− ∈ Ch(∂A) be the unique chamber at infinity that contains the
repelling point of γ in its interior.
Then for every c ∈ Ch(∂∆) the limit lim γ n (c) exists with respect to the cone topology
n→∞

on Ch(∂∆) and coincides with the retraction of c onto A based at the chamber c− . In
particular, the fixed-point-set of γ in Ch(∂∆) is the set Ch(∂A).
Proof. The proof goes in the same way as in Caprace–Ciobotaru [CC15, Proposition 2.10].

17

7

Main theorem

Theorem 7.1. Let (∆, A) be a semi-discrete thick, affine ordered hovel that is not a tree.
Let G be a vectorially Weyl subgroup of Aut(∆) satisfying condition (LST) and with the
property that for every c ∈ Ch(∂∆) the G0c –orbits on Opp(c) are closed with respect to
the cone topology on Ch(∂∆). If ∆ has some factors of affine type, we ask moreover that
G satisfies the condition (AGT) of 6.3. Then the following are equivalent:
(i) G acts strongly transitively on ∆;
(ii) G acts strongly transitively on the twin building at infinity ∂∆.
Remark 7.2. The semi-discreteness is used only for (ii) ⇒ (i).
Proof of Theorem 7.1. (i) ⇒ (ii) By the axiom (MA3), it is clear that G is transitive on
the set of all apartments of ∆. It remains to prove that the stabilizer StabG (A) of an
apartment A of ∆ is transitive on the set of Ch(∂A). To obtain this it is enough to prove
that the affine Weyl group W a is contained in StabG (A).
First, consider three half-apartments H1 , H2 , H3 ⊂ ∆ that have a wall h in common
and such that Hi ∩ Hj = h, for every i 6= j. We claim there exists an element g ∈ G
such that g fixes H1 and g(H2 ) = H3 . In particular, we obtain that g(A2 ) = A3 , where
A2 = H1 ∪ H2 and A3 = H1 ∪ H3 . Indeed, let Q1 be a sector in H1 such that it admits a
sector-panel-germ at infinity of h, which is denoted by f1 . Consider at infinity of h a sectorpanel-germ f2 that is opposite f1 . Let Q2 (resp., Q3 ) be a sector in H2 (resp., H3 ) that
contains f2 at infinity. One notices that Q1 and Q2 (resp., Q3 ) are of opposite direction in
A2 (resp., A3 ). We apply axiom (MA4) for the germ(Q1 ) and f2 and to the apartments
A2 and A3 . Then, there exists a Weyl-isomorphism g ∈ G such that g(A2 ) = A3 and g
is fixing pointwise clA2 (germ(Q1 ), f2 ). Notice that H1 = clA2 (germ(Q1 ), f2 ); therefore,
g(H1 ) = H1 pointwise. The claim is proved.
Let now h be a wall of the apartment A and denote by H1 , H2 the half-apartments
of A such that ∂H1 = ∂H2 = h. We claim that there exists g ∈ W a ≤ StabG (A)
such that g is a reflection with respect to the wall h. Indeed, as the hovel is thick,
by Rousseau [Rou11, Prop. 2.9] there exists a third half-apartment H3 ⊂ ∆ such that
H1 ∩ H3 = H2 ∩ H3 . From the above claim, applied twice, we obtain an element g ∈
StabG (A) with the desired properties. In particular, as g fixes pointwise the wall h, we
have that g ∈ W a and the conclusion follows.
(ii) ⇒ (i)
Let c ∈ Ch(∂∆), c′ ∈ Opp(c) and denote by A the unique apartment in ∆ whose
boundary contains c and c′ .
As G is strongly transitive on ∂∆, by Theorem 6.2 we have that G contains a strongly
regular hyperbolic element. As G acts transitively on the set of all apartments of ∆, we
conclude that every apartment in ∆ admits a strongly regular hyperbolic element in G.
Moreover, there exists a strongly regular hyperbolic element γ of Gc,c′ ≤ G such that c,

18

respectively c′ , is the unique chamber at infinity that contains in its interior the repelling,
respectively the attracting, point of γ.
Applying Proposition 6.5 to the strongly regular element γ with its unique translation
apartment A we obtain that c′ is an accumulation point for every G0c Gc,c′ –orbit in Opp(c),
with respect to the cone topology on Ch(∂∆). By our hypothesis, every G0c –orbit in
Opp(c) is closed in the cone topology on Ch(∂∆), and so is every G0c Gc,c′ –orbit in Opp(c),
by Lemma 3.3. Therefore, there is only one G0c Gc,c′ –orbit in Opp(c). We conclude that
Gc = G0c Gc,c′ and that G0c is transitive on Opp(c). The desired conclusion follows from
the criterion of strong transitivity given by Proposition 5.3.

References
[BPGR] N. Bardy-Panse, S. Gaussent, and G. Rousseau, Iwahori–Hecke algebras for Kac–Moody groups
over local fields. arXiv:1412.7503. ↑1, 2
[BT72] François Bruhat and Jacques Tits, Groupes réductifs sur un corps local I, Données radicielles
valuées, Publ. Math. Inst. Hautes Études Sci. 41 (1972), 5–251. ↑6
[CC15] P-E. Caprace and C. Ciobotaru, Gelfand pairs and strong transitivity for Euclidean buildings,
Ergodic Theory and Dynamical Systems 35 (2015), no. 4, 1056-1078. ↑2, 3, 4, 10, 14, 15, 16, 17
[Cha11] Cyril Charignon, Immeubles affines et groupes de Kac–Moody, masures bordées, Éditions universitaires européennes, Sarrebruck, 2011. Thèse Nancy, 2 juillet 2010, http://tel.archivesouvertes.fr/docs/00/49/79/61/PDF/these.pdf. ↑1, 9
[GR08] S. Gaussent and G. Rousseau, Kac–Moody groups, hovels and Littelmann paths, Annales Inst.
Fourier 58 (2008), 2605–2657. ↑1, 2, 6, 9
[GR14]

, Spherical Hecke algebras for Kac–Moody groups over local fields, Ann. of Math. 180,
Issue 3 (2014), 1051–1087. ↑1, 2, 3, 5, 14

[Kac90] Victor G. Kac, Infinite dimensional Lie algebras, Cambridge University Press, Cambridge, third
edition, 1990. ↑5, 17
[Par00] Anne Parreau, Immeubles affines: construction par les normes et étude des isométries, in Crystallographic groups and their generalizations, Kortrijk (1999), Contemporary Math. (Amer.
Math. Soc., Providence) 262 (2000), 263–302. ↑13
[Rou11] Guy Rousseau, Masures affines, Pure Appl. Math. Quarterly (in honor of J. Tits) 7 (2011),
no. 3, 859–921. ↑1, 4, 5, 7, 8, 9, 13, 15, 18
[Roua]

, Groupes de Kac–Moody déployés sur un corps local, 2 Masures ordonnées. To appear
in “Bull. Soc. Math. France”, ArXiv [] 1009.0135v2. ↑1, 9

[Roub]

, Almost split Kac–Moody groups over ultrametric fields. preprint Nancy, February 2012,
ArXiv [] 1202.6232v1. ↑3, 9, 14

19

