, ,

1.1 Superrigidity

In the early seventies, Margulis proved his celebrated superrigidity theorem for irreducible lattices in semi-simple Lie and algebraic groups of higher rank. One of the motivations for this result is that it implies arithmeticity : a complete classification of higher rank lattices.

In the case where the semi-simple group is not almost simple, superrigidity reads as follows (see [M1] , page 2):

1. Theorem (Margulis). Let

Γ

be an irreducible lattice in

G = \prod_{α \in A} G_{α} (k_{α})

, where

k_{α}

are local fields and

G_{α}

are connected simply connected semi-simple

k_{α}

-groups without

k_{α}

-anisotropic factors and

| A | \geq 2

. Let

k

be a local field,

H

a connected adjoint

k

-simple

k

-group and

τ : Γ \to H (k)

a homomorphism with Zariski-dense unbounded image.

Then

τ

extends to a continuous homomorphism

\tilde{τ} : G \to H (k)

Our goal is to abandon completely the realm of algebraic (or Lie) groups and to establish a generalization of this theorem for uniform lattices in products. There will be no assumptions on the product group

G

. Instead of the algebraic group

H

for the target we shall consider general isometry groups of

C A T (0)

spaces. An additional feature of our proof is that it is fully self-contained; this gives in particular a new, rather elementary, and purely geometric proof of Margulis' result for uniform lattices. For instance, the idiosyncrasies of positive characteristics (see Venkataramana [V] ) vanish.

Here is our setting: (i) Recall that a lattice

Γ

in a product

G = G_{1} \times \dots \times G_{n}

of arbitrary locally compact groups is said irreducible if the projection of

Γ

to each factor

G_{i}

is dense. In the classical semi-simple case of Theorem 1 , this follows from the stronger notion of algebraic irreducibility assumed therein.

Remark. The irreducibility assumption is not a restriction whatsoever: One verifies that any lattice

Γ < G

is an irreducible lattice in the product

G^{*} < G

of the closures

G_{i}^{*} < G_{i}

of its projections to

G_{i}

. In particular, for any discrete cocompact subgroup

Γ < G

, the theorems below apply and extend the

Γ

-actions to

G^{*}

(ii) We shall replace

H (k)

with an isometry group

I s (X)

of an arbitrary complete

C A T (0)

space

X

; in the classical case,

X

is the symmetric space of

H (k)

when

k

is Archimedean and the associated Bruhat-Tits building otherwise. The Zariski-density is a necessary assumption for Theorem 1 as stated; before proposing two replacements for that assumption, we first state a result without any further assumption, which is possible for proper spaces upon passing to the geometric boundary:

2. Theorem. Let

Γ

be an irreducible uniform lattice in a product

G = G_{1} \times \dots \times G_{n}

of locally compact

σ

-compact groups. Let

Γ

act by isometries on a proper

C A T (0)

space

X

without global fixed point.

Then there is a non-empty closed

Γ

-invariant set

ℭ \subseteq \partial X

on which the

Γ

-action extends continuously to a

G

-action. Moreover this action factors through

G \to G_{i}

for some

i = 1, \dots, n

(See the text for a more precise statement; e.g.

ℭ

arises as the boundary of a

G_{i}

-space lying in

X

.) We turn now to extending homomorphisms

τ : Γ \to H < I s (X)

as in Margulis' statement.

We propose first, still for

X

proper, the following substitute for Zariski-density in simple adjoint groups:

3. Definition. A subgroup

L < I s (X)

is indecomposable if for every non-empty

L

-invariant closed subset

ℭ \subseteq \partial X

, the closure

\bar{L}

acts faithfully on

ℭ

and

\bar{L}

is closed in

H o m e o (ℭ)

(for the topology of uniform convergence).

This always holds in the setting of Theorem 1 . Indecomposability turns out to be very natural, see Section 6.2 . In particular, a non-trivial indecomposable subgroup

L

cannot fix any point at infinity. In negative curvature, indecomposability is essentially automatic upon passing to invariant subspaces.

4. Corollary. Let

Γ

be an irreducible uniform lattice in a product

G = G_{1} \times \dots \times G_{n}

of locally compact

σ

-compact groups. Let

H < I s (X)

be a closed subgroup, where

X

is a proper

C A T (0)

space, and let

τ : Γ \to H

be a homomorphism with indecomposable unbounded image.

Then

τ

extends to a continuous homomorphism

\tilde{τ} : G \to H

This result immediately implies Margulis' Theorem 1 for uniform lattices.

Further, if we keep

H = H (k)

, it shows similarly that for an irreducible uniform lattice in a general product group

G

, all completely reducible linear representations in finite-dimensional vector spaces over all local fields are completely determined by the continuous linear representations of

G

. Specialising in the other direction: Even when

G

is an algebraic group, the above theorem yields a new family of superrigidity results.

Remark. It is easy to verify (and inherent in the proofs) that the extended map

\tilde{τ}

factors through some

G_{i}

. Similarly for Margulis' Theorem 1 and Theorem 6 below.

Although the above results are set in the context of locally compact spaces, our proof involves in an essential way infinite-dimensional

C A T (0)

spaces. Indeed, the overall strategy is to induce the

Γ

-action to a

G

-action on a space of

L^{2}

maps

G / Γ \to X

and then to prove a splitting theorem for the latter. It turns out that we can prove superrigidity also when

X

itself is infinite-dimensional; to this end, we propose our second substitute for Zariski-density in intrinsic geometric terms for any

C A T (0)

space

X

5. Definition. A subgroup

L < I s (X)

is reduced if there is no unbounded closed convex subset

Y ⫋ X

such that

g Y

is at finite (Hausdorff) distance from

Y

for all

g \in L

6. Theorem. Let

Γ

be an irreducible uniform lattice in a product

G = G_{1} \times \dots \times G_{n}

of locally compact

σ

-compact groups. Let

H < I s (X)

be a closed subgroup, where

X

is any complete

C A T (0)

space not isometric to a finite-dimensional Euclidean space

R^{d}

. Let

τ : Γ \to H

be a homomorphism with reduced unbounded image.

Then

τ

extends to a continuous homomorphism

\tilde{τ} : G \to H

(Continuous homomorphism and closed subgroup are to be defined suitably when

X

is not proper.)

Remark. As stated, the above theorem does not hold for the very special case

X = R^{d}

(see Section 6.5 ). Although Hilbert spaces, in particular

R^{d}

, are special examples of complete

C A T (0)

spaces, their linear structure allows a more detailed analysis; see Shalom [Sh] .

We have so far considered only uniform lattices. The non-uniform case raises some difficulties, which can however be overcome under certain assumptions:

7. Theorem. Theorem 2 , Corollary 4 , Theorem 6 , and in fact all results of this paper hold more generally also for non-uniform lattices provided they are square-integrable and weakly cocompact. This is notably the case (i) for all Kazhdan Kac-Moody lattices [R2] and (ii) whenever

G

is a connected semisimple Lie group.

For a discussion of these concepts, more precise statements and proofs, see Appendix B.

1.2 Splitting

The geometry of infinite-dimensional

C A T (0)

spaces is in some regards very different from their classical analogues; a first glimpse into the richness of phenomena arising there is given by the study of unitary representations and their cocycles – Kazhdan's property (T) is perhaps one of the first instances. A central issue is that the boundary

\partial X

does not reflect sufficiently the structure of the isometries of

X

; indeed

\partial X

may even be empty. Therefore, we introduce the following notion, which coincides simply with the existence of a fixed point in

\partial X

when

X

is a proper

C A T (0)

space:

8. Definition. Let

G

be a topological group with a continuous action by isometries on a metric space

X

. The

G

-action on

X

is evanescent if there is an unbounded set

T \subseteq X

such that for every compact set

Q \subseteq G

the set

{d (g x, x) : g \in Q, x \in T}

is bounded.

We now can turn to our splitting theorem. Observe that there is no assumption whatsoever on the topology of

G

X

9. Theorem. Let

X

be a complete

C A T (0)

space with a continuous

G

-action by isometries, where

G = G_{1} \times \dots \times G_{n}

is any product of topological groups

G_{i}

Either the

G

-action is evanescent or there is a canonical non-empty closed convex

G

-invariant subspace

Z \subseteq X

which splits

G

-equivariantly isometrically as a product

Z_{1} \times \dots \times Z_{n}

G_{i}

-spaces

Z_{i}

(See Proposition 34 for the importance of evanescence.) The special case where

X

is locally compact, though it is not representative of the above, is essentially known:

10. Corollary. Let

X

be a proper

C A T (0)

space with a

G

-action by isometries, where

G = G_{1} \times \dots \times G_{n}

is any product of groups

G_{i}

Either there is a

G

-fixed point in

\partial X

, or there is a non-empty closed convex

G

-invariant subspace

Z \subseteq X

which splits

G

-equivariantly isometrically as a product of

G_{i}

-spaces

Z_{i}

. □

When

X

is in fact a Riemannian manifold, this result is Schroeder's generalization [Sch] of the splitting theorems proved by Lawson-Yau [LY] and Gromoll-Wolf [GW] around 1970.

The latter are of differential nature – and Schroeder's proof relies in an essential way on a Riemannian argument of Eberlein [E] using currents. However, there is a purely

C A T (0)

statement in [BH] (II.6.21 and II.6.25(3)); since the argument therein requires to extend geodesics indefinitely within every invariant subspace, it is assumed in that reference that

X

has this property and that

G

is cocompact or at least has full limit set. Similar particular cases are obtained by Jost-Yau [JY3] using harmonic maps. In our situation, it is impossible to assume anything on the space

Z

, but it turns out that no assumption is needed.

1.3 Comments

One of the tools allowing us to deal with the infinite-dimensional spaces is a weakened topology

T_{c}

that we introduce; it is a common generalization of the weak topology in Hilbert spaces and the topology introduced in [MS1] for trees. Another more technical aspect is the behaviour of evanescence under induction (Theorem 53 and Appendix B). Other applications of our methods to rigidity theory will be exposed elsewhere; in particular, the special case of homomorphism to algebraic groups

H (k)

leads, following Margulis' ideas, to an Arithmeticity vs. Non-Linearity Alternative for irreducible lattices in suitable product groups [Md] .

Related results. Margulis' Theorem 1 has been followed by numerous related results.

We refer e.g. to [Bu] ,[GP] and references therein; to Zimmer's non-linear superrigidity [Z] ; to the geometric superrigidity of Jost-Yau [JY1] ,[JY2] ,[J] and Mok-Siu-Yeung [MSY] . Moreover, in the

C A T (- 1)

setting, the flexibility of bounded cohomology allows for very general conclusions [MS1] ,[MS2] , including cocycle superrigidity in the spirit of Zimmer. By contrast, the present approach is more simple-minded: No boundary maps, no cohomology, no harmonic maps, and of course no theory of algebraic groups.

We also point out that an intermediate result in our strategy (Theorem 55 ) provides a totally geodesic

Γ

-map in complete generality (from an auxiliary

G

-space), which is often enough to deduce geometric superrigidity.

On the exposition and use of previous work. We seek a self-contained presentation; in order to illustrate the new concepts that we introduce, we bring a number of examples or simple propositions which are not needed for the proof of the main results. We are inspired by various sources: Our first motivation is of course Margulis' work. The idea of inducing actions is classical in rigidity. Spaces of

L^{2}

maps appear notably in [KS] . Our general strategy is analogous to Shalom's work for unitary representations and cohomology [Sh] . The proof of Theorem 9 borrows some arguments from [Sch] and some others from [BH,II.6] .

Acknowledgments. I am grateful to J.-F. Quint for providing the elegant proof of Lemma 59 ; I thank D. Fisher and T. Gelander for helpful remarks on an earlier version.

This work was partially supported by FNS grant 8220-067641 and NSF grant DMS 0204601.

2 Informal Outline of the Reasoning

Since our proof is accompanied with many geometric generalities, it might be useful to outline the general argument in order to highlight its simplicity:

2.1 Superrigidity

Consider a lattice

Γ < G = G_{1} \times \dots \times G_{n}

acting on a complete

C A T (0)

space

X

We construct an associated

C A T (0)

G

-space

Y

by considering the (right-)

Γ

-equivariant maps

f : G \to X

. The distance between

