46. Lemma.
Suppose that
$X$
is a complete
$CAT\left(0\right)$
space. Then
${L}^{2}(\mathfrak{F},X)$
is also a complete
$CAT\left(0\right)$
space.

Proof.
The space
${L}^{2}(\mathfrak{F},X)$
is geodesic by (the trivial part of ) Proposition 44 . We need to check inequality ( 1 ) for
$x,c,{c}^{\prime}$
in
${L}^{2}(\mathfrak{F},X)$
and
$m$
the midpoint of any geodesic line from
$c$
to
${c}^{\prime}$
. By Proposition 44 ,
$m\left(g\right)$
is the midpoint of a geodesic from
$c\left(g\right)$
to
${c}^{\prime}\left(g\right)$
for a.e.
$g\in \mathfrak{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
$\omega $
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
$\omega $
is a
$CAT\left(0\right)$
space, since it is isomorphic to the symmetric space
$X$
associated to
$\mathbf{S}{\mathbf{L}}_{n}(\mathbf{R})$
, where
$n=dim\left(M\right)$
. Thus, if
$(\mathfrak{F},\mu )$
denotes the (normalized) probability space underlying
$(M,\omega )$
, then the space of “
${L}^{2}$
Riemannian metrics” on
$M$
inducing
$\omega $
is isomorphic to
${L}^{2}(\mathfrak{F},X)$
. Observe that it is endowed with a natural isometric action of the space of volumepreserving diffeomorphisms of
$(M,\omega )$
when
$M$
is compact.
48. Remark.
It follows from Proposition 44 that for
$X$
complete
$CAT\left(0\right)$
the boundary of
${L}^{2}(\mathfrak{F},X)$
can be easily described as what we call a join integral
$$\partial {L}^{2}(\mathfrak{F},X)\sim ={\int}_{\mathfrak{F}}^{*}\partial X$$
where the right hand side stands for the set of pairs
$(\phi ,\alpha )$
consisting of a measurable map
$\phi :\mathfrak{F}\to \partial X$
and a semidensity
$\alpha $
on
$\mathfrak{F}$
; we identify
$(\phi ,\alpha )$
with
$({\phi}^{\prime},{\alpha}^{\prime})$
when
$\alpha ={\alpha}^{\prime}$
$\mu $
a.e. and
$\phi ={\phi}^{\prime}$
$\left({\alpha}^{2}\mu \right)$
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}_{\mathfrak{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 nonproper spaces contains too little information for our purposes.
The next proposition establishes that for a
$CAT\left(0\right)$
space
$X$
, Euclidean rectangles (cf.
Section 3.4 ) in
${L}^{2}(\mathfrak{F},X)$
decompose as a “field of parallelograms” in
$X$
over
$\mathfrak{F}$
(of course, the latter need not be rectangles, as shows even the simplest possible example of the decomposition
${\mathbf{R}}^{4}={\mathbf{R}}^{2}\times {\mathbf{R}}^{2}$
, which corresponds to an atomic
$\mu $
).
49. Proposition.
Suppose that
$X$
is complete
$CAT\left(0\right)$
. Let
$I\subseteq \mathbf{R}$
be an interval and
${\sigma}_{1},{\sigma}_{2}:I\to {L}^{2}(\mathfrak{F},X)$
two geodesics determining a Euclidean rectangle. Let
${\sigma}_{i}^{g}$
and
${\alpha}_{i}$
be as in Proposition 44 for
${\sigma}_{i}$
,
$i=1,2$
. Then for almost every
$g\in \mathfrak{F}$
the function
$d\left({\sigma}_{1}^{g}\right({\alpha}_{1}\left(g\right)t),{\sigma}_{2}^{g}({\alpha}_{2}\left(g\right)t\left)\right)$
is constant on
$t\in I$
. Moreover,
${\alpha}_{1}={\alpha}_{2}$
$\mu $
a.e.

Proof.
The function
$d\left({\sigma}_{1}\right(t),{\sigma}_{2}(t\left)\right)$
is constant on
$t\in I$
. On the other hand, the functions
$d\left({\sigma}_{1}\right({\alpha}_{1}\left(g\right)t),{\sigma}_{2}({\alpha}_{2}\left(g\right)t\left)\right)$
are convex and nonnegative. Thus the first part of the proposition follows from the general fact that an integral of the squares of a family of convex nonnegative functions on
$I$
parametrized by a finite measure space is constant if and only if almost every function in the family is constant.
Since
${\sigma}_{1},{\sigma}_{2}$
bound a Euclidean rectangle in
${L}^{2}(\mathfrak{F},X)$
, we may for any two
${t}_{1},{t}_{2}\in I$
apply this first part of the proposition to the two geodesics
$\left[{\sigma}_{1}\right({t}_{1}),{\sigma}_{2}({t}_{1}\left)\right]$
,
$\left[{\sigma}_{1}\right({t}_{2}),{\sigma}_{2}({t}_{2}\left)\right]$
. The conclusion is precisely that
${\alpha}_{1}\left(g\right)={\alpha}_{2}\left(g\right)$
holds for a.e.
$g\in \mathfrak{F}$
. □
5.3
For any
$f\in {L}^{2}(\mathfrak{F},X)$
, where
$X$
is complete
$CAT\left(0\right)$
, there is a unique point
$x\in X$
minimising
${\int}_{\mathfrak{F}}{d}^{2}\left(f\right(g),x)d\mu \left(g\right)$
; this point is called the barycentre of
$f$
. Indeed, we may embed
$X$
isometrically into
${L}^{2}(\mathfrak{F},X)$
by
$x\mapsto {\psi}_{x}$
,
${\psi}_{x}\left(g\right)\stackrel{\text{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}^{\prime}$
of
$f,{f}^{\prime}$
we have
$$d(x,{x}^{\prime})\le d(f,{f}^{\prime}).$$
The special case
${f}^{\prime}={\psi}_{y}$
yields
$${d}^{2}(x,z)\le {\int}_{\mathfrak{F}}{d}^{2}\left(f\right(g),z)d\mu \left(g\right)(\forall z\in X).$$
Actually, the first inequality can be strengthened to
$$\begin{array}{c}d(x,{x}^{\prime})\le {\int}_{\mathfrak{F}}d\left(f\right(g),{f}^{\prime}(g\left)\right)d\mu \left(g\right)\end{array}$$ 
(8)

(though we will only use this in Appendix A and with
$(\mathfrak{F},\mu )$
replaced by a finite set). Indeed, for
$0<\varepsilon <1$
define
${x}_{\varepsilon},{x}_{\varepsilon}^{\prime}$
as in Section 3.2 . Integrating ( 2 ) with
$y=f\left(g\right)$
,
${y}^{\prime}={f}^{\prime}\left(g\right)$
and using
$${\int}_{\mathfrak{F}}\left({d}^{2}\left(f\right(g),x)+{d}^{2}\left({f}^{\prime}\right(g),{x}^{\prime})\right)d\mu \left(g\right)\le {\int}_{\mathfrak{F}}\left({d}^{2}\left(f\right(g),{x}_{\varepsilon})+{d}^{2}\left({f}^{\prime}\right(g),{x}_{\varepsilon}^{\prime})\right)d\mu \left(g\right)$$
yields ( 8 ) when
$\varepsilon $
goes to zero. Notice that ( 8 ) also reads
$$\begin{array}{c}{d}^{2}(x,{x}^{\prime})\le {d}^{2}(f,{f}^{\prime}){\int}_{\mathfrak{F}}{\left(d\left(f\right(g),{f}^{\prime}(g\left)\right)d(x,{x}^{\prime})\right)}^{2}d\mu \left(g\right).\end{array}$$ 
(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,
$\Gamma <G$
a uniform lattice and
$X$
a metric space with a
$\Gamma $
action by isometries.
Since
$\Gamma $
is cocompact and
$G$
second countable, one can find a relatively compact Borel right fundamental domain
$\mathfrak{F}\subseteq G$
with the property that for any compact
$C\subseteq G$
the set
$$\begin{array}{c}\left\{\eta \in \Gamma :\mathfrak{F}\eta \cap C\ne \mathbb{\varnothing}\right\}\end{array}$$ 
(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
$\mu $
normalized by
$\mu (\mathfrak{F})=1$
and write
$dg$
for
$d\mu \left(g\right)$
.
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}^{\left[2\right]}(G,X{)}^{\Gamma}$
the space of all measurable maps (up to nullsets)
$f:G\to X$
with separable range and such that (i) for all
$g\in G$
,
$\gamma \in \Gamma $
one has
$f\left(g{\gamma}^{1}\right)=\gamma f\left(g\right)$
and (ii) for some (hence any)
$x\in X$
, the function
$g\mapsto d\left(f\right(g),x)$
is in
${L}^{2}(\mathfrak{F})$
. We endow
${L}^{\left[2\right]}(G,X{)}^{\Gamma}$
with the metric defined by
$$\begin{array}{c}d(f,{f}^{\prime})\stackrel{\text{def}}{=}{\left({\int}_{G/\Gamma}{d}^{2}\left(f\right(g),{f}^{\prime}(g\left)\right)dg\right)}^{1/2}.\end{array}$$ 
(11)

There is a canonical isometry
$$\begin{array}{c}{L}^{\left[2\right]}(G,X{)}^{\Gamma}\sim ={L}^{2}(\mathfrak{F},X)\end{array}$$ 
(12)

given by restriction to
$\mathfrak{F}$
. Moreover, the choice of
$\mathfrak{F}$
is equivalent to the choice of a Borel map
$\chi :G\to \Gamma $
such that
$$\begin{array}{c}{\chi}^{1}\left(e\right)=\mathfrak{F},\chi \left(g{\gamma}^{1}\right)=\gamma \chi \left(g\right)(\forall \gamma \in \Gamma ,\text{a.e.}g\in G).\end{array}$$ 
(13)

The isomorphism
$\mathfrak{F}\to G/\Gamma $
induces a
$G$
action on
$\mathfrak{F}$
which is described by the rule
$h.g=hg\chi \left(hg\right)$
(the dot notation emphasizes the difference between the two actions). Moreover, this action is measurepreserving since the existence of
$\Gamma $
forces
$G$
to be unimodular. Observe that the inverse to the restriction map in ( 12 ) consists in extending
$f\in {L}^{2}(\mathfrak{F},X)$
to a map
$$\begin{array}{c}{f}_{ext}:G\to X,{f}_{ext}\left(g\right)\stackrel{\text{def}}{=}\chi \left(g\right)f\left(g\chi \right(g\left)\right).\end{array}$$ 
(14)

We will abuse notation in omitting the subscript `ext'.
52. Lemma.
Assume that
$X$
is complete and separable. Then there is a welldefined continuous
$G$
action by isometries on
${L}^{\left[2\right]}(G,X{)}^{\Gamma}$
defined by
$\left(hf\right)\left(g\right)\stackrel{\text{def}}{=}f\left({h}^{1}g\right)$
, where
$g,h\in G$
.
In other words, ( 14 ) and ( 13 ) show that the corresponding
$G$
action on
${L}^{2}(\mathfrak{F},X)$
is
$$\begin{array}{c}(h.f)\left(g\right)=\chi \left({h}^{1}g\right)f({h}^{1}.g),\end{array}$$ 
(15)

and that the latter is welldefined. We call this the induced
$G$
action.

Proof of the lemma.
First we need to show that
$hf$
is still in
${L}^{\left[2\right]}(G,X{)}^{\Gamma}$
. Since
${h}^{1}\mathfrak{F}$
is relatively compact, the finiteness of ( 10 ) guarantees that there are
${\gamma}_{1},\dots ,{\gamma}_{k}$
in
$\Gamma $
such that the union of the
$\mathfrak{F}{\gamma}_{i}$
covers
${h}^{1}\mathfrak{F}$
. Fix a basepoint
$x\in X$
. Then
$${\int}_{\mathfrak{F}}{d}^{2}\left(hf\right(g),x)dg={\int}_{{h}^{1}\mathfrak{F}}{d}^{2}\left(f\right(g),x)dg\le {\sum}_{i=1}^{k}{\int}_{\mathfrak{F}{\gamma}_{i}}{d}^{2}\left(f\right(g),x)dg.$$
But in view of
$f\left(g{\gamma}_{i}\right)={\gamma}_{i}^{1}f\left(g\right)$
, each term
$${\int}_{\mathfrak{F}{\gamma}_{i}}{d}^{2}\left(f\right(g),x)dg={\int}_{\mathfrak{F}}{d}^{2}\left({\gamma}_{i}^{1}f\right(g),x)dg={\int}_{\mathfrak{F}}{d}^{2}\left(f\right(g),{\gamma}_{i}x)dg$$
is finite since
$f$
is in
${L}^{\left[2\right]}(G,X{)}^{\Gamma}$
. This action preserves the distance ( 11 ). Ad continuity: By Lemma 12 , it is enough to show that the map
$h\mapsto hf$
is measurable for all
$f$
in
${L}^{\left[2\right]}(G,X{)}^{\Gamma}$
. This follows from the fact that the map
$G\times G\to X$
,
$(g,h)\mapsto f\left({h}^{1}g\right)$
is measurable. (Alternatively, for
$X$
$CAT\left(0\right)$
, one can also show that continuous functions are dense using barycentres weighted by continuous approximate units on
$G$
.) □
5.5
Some properties of the
$\Gamma $
action on
$X$
are trivially equivalent to the corresponding property for the
$G$
action on
${L}^{\left[2\right]}(G,X{)}^{\Gamma}$
; 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
$\Gamma $
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,
$\Gamma <G$
a uniform lattice and
$X$
a complete separable
$CAT\left(0\right)$
space with a
$\Gamma $
action by isometries. If the
$G$
action on
${L}^{\left[2\right]}(G,X{)}^{\Gamma}$
is evanescent, then the
$\Gamma $
action on
$X$
is evanescent.
Observe that one cannot reduce this to a statement about asymptotic cones through Remark 26 ; indeed, even when
$X=\mathbf{R}$
, an asymptotic cone on
${L}^{\left[2\right]}(G,X{)}^{\Gamma}$
is already a socalled nonstandard hull of the Hilbert space
${L}^{\left[2\right]}(G,X{)}^{\Gamma}$
– 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
$\Gamma $
. The following proof is particularly simple thanks to Lemma 54 ; another argument is given in Appendix B for certain nonuniform lattices.

Proof of Theorem 53 .
The finiteness of the set in ( 10 ) implies in particular that for every relatively compact Borel set
$\mathfrak{E}\subseteq G$
of positive measure and any
$f$
in
${L}^{\left[2\right]}(G,X{)}^{\Gamma}$
the restriction
$f{}_{\mathfrak{E}}$
is in
${L}^{2}(\mathfrak{E},X)$
(as in Lemma 52 ). Therefore we may define a point
${x}_{f,\mathfrak{E}}\in X$
by taking the barycentre of
$f{}_{\mathfrak{E}}$
; that is,
${x}_{f,\mathfrak{E}}\in X$
minimises
$${\Delta}_{\mathfrak{E}}\left(f\right)\stackrel{\text{def}}{=}{inf}_{x\in X}{\int}_{\mathfrak{E}}{d}^{2}(x,f(g\left)\right)dg.$$
For every
$x\in X$
, define the element
${\psi}_{x}$
of
${L}^{\left[2\right]}(G,X{)}^{\Gamma}$
by
${\psi}_{x}\left(g\right)\stackrel{\text{def}}{=}\chi \left(g\right)x$
(extending the notation of Section 5.3 ); finally, write
${f}_{\mathfrak{E}}\stackrel{\text{def}}{=}{\psi}_{{x}_{f,\mathfrak{E}}}$
.
Fix a finite set
$S\subseteq \Gamma $
. We shall produce an unbounded
$S$
evanescent set
${T}_{S}\subseteq X$
for every unbounded
$Q$
evanescent set
$T$
in
${L}^{\left[2\right]}(G,X{)}^{\Gamma}$
with
$Q\subseteq G$
a suitable compact set. This shows that weak evanescence of the
$G$
action on
${L}^{\left[2\right]}(G,X{)}^{\Gamma}$
implies weak evanescence for the
$\Gamma $
action on
$X$
; the statement for evanescence follows by Proposition 29 and Remark 30 .
Define a relatively compact set
$\mathfrak{E}$
and choose a compact set
$Q$
with
$$\mathfrak{E}\stackrel{\text{def}}{=}{\bigcup}_{\gamma \in S}{\gamma}^{1}\mathfrak{F}\gamma \cup \mathfrak{F},Q\supseteq \mathfrak{F}{\mathfrak{E}}^{1}\cup S.$$
54. Lemma.
The function
${\Delta}_{\mathfrak{E}}$
is bounded on each
$Q$
evanescent set in
${L}^{\left[2\right]}(G,X{)}^{\Gamma}$
.

Proof of the lemma.
Let
$T$
be a
$Q$
evanescent set. There is
$K$
such that
${d}^{2}(f,hf)\le K$
for all
$h\in \mathfrak{F}{\mathfrak{E}}^{1}$
and all
$f\in T$
. Let
$f\in T$
; we have
$${\Delta}_{\mathfrak{E}}\left(f\right)={\int}_{\mathfrak{E}}{d}^{2}({x}_{f,\mathfrak{E}},f(g\left)\right)dg\le {\int}_{\mathfrak{F}}{\int}_{\mathfrak{E}}{d}^{2}\left(f\right(\overline{g}),f(g\left)\right)dgd\overline{g}$$
by the choice of
${x}_{f,\mathfrak{E}}$
. After the change of variable
$h=\overline{g}{g}^{1}$
this is
$${\int}_{\mathfrak{F}}{\int}_{\overline{g}{\mathfrak{E}}^{1}}{d}^{2}\left(f\right(\overline{g}),f({h}^{1}\overline{g}\left)\right)dhd\overline{g}\le {\int}_{\mathfrak{F}}{\int}_{\mathfrak{F}{\mathfrak{E}}^{1}}{d}^{2}\left(f\right(\overline{g}),f({h}^{1}\overline{g}\left)\right)dhd\overline{g},$$
which is just
$${\int}_{\mathfrak{F}{\mathfrak{E}}^{1}}{\int}_{\mathfrak{F}}{d}^{2}\left(f\right(\overline{g}),hf(\overline{g}\left)\right)d\overline{g}dh={\int}_{\mathfrak{F}{\mathfrak{E}}^{1}}{d}^{2}(f,hf)dh.$$
This is bounded in terms of
$K$
and the measure of
$\mathfrak{F}{\mathfrak{E}}^{1}$
. □
Choose now an unbounded
$Q$
evanescent set
$T$
in
${L}^{\left[2\right]}(G,X{)}^{\Gamma}$
and consider the subset
${T}_{S}=\{{x}_{f,\mathfrak{E}}:f\in T\}$
of
$X$
. We contend that
${T}_{S}$
is
$S$
evanescent. First, we check that
${T}_{S}$
is unbounded: Indeed, since
$\mathfrak{F}\subseteq \mathfrak{E}$
, for all
$f\in T$
$$\begin{array}{c}{d}^{2}(f,{f}_{\mathfrak{E}})={\int}_{\mathfrak{F}}{d}^{2}\left(f\right(g),{x}_{f,\mathfrak{E}})dg\le {\Delta}_{\mathfrak{E}}\left(f\right)\end{array}$$ 
(16)

is bounded by Lemma 54 , and therefore this first claim follows from the estimate
$$d({x}_{f,\mathfrak{E}},{x}_{{f}^{\prime},\mathfrak{E}})=d({f}_{\mathfrak{E}},{f}_{\mathfrak{E}}^{\prime})\ge d(f,{f}^{\prime})d(f,{f}_{\mathfrak{E}})d({f}^{\prime},{f}_{\mathfrak{E}}^{\prime})$$
for
$f,{f}^{\prime}\in T$
since
$T$
is unbounded. We now need to estimate
$d({x}_{f,\mathfrak{E}},\gamma {x}_{f,\mathfrak{E}})$
uniformly over
$\gamma \in S$
and
$f\in T$
. Write
$$d({x}_{f,\mathfrak{E}},\gamma {x}_{f,\mathfrak{E}})=d({f}_{\mathfrak{E}},{\psi}_{\gamma {x}_{f,\mathfrak{E}}})\le d({f}_{\mathfrak{E}},f)+d(f,\gamma f)+d(\gamma f,{\psi}_{\gamma {x}_{f,\mathfrak{E}}}).$$
The first term is taken care of by ( 16 ) and Lemma 54 , whilst the second is bounded since
$T$
is
$Q$
evanescent and
$S\subseteq Q$
. As for the last term, we have
$${d}^{2}(\gamma f,{\psi}_{\gamma {x}_{f,\mathfrak{E}}})={\int}_{\mathfrak{F}}{d}^{2}\left(f\right({\gamma}^{1}g),\gamma {x}_{f,\mathfrak{E}})dg={\int}_{\mathfrak{F}}{d}^{2}\left({\gamma}^{1}\right(f\left({\gamma}^{1}g\right)),{x}_{f,\mathfrak{E}})dg={\int}_{\mathfrak{F}}{d}^{2}\left(f\right({\gamma}^{1}g\gamma ),{x}_{f,\mathfrak{E}})dg={\int}_{{\gamma}^{1}\mathfrak{F}\gamma}{d}^{2}\left(f\right(g),{x}_{f,\mathfrak{E}})dg\le {\int}_{\mathfrak{E}}{d}^{2}\left(f\right(g),{x}_{f,\mathfrak{E}})dg={\Delta}_{\mathfrak{E}}\left(f\right),$$
so we are done by Lemma 54 . □
6 Superrigidity
Throughout this section, when considering irreducible lattices
$\Gamma <G={G}_{1}\times \cdots \times {G}_{n}$
, we shall always assume
$n\ge 2$
. This is indeed not a restriction, because for
$n=1$
the definition of irreducibility implies
$G=\Gamma $
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
$\Gamma $
be an irreducible uniform lattice in a product
$G={G}_{1}\times \cdots \times {G}_{n}$
of locally compact second countable groups and let
$X$
be a complete separable
$CAT\left(0\right)$
space with a nonevanescent
$\Gamma $
action by isometries.
Then there is a (canonical and minimal) nonempty closed convex
$G$
invariant subspace
$Z\subseteq {L}^{\left[2\right]}(G,X{)}^{\Gamma}$
which splits isometrically and
$G$
equivariantly as a product
${Z}_{1}\times \cdots \times {Z}_{n}$
of minimal
${G}_{i}$
spaces
${Z}_{i}$
. Moreover,
$Z$
consists of continuous functions and the evaluation map
$\psi :Z\to X$
at
$e\in G$
is a totally geodesic
$\Gamma $
equivariant Lipschitz map. The restriction of
$\psi $
to every copy of each
${Z}_{i}$
is isometric. In particular, if for some
$i$
the set
${\mathsf{\u212d}}_{i}\stackrel{\text{def}}{=}\partial \left(\psi \right({Z}_{i}\left)\right)\subseteq \partial X$
is nonempty, then
$\Gamma $
preserves
${\mathsf{\u212d}}_{i}$
and the
$\Gamma $
action on
${\mathsf{\u212d}}_{i}$
extends continuously to a
$G$
action which factors through
$G\to {G}_{i}$
.
As usual,
$f\in {L}^{\left[2\right]}(G,X{)}^{\Gamma}$
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 FubiniLebesgue.
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
$\varepsilon >0$
and all
$g\in G$
there is a neighbourhood
$U$
of
$g$
such that
$esssu{p}_{h,{h}^{\prime}\in U}d\left(f\right(h),f({h}^{\prime}\left)\right)<\varepsilon $
. Then
$f$
agrees almost everywhere with a continuous function. □

Proof of Theorem 55 .
Recall that
${L}^{\left[2\right]}(G,X{)}^{\Gamma}$
is the complete separable
$CAT\left(0\right)$
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}^{\left[2\right]}(G,X{)}^{\Gamma}$
which splits isometrically and
$G$
equivariantly as a product
${Z}_{1}\times \cdots \times {Z}_{n}$
of
${G}_{i}$
spaces
${Z}_{i}$
endowed with the product action.
Recall from Remark
40 that
${Z}_{i}$
can be assumed to be a minimal nonempty 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}$
in
$Z$
containing
$y$
; we denote by
${Z}_{i}^{y}$
this
${G}_{i}$
invariant closed convex subset
${Z}_{i}^{y}\subseteq Z$
. We claim
$$\begin{array}{c}d\left(f\right(g),{f}^{\prime}(g\left)\right)=d(f,{f}^{\prime})\forall y\in Z,\forall f,{f}^{\prime}\in {Z}_{i}^{y},\text{a.e.}g\in G.\end{array}$$ 
(17)

Indeed, fix a Borel fundamental domain
$\mathfrak{F}\subseteq G$
for
$\Gamma $
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 \mathfrak{F}$
.
Let
$I=[0,d(f,{f}^{\prime}\left)\right]$
and let
${\sigma}_{1}:I\to {Z}_{i}^{y}$
be the geodesic from
$f$
to
${f}^{\prime}$
. If
$h$
is any element of
${G}_{j}$
for
$j\ne i$
, the splitting of
$Z$
shows that
${\sigma}_{1}$
and
${\sigma}_{2}\stackrel{\text{def}}{=}{h}^{1}\sigma $
determine a Euclidean rectangle in
$Z$
. Let
${\sigma}_{i}^{g}$
and
${\alpha}_{i}$
be as in Proposition 44 for
${\sigma}_{i}$
,
$i=1,2$
. Then Proposition 49 shows that
${\alpha}_{1}={\alpha}_{2}$
a.e. In other words, since
${\alpha}_{2}\left(g\right)={\alpha}_{1}(h.g)$
, the function (class)
${\alpha}_{1}:\mathfrak{F}\to {\mathbf{R}}_{+}$
is
${G}_{j}$
invariant for all
$j\ne i$
. Since the projection of
$\Gamma $
to
${G}_{i}$
is dense, the subproduct
${\prod}_{j\ne i}{G}_{j}$
acts ergodically on
$G/\Gamma $
. Therefore,
${\alpha}_{1}$
(and hence also
${\alpha}_{2}$
) is constant; this constant is one by
${\int}_{\mathfrak{F}}{\alpha}_{1}(g{)}^{2}dg=1$
. The claim now follows since
$f\left(g\right)$
and
${f}^{\prime}\left(g\right)$
are the endpoints of
${\sigma}_{1}^{g}$
. Next, we recall (for any
${a}_{i}\in \mathbf{R}$
) the inequality
${\sum}_{i=1}^{n}{a}_{i}\le {\left(n{\sum}_{i=1}^{n}{a}_{i}^{2}\right)}^{1/2}$
; this allows us to bound the distance between any
$f,{f}^{\prime}\in Z$
by applying ( 17 ) to each factor
${Z}_{i}$
, obtaining
$$\begin{array}{c}d\left(f\right(g),{f}^{\prime}(g\left)\right)\le \sqrt{n}d(f,{f}^{\prime})\forall f,{f}^{\prime}\in Z,\text{a.e.}g\in G.\end{array}$$ 
(18)

Since
$Z$
is
$G$
invariant, it follows that for any compact neighbourhood
$U$
of
$g\in G$
$$esssu{p}_{h,{h}^{\prime}\in U}d\left(f\right(h),f({h}^{\prime}\left)\right)\le \sqrt{n}{sup}_{h,{h}^{\prime}\in U}d(f,(h{{h}^{\prime}}^{1}\left)f\right)\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
$\psi :Z\to X$
by
$\psi \left(f\right)=f\left(e\right)$
. This map is
$\Gamma $
equivariant by definition. For every
$y\in Z$
and each
$i$
, the restriction of
$\psi $
to
${Z}_{i}^{y}\to X$
is isometric because of ( 17 ). Further,
$\psi $
is
$\sqrt{n}$
Lipschitz by ( 18 ) and totally geodesic by Proposition 44 . Assume, for some
$i$
, that
$\partial {Z}_{i}\ne \mathbb{\varnothing}$
; set
${X}_{i}\stackrel{\text{def}}{=}\psi \left({Z}_{i}\right)$
. Notice that
${X}_{i}$
, being isometric to
${Z}_{i}$
, is complete, hence closed, and convex. In particular,
${\mathsf{\u212d}}_{i}\stackrel{\text{def}}{=}\partial {X}_{i}$
is closed in
$\partial X$
[
BH,p. 266]
and the isometry
$\psi {}_{{Z}_{i}}:{Z}_{i}\to {X}_{i}$
induces a homeomorphism
$\partial {Z}_{i}\sim ={\mathsf{\u212d}}_{i}$
. The
$G$
action on
$Z$
being the product action,
$\partial {Z}_{i}$
is
$G$
invariant and the (continuous)
$G$
action on it factors through
$G\to {G}_{i}$
. Summing up, we obtained a
$\Gamma $
equivariant homeomorphism
$\partial {Z}_{i}\sim ={\mathsf{\u212d}}_{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\ne 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
$CAT\left(0\right)$
space,
$L<Is\left(X\right)$
a subgroup and
$\mathsf{\u212d}\subseteq \partial X$
a nonempty closed
$L$
invariant subset; write
$J$
for the stabiliser of
$\mathsf{\u212d}$
in
$Is\left(X\right)$
. Recall that the topology of uniform convergence coincides on
$M\stackrel{\text{def}}{=}Homeo(\mathsf{\u212d})$
with the compactopen topology and turns
$M$
into a topological group; the natural homomorphism
$\iota :J\to M$
is continuous (compare Section 3.6 ). Moreover
$M$
is polish (hence Baire) because
$\mathsf{\u212d}$
is metrizable. Notice that
$J$
is closed in
$Is\left(X\right)$
and hence contains
$\overline{L}$
.
57. Remark.
The conditions of Definition 3 hold if and only if
$\iota {}_{\overline{L}}$
is a topological isomorphism onto its image. Indeed, indecomposability implies that
$\iota {}_{\overline{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
$\overline{L}$
be a locally compact second countable group with a faithful continuous action
$\overline{L}\times \mathsf{\u212d}\to \mathsf{\u212d}$
on a compact Hausdorff topological space
$\mathsf{\u212d}$
. The associated injective homomorphism
$\overline{L}\to M\stackrel{\text{def}}{=}Homeo(\mathsf{\u212d})$
is a topological isomorphism onto its image endowed with the topology of pointwise convergence if and only if for any sequence
$\left\{{h}_{n}\right\}$
tending to infinity in
$\overline{L}$
there is
$\xi \in \mathsf{\u212d}$
with
${h}_{n}\xi \mathbb{\nrightarrow}\xi $
.

Proof.
Let
$\left\{{g}_{\alpha}\right\}$
be any net of
$\overline{L}$
converging to
$g\in \overline{L}$
for the pointwise topology on
$M$
but not in the
$\overline{L}$
topology. Since
$\overline{L}$
is locally compact second countable and its action on
$\mathsf{\u212d}$
continuous, we obtain a sequence
$\left\{{\ell}_{n}\right\}$
converging to infinity in
$\overline{L}$
such that
${\ell}_{n}\xi \to g\xi $
for all
$\xi \in C$
. The criterion applied to
${h}_{n}\stackrel{\text{def}}{=}{g}^{1}{\ell}_{n}$
yields a contradiction. The converse follows from the continuity of the action. □
We now verify that indecomposability generalizes indeed Zariskidensity for subgroups of adjoint simple algebraic groups.
59. Lemma.
Let
$k$
be a local field and
$\mathbf{H}$
a connected adjoint
$k$
simple
$k$
group. Let
$X$
be the symmetric space, respectively the BruhatTits building, associated to
$G=\mathbf{H}\left(k\right)$
according to whether
$k$
is Archimedean or not. Then any Zariskidense subgroup
$L<G$
is indecomposable.
The following proof was kindly provided by J.F. Quint.

Proof.
Let
$\mathsf{\u212d}\subseteq \partial X$
be a nonempty
$L$
invariant closed subset and
${H}_{\mathsf{\u212d}}$
its pointwise stabiliser in
$G$
. Since
${H}_{\mathsf{\u212d}}$
is an intersection of parabolic subgroups, it is an algebraic subgroup; but
$L$
normalizes it because it preserves
$\mathsf{\u212d}$
, so by Zariskidensity
${H}_{\mathsf{\u212d}}$
is normal in
$G$
and hence trivial.
Let now
$\left\{{h}_{n}\right\}$
be a sequence tending to infinity in
$\overline{L}$
. Since parabolic subgroups are cocompact, there is no loss of generality in supposing that
$\mathsf{\u212d}$
is contained in a single
$G$
orbit; thus
$\mathsf{\u212d}$
can be considered as a Zariskidense subset of
$G/Q$
for some parabolic
$Q\ne 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=\mathbf{R}$
; the Cartan decomposition gives
$r\left({h}_{n}\right)={c}_{n}^{\prime}{a}_{n}{c}_{n}$
for some
${a}_{n}$
in a positive Weyl chamber and
${c}_{n},{c}_{n}^{\prime}\in \mathbf{S}\mathbf{O}\left(m\right)$
. Upon passing to a subsequence, we may assume that
${c}_{n},{c}_{n}^{\prime}$
converge to some
$c,{c}^{\prime}$
. Since
$r\left({h}_{n}\right)$
tends to infinity in
$\mathbf{S}{\mathbf{L}}_{m}\left(k\right)$
, the sequence
${a}_{n}/\parallel {a}_{n}\parallel $
(where
$\parallel {a}_{n}\parallel $
is the operator norm) converges, after possibly extracting a subsequence, to a linear map onto a proper subspace
$0\ne W\mathbb{\u2acb}V$
, with kernel
$0\ne Y\mathbb{\u2acb}V$
. Since
$r$
is irreducible,
$GU\mathbb{\u2288}{c}^{\prime}W\cup {c}^{1}Y$
so that by Zariskidensity there is
$\xi \in \mathsf{\u212d}$
not in
${c}^{\prime}W\cup {c}^{1}Y$
. However, for any line
${U}^{\prime}\mathbb{\u2288}{c}^{1}Y$
,
$r\left({h}_{n}\right){U}^{\prime}$
tends to a line in
${c}^{\prime}W$
. Thus
${h}_{n}\xi \mathbb{\nrightarrow}\xi $
. For general
$k$
, the same argument applies to the corresponding Cartan decomposition of
$\mathbf{G}{\mathbf{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
$CAT\left(0\right)$
space
$X$
is Gromovhyperbolic, e.g.
$CAT(1)$
, an action on
$X$
is said elementary if it fixes a point in
$\overline{X}$
or stabilises a pair of points in
$\partial X$
.
60. Lemma.
Let
$\Gamma $
be a group with a nonelementary action by isometries on a Gromovhyperbolic proper
$CAT\left(0\right)$
space
$X$
. Then, upon possibly replacing
$X$
by a nonempty closed convex
$\Gamma $
invariant subspace, the
$\Gamma $
action on
$X$
is indecomposable.
(The
$\Gamma $
action is called indecomposable if the image of
$\Gamma $
in
$Is\left(X\right)$
is an indecomposable subgroup.)

Proof.
By Remark 36 , there is a minimal nonempty closed convex
$\Gamma $
invariant subspace
$Y\subseteq X$
; observe that the
$\Gamma $
action on
$Y$
is still nonelementary. Thus we may assume
$X$
minimal. Recall that there is a continuous
$Is\left(X\right)$
equivariant map
$C$
from distinct triples in
$\partial X$
to
$X$
(indeed, for any distinct
${\xi}_{i}\in \partial X$
, the sum
$\beta ={\beta}_{{\xi}_{1}}+{\beta}_{{\xi}_{2}}+{\beta}_{{\xi}_{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\left({\xi}_{i}\right)$
the circumcentre of its minset). Let now
$\mathsf{\u212d}\subseteq \partial X$
be a nonempty closed
$\Gamma $
invariant set. By nonelementarity,
$\mathsf{\u212d}$
contains at least three distinct points
${\xi}_{i}$
. The pointwise stabiliser
$K$
of
$\mathsf{\u212d}$
in
$Is\left(X\right)$
is therefore compact since it fixes
$C\left({\xi}_{i}\right)$
; thus, the closed convex subspace
${X}^{K}$
is nonempty. Since
$\Gamma $
normalizes
$K$
, it preserves
${X}^{K}$
; hence,
${X}^{K}=X$
and thus
$K$
is trivial.
Let now
$\left\{{h}_{n}\right\}$
be any sequence in the stabiliser
$H<Is\left(X\right)$
of
$\mathsf{\u212d}$
such that
${h}_{n}\xi \to \xi $
for all
$\xi \in \mathsf{\u212d}$
. It remains only to show that the sequence
$\left\{{h}_{n}\right\}$
is bounded in
$H$
, or equivalently in
$Is\left(X\right)$
. This follows since
${h}_{n}C\left({\xi}_{i}\right)$
tends to
$C\left({\xi}_{i}\right)$
. □
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
$\sigma $
compact group and
$V\subseteq J$
a neighbourhood of
$e\in J$
. Then there exists a compact normal subgroup
$K\u22b3J$
contained in
$V$
such that
$J/K$
is second countable.

Proof of the lemma.
Let
$\phi $
be a nonnegative continuous function on
$J$
that is supported on
$V$
and such that
$\phi \left(e\right)=1$
. Then the smallest closed
$J$
invariant subspace
$\mathfrak{M}$
of
${L}^{2}\left(J\right)$
containing
$\phi $
is separable, see Satz 5 in [KK] . If we let
$K$
be the kernel of the
$J$
representation on
$\mathfrak{M}$
, it follows as in [KK] that
$J/K$
is second countable because, by
$\sigma $
compactness and an application of Baire's theorem,
$J/K$
is topologically isomorphic to its image in the unitary group of
$\mathfrak{M}$
endowed with the strong operator topology. The choice of
$\phi $
guarantees that
$g\phi \ne \phi $
for all
$g/\in V$
, so that
$K\subseteq V$
. □
Since
$\Gamma $
is discrete in
$G$
, there are identity neighbourhoods
${V}_{i}\subseteq {G}_{i}$
such that
$\Gamma $
meets
${V}_{1}\times \cdots \times {V}_{n}$
trivially. Let
${K}_{i}\u22b3{G}_{i}$
be as in the lemma with
${K}_{i}\subseteq {V}_{i}$
and set
$K={K}_{1}\times \cdots \times {K}_{n}$
.
Then
${G}^{*}=G/K$
is second countable and the canonical image
${\Gamma}^{*}$
of
$\Gamma $
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
$\Gamma \to {\Gamma}^{*}$
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
$\Gamma $
action on
$X$
is evanescent. Since
$X$
is proper, it follows from Proposition 27 that there is a
$\Gamma $
fixed point
$\xi \in \partial X$
. In that case the conclusion of the theorem holds trivially for
$\mathsf{\u212d}=\left\{\xi \right\}$
.
Thus we may suppose that the action is nonevanescent; 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
$\psi $
is a
$\Gamma $
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
$\psi \left({Z}_{i}\right)$
of the proper space
$X$
, we deduce that its boundary is nonempty. 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\stackrel{\text{def}}{=}\tau (\Gamma )$
and let
$\mathsf{\u212d}$
be as in Theorem 2 . The conclusion of that theorem implies that the composed map
$$\Gamma \u27f6\overline{L}\to \iota M\stackrel{\text{def}}{=}Homeo(\mathsf{\u212d}),$$
with
$M$
topologized as in Section 6.2 , extends to a continuous homomorphism
$\hat{\tau}:G\to M$
factoring through one of the canonical projections
$G\to {G}_{i}$
. Since the image of
$\Gamma $
in
${G}_{i}$
is dense and
$\iota \left(\overline{L}\right)$
closed,
$\hat{\tau}\left(G\right)\subseteq \iota \left(\overline{L}\right)$
. By Remark 57 ,
$\hat{\tau}$
lifts to a continuous homomorphism
$\stackrel{~}{\tau}:G\to \overline{L}$
factoring through
${G}_{i}$
and extending
$\tau $
. This proves the theorem since
$\overline{L}<H$
. □

Proof of Margulis' Theorem 1 for
$\Gamma $
cocompact.
By Lemma 59 , we may apply Corollary 4 . □
6.4
With Theorem 6 in view, we now turn to complete
$CAT\left(0\right)$
spaces
$X$
that are not assumed proper and analyse reduced subgroups of
$Is\left(X\right)$
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
$CAT\left(0\right)$
space and
$L<Is\left(X\right)$
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 nontrivial factors.
(iii) If
$L$
is countable, then
$X$
is separable.
(iv)
$X$
has no nontrivial 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=\left\{x\right\}\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
$\gamma \in \Gamma $
the displacement function
$x\mapsto d(\gamma x,x)$
is continuous and convex, there is no loss of generality in assuming
$T$
closed and convex upon replacing it by
$\left[T\right]$
. Then Definition 5 implies
$T=X$
. It follows now from this same condition that the unbounded
$CAT\left(0\right)$
space
$X$
contains no unbounded closed convex subset
$Y\mathbb{\u2acb}X$
at all. In particular,
$X$
cannot be a Hilbert space and thus, by (iv),
$X$
does not admit any nontrivial Clifford translation. Since
$\Gamma $
acts nontrivially, there is
$\gamma \in \Gamma $
whose displacement function is not identically zero; however, since
$X=T$
, the supremum
$C={sup}_{x\in X}d(\gamma x,x)$
is finite. If the displacement length were constant,
$\gamma $
would be a nontrivial Clifford translation. Thus for some
$0<{C}^{\prime}<C$
the closed convex set
$$Y\stackrel{\text{def}}{=}\left\{x\in X:d(\gamma x,x)\le {C}^{\prime}\right\}\mathbb{\u2acb}X$$
is nonempty, hence bounded. Since
$\gamma Y=Y$
, the circumcentre
$y\in Y$
is
$\gamma $
fixed. Let
$\varrho $
be the circumradius of
$Y$
. Since we assumed
$T$
unbounded, there is a sequence
$\left\{{x}_{n}\right\}$
in
$X$
with
$d({x}_{n},y)\to \infty $
. Let
${y}_{n}$
be the point of
$[y,{x}_{n}]$
at distance
$\varrho +1$
of
$y$
; then a comparison argument shows that
$d(\gamma {y}_{n},{y}_{n})$
tends to zero since
$d(\gamma {x}_{n},{x}_{n})\le 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\ge 0}{A}_{n}$
contains the midpoint of any of its pairs, and thus is dense in
$\left[{A}_{0}\right]$
. □
We can now complete the main case of Theorem 6 .

End of proof of Theorem 6 , nonHilbertian case.
Observe first that
$\Gamma $
is countable since it is a lattice in a locally compact
$\sigma $
compact group. The argument of Proposition 61 shows that we may assume
$G$
second countable. Moreover, since
$\tau (\Gamma )$
is unbounded and reduced, Lemma 63 implies that its action is nonevanescent 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
$\psi \left({Z}_{n}\right)$
is a closed convex subset of
$X$
since it is the isometric image of a complete convex set. Fix
$\gamma \in \Gamma $
and write
$\gamma ={\gamma}_{n}{\gamma}_{n}^{\prime}$
for the decomposition along
$G={G}_{n}\times {G}_{n}^{\prime}$
, where
${G}_{n}^{\prime}={\prod}_{j\ne n}{G}_{j}$
. Then, for all
$z\in {Z}_{n}$
,
$$d(\gamma z,{\gamma}_{n}z)=d({\gamma}_{n}^{\prime}z,z)=d({\gamma}_{n}^{\prime}{z}_{0},{z}_{0})$$
since
$z\in {Z}_{n}$
and we have a product action on
$Z$
. Thus, for each
$\gamma \in \Gamma $
, the distance between
$\gamma \psi \left(z\right)=\psi \left(\gamma z\right)$
and
$\psi \left({\gamma}_{n}z\right)\in \psi \left({Z}_{n}\right)$
is bounded independently of
$z\in {Z}_{n}$
. Since the action is reduced, it follows that
$\psi \left({Z}_{n}\right)=X$
. At this point, in order to conclude the proof and exhibit
$\stackrel{~}{\tau}$
via
$\psi {}_{{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\ne n$
. Indeed, the continuity of
$\stackrel{~}{\tau}$
as defined in Section 3.5 follows from the continuity of
$G$
on
$Z$
, and then
$\stackrel{~}{\tau}$
must range in
$H$
by irreducibility of
$\Gamma $
.
To that end, we note that the above discussion did not depend on the choice of the “copy”
${Z}_{n}$
; hence
$\psi \left(g{Z}_{n}\right)=X$
also holds for all
$g\in G$
. Now pick
${g}_{j}\in {G}_{j}$
for some
$j\ne n$
. Since
$\psi {}_{{Z}_{n}}$
and
$\psi {}_{{g}_{j}{Z}_{n}}$
are isometries onto
$X$
, the map
$T:X\to X$
defined by
$\psi \circ {g}_{j}\circ (\psi {}_{{Z}_{n}}{)}^{1}$
is an isometry. Since
$\left(\psi {}_{{Z}_{n}}{)}^{1}\right(x)$
and
${g}_{j}\left(\psi {}_{{Z}_{n}}{)}^{1}\right(x)$
belong to a copy of
${Z}_{j}$
, we have
$$d\left(T\right(x),x)=d\left({g}_{j}\right(\psi {}_{{Z}_{n}}{)}^{1}\left(x\right),\left(\psi {}_{{Z}_{n}}{)}^{1}\right(x\left)\right)=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={\mathbf{R}}^{d}$
even in the simplest cases:
64. Example.
Consider the affine groups
${G}_{1}={G}_{2}=\mathbf{R}\mathbb{\setminus}\{\pm 1\}$
and set
$G={G}_{1}\times {G}_{2}$
. Consider the irreducible unifom lattice
$\Gamma <G$
defined by
$$\Gamma \stackrel{\text{def}}{=}\left\{\left((n+m\sqrt{2},\varepsilon );(nm\sqrt{2},\varepsilon )\right):n,m\in \mathbf{Z},\varepsilon =\pm 1\right\}.$$
The
$\Gamma $
action on
$X=\mathbf{R}$
defined by
$\left((n+m\sqrt{2},\varepsilon );(nm\sqrt{2},\varepsilon )\right)x=\varepsilon 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 \mathbf{O}(1)=\{\pm 1\}$
that are nontrivial 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
$\mathbf{R}$
.
A yet simpler example is
$G=(\mathbf{Z}\mathbb{\setminus}\{\pm 1\}{)}^{2}$
,
$\Gamma ={\mathbf{Z}}^{2}\mathbb{\setminus}\{\pm 1\}$
. Similar examples can be constructed in higher dimension.
The above example is rather typical for counterexamples to the statement of Theorem 6 :
65. Theorem.
The statement of Theorem 6 holds for any complete
$CAT\left(0\right)$
space
$X$
unless (i)
$X$
is isometric to
${\mathbf{R}}^{d}$
for some
$d\in \mathbf{N}$
and (ii) the linear part of the
$\Gamma $
action is irreducible and is the restriction of a
${G}_{i}$
subrepresentation of
${L}^{2}(G/\Gamma )$
endowed with the quasiregular
${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\ne {\mathbf{R}}^{d}$
.
We begin with a general observation about lattices in products:
66. Lemma.
Let
$\Gamma $
be a lattice in a product
$G={G}_{1}\times \cdots \times {G}_{n}$
of locally compact groups and let
$\tau :\Gamma \to H$
be any homomorphism to a topological group
$H$
.
Suppose that for two distinct indices
$i$
there are continuous homomorphisms
${\tau}_{i}:{G}_{i}\to H$
such that the composed homomorphisms
${\stackrel{~}{\tau}}_{i}:G\twoheadrightarrow {G}_{i}\to H$
extend
$\tau $
.
Then
$\tau (\Gamma )$
is relatively compact in
$H$
.

Proof.
Let
$i\ne {i}^{\prime}$
be the two indices and define a continuous map
$\sigma :G\to H$
by
$\sigma \left(g\right)={\stackrel{~}{\tau}}_{i}\left(g\right){\stackrel{~}{\tau}}_{{i}^{\prime}}(g{)}^{1}$
. Since
$\sigma $
descends to a map
$G/\Gamma \to H$
we obtain a probability Radon measure
$\mu $
on
$H$
from the (normalized) invariant measure on
$G/\Gamma $
. Since
$\sigma \left({g}_{i}g\right)={\tau}_{i}\left({g}_{i}\right)\sigma \left(g\right)$
for all
${g}_{i}\in {G}_{i}$
and
$g\in G$
, the measure
$\mu $
is invariant under
${\tau}_{i}\left({G}_{i}\right)={\stackrel{~}{\tau}}_{i}\left(G\right)$
, hence under
$\tau (\Gamma )$
.
It remains to observe that the stabilizer
$K<H$
of any Radon probability measure on
$H$
is compact. Since
$\mu $
is Radon there is a compact set
$C\subseteq H$
with
$\mu \left(C\right)>1/2$
. Therefore
$kC\cap C\ne \mathbb{\varnothing}$
for all
$k\in K$
. It follows
$K\subseteq C{C}^{1}$
. □
(The proof is slightly shorter when
$\Gamma $
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
$\Gamma $
action by isometries on
$X$
is given by an orthogonal representation
$\pi \to \mathbf{O}\left(X\right)$
and a cocycle
$b:\Gamma \to X$
. We claim that
$\pi $
is irreducible. Indeed, if
$X={X}^{\prime}\oplus {X}^{\prime \prime}$
were a nontrivial orthogonal decomposition preserved by
$\pi $
, then
$Y=0\oplus {X}^{\prime \prime}$
would contradict the condition of Definition 5 since
$\tau \left(\gamma \right)Y$
is at finite distance of
$\pi \left(\gamma \right)Y=Y$
for all
$\gamma \in \Gamma $
.
We adopt now the notations of the proof of Theorem
6 given in Section 6.4 ; the nonHilbertian 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\ne n$
. Therefore, we assume now that
${Z}_{j}$
is nontrivial for some
$j\ne n$
and need to characterize
$X$
and its
$\Gamma $
action as in Theorem 65 . We obtained in the proof of Section 6.4 an isometry
$\psi {}_{{Z}_{n}}:{Z}_{n}\sim =X$
such that for each
$\gamma \in \Gamma $
, the distance between
$\gamma \psi \left(z\right)$
and
$\psi \left({\gamma}_{n}z\right)$
is bounded independently of
$z\in {Z}_{n}$
. Therefore, the new
$\Gamma $
action on
$X$
transported via
$\psi $
(and
$\Gamma \to {G}_{n}$
) from the
${G}_{n}$
action on
${Z}_{n}$
(i.e.
$\gamma x=\psi \left({\gamma}_{n}\psi {}_{{Z}_{n}}^{1}\right(x\left)\right)$
) differs from the original
$\Gamma $
action by its translation cocycle only. In other words,
$\pi $
extends continuously to a homomorphism
$${\stackrel{~}{\pi}}_{n}:G\twoheadrightarrow {G}_{n}\to {\pi}_{n}\mathbf{O}\left(X\right)$$
where the orthogonal group
$\mathbf{O}\left(X\right)$
is endowed with the strong operator topology. Applying the same argument to
$j\ne n$
we are in position to use Lemma 66 and conclude that
$\pi $
ranges in a compact subgroup of
$\mathbf{O}\left(X\right)$
. The PeterWeyl theorem implies that
$X$
is finitedimensional since
$\pi $
is irreducible. It remains only to prove that
${\pi}_{i}\subseteq {L}^{2}(G/\Gamma ){}_{{G}_{i}}$
for
$i=j,n$
. The
$G$
representation
$\varrho =In{d}_{\Gamma}^{G}\pi $
induced from
$\pi $
is canonically isomorphic to
${\stackrel{~}{\pi}}_{n}\otimes {L}^{2}(G/\Gamma )$
since
$\pi ={\stackrel{~}{\pi}}_{n}{}_{\Gamma}$
and hence
${\pi}_{n}\subseteq \varrho {}_{{G}_{n}}$
. Likewise,
$\varrho \sim ={\stackrel{~}{\pi}}_{j}\otimes {L}^{2}(G/\Gamma )$
and hence
$\varrho {}_{{G}_{n}}\sim =dim\left(\pi \right){L}^{2}(G/\Gamma )$
. Since
${\pi}_{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
$\sigma $
compact group,
$\Gamma <G$
a cocompact (or squareintegrable, weakly cocompact) lattice and
$\Gamma <\Lambda <G$
a dense subgroup commensurating
$\Gamma $
, i.e.
$\Gamma \cap \lambda \Gamma {\lambda}^{1}$
has finite index in
$\Gamma $
for all
$\lambda \in \Lambda $
; equivalently, all
$\Gamma $
orbits in
$\Lambda /\Gamma $
are finite.
In an unpublished manuscript [
M2]
(see also [
Bu]
), Margulis proves the following theorem (under a more relaxed nonpositive curvature assumption, assuming
$G$
compactly generated,
$\Gamma $
cocompact, and assuming there are no parallel orbits).
A1. Theorem.
Suppose
$\Lambda $
acts by isometries on a complete
$CAT\left(0\right)$
space
$X$
such that the resulting
$\Gamma $
action is nonevanescent. Then, upon possibly passing to a nonempty
$\Gamma $
invariant closed convex subspace, the
$\Gamma $
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 nonlinear analogue of [
Sh]
. In the particular case where both
$G$
and
$Is\left(X\right)$
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
$\Lambda $
countable and thus
$X$
separable upon passing to the closed convex hull of a
$\Lambda $
orbit. Let
$Y$
be the induced
$G$
space, nonevanescent by Theorem 53 (resp. Appendix B). It is enough to show that there is a nonempty
$G$
invariant closed convex subspace
$Z\subseteq Y$
such that for all
$f,{f}^{\prime}\in Z$
the function
$d(f,{f}^{\prime})$
on
$G$
is right
$\Lambda $
invariant, since then it is essentially constant and we get a
$\Gamma $
equivariant isometric map
$Z\to X$
by evaluation(s) (compare 6.1 ). Let
$\mathfrak{A}$
be the net of finite
$\Gamma $
invariant sets
$\mathbb{\varnothing}\ne A\subseteq \Lambda /\Gamma $
. For any
$f\in Y$
and a.e.
$g\in G$
let
${F}_{A}f\left(g\right)$
be the unique
$x\in X$
minimising
${\sum}_{a\in A}{d}^{2}\left(af\right(ga),x)$
; this is the barycentre construction (Section 5.3 ) for the uniform measure on
$A$
. We thus obtain a welldefined
$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 nonexpanding (by integrating over
$G/{\cap}_{a\in A}a\Gamma {a}^{1}$
); likewise, ( 19 ) shows that if
$f,{f}^{\prime}$
are
${F}_{A}$
fixed, then
$d(f,{f}^{\prime})$
is invariant under the group
${\Lambda}_{A}$
generated by the preimage of
$A$
in
$\Lambda $
. Every
${F}_{A}$
orbit being evanescent, it is bounded; thus
${Y}^{{F}_{A}}\ne \mathbb{\varnothing}$
by Remark 15 – and we are done if
$\Lambda $
is finitely generated, taking
$A$
large enough and
$Z={Y}^{{F}_{A}}$
.
For general
$\Lambda $
, let
${T}_{A}$
be the set of
$G$
components
$C\in T$
(Remarks 39 ) such that
$d(f,{f}^{\prime})$
is
${\Lambda}_{A}$
invariant
$\forall f,{f}^{\prime}\in C$
. It follows from the preceding that
${T}_{A}\ne \mathbb{\varnothing}$
;
${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 nonevanescence, the directed family
$\{{T}_{A}{\}}_{A\in \mathfrak{A}}$
has nonempty intersection by Theorem 14 and yields a component
$Z$
as sought. □
Appendix B: Induction for Certain NonUniform Lattices
This appendix discusses nonuniform 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 nonuniform lattices without – and before – his superrigidity).
Let
$G$
be a locally compact second countable group,
$\Gamma <G$
a lattice. We use the notation of Sections 5.4 and 5.5 , e.g. for
$\chi :G\to \Gamma $
,
${\psi}_{x}\left(g\right)\stackrel{\text{def}}{=}\chi \left(g\right)x$
and normalizing the covolume of
$\Gamma $
to one.
B1. Definition (See [Sh,1.II] ).
The lattice
$\Gamma $
is squareintegrable if it is finitely generated and if, for the length function
$\ell $
associated to some (or equivalently any) finite generating set, there is a fundamental domain
$\mathfrak{F}\subseteq G$
(with null boundary) such that
$${\int}_{\mathfrak{F}}\ell \left(\chi \right({g}^{1}h){)}^{2}dh<\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 KacMoody lattices. We refer to [
R*]
,[
R1]
for general KacMoody groups, in particular for the following result of Rémy: Any KacMoody group over
${\mathbf{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
$\mathfrak{F}$
be as in Definition B1 . Then Lemma 52 and formula ( 15 ) provide a welldefined continuous
$G$
action by isometries on
${L}^{\left[2\right]}(G,X{)}^{\Gamma}\sim ={L}^{2}(\mathfrak{F},X)$
.

Proof.
The only additional verification we need to do is that for
$f\in {L}^{2}(\mathfrak{F},X)$
,
$x\in X$
and
$g\in G$
the integral
${\int}_{\mathfrak{F}}{d}^{2}\left(\right(gf\left)\right(h),x)dh$
is finite. The latter is
${\int}_{\mathfrak{F}}{d}^{2}\left(f\right({g}^{1}.h),\chi ({g}^{1}h{)}^{1}x)dh$
in view of ( 15 ); since
${\int}_{\mathfrak{F}}{d}^{2}\left(f\right({g}^{1}.h),x)dh={\int}_{\mathfrak{F}}{d}^{2}\left(f\right(h),x)dh$
is finite, it is enough to show that
${\int}_{\mathfrak{F}}{d}^{2}\left(\chi \right({g}^{1}h{)}^{1}x,x)dh$
is finite. Let
$S\subseteq \Gamma $
be a finite generating set and
$\ell $
the associated length function; since
$d\left(\chi \right({g}^{1}h{)}^{1}x,x)$
is bounded by
$\ell \left(\chi \right({g}^{1}h\left)\right){sup}_{s\in S}d(sx,x)$
, we conclude by squareintegrability of
$\Gamma $
. □
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
$\Gamma $
is weakly cocompact if the
$G$
representation
${L}_{0}^{2}(G/\Gamma )$
(i.e. the orthogonal complement of the trivial representation in
${L}^{2}(G/\Gamma )$
) does not almost have nonzero invariant vectors (compare 3.10 ).
The definition is obviously satisfied whenever
$G$
, or equivalently
$\Gamma $
, 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 KacMoody group over
${\mathbf{F}}_{q}$
whose Cartan matrix has finite entries is Kazhdan whenever
$q$
is large enough by a general result of DymaraJanuszkiewicz [
DJ]
.
B4. Remark.
If there is an asymptotically invariant sequence
$\left\{{v}_{n}\right\}$
(see Remark 33 ) of nonnegative functions in
${L}^{2}(G/\Gamma )$
such that for every relatively compact
$C\subseteq \mathfrak{F}$
the integral
${\int}_{C}{v}_{n}$
tends to zero, then
$\Gamma $
is not weakly cocompact.
Indeed, in that case
${\int}_{\mathfrak{F}}{v}_{n}\to 0$
, thus the norm of the projection of
${v}_{n}$
on
${L}_{0}^{2}(G/\Gamma )$
tends to one, yielding (after renormalization) an asymptotically invariant sequence in
${L}_{0}^{2}$
.
B5. Theorem.
Assume that
$\Gamma $
is squareintegrable and weakly cocompact.
Let
$X$
be a complete separable
$CAT\left(0\right)$
space with a nonevanescent
$\Gamma $
action by isometries. Then the
$G$
action on
${L}^{\left[2\right]}(G,X{)}^{\Gamma}$
is nonevanescent.

Proof.
Fix
${x}_{0}\in X$
. Suppose for a contradiction that there is an evanescent sequence
$\left\{{f}_{n}\right\}$
in
$Y={L}^{\left[2\right]}(G,X{)}^{\Gamma}$
such that
$d({f}_{n},{\psi}_{{x}_{0}})\to \infty $
. Let
$\eta $
be a nonnegative continuous function on
$G$
of integral one; we may assume that
$\eta $
has compact support
$K$
with
$K\backslash \mathfrak{F}$
null.
For
$g\in G$
, we want to define
${\overline{f}}_{n}\left(g\right)\in X$
as the barycentre of
$h\mapsto {f}_{n}\left({h}^{1}g\right)$
with respect to the measure
$\eta \left(h\right)dh$
; we thus have to prove that for (some, hence any
$x\in X$
) the integral
${\int}_{\mathfrak{F}}{d}^{2}\left({f}_{n}\right({h}^{1}g),x)\eta \left(h\right)dh$
is finite for a.e.
$g\in \mathfrak{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{array}{c}{d}^{2}\left({\overline{f}}_{n}\right(g),x)\le {\int}_{\mathfrak{F}}{d}^{2}\left({f}_{n}\right({h}^{1}g),x)\eta \left(h\right)dh\forall x\in X.\end{array}$$ 
(21)

Thus,
${\overline{f}}_{n}$
is squareintegrable because we apply ( 20 ) to
$${\int}_{\mathfrak{F}}{d}^{2}\left({\overline{f}}_{n}\right(g),x)dg\le {\int}_{\mathfrak{F}}{\int}_{\mathfrak{F}}{d}^{2}\left({f}_{n}\right({h}^{1}g),x)\eta \left(h\right)dhdg.$$
Since in addition
${\overline{f}}_{n}$
is
$\Gamma $
equivariant by definition,
${\overline{f}}_{n}\in Y$
. Setting
$x={f}_{n}\left(g\right)$
in ( 21 ) yields
$$\begin{array}{c}{d}^{2}({\overline{f}}_{n},{f}_{n})\le {\int}_{\mathfrak{F}}{\int}_{\mathfrak{F}}{d}^{2}\left({f}_{n}\right({h}^{1}g),{f}_{n}(g\left)\right)\eta \left(h\right)dhdg={\int}_{K}\eta \left(h\right){d}^{2}(h{f}_{n},{f}_{n})dh\end{array}$$ 
(22)

which is bounded independently of
$n$
by evanescence of
$\left\{{f}_{n}\right\}$
. It follows that
$\left\{{\overline{f}}_{n}\right\}$
is also an evanescent sequence with
$d({\overline{f}}_{n},{\psi}_{{x}_{0}})\to \infty $
. Define now
${\phi}_{n}\in {L}^{2}(G/\Gamma )$
by
${\phi}_{n}\left(h\right)\stackrel{\text{def}}{=}d\left({\overline{f}}_{n}\right(h),\chi (h\left){x}_{0}\right)$
.
We claim that
$\left\{{\phi}_{n}\right\}$
is an evanescent sequence in the linear
$G$
space
${L}^{2}(G/\Gamma )$
. Indeed, since
$\left(g{\phi}_{n}\right)\left(h\right)=d\left(\right(g{\overline{f}}_{n}\left)\right(h),\chi ({g}^{1}h\left){x}_{0}\right)$
, the triangle inequality gives
$$\left\right(g{\phi}_{n}\left)\right(h){\phi}_{n}(h\left)\right\le d\left(\right(g{\overline{f}}_{n}\left(h\right),{\overline{f}}_{n}\left(h\right))+d(\chi \left({g}^{1}h\right){x}_{0},{x}_{0})$$
so that by Minkowski's inequality and the definition of
${\psi}_{{x}_{0}}$
$$\parallel g{\phi}_{n}{\phi}_{n}\parallel \le d(g{\overline{f}}_{n},{\overline{f}}_{n})+d(g{\psi}_{{x}_{0}},{\psi}_{{x}_{0}}).$$
The first term is bounded over compact sets by evanescence of
$\left\{{\overline{f}}_{n}\right\}$
and the second by continuity of the
$G$
action on
$Y$
; the claim follows. In particular, since
$\parallel {\phi}_{n}\parallel =d({\overline{f}}_{n},{\psi}_{{x}_{0}})\to \infty $
, the sequence
$\{{v}_{n}={\phi}_{n}/\parallel {\phi}_{n}\parallel \}$
is asymptotically invariant.
The goal now is to contradict weak cocompactness by applying Remark
B4 to
$\left\{{v}_{n}\right\}$
.
Therefore it suffices to show that for any relatively compact
$C\subseteq \mathfrak{F}$
the integral
${\int}_{C}{\phi}_{n}\left(g\right)dg$
is bounded independently of
$n$
.
Since the
$\Gamma $
action on
$X$
is not weakly evanescent (Proposition 29 ), there is by Lemma 25 a finite set
$F\subseteq \Gamma $
,
$\lambda >0$
and
${d}_{0}\ge 0$
such that
${sup}_{\gamma \in F}d({\gamma}^{1}x,x)\ge \lambda d(x,{x}_{0}){d}_{0}$
for all
$x\in X$
. Thus,
$$\lambda {\phi}_{n}\left(g\right)\le {sup}_{\gamma \in F}d\left({\gamma}^{1}{\overline{f}}_{n}\right(g),{\overline{f}}_{n}(g\left)\right)+{d}_{0}\le {\sum}_{\gamma \in F}d\left({\overline{f}}_{n}\right(g\gamma ),{\overline{f}}_{n}(g\left)\right)+{d}_{0}(a.e.g\in \mathfrak{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
$\gamma \in F$
the integral
${\int}_{C}{d}^{2}\left({\overline{f}}_{n}\right(g\gamma ),{\overline{f}}_{n}(g\left)\right)dg$
is bounded independently of
$n$
. To that end, set
${K}_{\gamma ,g}\stackrel{\text{def}}{=}g{\gamma}^{1}{g}^{1}K$
,
${\eta}_{\gamma ,g}(\cdot )\stackrel{\text{def}}{=}\eta (g\gamma {g}^{1}\cdot )$
for any
$\gamma \in F$
,
$g\in G$
. By definition of
${\overline{f}}_{n}$
and change of variable,
${\overline{f}}_{n}\left(g\gamma \right)$
is the minimiser
$y\in X$
of
${\int}_{{K}_{\gamma ,g}}{d}^{2}\left({f}_{n}\right({h}^{1}g),y){\eta}_{\gamma ,g}\left(h\right)dh$
. Therefore, the inequality corresponding to ( 21 ) yields
$${d}^{2}\left({\overline{f}}_{n}\right(g\gamma ),{\overline{f}}_{n}(g\left)\right)\le {\int}_{{K}_{\gamma ,g}}{d}^{2}\left({f}_{n}\right({h}^{1}g),{\overline{f}}_{n}(g\left)\right){\eta}_{\gamma ,g}\left(h\right)dh\le \parallel \eta {\parallel}_{\infty}{\int}_{{K}_{\gamma ,g}}{d}^{2}\left({f}_{n}\right({h}^{1}g),{\overline{f}}_{n}(g\left)\right)dh.$$
Thus,
$${\int}_{C}{d}^{2}\left({\overline{f}}_{n}\right(g\gamma ),{\overline{f}}_{n}(g\left)\right)dg\le \parallel \eta {\parallel}_{\infty}{\int}_{C}{\int}_{L}{d}^{2}\left({f}_{n}\right({h}^{1}g),{\overline{f}}_{n}(g\left)\right)dhdg,$$
where the integral over
$L\stackrel{\text{def}}{=}\cup \{{K}_{\gamma ,g}:g\in C\}$
is finite because we bound the above double integral by
$${\int}_{L}{\int}_{C}{d}^{2}\left(\right(h{f}_{n}\left)\right(g),{\overline{f}}_{n}(g\left)\right)dgdh\le {\int}_{L}{d}^{2}(h{f}_{n},{\overline{f}}_{n})dh$$
which is finite by relative compactness of
$L$
. Moreover, the latter term is bounded independently of
$n$
in view of
$$d(h{f}_{n},{\overline{f}}_{n})\le d(h{f}_{n},{f}_{n})+d({f}_{n},{\overline{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. 13, 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 nonpositive curvature, Grundlehren der Mathematischen Wissenschaften 319, Springer, Berlin, 1999.

Marc Burger, Rigidity properties of group actions on
$cat\left(0\right)$
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. 12, 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.

Mikhaï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 ShingTung 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. 34, 561–659.

H. Blaine Lawson, Jr. and ShingTung Yau, Compact manifolds of nonpositive curvature, J. Differential Geometry 7 (1972), 211–228.

, Discrete subgroups of semisimple Lie groups, SpringerVerlag, Berlin, 1991.

, Superrigidity for commensurability subgroups and generalized harmonic maps, unpublished manuscript.

Ngaiming Mok, Yum Tong Siu, and SaiKee Yeung, Geometric superrigidity, Invent. Math. 113 (1993), no. 1, 57–83.

Nicolas Monod, Arithmeticity vs. nonlinearity 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 KacMoody déployés et presque déployés, Astérisque (2002), no. 277, viii+348.

, KacMoody groups as discrete groups, Preprint, 2003.

, Integrability of induction cocycles for KacMoody groups, Preprint, 2004.

Yuriĭ G. Reshetnyak, Nonexpansive 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