f, f^{'} \in Y

d^{2} (f, f^{'}) \overset{def}{=} \int_{G / Γ} d^{2} (f (g), f^{'} (g)) d g

and the

G

-action is

(h f) (g) \overset{def}{=} f (h^{- 1} g)

The motivation for this new “induced”

C A T (0)

space

Y

is this: On the one hand, there is a correspondence between properties of the

Γ

-action on

X

and of the

G

-action on

Y

; to wit, non-evanescence is preserved. On the other hand, even though

Y

is a priori a more unwieldy space (typically not locally compact), the

G

-action on it is subject to the splitting theorem.

We obtain a splitting

Y \supseteq Z = Z_{1} \times \dots \times Z_{n}

into

G_{i}

-spaces. If

f, f^{'} \in Z_{i}

, then for

h \in G_{j}

(

j \neq i

) we have a rectangle

{f, f^{'}, h f, h f^{'}}

. It follows that

d (f (g), f^{'} (g)) = d (f (h^{- 1} g), f^{'} (h^{- 1} g))

for almost all

g \in G

. If the projection of

Γ

G_{i}

is dense, this implies that

d (f (g), f^{'} (g))

is a.e. constant. We thus obtain isometric maps

Z_{i} \to X

compatible with the

Γ

-actions. This is the main step in extending the

Γ

-action on

X

or on

\partial X

G

2.2 Splitting

Consider a

G = G_{1} \times \dots \times G_{n}

-action on a complete

C A T (0)

space

Y

; we are motivated by the above “induced” spaces but work in complete generality.

Reduce to the case

n = 2

. We show that either the

G

-action is evanescent or there is a minimal non-empty closed convex

G_{1}

-invariant subset

Z_{1} \subseteq Y

. The main point here is a geometric analogue of the Banach-Alaoğlu theorem: We introduce a weakened topology for which bounded closed convex sets are compact. A compactness argument then produces the minimal set.

The “sandwich lemma” implies as in [Sch] and [BH,II.6] that the collection of all such sets

Z_{1}

has a foliated structure which is preserved by the

G

-action. An addition to their arguments here is that even though we lack any further assumptions, this foliation is a global isometric splitting. This follows by showing that the holonomy consists of Clifford translations, hence is trivial.

3 Geometric Preliminaries

3.1

Our general background reference is [BH] (see also [Ba] ,[J] ). Let

X

be a metric space with metric

d

. A map

σ : I \to X

, where

I \subseteq R

is any interval, is geodesic if it is isometric. The space

X

is geodesic if every pair of points is joined by some geodesic segment, and

A \subseteq X

is convex if it contains any geodesic segment joining any two of its points. For any subsets

A, B

of a metric space

X

, we denote by

[A]

the closed convex hull of

A

and

[A, B] \overset{def}{=} [A \cup B]

We write

\bar{B} (x, r)

for the closed ball of radius

r

around

x

; if

X

is a geodesic space and

r \neq 0

, then this is the closure of the open ball

B (x, r)

3.2

A CAT(0) space is a geodesic space

X

such that for any triangle

x, c, c^{'} \in X

the midpoint

m

of any geodesic between

c, c^{'} \in X

satisfies the courbure négative inequality of Bruhat-Tits [BH,II.1.9] :

\begin{matrix} 2 d^{2} (m, x) \leq d^{2} (c^{'}, x) + d^{2} (c, x) - \frac{1}{2} d^{2} (c^{'}, c) . \end{matrix}

(1)

Equivalently, the distance between any points in the sides of any geodesic triangle are bounded by the corresponding distances in Euclidean triangles. In particular, geodesics are unique: the segment from

c

c^{'}

[c, c^{'}]

. Examples include all symmetric spaces and Bruhat-Tits buildings; all simply connected manifolds of non-positive sectional curvature; Hilbert spaces; simply connected Euclidean or hyperbolic simplicial complexes satisfying certain local link conditions [BH,II.5.4] .

Here is an example of application of the

C A T (0)

inequalities. Let

x, x^{'}, y, y^{'} \in X

. For

0 < ɛ < 1

let

x_{ɛ}, x_{ɛ}^{'}

be the points of

[x, x^{'}]

at distance

ɛ d (x, x^{'})

x

, respectively of

x^{'}

. Then

\begin{matrix} d^{2} (x_{ɛ}, y) + d^{2} (x_{ɛ}^{'}, y^{'}) \leq d^{2} (x, y) + d^{2} (x^{'}, y^{'}) + 2 ɛ d (x, x^{'}) (d (y, y^{'}) - (1 - ɛ) d (x, x^{'})) . \end{matrix}

(2)

This type of inequalities was first proved by Reshetnyak [Rk] (we refer to [KS,2.1.3] for a derivation of ( 2 ) from ( 1 )).

3.3

The circumradius of a bounded set

A \subseteq X

is the infimum

ϱ

of all

r > 0

such that there is

x \in X

with

A \subseteq \bar{B} (x, r)

. If

X

C A T (0)

and complete, then this infimum is achieved and (for

A \neq \emptyset

) there is a unique point

c \in X

such that

A \subseteq \bar{B} (c, ϱ)

; this point is called the circumcentre of

A

. If in addition

A

is convex and closed, then

c \in A

11. Lemma. Let

X

be a complete

C A T (0)

space,

E \subseteq E^{'} \subseteq X

two non-empty bounded closed convex sets,

c, c^{'}

the corresponding circumcentres and

ϱ, ϱ^{'}

the circumradii.

Then

d (c^{'}, c) \leq \sqrt{2} \sqrt{{ϱ^{'}}^{2} - ϱ^{2}}

Proof. If $c = c^{'}$ , there is nothing to prove. Otherwise, the midpoint $m$ of $[c^{'}, c]$ is not the circumcentre of $E$ and thus there is $x \in E$ with $d (m, x) > ϱ$ . Replacing this in ( 1 ) gives $2 ϱ^{2} + d^{2} (c^{'}, c) / 2 < {ϱ^{'}}^{2} + ϱ^{2}$ , as required. □

3.4

A \subseteq X

a non-empty closed convex subset of the complete

C A T (0)

space

X

, then there is a nearest point projection map

p_{A} : X \to A

which does not increase distances.

Another consequence of ( 1 ) is the Sandwich Lemma (see [BH,II.2.12] ): Assume that

C, C^{'} \subseteq X

are two non-empty closed convex subsets such that the function

d (x, C)

is constant on

x \in C^{'}

and likewise

d (x, C^{'})

C

; denote this (common) constant by

d_{0}

. Then there is a canonical isometry

φ : C \times [0, d_{0}] - - \to \sim = [C, C^{'}] \subseteq X

such that

φ |_{C \times {0}} = I d_{C} and φ |_{C \times {d_{0}}} = p_{C^{'}} |_{C} .

In the particular case where

C, C^{'}

are geodesic segments, we say that they determine a Euclidean rectangle.

Similar arguments apply to the following setting: An isometry

g : X \to X

such that

D \overset{def}{=} d (g x, x)

is independent of

x

is called a Clifford translation [BH,II.6.14] . If

D > 0

, then there is an isometry

X \sim = X^{'} \times R

intertwining

g

with the translation by

D

along

R

More generally, any complete

C A T (0)

space

X

splits canonically as

X \sim = X^{'} \times V

, where

V

is a (possibly trivial or finite-dimensional) Hilbert space and

X^{'}

does not admit any Clifford translation. Moreover,

I s (X)

preserves this splitting. For all this, see [BH,II.6.15] .

3.5

Let

G

be a topological group acting on a metric space

X

by isometries. The following are equivalent:

(i) For all

x \in X

the map

G \to X

g \mapsto g x

is continuous at

e \in G

(ii) The action map

G \times X \to X

is continuous.

When this happens, we say that the action is continuous. When

X

is proper, we always endow its isometry group

I s (X)

with the compact-open topology; in that case,

I s (X)

is a locally compact second countable topological group and the above conditions are equivalent to the continuity of the homomorphism

G \to I s (X)

. For

X

general, we do not topologize

I s (X)

but still call a homomorphism

G \to I s (X)

continuous when the

G

-action is so, and a subgroup

H < I s (X)

is said closed if its orbits in

X

are so. A standard argument implies:

12. Lemma. Let

G

be a locally compact second countable group with an action by isometries on a complete separable metric space

X

. If for all

x \in X

the map

G \to X

g \mapsto g x

is measurable, then the action is continuous. □

We call a subset

L \subseteq G

bounded if for some (or equivalently any)

x \in X

the set

L x

is bounded in

X

; when

X

is proper, this coincides with the usual definition in which a subset of a locally compact group

G

is bounded when it has compact closure.

3.6

The boundary at infinity

\partial X

of a complete

C A T (0)

space

X

can be defined as the set of equivalence classes of geodesic rays in

X

, where two rays are equivalent (asymptotic) if they remain at bounded distance from each other. The bordification

\bar{X} \overset{def}{=} X ⊔ \partial X

can be identified with the inverse limit of the closed balls

\bar{B} (x, r)

r \to \infty

under the maps

p_{\bar{B} (x, r)}

, wherein

x \in X

is any basepoint; the resulting topology is called the cone topology [BH,II.8] .

When

X

is proper,

\bar{X}

is a second countable compact space (hence metrizable) and the action map

I s (X) \times \bar{X} \to \bar{X}

is continuous.

3.7

Let

X

be a metric space. Unless otherwise stated, every topological epithet will always refer to the topology

T

induced by the metric

d

. One can define a weaker topology

T_{w}

by letting

T_{w}

be the weakest topology on

X

such that for all

x, y \in X

the map

z \mapsto d (x, z) - d (y, z)

is continuous. This topology is always Hausdorff; we shall however be more interested in the following:

13. Definition. Let

X

be a metric space. We define the topology

T_{c}

to be the weakest topology on

X

for which all

T

-closed convex sets are

T_{c}

-closed.

Here is the main property of

T_{c}

14. Theorem. Let

X

be a complete

C A T (0)

space and

C \subseteq X

a bounded closed convex subset. Then

C

is compact^$†$ for the topology

T_{c}

This is a common generalization of the two quite different cases of Hilbert spaces in the weak topology and of trees in the topology considered in [MS1] ; see the examples below.

Proof of the theorem. We need to prove that for any family $F$ of $T_{c}$ -closed sets $F \subseteq X$ such that ${F \cap C : F \in F}$ has the finite intersection property, the intersection of all $F \cap C$ is non-empty. By Alexander's sub-base theorem, it is enough to consider a family $F$ consisting of closed convex sets $F$ . We may assume $F \subseteq C$ upon replacing each $F$ by $F \cap C$ . Let $A$ be the set of non-empty finite subsets $A \subseteq F$ , ordered by inclusion. To any $A \in A$ we associate the circumradius $ϱ_{A}$ of $\cap A$ and its circumcentre $c_{A} \in \cap A$ . Notice that ${ϱ_{A}}_{A \in A}$ is a non-increasing net since $A \subseteq B$ implies $⋂ B \subseteq ⋂ A \subseteq \bar{B} (c_{A}, ϱ_{A})$ and thus $ϱ_{B} \leq ϱ_{A}$ . On the other hand this net is non-negative, therefore converges and thus is a Cauchy net. Applying Lemma 11 to the sets $\cap B \subseteq \cap A$ we deduce that ${c_{A}}_{A \in A}$ is a Cauchy net and hence converges to a limit $c \in X$ . For every $A \in A$ , all points $c_{B}$ with $A \subseteq B$ belong to $\cap A$ ; therefore the limit $c$ is still in $\cap A$ . It follows that $c$ is in $⋂_{A \in A} ⋂ A = ⋂_{F \in F} F,$ as was to be shown. □

15. Remark. Lemma 11 can also be used to explain the following (probably well-known) fact: Let

F

be a non-expanding map of a complete

C A T (0)

space

X

. If

F

has bounded orbits, then its (closed convex) fixed set is non-empty.

Indeed, pick any

x \in X

; let

C_{n} \overset{def}{=} [{F^{k} (x) : k \geq n}]

and let

c_{n}

be its circumcentre,

ϱ_{n}

its circumradius. Since

{C_{n}}

is decreasing, Lemma 11 implies that

{c_{n}}

has a limit

c

. Since

C_{n + 1} \subseteq [F (C_{n})]

, we have

C_{n + 1} \subseteq \bar{B} (F (c_{n}), ϱ_{n})

. Applying again Lemma 11 , it follows that

F (c_{n})

converges to

c

, which is thus fixed.

3.8

This Section 3.8 serves only to illustrate

T_{c}

16. Lemma. For any complete

C A T (0)

space

X

we have

T_{c} \subseteq T_{w} \subseteq T

Proof. We only need to show $T_{c} \subseteq T_{w}$ . Let $C ⫋ X$ be closed convex. The set $C^{'} \overset{def}{=} ⋂_{x / \in C} {z : d (x, z) - d (p_{C} (x), z) \geq 0}$ is $T_{w}$ -closed. We claim that $C^{'} = C$ . On the one hand, $C \subseteq C^{'}$ because for all $z \in C$ we have $d (p_{C} (x), z) = d (p_{C} (x), p_{C} (z)) \leq d (x, z)$ regardless of $x$ . On the other hand, if $z / \in C$ then $z$ is not in ${z : d (x, z) - d (p_{C} (x), z) \geq 0}$ for $x = z$ . □

17. Lemma. If

K \subseteq X

T

-compact, then the restriction of

T

and

T_{c}

K

coincide.

Proof. It is enough to show that for all $x \in K$ and all $r > 0$ there is a $T_{c}$ -neighbourhood $U$ of $x$ such that $U \cap K \subseteq B (x, r)$ . That ball, together with all $B (y, r / 2)$ for every $y \in K$ with $d (x, y) \geq r$ , covers $K$ . Therefore there is a finite set $F \subseteq K$ of points $y$ with $d (x, y) \geq r$ such that $\cup_{y \in F} B (y, r / 2)$ covers $K \ B (x, r)$ . The set $U \overset{def}{=} X \ \cup_{y \in F} \bar{B} (y, r / 2)$ has the sought properties. □

The topology

T_{c}

is familiar in some particular cases:

18. Example. If

X

is a Hilbert space, then

T_{c}

and

T_{w}

both coincide with the weak topology.

19. Example. If

X

is the standard infinite-dimensional (separable) real hyperbolic space

O (1, \infty) / O (\infty)

(see e.g. [BIM] ), then

T_{w}

and

T_{c}

coincide; moreover, they are induced from the weak topology if we realize

X

with the ball model in a Hilbert space.

20. Example. If

X

is a simplicial tree, then

T_{w}

and

T_{c}

coincide; moreover, they coincide with the weak topology

σ

on trees introduced in [MS1] .

However, the topology

T_{c}

is not all that straightforward in general. It seems not to be Hausdorff for higher rank Bruhat-Tits buildings or symmetric spaces, and it is unclear to us what happens for complex hyperbolic spaces (of finite or infinite dimension).

Moreover, whilst in a Hilbert space all weakly compact sets are bounded, this is not so even in the simplest examples of

C A T (0)

spaces:

21. Example. Let

X

be a simplicial tree consisting of countably many rays of finite but unbounded length, all meeting at one vertex. Then the space

X

T_{c}

-compact even though unbounded. Notice in addition that

\partial X = \emptyset

Let

X

be any complete

C A T (0)

space. We extend the topology

T_{c}

\bar{X}

by declaring that for any

T

-closed convex set

C \subseteq X

the (usual) closure

\bar{C}

C

\bar{X}

T_{c}

-closed.

22. Remark. The (compact) topology that

T_{c}

determines on

\bar{X}

through the realization of

\bar{X}

as inverse limit of closed balls is in general coarser than

T_{c}

, even when restricted to

X

: Already for Hilbert spaces, one obtains the weaker bounded weak topology. These topologies coincide however when

X

is a tree or a real hyperbolic space as in Example 19 .

Whilst

\bar{X}

is not

T_{c}

-compact when

X

is e.g. an infinite-dimensional Hilbert space, we have:

23. Proposition. If the complete

C A T (0)

space

X

is Gromov-hyperbolic, then

\bar{X}

T_{c}

-compact.

Proof. It suffices to show that for any nested family $ℭ$ of non-empty closed convex sets $C \subseteq X$ the intersection $\cap_{C \in ℭ} \bar{C}$ is non-empty. Fix $x \in X$ . If ${p_{C} (x) : C \in ℭ}$ is bounded, we are done by Theorem 14 . Otherwise, we claim that $\cap_{C \in ℭ} \bar{C}$ is a single point of $\partial X$ .
Indeed, in view of the sequential model of $\partial X$ [GH,p. 120] , it is enough to show that for any choices $c \in C$ , $c^{'} \in C^{'}$ , the Gromov product $(c | c^{'})_{x}$ tends to infinity along $C, C^{'} \in ℭ$ . This follows since $(c | c^{'})_{x}$ is comparable to $d ([c, c^{'}], x)$ , which is bounded below by $d (p_{C} (x), x)$ or $d (p_{C^{'}} (x), x)$ . □

3.9

We will now analyse evanescence (Definition 8 ); let

G

be a topological group with a continuous action by isometries on a metric space

X

24. Definition. Let

Q

be a subset of

G

. Then a subset

T \subseteq X

such that

{d (g x, x) : g \in Q, x \in T}

is bounded will be said

Q

-evanescent.

Thus, by Definition 8 , the action is evanescent if and only if there is an unbounded set

T \subseteq X

which is

Q

-evanescent for every compact set

Q \subseteq G

; we then call

T

itself evanescent.

25. Lemma. Suppose that

X

is a

C A T (0)

space, let

Q

be compact in

G

and

x_{0} \in X

. Then there exists no unbounded

Q

-evanescent set if and only if there is

λ > 0

and

d_{0} \geq 0

such that

{sup}_{g \in Q} d (g x, x) \geq λ d (x, x_{0}) - d_{0} \forall x \in X .

Proof. Sufficiency is obvious. Suppose conversely that the condition fails. Then for every $n \geq 1$ there is $y_{n} \in X$ such that $d (g y_{n}, y_{n}) < d (y_{n}, x_{0}) / n! - n^{2}$ for all $g \in Q$ . Let $x_{n}$ be the point at distance $n$ from $x_{0}$ on $[x_{0}, y_{n}]$ . A comparison argument shows that ${limsup}_{n \to \infty} {sup}_{g \in Q} d (g x_{n}, x_{n}) \leq {sup}_{g \in Q} d (g x_{0}, x_{0})$ and thus ${x_{n}}$ is a $Q$ -evanescent sequence. □

26. Remark. It follows from this lemma that the

G

-action on

X

is evanescent if and only if every compactly generated subgroup of

G

has a non-trivial fixed point for its diagonal action on some (or equivalently any) asymptotic cone of

X

along a free ultrafiltre (the base-point of an asymptotic cone is a trivial fixed point). We shall not use this characterization.

27. Proposition. Suppose that

X

is a complete

C A T (0)

space.

(i) If there exists a

G

-fixed point in

\partial X

then the

G

-action on

X

is evanescent.

(ii) The converse holds if

X

is proper.

Proof. If there exists a point $ξ \in \partial X$ fixed by $G$ , then any ray pointing to $ξ$ is an evanescent set. In case (ii), $\bar{X} = X ⊔ \partial X$ is compact and it follows that any unbounded evanescent sequence has a subsequence converging to some $ξ \in \partial X$ ; the definition of the cone topology on $\bar{X}$ shows that $ξ$ is $G$ -fixed. □

Another natural definition is as follows:

28. Definition. A continuous

G

-action on a metric space

X

is weakly evanescent if for every compact

Q \subseteq G

there is an unbounded

Q

-evanescent set in

X

We point out that for both Definitions 8 and 28 it is enough to consider unbounded evanescent sequences. Whilst evanescence is in general stronger than weak evanescence, we have:

29. Proposition. Suppose that

X

is a complete

C A T (0)

space. Then weak evanescence implies evanescence if either (i)

X

is proper; or (ii) if there is a countable cofinal chain in the directed set of compact subsets of

G

30. Remark. The assumption in (ii) is satisfied if

G

is locally compact

σ

-compact (since

G

is then a countable union of compact sets of non-empty interior); but it also holds in other cases (e.g. if

G

is the additive group of a dual Banach space endowed with the weak-* topology).

Proof of the proposition. For (i), observe that the family ${(\partial X)^{Q} : Q compact in G}$ has the finite intersection property so that we can use compactness of $\partial X$ and Proposition 27 .
In case (ii), one can choose an increasing sequence of compact sets $Q_{n} \subseteq G$ such that any compact set in contained in $Q_{n}$ for $n$ big enough. Let $T_{n}$ be unbounded and $Q_{n}$ -evanescent and let $K_{n} \geq 1$ be a constant bounding the numbers $d (g x, x)$ of Definition 24 . Fix any point $x_{0} \in X$ and define a diagonal sequence ${x_{n}}$ by picking first $y_{n} \in T_{n}$ with $d (y_{n}, x_{0}) \geq (n K_{n})^{2}$ and then letting $x_{n}$ be the point at distance $n$ of $x$ on $[x, y_{n}]$ . A comparison argument as in the proof of Lemma 25 shows that ${x_{n}}$ is evanescent. □

Evanescence behaves in a simple way with respect to direct products:

31. Proposition. Let

G = G_{1} \times G_{2}

be a product of topological groups and suppose that

X = X_{1} \times X_{2}

is a product of two unbounded

C A T (0)

spaces

X_{i}

with continuous

G_{i}

-action. Endow

X

with the product

G

-action.

(i) Both

G_{i}

-actions on

X

are evanescent.

(ii) The

G

-action on

X

is (weakly) evanescent if and only if at least one of the

G_{i}

-actions on

X_{i}

is (weakly) evanescent.

Observe that (i) stands in contrast to Shalom's notion of (non-)uniformity [Sh] .

Proof. For the first point, fix any $x \in X_{1}$ and let $T = {x} \times X_{2}$ . This set is evanescent for $G_{1}$ , since for any compact $Q \subseteq G_{1}$ the set $Q x$ is bounded and $G_{1}$ acts trivially on $X_{2}$ ; likewise for $G_{2}$ . A similar argument shows that if, say, the $G_{1}$ -action on $X_{1}$ is (weakly) evanescent, then the $G$ -action on $X$ is so too. As for the converse, assume ${x_{n}}$ is an unbounded $Q$ -evanescent sequence in $X$ for some compact $Q \subseteq G$ . Fix $a_{i} \in X_{i}$ and set $x_{n}^{'} = p_{X_{1} \times {a_{2}}} (x_{n})$ , $x_{n}^{''} = p_{{a_{1}} \times X_{2}} (x_{2})$ . Since $p_{X_{1} \times {a_{2}}}$ is $G_{1}$ -equivariant and does not increase distances (and similarly for $p_{{a_{1}} \times X_{2}}$ ), it is enough to show that either ${x_{n}^{'}}$ or ${x_{n}^{''}}$ is unbounded. But otherwise ${x_{n}}$ would itself be bounded. □

3.10

We recall that following Kazhdan a unitary or orthogonal representation

π

is said almost to have non-zero invariant vectors if for every compact

Q \subseteq G

and every

ɛ > 0

there is a unit vector

v

such that

\begin{matrix} {sup}_{g \in Q} ∥ π (g) v - v ∥ \leq ɛ . \end{matrix}

(3)

32. Proposition. Suppose that

X

is a Hilbert space. Then the

G

-action on

X

is weakly evanescent if and only if the associated orthogonal representation almost has non-zero invariant vectors.

Proof. A straightforward verification using e.g. sequences of the form $x_{n} = n v_{n}$ , where $v_{n}$ satisfies ( 3 ) for $ɛ = 1 / n$ . □

33. Remark. In particular, one has the following well known characterization when

G

is as in Remark 30 :

π

almost has non-zero invariant vectors if and only if there is an asymptotically invariant sequence, i.e. a sequence

{v_{n}}

with

∥ v_{n} ∥ = 1

and

∥ g v_{n} - v_{n} ∥ \to 0

uniformly for

g

on compact sets.

4 A General Splitting Theorem

This section addresses Theorem 9 .

4.1

Consider the very simplest product group:

G = Z \times Z

, and the very simplest non-proper

C A T (0)

space: a Hilbert space. Then, already, evanescence is the right replacement for fixed points at infinity in the sense that Theorem 9 fails if we formulate it in terms of

\partial X

. We give a more general counter-example:

34. Proposition. Let

G_{1}, G_{2}

be any two locally compact separable groups without Kazhdan's property (T). Then there is an action of

G = G_{1} \times G_{2}

by isometries on a Hilbert space

X

such that:

(i) The

G

-action on

\partial X

has no fixed point.

(ii) No non-empty closed convex

G

-invariant subspace

Z \subseteq X

splits as product of

G_{i}

-spaces.

Proof. By Theorem 1 in [BV] , each $G_{i}$ admits an orthogonal representation $π_{i}$ such that $π_{i} \otimes π_{i}$ almost has non-zero invariant vectors but $π_{i}$ is weakly mixing, that is, has no finite-dimensional subrepresentation. Let $σ$ be the $G$ -representation $π_{1} \otimes π_{1} \otimes π_{2} \otimes π_{2}$ and $X$ the associated Hilbert space. Notice that $π_{i} \otimes π_{i}$ itself is weakly mixing; this implies $σ^{G_{i}} = 0$ , see [BR] . On the other hand, one deduces immediately with the definition ( 3 ) that $σ$ almost has non-zero invariant vectors. As a well-known consequence of the closed graph theorem (observed by Guichardet [G,Théorème 1] ), it follows that there is a non-trivial $σ$ -cocycle $b : G \to X$ in the closure of the space of coboundaries. We endow $X$ with the corresponding continuous $G$ -action by (affine) isometries. For (i), observe that a fixed point in $\partial X$ would give a non-zero $G$ -fixed vector for $σ$ . For (ii), assume for a contradiction that $Z \subseteq X$ splits as $Z_{1} \times Z_{2}$ . For every $x, y \in Z_{i}$ , the vector $x - y$ is fixed by $σ (G_{j})$ for $j \neq i$ , which in view of $σ^{G_{j}} = 0$ shows that both $Z_{i}$ are reduced to a single point. This point being fixed by the affine $G$ -action, $b$ is trivial, contradicting the assumption. □

Notice that the action here is weakly evanescent by Proposition 32 , hence evanescent by Proposition 29 . Also, the action is non-uniform in Shalom's sense [Sh] , and indeed the above situation stands in contrast to the results of [Sh] for uniform actions.

4.2

We undertake now the proof of Theorem 9 . First observe that it is enough to consider the case

n = 2

. Indeed, the case

n = 1

is tautological; further, assume that for

n \geq 3

we have a subspace

Z

splitting equivariantly as

Z = Z_{1} \times Z_{1}^{'}

, where

Z_{1}

is a

G_{1}

-space and

Z_{1}^{'}

G_{1}^{'} = G_{2} \times \dots \times G_{n}

-space. In order to apply induction, we just need to observe that the

G_{1}^{'}

action on

Z_{1}^{'}

cannot be evanescent unless the

G

-action on

X

is so, see Proposition 31 .

We can from now on assume that the

G

-action on

X

is not evanescent. Theorem 14 allows us to get started with the following:

35. Proposition. Let

X

be a complete

C A T (0)

space with a continuous

G

-action by isometries, where

G = G_{1} \times G_{2}

is any product of two topological groups.

If the

G

-action is not evanescent then there is a minimal non-empty closed convex

G_{1}

-invariant set in

X

Proof. Choose any point

x \in X

and let

ℭ

be the set of non-empty closed convex

G_{1}

-invariant subsets of

[G_{1} x]

, ordered by reverse inclusion. By Hausdorff 's maximal principle, there is a (non-empty) maximal totally ordered subset

D \subseteq ℭ

. If the intersection

\cap D

is non-empty, we are done; we assume for a contradiction that it is empty and will show that the

G

-action on

X

is evanescent. The net

d (D, x)

indexed by

D \in D

is non-decreasing; we shall prove that it converges to infinity.

Indeed, if not, it would have a limit

d \in R

and the family

{D \cap \bar{B} (x, d) : D \in D}

would be a nested collection of non-empty closed convex bounded sets with empty intersection.

This contradicts

T_{c}

-compactness established in Theorem 14 . It follows that the set

{p_{D} (x) : D \in D}

is unbounded. It is now enough to show that for any compact sets

Q_{i} \subseteq G_{i}

the set

\begin{matrix} {d (g_{1} g_{2} p_{D} (x), p_{D} (x)) : g_{i} \in Q_{i}, D \in D} \end{matrix}

(4)

is bounded. On the one hand,

p_{D}

G_{1}

-equivariant and thus

d (g_{1} p_{D} (x), p_{D} (x)) = d (p_{D} (g_{1} x), p_{D} (x)) \leq d (g_{1} x, x)

implies that the family

d (g_{1} p_{D} (x), p_{D} (x))

is bounded. On the other hand, for any

g_{2} \in G_{2}

the function

y \mapsto d (g_{2} y, y)

is constant on

G_{1}

-orbits, so that by convexity and continuity of the metric it is bounded by

d (g_{2} x, x)

y \in [G_{1} x]

. It follows now from

d (g_{1} g_{2} p_{D} (x), p_{D} (x)) \leq d (g_{1} p_{D} (x), p_{D} (x)) + d (g_{2} p_{D} (x), p_{D} (x))

that the collection ( 4 ) is bounded. □

36. Remark. In particular, any non-evanescent

G

-action admits a minimal non-empty closed convex

G

-invariant set and actually any nested family of non-empty closed convex

G

-invariant sets has non-empty intersection. See also Remarks 39 .

4.3

We now know that the set

Z_{2}

of minimal non-empty closed convex

G_{1}

-invariant sets in

X

is non-empty. We shall use repeatedly the following obvious

37. Lemma. If

C \subseteq X

is a minimal non-empty closed convex

G_{1}

-invariant set, then any convex

G_{1}

-invariant continuous (or lower semi-continuous) function on

C

is constant.

Proof. If $f : C \to R$ were to assume two distinct values $s < t$ , then ${x \in C : f (x) \leq s}$ would be a strictly smaller non-empty closed convex $G_{1}$ -invariant set. □

Fix

Z_{1} \in Z_{2}

and let

Z \overset{def}{=} \cup Z_{2} \subseteq X

. Observe that each

Z_{i}

has a natural

G_{i}

-action. We can now consider the following setup, borrowed from [BH,pp. 239–241] : For every

C, C^{'} \in Z_{2}

, the function

d (x, C)

is constant on

C^{'}

by Lemma 37 since it is

G_{1}

-invariant; likewise with

C, C^{'}

interchanged. The Sandwich Lemma (Section 3.4 ) yields a canonical isometry

\begin{matrix} φ : C \times [0, d (C, C^{'})] - - \to \sim = [C, C^{'}] \subseteq X \end{matrix}

(5)

such that

\begin{matrix} φ |_{C \times {0}} = I d_{C} and φ |_{C \times {d (C, C^{'})}} = p_{C^{'}} |_{C} . \end{matrix}

(6)

In particular, the distance

d (C, C^{'})

defines indeed a metric on the set

Z_{2}

and this metric is geodesic. Furthermore we have

Z = ⨆_{C \in Z_{2}} C

and hence obtain a well-defined bijection

α : Z ⟶ Z_{1} \times Z_{2}

by setting

α (x) = (p_{Z_{1}} (x), C_{x})

, wherein

C_{x}

is the unique element of

Z_{2}

containing

x

4.4

At this point, the main remaining steps are to show that

α

is actually an isometry and that it intertwines the

G

-actions; we need the following key fact:

38. Proposition. For all

C_{1}, C_{2}, C_{3} \in Z_{2}

we have

p_{C_{1}} \circ p_{C_{3}} \circ p_{C_{2}} |_{C_{1}} = I d_{C_{1}}

Proof. First we point out that if all three sets $C_{i}$ were just geodesic lines, then this proposition is a well known general fact holding for any three parallel lines in any metric space, see [BH,II.2.15] . However, in our case, it is not even necessary that $C_{i}$ should contain any line. Thus, denote by $ϑ : C_{1} \to C_{1}$ the above map $p_{C_{1}} \circ p_{C_{3}} \circ p_{C_{2}} |_{C_{1}}$ . The properties of the isometry $φ$ in ( 5 ) imply that $p_{C_{j}} |_{C_{i}}$ is an isometry for all $i, j$ ; moreover, this isometry $C_{i} \to C_{j}$ is $G_{1}$ -equivariant because $C_{j}$ is $G_{1}$ -invariant. Therefore, $ϑ$ is a $G_{1}$ -equivariant isometry. It follows that the function $x \mapsto d (ϑ (x), x)$ is a convex continuous $G_{1}$ -invariant function of $x \in C_{1}$ ; Lemma 37 implies that it is constant. Thus $ϑ$ is a Clifford translation of $C_{1}$ . We need to show that $ϑ$ is trivial. But a non-trivial Clifford translation preserves the image of a geodesic line $σ : R \to C_{1}$ ; indeed, recall that in fact in that case $C_{1}$ would split for $ϑ$ (Section 3.4 ; see [BH,II.6.15] – though we will not need this. We may now apply the general fact mentioned earlier ([BH,II.2.15] ) to the three lines $σ$ , $p_{C_{2}} \circ σ$ and $p_{C_{3}} \circ σ$ . We deduce that $ϑ$ translates $σ (R)$ trivially. Therefore, the constant $d (ϑ (x), x)$ vanishes and $ϑ = I d_{C_{1}}$ as was to be shown. □

4.5

It follows now that

α

is isometric; for completeness (and because it contains a misprint), we give the calculation of [BH,p. 241] : Let

x, x^{'} \in Z

; using twice that ( 6 ) defines an isometry to the Cartesian product

C \times [0, d (C, C^{'})]

for all

C, C^{'} \in Z_{2}

, we have

d^{2} (x, x^{'}) = d^{2} (x, p_{C_{x}} (x^{'})) + d^{2} (C_{x}, C_{x^{'}}) = d^{2} (p_{Z_{1}} (x), p_{Z_{1}} \circ p_{C_{x}} (x^{'})) + d^{2} (C_{x}, C_{x^{'}}) .

Applying now Proposition 38 to

C_{x}, C_{x^{'}}

and

Z_{1}

we deduce

p_{Z_{1}} \circ p_{C_{x}} (x^{'}) = p_{Z_{1}} (x^{'})

, so that

d^{2} (x, x^{'}) = d^{2} (p_{Z_{1}} (x), p_{Z_{1}} (x^{'})) + d^{2} (C_{x}, C_{x^{'}})

, and

α

is isometric as claimed; it is onto by ( 6 ).

39. Remarks. Let

H

be a topological group with a continuous action by isometries on a complete

C A T (0)

space

X

. (1) The above arguments show that the (possibly empty) union of all minimal non-empty closed convex

H

-invariant subspaces

C

splits as a product

C \times T

; we call

T

the space of components. (2) If the action is non-evanescent, then there is a canonical minimal non-empty closed convex

H

-invariant subspace

C_{0} \subseteq X

. Indeed,

T

is non-empty by Remark 36 and bounded by non-evanescence; hence it has a circumcentre

t

and we let

C_{0} = C \times {t}

4.6

It remains to check that

α

intertwines the

G

-action on

Z

with the product action on

Z_{1} \times Z_{2}

, and actually for the

G_{1}

factor this immediately follows from the

G_{1}

-equivariance of

p_{Z_{1}}

. However, a priori, the bijection

α

transports the

G

-action on

Z

to a

G

-action on

Z_{1} \times Z_{2}

of the form

g_{1} g_{2} (p_{Z_{1}} (x), C_{x}) = (g_{1} (g_{2} ◆ p_{Z_{1}} (x)), g_{2} C_{x}) (g_{i} \in G_{i}, x \in Z),

where we only know that the assignment

G_{2} \times Z_{1} \to Z_{1}

defined by

(g_{2}, z) \mapsto g_{2} ◆ z \overset{def}{=} p_{Z_{1}} (g_{2} z)

determines a well-defined

G_{2}

-action on

Z_{1}

, which moreover commutes with the

G_{1}

-action.

We need to show that

g_{2} ◆ = I d_{Z_{1}}

for all

g_{2} \in G_{2}

. As in the proof of Proposition 38 (for

ϑ

), we deduce from Lemma 37 that

g_{2} ◆

is a Clifford translation of

Z_{1}

; so if it were non-trivial it would preserve a line

σ

Z_{1}

and in particular fix a point

σ (\infty) \in \partial X

. Moreover, we would have

g_{2}^{n} ◆ σ (0) = σ (n λ)

for some

λ \neq 0

and all

n \in Z

. Thus for all

g_{1} \in G_{1}

and all

n \in Z

we have

d (g_{1} σ (n λ), σ (n λ)) = d (g_{1} g_{2}^{n} ◆ σ (0), g_{2}^{n} ◆ σ (0)) = d (g_{1} σ (0), σ (0))

which implies that

g_{1}

fixes

σ (\infty)

. On the other hand,

G_{2}

(not just

G_{2} ◆

) fixes

σ (\infty)

since

σ

lies in

Z_{1}

. Now there is a

G

-fixed point in

\partial X

, contradicting the assumption according to Proposition 27 .

Being isometric to a product of geodesic spaces,

Z

is itself geodesic and hence convex in

X

. Likewise, it is closed in

X

because it is a product of complete spaces (indeed, the uniform structure on

Z_{2}

is complete because it is in fact a product uniform structure; alternatively, apply the hands-on argument in [BH,p. 240] ).

40. Remark. It does not follow a priori from the above proof that

Z_{2}

is minimal. However, we may preface the whole proof by replacing

X

with the canonical component provided by Remarks 39 . Therefore, in the non-evanescent case of Theorem 9 , we obtain in addition that each

Z_{i}

is minimal.

This concludes the proof of Theorem 9 . □

5 Induction and its Properties

5.1

We begin by defining general “Pythagorean integrals” of metric spaces; this is not the only natural integral of metric spaces, see Remark 48 .

41. Definition. Let

(F, μ)

be a standard Borel space with a probability measure

μ

and let

X

be a metric space. We denote by

L^{2} (F, X)

the space of all measurable maps (up to null-sets)

f : F \to X

with separable range and such that for some (and hence any)

x \in X

the function

g \mapsto d (f (g), x)

is in

L^{2} (F)

We endow

L^{2} (F, X)

with the metric defined by

d (f, f^{'}) \overset{def}{=} {(\int_{F} d^{2} (f (g), f^{'} (g)) d μ (g))}^{1 / 2} .

42. Remarks. (i) The

L^{2}

condition is independent of

x

by the triangle inequality in

X

since

μ

is finite. (ii) The triangle inequality in

L^{2} (F, X)

follows by combining the Cauchy-Schwarz inequality with the triangle inequality in

X

Such spaces were considered e.g. in [KS] . The following is straightforward:

43. Lemma. Suppose that

X

is complete, respectively separable. Then so is

L^{2} (F, X)

. □

We now describe geodesic segments in

L^{2} (F, X)

; compare [BH,I.5.3] .

44. Proposition. Let

X

be a complete metric space,

L^{2} (F, X)

as in Definition 41 and

I \subseteq R

any interval. A continuous map

σ : I \to L^{2} (F, X)

is a geodesic if and only if there is a mesurable map

α : F \to R_{+}

and a collection

{σ^{g}}_{g \in F}

of geodesics

σ^{g} : α (g) I \to X

such that

\int_{F} α (g)^{2} d μ (g) = 1, σ (t) (g) = σ^{g} (α (g) t)

for all

t \in I

and

μ

-a.e.

g \in F

(i.e.

α

is a semi-density).

Proof. The condition is sufficient; conversely, suppose that

σ

is a geodesic. It suffices to show that there is a dense subset

J \subseteq I

such that for a.e.

g \in F

, the map

σ (\cdot) (g)

coincides on

J

with a linearly reparametrized geodesic

I \to X

. Indeed, if

α (g)

denotes the reparametrization factor and

σ^{g}

the corresponding geodesic, we obtain (sufficiency) a geodesic

I \to L^{2} (F, X)

which coincides with

σ

J

, hence equals

σ

by continuity. In order to exhibit

J

, it is enough to prove that for every

s < u

I

and

t = (s + u) / 2

we have

\begin{matrix} d (σ (s) (g), σ (u) (g)) = 2 d (σ (s) (g), σ (t) (g)) = 2 d (σ (t) (g), σ (u) (g)) \end{matrix}

(7)

for

μ

-a.e

g

. The triangle inequality and

(a + b)^{2} \leq 2 a^{2} + 2 b^{2}

give

d^{2} (σ (s) (g), σ (u) (g)) \leq 2 d^{2} (σ (s) (g), σ (t) (g)) + 2 d^{2} (σ (t) (g), σ (u) (g))

μ

-a.e., with equality if and only if ( 7 ) holds. Integrating, we find

d^{2} (σ (s), σ (u)) \leq 2 d^{2} (σ (s), σ (t)) + 2 d^{2} (σ (t), σ (u))

with equality if and only if ( 7 ) holds

μ

-a.e. But equality does hold here since

σ

is geodesic. □

45. Remark. The above definitions and the general facts of this section hold more generally for the integral of a measurable field of metric spaces

X_{g}

over

F

. The only difference is that one must fix a choice of a section of base-points in order to define the

L^{2}

condition. With this addition, one may also consider infinite measure spaces

F

. None of this will be needed or used, therefore we leave details to the reader.

5.2

We now specialize to the

C A T (0)

setting.

46. Lemma. Suppose that

X

is a complete

C A T (0)

space. Then

L^{2} (F, X)

is also a complete

C A T (0)

space.

Proof. The space $L^{2} (F, X)$ is geodesic by (the trivial part of ) Proposition 44 . We need to check inequality ( 1 ) for $x, c, c^{'}$ in $L^{2} (F, X)$ and $m$ the midpoint of any geodesic line from $c$ to $c^{'}$ . By Proposition 44 , $m (g)$ is the midpoint of a geodesic from $c (g)$ to $c^{'} (g)$ for a.e. $g \in F$ .
Therefore, the inequality holds pointwise and thus we can integrate it since it is linear in the squares of the distances. □

47. Example. Let

M

be a Riemannian manifold of finite volume, and denote by

ω

the associated volume form. For any

x \in M

, the space of all positive definite symmetric bilinear forms on the tangent space

T_{x} M

which also induce

ω

is a

C A T (0)

space, since it is isomorphic to the symmetric space

X

associated to

S L_{n} (R)

, where

n = d i m (M)

. Thus, if

(F, μ)

denotes the (normalized) probability space underlying

(M, ω)

, then the space of “

L^{2}

Riemannian metrics” on

M

inducing

ω

is isomorphic to

L^{2} (F, X)

. Observe that it is endowed with a natural isometric action of the space of volume-preserving diffeomorphisms of

(M, ω)

when

M

is compact.

48. Remark. It follows from Proposition 44 that for

X

complete

C A T (0)

the boundary of

L^{2} (F, X)

can be easily described as what we call a join integral

\partial L^{2} (F, X) \sim = \int_{F}^{*} \partial X

where the right hand side stands for the set of pairs

(φ, α)

consisting of a measurable map

φ : F \to \partial X

and a semi-density

α

F

; we identify

(φ, α)

with

(φ^{'}, α^{'})

when

α = α^{'}

μ

-a.e. and

φ = φ^{'}

(α^{2} μ)

-a.e. We point out to the interested reader that this join integral behaves well with respect to Tits geometry ; indeed, our definition of the right hand side

\int_{F}^{*}

makes sense for more general (fields of) spaces replacing

\partial X

and can be endowed with a natural metric by means of integrating the spherical cosine law. We shall not use any of this since the boundary of non-proper spaces contains too little information for our purposes.

The next proposition establishes that for a

C A T (0)

space

X

, Euclidean rectangles (cf.

Section 3.4 ) in

L^{2} (F, X)

decompose as a “field of parallelograms” in

X

over

F

(of course, the latter need not be rectangles, as shows even the simplest possible example of the decomposition

R^{4} = R^{2} \times R^{2}

, which corresponds to an atomic

μ

49. Proposition. Suppose that

X

is complete

C A T (0)

. Let

I \subseteq R

be an interval and

σ_{1}, σ_{2} : I \to L^{2} (F, X)

two geodesics determining a Euclidean rectangle. Let

σ_{i}^{g}

and

α_{i}

be as in Proposition 44 for

σ_{i}

i = 1, 2

. Then for almost every

g \in F

the function

d (σ_{1}^{g} (α_{1} (g) t), σ_{2}^{g} (α_{2} (g) t))

is constant on

t \in I

. Moreover,

α_{1} = α_{2}

μ

-a.e.

Proof. The function $d (σ_{1} (t), σ_{2} (t))$ is constant on $t \in I$ . On the other hand, the functions $d (σ_{1} (α_{1} (g) t), σ_{2} (α_{2} (g) t))$ are convex and non-negative. Thus the first part of the proposition follows from the general fact that an integral of the squares of a family of convex non-negative functions on $I$ parametrized by a finite measure space is constant if and only if almost every function in the family is constant.
Since $σ_{1}, σ_{2}$ bound a Euclidean rectangle in $L^{2} (F, X)$ , we may for any two $t_{1}, t_{2} \in I$ apply this first part of the proposition to the two geodesics $[σ_{1} (t_{1}), σ_{2} (t_{1})]$ , $[σ_{1} (t_{2}), σ_{2} (t_{2})]$ . The conclusion is precisely that $α_{1} (g) = α_{2} (g)$ holds for a.e. $g \in F$ . □

5.3

For any

f \in L^{2} (F, X)

, where

X

is complete

C A T (0)

, there is a unique point

x \in X

minimising

\int_{F} d^{2} (f (g), x) d μ (g)

; this point is called the barycentre of

f

. Indeed, we may embed

X

isometrically into

L^{2} (F, X)

x \mapsto ψ_{x}

ψ_{x} (g) \overset{def}{=} x

. Since the image is a closed convex subspace, the barycentre can be defined by the nearest point projection of

f

to that image. In particular, it follows from this definition that for the barycentres

x, x^{'}

f, f^{'}

we have

d (x, x^{'}) \leq d (f, f^{'}) .

The special case

f^{'} = ψ_{y}

yields

d^{2} (x, z) \leq \int_{F} d^{2} (f (g), z) d μ (g) (\forall z \in X) .

Actually, the first inequality can be strengthened to

\begin{matrix} d (x, x^{'}) \leq \int_{F} d (f (g), f^{'} (g)) d μ (g) \end{matrix}

(8)

(though we will only use this in Appendix A and with

(F, μ)

replaced by a finite set). Indeed, for

0 < ɛ < 1

define

x_{ɛ}, x_{ɛ}^{'}

as in Section 3.2 . Integrating ( 2 ) with

y = f (g)

y^{'} = f^{'} (g)

and using

\int_{F} (d^{2} (f (g), x) + d^{2} (f^{'} (g), x^{'})) d μ (g) \leq \int_{F} (d^{2} (f (g), x_{ɛ}) + d^{2} (f^{'} (g), x_{ɛ}^{'})) d μ (g)

yields ( 8 ) when

ɛ

goes to zero. Notice that ( 8 ) also reads

\begin{matrix} d^{2} (x, x^{'}) \leq d^{2} (f, f^{'}) - \int_{F} {(d (f (g), f^{'} (g)) - d (x, x^{'}))}^{2} d μ (g) . \end{matrix}

(9)

More refined inequalities can be found in [KS,2.5.2] .

5.4

A particular case of Definition 41 arises as follows. Let

G

be a locally compact second countable group,

Γ < G

a uniform lattice and

X

a metric space with a

Γ

-action by isometries.

Since

Γ

is cocompact and

G

second countable, one can find a relatively compact Borel right fundamental domain

F \subseteq G

with the property that for any compact

C \subseteq G

the set

\begin{matrix} {η \in Γ : F η \cap C \neq \emptyset} \end{matrix}

(10)

is finite, see Exercice 12 of [Bo3,VII§2] (just mind that the scholar of Nancago considers left fundamental domains). We shall from now on agree to consider only such domains; we further endow

G

with a Haar measure

μ

normalized by

μ (F) = 1

and write

d g

for

d μ (g)

50. Remark. We assumed

G

second countable so that its Borel structure is standard; in addition, we will often assume

X

separable. We do however prove the theorems of the introduction in the full generality stated there by showing in due time how to reduce to the current assumptions.

51. Definition. We denote by

L^{[2]} (G, X)^{Γ}

the space of all measurable maps (up to null-sets)

f : G \to X

with separable range and such that (i) for all

g \in G

γ \in Γ

one has

f (g γ^{- 1}) = γ f (g)

and (ii) for some (hence any)

x \in X

, the function

g \mapsto d (f (g), x)

is in

L^{2} (F)

. We endow

L^{[2]} (G, X)^{Γ}

with the metric defined by

\begin{matrix} d (f, f^{'}) \overset{def}{=} {(\int_{G / Γ} d^{2} (f (g), f^{'} (g)) d g)}^{1 / 2} . \end{matrix}

(11)

There is a canonical isometry

\begin{matrix} L^{[2]} (G, X)^{Γ} \sim = L^{2} (F, X) \end{matrix}

(12)

given by restriction to

F

. Moreover, the choice of

F

is equivalent to the choice of a Borel map

χ : G \to Γ

such that

\begin{matrix} χ^{- 1} (e) = F, χ (g γ^{- 1}) = γ χ (g) (\forall γ \in Γ, a.e. g \in G) . \end{matrix}

(13)

The isomorphism

F \to G / Γ

induces a

G

-action on

F

which is described by the rule

h . g = h g χ (h g)

(the dot notation emphasizes the difference between the two actions). Moreover, this action is measure-preserving since the existence of

Γ

forces

G

to be unimodular. Observe that the inverse to the restriction map in ( 12 ) consists in extending

f \in L^{2} (F, X)

to a map

\begin{matrix} f_{e x t} : G \to X, f_{e x t} (g) \overset{def}{=} χ (g) f (g χ (g)) . \end{matrix}

(14)

We will abuse notation in omitting the subscript `ext'.

52. Lemma. Assume that

X

is complete and separable. Then there is a well-defined continuous

G

-action by isometries on

L^{[2]} (G, X)^{Γ}

defined by

(h f) (g) \overset{def}{=} f (h^{- 1} g)

, where

g, h \in G

In other words, ( 14 ) and ( 13 ) show that the corresponding

G

-action on

L^{2} (F, X)

\begin{matrix} (h . f) (g) = χ (h^{- 1} g) f (h^{- 1} . g), \end{matrix}

(15)

and that the latter is well-defined. We call this the induced

G

-action.

Proof of the lemma. First we need to show that $h f$ is still in $L^{[2]} (G, X)^{Γ}$ . Since $h^{- 1} F$ is relatively compact, the finiteness of ( 10 ) guarantees that there are $γ_{1}, \dots, γ_{k}$ in $Γ$ such that the union of the $F γ_{i}$ covers $h^{- 1} F$ . Fix a base-point $x \in X$ . Then $\int_{F} d^{2} (h f (g), x) d g = \int_{h^{- 1} F} d^{2} (f (g), x) d g \leq \sum_{i = 1}^{k} \int_{F γ_{i}} d^{2} (f (g), x) d g .$ But in view of $f (g γ_{i}) = γ_{i}^{- 1} f (g)$ , each term $\int_{F γ_{i}} d^{2} (f (g), x) d g = \int_{F} d^{2} (γ_{i}^{- 1} f (g), x) d g = \int_{F} d^{2} (f (g), γ_{i} x) d g$ is finite since $f$ is in $L^{[2]} (G, X)^{Γ}$ . This action preserves the distance ( 11 ). Ad continuity: By Lemma 12 , it is enough to show that the map $h \mapsto h f$ is measurable for all $f$ in $L^{[2]} (G, X)^{Γ}$ . This follows from the fact that the map $G \times G \to X$ , $(g, h) \mapsto f (h^{- 1} g)$ is measurable. (Alternatively, for $X$ $C A T (0)$ , one can also show that continuous functions are dense using barycentres weighted by continuous approximate units on $G$ .) □

5.5

Some properties of the

Γ

-action on

X

are trivially equivalent to the corresponding property for the

G

-action on

L^{[2]} (G, X)^{Γ}

; for instance, the existence of fixed points. Evanescence is more subtle; a very simple instance is when

X

is a Hilbert space, in which case one has the following standard theorem: if a unitary representation of the cocompact lattice

Γ

does not weakly contain the trivial representation, then the induced

G

-representation does not either (this follows e.g. from the topological Frobenius reciprocity of [Bl] ). The following is a geometric generalization:

53. Theorem. Let

G

be a locally compact second countable group,

Γ < G

a uniform lattice and

X

a complete separable

C A T (0)

space with a

Γ

-action by isometries. If the

G

-action on

L^{[2]} (G, X)^{Γ}

is evanescent, then the

Γ

-action on

X

is evanescent.

Observe that one cannot reduce this to a statement about asymptotic cones through Remark 26 ; indeed, even when

X = R

, an asymptotic cone on

L^{[2]} (G, X)^{Γ}

is already a so-called non-standard hull of the Hilbert space

L^{[2]} (G, X)^{Γ}

– whilst

X

is its own asymptotic cone.

Instead, the general idea is to project an evanescent sequence of functions to the space constant functions. This does not quite work since one needs to spread out the domain of these functions beyond any fundamental domain in order to capture generators of

Γ

. The following proof is particularly simple thanks to Lemma 54 ; another argument is given in Appendix B for certain non-uniform lattices.

Proof of Theorem 53 . The finiteness of the set in ( 10 ) implies in particular that for every relatively compact Borel set

E \subseteq G

of positive measure and any

f

L^{[2]} (G, X)^{Γ}

the restriction

f |_{E}

is in

L^{2} (E, X)

(as in Lemma 52 ). Therefore we may define a point

x_{f, E} \in X

by taking the barycentre of

f |_{E}

; that is,

x_{f, E} \in X

minimises

Δ_{E} (f) \overset{def}{=} {inf}_{x \in X} \int_{E} d^{2} (x, f (g)) d g .

For every

x \in X

, define the element

ψ_{x}

L^{[2]} (G, X)^{Γ}

ψ_{x} (g) \overset{def}{=} χ (g) x

(extending the notation of Section 5.3 ); finally, write

f_{E} \overset{def}{=} ψ_{x_{f, E}}

Fix a finite set

S \subseteq Γ

. We shall produce an unbounded

S

-evanescent set

T_{S} \subseteq X

for every unbounded

Q

-evanescent set

T

L^{[2]} (G, X)^{Γ}

with

Q \subseteq G

a suitable compact set. This shows that weak evanescence of the

G

-action on

L^{[2]} (G, X)^{Γ}

implies weak evanescence for the

Γ

-action on

X

; the statement for evanescence follows by Proposition 29 and Remark 30 .

Define a relatively compact set

E

and choose a compact set

Q

with

E \overset{def}{=} ⋃_{γ \in S} γ^{- 1} F γ \cup F, Q \supseteq F E^{- 1} \cup S .

54. Lemma. The function

Δ_{E}

is bounded on each

Q

-evanescent set in

L^{[2]} (G, X)^{Γ}

Proof of the lemma. Let $T$ be a $Q$ -evanescent set. There is $K$ such that $d^{2} (f, h f) \leq K$ for all $h \in F E^{- 1}$ and all $f \in T$ . Let $f \in T$ ; we have $Δ_{E} (f) = \int_{E} d^{2} (x_{f, E}, f (g)) d g \leq \int_{F} \int_{E} d^{2} (f (\bar{g}), f (g)) d g d \bar{g}$ by the choice of $x_{f, E}$ . After the change of variable $h = \bar{g} g^{- 1}$ this is $\int_{F} \int_{\bar{g} E^{- 1}} d^{2} (f (\bar{g}), f (h^{- 1} \bar{g})) d h d \bar{g} \leq \int_{F} \int_{F E^{- 1}} d^{2} (f (\bar{g}), f (h^{- 1} \bar{g})) d h d \bar{g},$ which is just $\int_{F E^{- 1}} \int_{F} d^{2} (f (\bar{g}), h f (\bar{g})) d \bar{g} d h = \int_{F E^{- 1}} d^{2} (f, h f) d h .$ This is bounded in terms of $K$ and the measure of $F E^{- 1}$ . □

Choose now an unbounded

Q

-evanescent set

T

L^{[2]} (G, X)^{Γ}

and consider the subset

T_{S} = {x_{f, E} : f \in T}

X

. We contend that

T_{S}

S

-evanescent. First, we check that

T_{S}

is unbounded: Indeed, since

F \subseteq E

, for all

f \in T

\begin{matrix} d^{2} (f, f_{E}) = \int_{F} d^{2} (f (g), x_{f, E}) d g \leq Δ_{E} (f) \end{matrix}

(16)

is bounded by Lemma 54 , and therefore this first claim follows from the estimate

d (x_{f, E}, x_{f^{'}, E}) = d (f_{E}, f_{E}^{'}) \geq d (f, f^{'}) - d (f, f_{E}) - d (f^{'}, f_{E}^{'})

for

f, f^{'} \in T

since

T

is unbounded. We now need to estimate

d (x_{f, E}, γ x_{f, E})

uniformly over

γ \in S

and

f \in T

. Write

d (x_{f, E}, γ x_{f, E}) = d (f_{E}, ψ_{γ x_{f, E}}) \leq d (f_{E}, f) + d (f, γ f) + d (γ f, ψ_{γ x_{f, E}}) .

The first term is taken care of by ( 16 ) and Lemma 54 , whilst the second is bounded since

T

Q

-evanescent and

S \subseteq Q

. As for the last term, we have

d^{2} (γ f, ψ_{γ x_{f, E}}) = \int_{F} d^{2} (f (γ^{- 1} g), γ x_{f, E}) d g = \int_{F} d^{2} (γ^{- 1} (f (γ^{- 1} g)), x_{f, E}) d g = \int_{F} d^{2} (f (γ^{- 1} g γ), x_{f, E}) d g = \int_{γ^{- 1} F γ} d^{2} (f (g), x_{f, E}) d g \leq \int_{E} d^{2} (f (g), x_{f, E}) d g = Δ_{E} (f),

so we are done by Lemma 54 . □

6 Superrigidity

Throughout this section, when considering irreducible lattices

Γ < G = G_{1} \times \dots \times G_{n}

, we shall always assume

n \geq 2

. This is indeed not a restriction, because for

n = 1

the definition of irreducibility implies

G = Γ

and there is nothing to prove.

6.1

We now give, in a slightly cumbersome formulation, a key intermediate statement to which various superrigidity statements will be reduced. A map is called totally geodesic if it takes geodesic segments to (possibly reparametrized) geodesic segments. Recall that the separability assumptions, made as a matter of convenience, will be disposed of in due time.

55. Theorem. Let

Γ

be an irreducible uniform lattice in a product

G = G_{1} \times \dots \times G_{n}

of locally compact second countable groups and let

X

be a complete separable

C A T (0)

space with a non-evanescent

Γ

-action by isometries.

Then there is a (canonical and minimal) non-empty closed convex

G

-invariant subspace

Z \subseteq L^{[2]} (G, X)^{Γ}

which splits isometrically and

G

-equivariantly as a product

Z_{1} \times \dots \times Z_{n}

of minimal

G_{i}

-spaces

Z_{i}

. Moreover,

Z

consists of continuous functions and the evaluation map

ψ : Z \to X

e \in G

is a totally geodesic

Γ

-equivariant Lipschitz map. The restriction of

ψ

to every copy of each

Z_{i}

is isometric. In particular, if for some

i

the set

ℭ_{i} \overset{def}{=} \partial (ψ (Z_{i})) \subseteq \partial X

is non-empty, then

Γ

preserves

ℭ_{i}

and the

Γ

-action on

ℭ_{i}

extends continuously to a

G

-action which factors through

G \to G_{i}

As usual,

f \in L^{[2]} (G, X)^{Γ}

is really a function class and is said continuous if it contains a continuous representative. We shall use the following criterion, which is readily checked using Fubini-Lebesgue.

56. Lemma. Let

f : G \to X

be a measurable function from a locally compact second countable group

G

to a separable complete metric space

X

. Assume that for all

ɛ > 0

and all

g \in G

there is a neighbourhood

U

g

such that

e s s s u p_{h, h^{'} \in U} d (f (h), f (h^{'})) < ɛ

. Then

f

agrees almost everywhere with a continuous function. □

Proof of Theorem 55 . Recall that

L^{[2]} (G, X)^{Γ}

is the complete separable

C A T (0)

space with continuous

G

-action granted by Definition 51 and Lemmata 43 , 46 and 52 . Theorem 53 shows that the

G

-action is not evanescent, and thus the splitting Theorem 9 implies that there is a closed convex

G

-invariant subspace

Z \subseteq L^{[2]} (G, X)^{Γ}

which splits isometrically and

G

-equivariantly as a product

Z_{1} \times \dots \times Z_{n}

G_{i}

-spaces

Z_{i}

endowed with the product action.

Recall from Remark 40 that

Z_{i}

can be assumed to be a minimal non-empty closed convex

G_{i}

-space.

We may, and shall from now on, identify each

Z_{i}

with a subspace of

Z

. For every

y \in Z

, there is a unique copy of

Z_{i}

Z

containing

y

; we denote by

Z_{i}^{y}

this

G_{i}

-invariant closed convex subset

Z_{i}^{y} \subseteq Z

. We claim

\begin{matrix} d (f (g), f^{'} (g)) = d (f, f^{'}) \forall y \in Z, \forall f, f^{'} \in Z_{i}^{y}, a.e. g \in G . \end{matrix}

(17)

Indeed, fix a Borel fundamental domain

F \subseteq G

for

Γ

as in Section 5.4 . We shall make use of the identification ( 12 ) and of the notation ( 15 ). It suffices to prove the claim for a.e.

g \in F

Let

I = [0, d (f, f^{'})]

and let

σ_{1} : I \to Z_{i}^{y}

be the geodesic from

f

f^{'}

. If

h

is any element of

G_{j}

for

j \neq i

, the splitting of

Z

shows that

σ_{1}

and

σ_{2} \overset{def}{=} h^{- 1} σ

determine a Euclidean rectangle in

Z

. Let

σ_{i}^{g}

and

α_{i}

be as in Proposition 44 for

σ_{i}

i = 1, 2

. Then Proposition 49 shows that

α_{1} = α_{2}

a.e. In other words, since

α_{2} (g) = α_{1} (h . g)

, the function (class)

α_{1} : F \to R_{+}

G_{j}

-invariant for all

j \neq i

. Since the projection of

Γ

G_{i}

is dense, the subproduct

\prod_{j \neq i} G_{j}

acts ergodically on

G / Γ

. Therefore,

α_{1}

(and hence also

α_{2}

) is constant; this constant is one by

\int_{F} α_{1} (g)^{2} d g = 1

. The claim now follows since

f (g)

and

f^{'} (g)

are the endpoints of

σ_{1}^{g}

. Next, we recall (for any

a_{i} \in R

) the inequality

\sum_{i = 1}^{n} a_{i} \leq {(n \sum_{i = 1}^{n} a_{i}^{2})}^{1 / 2}

; this allows us to bound the distance between any

f, f^{'} \in Z

by applying ( 17 ) to each factor

Z_{i}

, obtaining

\begin{matrix} d (f (g), f^{'} (g)) \leq \sqrt{n} d (f, f^{'}) \forall f, f^{'} \in Z, a.e. g \in G . \end{matrix}

(18)

Since

Z

G

-invariant, it follows that for any compact neighbourhood

U

g \in G

e s s s u p_{h, h^{'} \in U} d (f (h), f (h^{'})) \leq \sqrt{n} {sup}_{h, h^{'} \in U} d (f, (h {h^{'}}^{- 1}) f) \forall f \in Z

which goes to zero as

U \to g

by continuity of the

G

-action (Lemma 52 ). This shows that every

f \in Z

is continuous (Lemma 56 ).

We may now define a map

ψ : Z \to X

ψ (f) = f (e)

. This map is

Γ

-equivariant by definition. For every

y \in Z

and each

i

, the restriction of

ψ

Z_{i}^{y} \to X

is isometric because of ( 17 ). Further,

ψ

\sqrt{n}

-Lipschitz by ( 18 ) and totally geodesic by Proposition 44 . Assume, for some

i

, that

\partial Z_{i} \neq \emptyset

; set

X_{i} \overset{def}{=} ψ (Z_{i})

. Notice that

X_{i}

, being isometric to

Z_{i}

, is complete, hence closed, and convex. In particular,

ℭ_{i} \overset{def}{=} \partial X_{i}

is closed in

\partial X

[BH,p. 266] and the isometry

ψ |_{Z_{i}} : Z_{i} \to X_{i}

induces a homeomorphism

\partial Z_{i} \sim = ℭ_{i}

. The

G

-action on

Z

being the product action,

\partial Z_{i}

G

-invariant and the (continuous)

G

-action on it factors through

G \to G_{i}

. Summing up, we obtained a

Γ

-equivariant homeomorphism

\partial Z_{i} \sim = ℭ_{i}

, finishing the proof. □

6.2

In this subsection we analyse the notion of indecomposability introduced in Definition 3 (for proper spaces). The two obvious obstructions to indecomposability of a group

L

are (i) a

L

-fixed point at infinity (when

L \neq 1

) and (ii) a

L

-invariant splitting

X = X_{1} \times X_{2}

with unbounded factors; indeed in both cases we obtain closed invariant sets at infinity on which

L

does not act faithfully. It is not clear to us to what extent the topological part of Definition 3 is really an additional restriction in our setting.

Let

X

be a proper

C A T (0)

space,

L < I s (X)

a subgroup and

ℭ \subseteq \partial X

a non-empty closed

L

-invariant subset; write

J

for the stabiliser of

ℭ

I s (X)

. Recall that the topology of uniform convergence coincides on

M \overset{def}{=} H o m e o (ℭ)

with the compact-open topology and turns

M

into a topological group; the natural homomorphism

ι : J \to M

is continuous (compare Section 3.6 ). Moreover

M

is polish (hence Baire) because

ℭ

is metrizable. Notice that

J

is closed in

I s (X)

and hence contains

\bar{L}

57. Remark. The conditions of Definition 3 hold if and only if

ι |_{\bar{L}}

is a topological isomorphism onto its image. Indeed, indecomposability implies that

ι |_{\bar{L}}

is a continuous group isomorphism from a locally compact second countable group onto a Baire group and thus is a topological isomorphism by the usual Baire category argument. The converse (which we do not use) holds since any locally compact subgroup of a topological group is closed (Corollaire 2 in [Bo2,II§3no3] ).

In the two general instances where we verify indecomposability (Lemmata 59 and 60 ), we obtain the a priori stronger statement for the coarser topology of pointwise convergence by the following criterion (mind that

M

is not a topological group for this topology).

58. Lemma. Let

\bar{L}

be a locally compact second countable group with a faithful continuous action

\bar{L} \times ℭ \to ℭ

on a compact Hausdorff topological space

ℭ

. The associated injective homomorphism

\bar{L} \to M \overset{def}{=} H o m e o (ℭ)

is a topological isomorphism onto its image endowed with the topology of pointwise convergence if and only if for any sequence

{h_{n}}

tending to infinity in

\bar{L}

there is

ξ \in ℭ

with

h_{n} ξ ↛ ξ

Proof. Let ${g_{α}}$ be any net of $\bar{L}$ converging to $g \in \bar{L}$ for the pointwise topology on $M$ but not in the $\bar{L}$ -topology. Since $\bar{L}$ is locally compact second countable and its action on $ℭ$ continuous, we obtain a sequence ${ℓ_{n}}$ converging to infinity in $\bar{L}$ such that $ℓ_{n} ξ \to g ξ$ for all $ξ \in C$ . The criterion applied to $h_{n} \overset{def}{=} g^{- 1} ℓ_{n}$ yields a contradiction. The converse follows from the continuity of the action. □

We now verify that indecomposability generalizes indeed Zariski-density for subgroups of adjoint simple algebraic groups.

59. Lemma. Let

k

be a local field and

H

a connected adjoint

k

-simple

k

-group. Let

X

be the symmetric space, respectively the Bruhat-Tits building, associated to

G = H (k)

according to whether

k

is Archimedean or not. Then any Zariski-dense subgroup

L < G

is indecomposable.

The following proof was kindly provided by J.-F. Quint.

Proof. Let $ℭ \subseteq \partial X$ be a non-empty $L$ -invariant closed subset and $H_{ℭ}$ its pointwise stabiliser in $G$ . Since $H_{ℭ}$ is an intersection of parabolic subgroups, it is an algebraic subgroup; but $L$ normalizes it because it preserves $ℭ$ , so by Zariski-density $H_{ℭ}$ is normal in $G$ and hence trivial.
Let now ${h_{n}}$ be a sequence tending to infinity in $\bar{L}$ . Since parabolic subgroups are cocompact, there is no loss of generality in supposing that $ℭ$ is contained in a single $G$ -orbit; thus $ℭ$ can be considered as a Zariski-dense subset of $G / Q$ for some parabolic $Q \neq G$ . We may fix an irreducible representation $r$ of $G$ on a $k$ -vector space $V$ (of dimension, say, $m$ ) such that $Q$ is the stabiliser of some line $U \subseteq V$ , see [T] . Suppose for now that $k = R$ ; the Cartan decomposition gives $r (h_{n}) = c_{n}^{'} a_{n} c_{n}$ for some $a_{n}$ in a positive Weyl chamber and $c_{n}, c_{n}^{'} \in S O (m)$ . Upon passing to a subsequence, we may assume that $c_{n}, c_{n}^{'}$ converge to some $c, c^{'}$ . Since $r (h_{n})$ tends to infinity in $S L_{m} (k)$ , the sequence $a_{n} / ∥ a_{n} ∥$ (where $∥ a_{n} ∥$ is the operator norm) converges, after possibly extracting a subsequence, to a linear map onto a proper subspace $0 \neq W ⫋ V$ , with kernel $0 \neq Y ⫋ V$ . Since $r$ is irreducible, $G U ⊈ c^{'} W \cup c^{- 1} Y$ so that by Zariski-density there is $ξ \in ℭ$ not in $c^{'} W \cup c^{- 1} Y$ . However, for any line $U^{'} ⊈ c^{- 1} Y$ , $r (h_{n}) U^{'}$ tends to a line in $c^{'} W$ . Thus $h_{n} ξ ↛ ξ$ . For general $k$ , the same argument applies to the corresponding Cartan decomposition of $G L_{m}$ over $k$ . □

For the sake of illustration, we now take a brief look at the context of negative curvature (even though the methods proposed in [MS1] ,[MS2] are more powerful in that case). Recall that if the proper

C A T (0)

space

X

is Gromov-hyperbolic, e.g.

C A T (- 1)

, an action on

X

is said elementary if it fixes a point in

\bar{X}

or stabilises a pair of points in

\partial X

60. Lemma. Let

Γ

be a group with a non-elementary action by isometries on a Gromov-hyperbolic proper

C A T (0)

space

X

. Then, upon possibly replacing

X

by a non-empty closed convex

Γ

-invariant subspace, the

Γ

-action on

X

is indecomposable.

(The

Γ

-action is called indecomposable if the image of

Γ

I s (X)

is an indecomposable subgroup.)

Proof. By Remark 36 , there is a minimal non-empty closed convex $Γ$ -invariant subspace $Y \subseteq X$ ; observe that the $Γ$ -action on $Y$ is still non-elementary. Thus we may assume $X$ minimal. Recall that there is a continuous $I s (X)$ -equivariant map $C$ from distinct triples in $\partial X$ to $X$ (indeed, for any distinct $ξ_{i} \in \partial X$ , the sum $β = β_{ξ_{1}} + β_{ξ_{2}} + β_{ξ_{3}}$ of Busemann functions is bounded below and proper as shown by a comparison argument e.g. using the arbre approximatif of Théorème 12 (ii) in [GH,2§2] ; therefore, one can take for $C (ξ_{i})$ the circumcentre of its min-set). Let now $ℭ \subseteq \partial X$ be a non-empty closed $Γ$ -invariant set. By non-elementarity, $ℭ$ contains at least three distinct points $ξ_{i}$ . The pointwise stabiliser $K$ of $ℭ$ in $I s (X)$ is therefore compact since it fixes $C (ξ_{i})$ ; thus, the closed convex subspace $X^{K}$ is non-empty. Since $Γ$ normalizes $K$ , it preserves $X^{K}$ ; hence, $X^{K} = X$ and thus $K$ is trivial.
Let now ${h_{n}}$ be any sequence in the stabiliser $H < I s (X)$ of $ℭ$ such that $h_{n} ξ \to ξ$ for all $ξ \in ℭ$ . It remains only to show that the sequence ${h_{n}}$ is bounded in $H$ , or equivalently in $I s (X)$ . This follows since $h_{n} C (ξ_{i})$ tends to $C (ξ_{i})$ . □

6.3

We now proceed to prove Theorem 2 and Corollary 4 .

61. Proposition. It is enough for Theorem 2 to consider the case where

G

is second countable.

Proof. Based on a classical argument [KK]
, one has:
62. Lemma. Let $J$ be a locally compact $σ$ -compact group and $V \subseteq J$ a neighbourhood of $e \in J$ . Then there exists a compact normal subgroup $K ⊳ J$ contained in $V$ such that $J / K$ is second countable.
- Proof of the lemma. Let $φ$ be a non-negative continuous function on $J$ that is supported on $V$ and such that $φ (e) = 1$ . Then the smallest closed $J$ -invariant subspace $M$ of $L^{2} (J)$ containing $φ$ is separable, see Satz 5 in [KK] . If we let $K$ be the kernel of the $J$ -representation on $M$ , it follows as in [KK] that $J / K$ is second countable because, by $σ$ -compactness and an application of Baire's theorem, $J / K$ is topologically isomorphic to its image in the unitary group of $M$ endowed with the strong operator topology. The choice of $φ$ guarantees that $g φ \neq φ$ for all $g / \in V$ , so that $K \subseteq V$ . □
Since Γ is discrete in G , there are identity neighbourhoods V i ⊆ G i such that Γ meets V 1 × ⋯ × V n trivially. Let K i ⊳ G i be as in the lemma with K i ⊆ V i and set K = K 1 × ⋯ × K n .
Then $G^{*} = G / K$ is second countable and the canonical image $Γ^{*}$ of $Γ$ in $G^{*}$ is still an irreducible uniform lattice with respect to the product structure given by the factors $G_{i} / K_{i}$ .
But the choice of $V_{i}$ ensures that the natural map $Γ \to Γ^{*}$ is an isomorphism; thus, if we have Theorem 2 for the second countable case, we can apply it to $G^{*}$ and the general case follows. □

End of proof of Theorem 2 . Suppose first that the $Γ$ -action on $X$ is evanescent. Since $X$ is proper, it follows from Proposition 27 that there is a $Γ$ -fixed point $ξ \in \partial X$ . In that case the conclusion of the theorem holds trivially for $ℭ = {ξ}$ .
Thus we may suppose that the action is non-evanescent; in addition, we may assume $G$ second countable (Proposition 61 ) and $X$ is separable since it is a proper metric space.
Therefore Theorem 55 applies; we shall use its notation. If every $Z_{i}$ is bounded, then $Z$ is reduced to a point by minimality. The image of this point under $ψ$ is a $Γ$ -fixed point in $X$ , contradicting unboundedness. Hence we may assume that there is an index $i$ such that $Z_{i}$ is unbounded. Since $Z_{i}$ is isometric to the unbounded closed convex subspace $ψ (Z_{i})$ of the proper space $X$ , we deduce that its boundary is non-empty. Now the conclusion of Theorem 55 is exactly what was to be shown. □

Proof of Corollary 4 . Keep the notation of the corollary, set $L \overset{def}{=} τ (Γ)$ and let $ℭ$ be as in Theorem 2 . The conclusion of that theorem implies that the composed map $Γ ⟶ \bar{L} - \to ι M \overset{def}{=} H o m e o (ℭ),$ with $M$ topologized as in Section 6.2 , extends to a continuous homomorphism $\hat{τ} : G \to M$ factoring through one of the canonical projections $G \to G_{i}$ . Since the image of $Γ$ in $G_{i}$ is dense and $ι (\bar{L})$ closed, $\hat{τ} (G) \subseteq ι (\bar{L})$ . By Remark 57 , $\hat{τ}$ lifts to a continuous homomorphism $\tilde{τ} : G \to \bar{L}$ factoring through $G_{i}$ and extending $τ$ . This proves the theorem since $\bar{L} < H$ . □

Proof of Margulis' Theorem 1 for $Γ$ cocompact. By Lemma 59 , we may apply Corollary 4 . □

6.4

With Theorem 6 in view, we now turn to complete

C A T (0)

spaces

X

that are not assumed proper and analyse reduced subgroups of

I s (X)

following Definition 5 . In the beginning of Section 6.2 we mentioned two immediate restrictions following from indecomposability; the analogous two restrictions hold in the present setting aswell, as shown by (i) and (ii) in the following lemma.

63. Lemma. Let

X

be a complete

C A T (0)

space and

L < I s (X)

an unbounded reduced subgroup. Then: (i) The action is not evanescent.

(ii) There is no

L

-invariant splitting

X = X_{1} \times X_{2}

with non-trivial factors.

(iii) If

L

is countable, then

X

is separable.

(iv)

X

has no non-trivial Clifford translation unless it is isometric to a Hilbert space.

Proof. (ii) Assume that the splitting $X = X_{1} \times X_{2}$ is preserved by $L$ . Since $L$ is unbounded, one of the factors, say $X_{2}$ , is unbounded. For any $x \in X_{1}$ the set $Y = {x} \times X_{2}$ enjoys the property of Definition 5 . Therefore $Y = X$ and hence $X_{1}$ is trivial.
(iv) This follows from (ii) in view of the canonical splitting of $X$ recalled at the end of Section 3.4 .
(i) Suppose for a contradiction that $T \subseteq X$ is an unbounded evanescent set. Since for every $γ \in Γ$ the displacement function $x \mapsto d (γ x, x)$ is continuous and convex, there is no loss of generality in assuming $T$ closed and convex upon replacing it by $[T]$ . Then Definition 5 implies $T = X$ . It follows now from this same condition that the unbounded $C A T (0)$ space $X$ contains no unbounded closed convex subset $Y ⫋ X$ at all. In particular, $X$ cannot be a Hilbert space and thus, by (iv), $X$ does not admit any non-trivial Clifford translation. Since $Γ$ acts non-trivially, there is $γ \in Γ$ whose displacement function is not identically zero; however, since $X = T$ , the supremum $C = {sup}_{x \in X} d (γ x, x)$ is finite. If the displacement length were constant, $γ$ would be a non-trivial Clifford translation. Thus for some $0 < C^{'} < C$ the closed convex set $Y \overset{def}{=} {x \in X : d (γ x, x) \leq C^{'}} ⫋ X$ is non-empty, hence bounded. Since $γ Y = Y$ , the circumcentre $y \in Y$ is $γ$ -fixed. Let $ϱ$ be the circumradius of $Y$ . Since we assumed $T$ unbounded, there is a sequence ${x_{n}}$ in $X$ with $d (x_{n}, y) \to \infty$ . Let $y_{n}$ be the point of $[y, x_{n}]$ at distance $ϱ + 1$ of $y$ ; then a comparison argument shows that $d (γ y_{n}, y_{n})$ tends to zero since $d (γ x_{n}, x_{n}) \leq C$ . Thus, for $n$ large enough, $y_{n}$ is in $Y$ , a contradiction proving (i).
(iii) Let $Y$ be the closed convex hull of some $L$ -orbit. Since $Y$ is unbounded and $L$ -invariant, $X = Y$ . Thus it remains to show that $Y$ is separable. This is indeed the case: If $A_{0} \subseteq X$ is any countable set (such as a $L$ -orbit) and $A_{n + 1}$ denotes the set obtained by adjoining to $A_{n}$ all midpoints of pairs in $A_{n}$ , then the union $\cup_{n \geq 0} A_{n}$ contains the midpoint of any of its pairs, and thus is dense in $[A_{0}]$ . □

We can now complete the main case of Theorem 6 .

End of proof of Theorem 6 , non-Hilbertian case. Observe first that $Γ$ is countable since it is a lattice in a locally compact $σ$ -compact group. The argument of Proposition 61 shows that we may assume $G$ second countable. Moreover, since $τ (Γ)$ is unbounded and reduced, Lemma 63 implies that its action is non-evanescent and that $X$ is separable. Thus, we may apply Theorem 55 ; we keep its notation and denote by $z_{0} \in Z$ the point common to all $Z_{i}$ . We know, as in the proof of Theorem 2 , that at least some $Z_{i}$ is unbounded; say $Z_{n}$ . Recall that $ψ (Z_{n})$ is a closed convex subset of $X$ since it is the isometric image of a complete convex set. Fix $γ \in Γ$ and write $γ = γ_{n} γ_{n}^{'}$ for the decomposition along $G = G_{n} \times G_{n}^{'}$ , where $G_{n}^{'} = \prod_{j \neq n} G_{j}$ . Then, for all $z \in Z_{n}$ , $d (γ z, γ_{n} z) = d (γ_{n}^{'} z, z) = d (γ_{n}^{'} z_{0}, z_{0})$ since $z \in Z_{n}$ and we have a product action on $Z$ . Thus, for each $γ \in Γ$ , the distance between $γ ψ (z) = ψ (γ z)$ and $ψ (γ_{n} z) \in ψ (Z_{n})$ is bounded independently of $z \in Z_{n}$ . Since the action is reduced, it follows that $ψ (Z_{n}) = X$ . At this point, in order to conclude the proof and exhibit $\tilde{τ}$ via $ψ |_{Z_{n}} : Z_{n} \sim = X$ , it only remains to show that $G_{j}$ fixes $Z_{n}$ (equivalently, that $Z_{j}$ is trivial) for all $j \neq n$ . Indeed, the continuity of $\tilde{τ}$ as defined in Section 3.5 follows from the continuity of $G$ on $Z$ , and then $\tilde{τ}$ must range in $H$ by irreducibility of $Γ$ .
To that end, we note that the above discussion did not depend on the choice of the “copy” $Z_{n}$ ; hence $ψ (g Z_{n}) = X$ also holds for all $g \in G$ . Now pick $g_{j} \in G_{j}$ for some $j \neq n$ . Since $ψ |_{Z_{n}}$ and $ψ |_{g_{j} Z_{n}}$ are isometries onto $X$ , the map $T : X \to X$ defined by $ψ \circ g_{j} \circ (ψ |_{Z_{n}})^{- 1}$ is an isometry. Since $(ψ |_{Z_{n}})^{- 1} (x)$ and $g_{j} (ψ |_{Z_{n}})^{- 1} (x)$ belong to a copy of $Z_{j}$ , we have $d (T (x), x) = d (g_{j} (ψ |_{Z_{n}})^{- 1} (x), (ψ |_{Z_{n}})^{- 1} (x)) = d (g_{j} z_{0}, z_{0})$ independently of $x \in X$ . Thus $T$ is a Clifford translation; since we assume that $X$ is not isometric to a Hilbert space, $T$ is trivial by (iv) in Lemma 63 . This proves that $g_{j}$ fixes $z_{0}$ and therefore also $Z_{n}$ , finishing the proof of Theorem 6 in this case. □

6.5

We still have to prove Theorem 6 in the case where

X

is a Hilbert space. We provide a proof just for the sake of completeness; this is a very special case for which our methods are rather coarse — indeed it is not so natural to assume the action reduced here since the linear structure allows for stronger results, see [Sh] . Moreover, Theorem 6 does not hold as stated when

X = R^{d}

even in the simplest cases:

64. Example. Consider the affine groups

G_{1} = G_{2} = R ∖ {\pm 1}

and set

G = G_{1} \times G_{2}

. Consider the irreducible unifom lattice

Γ < G

defined by

Γ \overset{def}{=} {((n + m \sqrt{2}, ɛ); (n - m \sqrt{2}, ɛ)) : n, m \in Z, ɛ = \pm 1} .

The

Γ

-action on

X = R

defined by

((n + m \sqrt{2}, ɛ); (n - m \sqrt{2}, ɛ)) x = ɛ x + n

is unbounded and reduced. However it does not extend continuously to

G

. Indeed, if it did, the linear part of the

G

-action would have to factor through one of the

G_{i}

, say

G_{1}

, because the two canonical projections are the only homomorphisms

{\pm 1}^{2} \to O (1) = {\pm 1}

that are non-trivial on the diagonal. It then follows that

G_{2}

acts trivially altogether, which is impossible since the homomorphism

n + m \sqrt{2} \mapsto n

does not extend continuously to

R

A yet simpler example is

G = (Z ∖ {\pm 1})^{2}

Γ = Z^{2} ∖ {\pm 1}

. Similar examples can be constructed in higher dimension.

The above example is rather typical for counter-examples to the statement of Theorem 6 :

65. Theorem. The statement of Theorem 6 holds for any complete

C A T (0)

space

X

unless (i)

X

is isometric to

R^{d}

for some

d \in N

and (ii) the linear part of the

Γ

-action is irreducible and is the restriction of a

G_{i}

-subrepresentation of

L^{2} (G / Γ)

endowed with the quasi-regular

G_{i}

-representation. Moreover, (ii) holds for at least two distinct indices

i

In particular, this theorem completes the proof of Theorem 6 since it is assumed in the latter that

X \neq R^{d}

We begin with a general observation about lattices in products:

66. Lemma. Let

Γ

be a lattice in a product

G = G_{1} \times \dots \times G_{n}

of locally compact groups and let

τ : Γ \to H

be any homomorphism to a topological group

H

Suppose that for two distinct indices

i

there are continuous homomorphisms

τ_{i} : G_{i} \to H

such that the composed homomorphisms

{\tilde{τ}}_{i} : G ↠ G_{i} \to H

extend

τ

Then

τ (Γ)

is relatively compact in

H

Proof. Let $i \neq i^{'}$ be the two indices and define a continuous map $σ : G \to H$ by $σ (g) = {\tilde{τ}}_{i} (g) {\tilde{τ}}_{i^{'}} (g)^{- 1}$ . Since $σ$ descends to a map $G / Γ \to H$ we obtain a probability Radon measure $μ$ on $H$ from the (normalized) invariant measure on $G / Γ$ . Since $σ (g_{i} g) = τ_{i} (g_{i}) σ (g)$ for all $g_{i} \in G_{i}$ and $g \in G$ , the measure $μ$ is invariant under $τ_{i} (G_{i}) = {\tilde{τ}}_{i} (G)$ , hence under $τ (Γ)$ .
It remains to observe that the stabilizer $K < H$ of any Radon probability measure on $H$ is compact. Since $μ$ is Radon there is a compact set $C \subseteq H$ with $μ (C) > 1 / 2$ . Therefore $k C \cap C \neq \emptyset$ for all $k \in K$ . It follows $K \subseteq C C^{- 1}$ . □

(The proof is slightly shorter when

Γ

is cocompact.)

Proof of Theorem 65 . In view of the proof of Theorem 6 given in Section 6.4 under the assumption that $X$ was not a Hilbert space, we may now assume that $X$ is a Hilbert space.
Recall that a $Γ$ -action by isometries on $X$ is given by an orthogonal representation $π \to O (X)$ and a cocycle $b : Γ \to X$ . We claim that $π$ is irreducible. Indeed, if $X = X^{'} \oplus X^{''}$ were a non-trivial orthogonal decomposition preserved by $π$ , then $Y = 0 \oplus X^{''}$ would contradict the condition of Definition 5 since $τ (γ) Y$ is at finite distance of $π (γ) Y = Y$ for all $γ \in Γ$ .
We adopt now the notations of the proof of Theorem 6 given in Section 6.4 ; the non-Hilbertian assumption on $X$ was only used at the very end in order to prove that $G_{j}$ fixes $Z_{n}$ (equivalently, that $Z_{j}$ is trivial) for all $j \neq n$ . Therefore, we assume now that $Z_{j}$ is non-trivial for some $j \neq n$ and need to characterize $X$ and its $Γ$ -action as in Theorem 65 . We obtained in the proof of Section 6.4 an isometry $ψ |_{Z_{n}} : Z_{n} \sim = X$ such that for each $γ \in Γ$ , the distance between $γ ψ (z)$ and $ψ (γ_{n} z)$ is bounded independently of $z \in Z_{n}$ . Therefore, the new $Γ$ -action on $X$ transported via $ψ$ (and $Γ \to G_{n}$ ) from the $G_{n}$ -action on $Z_{n}$ (i.e. $γ x = ψ (γ_{n} ψ |_{Z_{n}}^{- 1} (x))$ ) differs from the original $Γ$ -action by its translation cocycle only. In other words, $π$ extends continuously to a homomorphism ${\tilde{π}}_{n} : G ↠ G_{n} - - - \to π_{n} O (X)$ where the orthogonal group $O (X)$ is endowed with the strong operator topology. Applying the same argument to $j \neq n$ we are in position to use Lemma 66 and conclude that $π$ ranges in a compact subgroup of $O (X)$ . The Peter-Weyl theorem implies that $X$ is finite-dimensional since $π$ is irreducible. It remains only to prove that $π_{i} \subseteq L^{2} (G / Γ) |_{G_{i}}$ for $i = j, n$ . The $G$ -representation $ϱ = I n d_{Γ}^{G} π$ induced from $π$ is canonically isomorphic to ${\tilde{π}}_{n} \otimes L^{2} (G / Γ)$ since $π = {\tilde{π}}_{n} |_{Γ}$ and hence $π_{n} \subseteq ϱ |_{G_{n}}$ . Likewise, $ϱ \sim = {\tilde{π}}_{j} \otimes L^{2} (G / Γ)$ and hence $ϱ |_{G_{n}} \sim = d i m (π) L^{2} (G / Γ)$ . Since $π_{n}$ is irreducible, the claim follows for $i = n$ and is esteablished in the same way for $i = j$ . □

Appendix A: Commensurator Superrigidity

Let

G

be a locally compact

σ

-compact group,

Γ < G

a cocompact (or square-integrable, weakly cocompact) lattice and

Γ < Λ < G

a dense subgroup commensurating

Γ

, i.e.

Γ \cap λ Γ λ^{- 1}

has finite index in

Γ

for all

λ \in Λ

; equivalently, all

Γ

-orbits in

Λ / Γ

are finite.

In an unpublished manuscript [M2] (see also [Bu] ), Margulis proves the following theorem (under a more relaxed non-positive curvature assumption, assuming

G

compactly generated,

Γ

cocompact, and assuming there are no parallel orbits).

A1. Theorem. Suppose

Λ

acts by isometries on a complete

C A T (0)

space

X

such that the resulting

Γ

-action is non-evanescent. Then, upon possibly passing to a non-empty

Γ

-invariant closed convex subspace, the

Γ

-action extends continuously to a

G

-action.

Margulis' proof uses generalized harmonic maps. We give an elementary proof illustrating the techniques introduced above; in spirit, this is a non-linear analogue of [Sh] . In the particular case where both

G

and

I s (X)

are simple algebraic groups, this result leads to Margulis' arithmeticity criterion, see [M1] ,[AB] .

Proof. Using Lemma 62 , we may assume $G$ second countable; we can assume $Λ$ countable and thus $X$ separable upon passing to the closed convex hull of a $Λ$ -orbit. Let $Y$ be the induced $G$ -space, non-evanescent by Theorem 53 (resp. Appendix B). It is enough to show that there is a non-empty $G$ -invariant closed convex subspace $Z \subseteq Y$ such that for all $f, f^{'} \in Z$ the function $d (f, f^{'})$ on $G$ is right $Λ$ -invariant, since then it is essentially constant and we get a $Γ$ -equivariant isometric map $Z \to X$ by evaluation(s) (compare 6.1 ). Let $A$ be the net of finite $Γ$ -invariant sets $\emptyset \neq A \subseteq Λ / Γ$ . For any $f \in Y$ and a.e. $g \in G$ let $F_{A} f (g)$ be the unique $x \in X$ minimising $\sum_{a \in A} d^{2} (a f (g a), x)$ ; this is the barycentre construction (Section 5.3 ) for the uniform measure on $A$ . We thus obtain a well-defined $G$ -equivariant map $F_{A} : Y \to Y$ .
The barycentre inequality ( 9 ) of Section 5.3 yields
(19) d 2 ( F A f ( g ) , F A f ′ ( g ) ) ≤ | A | − 1 ∑ a ∈ A d 2 ( f ( g a ) , f ′ ( g a ) ) − | A | − 1 ∑ a ∈ A ( d ( f ( g a ) , f ′ ( g a ) ) − d ( F A f ( g ) , F A f ′ ( g ) ) ) 2
The first term already implies that $F_{A}$ is non-expanding (by integrating over $G / \cap_{a \in A} a Γ a^{- 1}$ ); likewise, ( 19 ) shows that if $f, f^{'}$ are $F_{A}$ -fixed, then $d (f, f^{'})$ is invariant under the group $Λ_{A}$ generated by the preimage of $A$ in $Λ$ . Every $F_{A}$ -orbit being evanescent, it is bounded; thus $Y^{F_{A}} \neq \emptyset$ by Remark 15 – and we are done if $Λ$ is finitely generated, taking $A$ large enough and $Z = Y^{F_{A}}$ .
For general $Λ$ , let $T_{A}$ be the set of $G$ -components $C \in T$ (Remarks 39 ) such that $d (f, f^{'})$ is $Λ_{A}$ -invariant $\forall f, f^{'} \in C$ . It follows from the preceding that $T_{A} \neq \emptyset$ ; $T_{A}$ is convex (use e.g. Proposition 49 ) and closed since $L^{2}$ -convergence of functions implies a.e.
subconvergence. Since $T$ is bounded by non-evanescence, the directed family ${T_{A}}_{A \in A}$ has non-empty intersection by Theorem 14 and yields a component $Z$ as sought. □

Appendix B: Induction for Certain Non-Uniform Lattices

This appendix discusses non-uniform lattices. The cocompactness assumption was only used in Sections 5.4 and 5.5 , and it was needed only in defining the action on the induced space (Lemma 52 ) and in proving Theorem 53 . Thus, replacing them respectively with Lemma B2 and Theorem B5 below, we conclude that all our results (including Appendix A) hold as claimed in Theorem 7 . We insist however that for classical lattices the integrability condition discussed below is dependent on Margulis' arithmeticity theorem (interestingly, Margulis originally proved arithmeticity of non-uniform lattices without – and before – his superrigidity).

Let

G

be a locally compact second countable group,

Γ < G

a lattice. We use the notation of Sections 5.4 and 5.5 , e.g. for

χ : G \to Γ

ψ_{x} (g) \overset{def}{=} χ (g) x

and normalizing the covolume of

Γ

to one.

B1. Definition (See [Sh,1.II] ). The lattice

Γ

is square-integrable if it is finitely generated and if, for the length function

ℓ

associated to some (or equivalently any) finite generating set, there is a fundamental domain

F \subseteq G

(with null boundary) such that

\int_{F} ℓ (χ (g^{- 1} h))^{2} d h < \infty \forall g \in G .

(We note that when dealing with uniform lattices we never imposed finite generation, thus allowing for lattices in groups that are not compactly generated.)

Y. Shalom explains in [Sh,§2] why the condition of Definition B1 always holds for lattices as in Theorem 1 ; B. Rémy proves in [R2] that it holds for all Kac-Moody lattices. We refer to [R*] ,[R1] for general Kac-Moody groups, in particular for the following result of Rémy: Any Kac-Moody group over

F_{q}

is an irreducible lattice in the product of its associated twin building groups (modulo its finite centre), when

q

is large enough.

The following parallels [Sh,1.II] :

B2. Lemma. Let

F

be as in Definition B1 . Then Lemma 52 and formula ( 15 ) provide a well-defined continuous

G

-action by isometries on

L^{[2]} (G, X)^{Γ} \sim = L^{2} (F, X)

Proof. The only additional verification we need to do is that for $f \in L^{2} (F, X)$ , $x \in X$ and $g \in G$ the integral $\int_{F} d^{2} ((g f) (h), x) d h$ is finite. The latter is $\int_{F} d^{2} (f (g^{- 1} . h), χ (g^{- 1} h)^{- 1} x) d h$ in view of ( 15 ); since $\int_{F} d^{2} (f (g^{- 1} . h), x) d h = \int_{F} d^{2} (f (h), x) d h$ is finite, it is enough to show that $\int_{F} d^{2} (χ (g^{- 1} h)^{- 1} x, x) d h$ is finite. Let $S \subseteq Γ$ be a finite generating set and $ℓ$ the associated length function; since $d (χ (g^{- 1} h)^{- 1} x, x)$ is bounded by $ℓ (χ (g^{- 1} h)) {sup}_{s \in S} d (s x, x)$ , we conclude by square-integrability of $Γ$ . □

The evanescence question (Theorem 53 ) is more difficult; we shall establish a geometric generalization of an argument given in the linear setting by Margulis [M1,III.1] .

B3. Definition ([M1,III.1.8] ). The lattice

Γ

is weakly cocompact if the

G

-representation

L_{0}^{2} (G / Γ)

(i.e. the orthogonal complement of the trivial representation in

L^{2} (G / Γ)

) does not almost have non-zero invariant vectors (compare 3.10 ).

The definition is obviously satisfied whenever

G

, or equivalently

Γ

, has Kazhdan's property (T); this disposes right away with most higher rank groups. According to Margulis [M1,II.1.12] , it also holds for connected semisimple Lie groups

G

even when they are not Kazhdan, see [Be] for a proof. Any Kac-Moody group over

F_{q}

whose Cartan matrix has finite entries is Kazhdan whenever

q

is large enough by a general result of Dymara-Januszkiewicz [DJ] .

B4. Remark. If there is an asymptotically invariant sequence

{v_{n}}

(see Remark 33 ) of non-negative functions in

L^{2} (G / Γ)

such that for every relatively compact

C \subseteq F

the integral

\int_{C} v_{n}

tends to zero, then

Γ

is not weakly cocompact.

Indeed, in that case

\int_{F} v_{n} \to 0

, thus the norm of the projection of

v_{n}

L_{0}^{2} (G / Γ)

tends to one, yielding (after renormalization) an asymptotically invariant sequence in

L_{0}^{2}

B5. Theorem. Assume that

Γ

is square-integrable and weakly cocompact.

Let

X

be a complete separable

C A T (0)

space with a non-evanescent

Γ

-action by isometries. Then the

G

-action on

L^{[2]} (G, X)^{Γ}

is non-evanescent.

Proof. Fix

x_{0} \in X

. Suppose for a contradiction that there is an evanescent sequence

{f_{n}}

Y = L^{[2]} (G, X)^{Γ}

such that

d (f_{n}, ψ_{x_{0}}) \to \infty

. Let

η

be a non-negative continuous function on

G

of integral one; we may assume that

η

has compact support

K

with

K \ F

null.

For

g \in G

, we want to define

{\bar{f}}_{n} (g) \in X

as the barycentre of

h \mapsto f_{n} (h^{- 1} g)

with respect to the measure

η (h) d h

; we thus have to prove that for (some, hence any

x \in X

) the integral

\int_{F} d^{2} (f_{n} (h^{- 1} g), x) η (h) d h

is finite for a.e.

g \in F

(hence a.e.

g \in G

). This follows from Tonelli's theorem applied to

(20) ∫ F ∫ F d 2 ( f n ( h − 1 g ) , x ) η ( h ) d h d g = ∫ F η ( h ) ∫ F d 2 ( f n ( h − 1 g ) , x ) d g d h = ∫ K η ( h ) d 2 ( h f n , ψ x ) d h ≤ sup { d 2 ( h f n , ψ x ) : h ∈ K } < ∞ .

By the definition of barycentres (Section 5.3 ),

\begin{matrix} d^{2} ({\bar{f}}_{n} (g), x) \leq \int_{F} d^{2} (f_{n} (h^{- 1} g), x) η (h) d h \forall x \in X . \end{matrix}

(21)

Thus,

{\bar{f}}_{n}

is square-integrable because we apply ( 20 ) to

\int_{F} d^{2} ({\bar{f}}_{n} (g), x) d g \leq \int_{F} \int_{F} d^{2} (f_{n} (h^{- 1} g), x) η (h) d h d g .

Since in addition

{\bar{f}}_{n}

Γ

-equivariant by definition,

{\bar{f}}_{n} \in Y

. Setting

x = f_{n} (g)

in ( 21 ) yields

\begin{matrix} d^{2} ({\bar{f}}_{n}, f_{n}) \leq \int_{F} \int_{F} d^{2} (f_{n} (h^{- 1} g), f_{n} (g)) η (h) d h d g = \int_{K} η (h) d^{2} (h f_{n}, f_{n}) d h \end{matrix}

(22)

which is bounded independently of

n

by evanescence of

{f_{n}}

. It follows that

{{\bar{f}}_{n}}

is also an evanescent sequence with

d ({\bar{f}}_{n}, ψ_{x_{0}}) \to \infty

. Define now

φ_{n} \in L^{2} (G / Γ)

φ_{n} (h) \overset{def}{=} d ({\bar{f}}_{n} (h), χ (h) x_{0})

We claim that

{φ_{n}}

is an evanescent sequence in the linear

G

-space

L^{2} (G / Γ)

. Indeed, since

(g φ_{n}) (h) = d ((g {\bar{f}}_{n}) (h), χ (g^{- 1} h) x_{0})

, the triangle inequality gives

| (g φ_{n}) (h) - φ_{n} (h) | \leq d ((g {\bar{f}}_{n} (h), {\bar{f}}_{n} (h)) + d (χ (g^{- 1} h) x_{0}, x_{0})

so that by Minkowski's inequality and the definition of

ψ_{x_{0}}

∥ g φ_{n} - φ_{n} ∥ \leq d (g {\bar{f}}_{n}, {\bar{f}}_{n}) + d (g ψ_{x_{0}}, ψ_{x_{0}}) .

The first term is bounded over compact sets by evanescence of

{{\bar{f}}_{n}}

and the second by continuity of the

G

-action on

Y

; the claim follows. In particular, since

∥ φ_{n} ∥ = d ({\bar{f}}_{n}, ψ_{x_{0}}) \to \infty

, the sequence

{v_{n} = φ_{n} / ∥ φ_{n} ∥}

is asymptotically invariant.

The goal now is to contradict weak cocompactness by applying Remark B4 to

{v_{n}}

Therefore it suffices to show that for any relatively compact

C \subseteq F

the integral

\int_{C} φ_{n} (g) d g

is bounded independently of

n

Since the

Γ

-action on

X

is not weakly evanescent (Proposition 29 ), there is by Lemma 25 a finite set

F \subseteq Γ

λ > 0

and

d_{0} \geq 0

such that

{sup}_{γ \in F} d (γ^{- 1} x, x) \geq λ d (x, x_{0}) - d_{0}

for all

x \in X

. Thus,

λ φ_{n} (g) \leq {sup}_{γ \in F} d (γ^{- 1} {\bar{f}}_{n} (g), {\bar{f}}_{n} (g)) + d_{0} \leq \sum_{γ \in F} d ({\bar{f}}_{n} (g γ), {\bar{f}}_{n} (g)) + d_{0} (a . e . g \in F) .

Therefore,

(23) λ ∫ C φ n ( g ) d g ≤ ∑ γ ∈ F ∫ C d ( f ¯ n ( g γ ) , f ¯ n ( g ) ) d g + d 0 ≤ ∑ γ ∈ F ( ∫ C d 2 ( f ¯ n ( g γ ) , f ¯ n ( g ) ) d g ) 1 / 2 + d 0 .

It is now enough to prove that for all

γ \in F

the integral

\int_{C} d^{2} ({\bar{f}}_{n} (g γ), {\bar{f}}_{n} (g)) d g

is bounded independently of

n

. To that end, set

K_{γ, g} \overset{def}{=} g γ^{- 1} g^{- 1} K

η_{γ, g} (\cdot) \overset{def}{=} η (g γ g^{- 1} \cdot)

for any

γ \in F

g \in G

. By definition of

{\bar{f}}_{n}

and change of variable,

{\bar{f}}_{n} (g γ)

is the minimiser

y \in X

\int_{K_{γ, g}} d^{2} (f_{n} (h^{- 1} g), y) η_{γ, g} (h) d h

. Therefore, the inequality corresponding to ( 21 ) yields

d^{2} ({\bar{f}}_{n} (g γ), {\bar{f}}_{n} (g)) \leq \int_{K_{γ, g}} d^{2} (f_{n} (h^{- 1} g), {\bar{f}}_{n} (g)) η_{γ, g} (h) d h \leq ∥ η ∥_{\infty} \int_{K_{γ, g}} d^{2} (f_{n} (h^{- 1} g), {\bar{f}}_{n} (g)) d h .

Thus,

\int_{C} d^{2} ({\bar{f}}_{n} (g γ), {\bar{f}}_{n} (g)) d g \leq ∥ η ∥_{\infty} \int_{C} \int_{L} d^{2} (f_{n} (h^{- 1} g), {\bar{f}}_{n} (g)) d h d g,

where the integral over

L \overset{def}{=} \cup {K_{γ, g} : g \in C}

is finite because we bound the above double integral by

\int_{L} \int_{C} d^{2} ((h f_{n}) (g), {\bar{f}}_{n} (g)) d g d h \leq \int_{L} d^{2} (h f_{n}, {\bar{f}}_{n}) d h

which is finite by relative compactness of

L

. Moreover, the latter term is bounded independently of

n

in view of

d (h f_{n}, {\bar{f}}_{n}) \leq d (h f_{n}, f_{n}) + d (f_{n}, {\bar{f}}_{n})

since the first summand here is bounded by evanescence and the second has been treated previously with ( 22 ). This concludes the proof. □

References

Norbert A'Campo and Marc Burger, Réseaux arithmétiques et commensurateur d'après G. A. Margulis, Invent. Math. 116 (1994), no. 1-3, 1–25.
Werner Ballmann, Lectures on spaces of nonpositive curvature, DMV Seminar, vol. 25, Birkhäuser Verlag, Basel, 1995, With an appendix by Misha Brin.
Mohammed El Bachir Bekka, On uniqueness of invariant means, Proc. Amer. Math. Soc. 126 (1998), no. 2, 507–514.
Mohammed E. B. Bekka and Alain Valette, Kazhdan's property $(T)$ and amenable representations, Math. Z. 212 (1993), no. 2, 293–299.
Vitaly Bergelson and Joseph Rosenblatt, Mixing actions of groups, Illinois J. Math. 32 (1988), no. 1, 65–80.
Philippe Blanc, Sur la cohomologie continue des groupes localement compacts, Ann. Sci. École Norm. Sup. (4) 12 (1979), no. 2, 137–168.
Nicolas Bourbaki, Éléments de mathématique. Fascicule II. Livre III, Topologie générale, Chapitres 1 et 2. Quatrième édition. Actualités Scientifiques et Industrielles, No 1142, Hermann, Paris, 1965.
Nicolas Bourbaki, Éléments de mathématique. Fascicule III. Livre III, Topologie générale, Chapitres 3 et 4. Troisième édition. Actualités Scientifiques et Industrielles, No 1143, Hermann, Paris, 1960.
Nicolas Bourbaki, Éléments de mathématique, Fascicule XXIX. Livre IV, Intégration, Chapitres 7 et 8, Actualités Scientifiques et Industrielles, No 1306, Hermann, Paris, 1963.
Martin R. Bridson and André Haefliger, Metric spaces of non-positive curvature, Grundlehren der Mathematischen Wissenschaften 319, Springer, Berlin, 1999.
Marc Burger, Rigidity properties of group actions on $c a t (0)$ -spaces, Proceedings of the International Congress of Mathematicians, Vol. 1, 2 (Zürich, 1994) (Basel), Birkhäuser, 1995, pp. 761–769.
Marc Burger, Alessandra Iozzi, and Nicolas Monod, Equivariant embeddings of trees into hyperbolic spaces, To appear in Int. Math. Res. Not. (2004).
Jan Dymara and Tadeusz Januszkiewicz, Cohomology of buildings and their automorphism groups, Invent. Math. 150 (2002), no. 3, 579–627.
Patrick Eberlein, Isometry groups of simply connected manifolds of nonpositive curvature. II, Acta Math. 149 (1982), no. 1-2, 41–69.
Étienne Ghys and Pierre de la Harpe (eds.), Sur les groupes hyperboliques d'après Mikhael Gromov, Birkhäuser Verlag, Basel, 1990, Papers from the Swiss Seminar on Hyperbolic Groups held in Bern, 1988.
Detlef Gromoll and Joseph A. Wolf, Some relations between the metric structure and the algebraic structure of the fundamental group in manifolds of nonpositive curvature, Bull. Amer. Math. Soc. 77 (1971), 545–552.
Mikhaïl Gromov and Pierre Pansu, Rigidity of lattices: an introduction, Geometric topology: recent developments (Montecatini Terme, 1990) (Berlin), Lecture Notes in Math., vol. 1504, Springer, Berlin, 1991, pp. 39–137.
Alain Guichardet, Sur la cohomologie des groupes topologiques, II, Bull. Sci. Math. (2) 96 (1972), 305–332.
Jürgen Jost, Nonpositive curvature: geometric and analytic aspects, Lectures in Mathematics ETH Zürich, Birkhäuser Verlag, Basel, 1997.
Jürgen Jost and Shing-Tung Yau, Applications of quasilinear PDE to algebraic geometry and arithmetic lattices , Conf. Proc. Lecture Notes Algebraic Geom., I, Internat. Press, Cambridge, MA, 1993, pp. 169–193.
, Harmonic maps and superrigidity, Tsing Hua lectures on geometry & analysis (Hsinchu, 1990–1991), Internat. Press, Cambridge, MA, 1997, pp. 213–246.
, Harmonic maps and rigidity theorems for spaces of nonpositive curvature, Comm. Anal. Geom. 7 (1999), no. 4, 681–694.
Shizuo Kakutani and Kunihiko Kodaira, Über das Haarsche Maß in der lokal bikompakten Gruppe, Proc. Imp. Acad. Tokyo 20 (1944), 444–450.
Nicholas J. Korevaar and Richard M. Schoen, Sobolev spaces and harmonic maps for metric space targets, Comm. Anal. Geom. 1 (1993), no. 3-4, 561–659.
H. Blaine Lawson, Jr. and Shing-Tung Yau, Compact manifolds of nonpositive curvature, J. Differential Geometry 7 (1972), 211–228.
, Discrete subgroups of semisimple Lie groups, Springer-Verlag, Berlin, 1991.
, Superrigidity for commensurability subgroups and generalized harmonic maps, unpublished manuscript.
Ngaiming Mok, Yum Tong Siu, and Sai-Kee Yeung, Geometric superrigidity, Invent. Math. 113 (1993), no. 1, 57–83.
Nicolas Monod, Arithmeticity vs. non-linearity for irreducible lattices, Preprint, 2004.
Nicolas Monod and Yehuda Shalom, Cocycle superrigidity and bounded cohomology for negatively curved spaces, J. Differential Geometry 67 (2004), 1–61.
, Negative curvature from a cohomological viewpoint and cocycle superrigidity, C. R. Acad. Sci. Paris Sér. I Math. 337 (2003), no. 10, 635–638.
Bertrand Rémy, Groupes de Kac-Moody déployés et presque déployés, Astérisque (2002), no. 277, viii+348.
, Kac-Moody groups as discrete groups, Preprint, 2003.
, Integrability of induction cocycles for Kac-Moody groups, Preprint, 2004.
Yuriĭ G. Reshetnyak, Non-expansive maps in a space of curvature no greater than $K$ , Sibirsk. Mat. Ž. 9 (1968), 918–927.
Viktor Schroeder, A splitting theorem for spaces of nonpositive curvature, Invent. Math. 79 (1985), no. 2, 323–327.
Yehuda Shalom, Rigidity of commensurators and irreducible lattices, Invent. Math. 141 (2000), no. 1, 1–54.
Jacques Tits, Représentations linéaires irréductibles d'un groupe réductif sur un corps quelconque, J. Reine Angew. Math. 247 (1971), 196–220.
Tyakal N. Venkataramana, On superrigidity and arithmeticity of lattices in semisimple groups over local fields of arbitrary characteristic, Invent. Math. 92 (1988), no. 2, 255–306.
Robert J. Zimmer, Ergodic theory and semisimple groups, Birkhäuser Verlag, Basel, 1984.

University of Chicago

Nicolas Monod