The Furstenberg Poisson Boundary and CAT(0) Cube Complexes
Abstract.
We show under weak hypotheses that , the Roller boundary of a finite dimensional CAT(0) cube complex is the FurstenbergPoisson boundary of a sufficiently nice random walk on an acting group . In particular, we show that if admits a nonelementary proper action on , and is a generating probability measure of finite entropy and finite first logarithmic moment, then there is a stationary measure on making it the FurstenbergPoisson boundary for the random walk on . We also show that the support is contained in the closure of the regular points. Regular points exhibit strong contracting properties.
Dashtodashdash¿
Contents:
1. Introduction
CAT(0) cube complexes are fascinating objects of study, thanks in part to the interplay between two metrics that they naturally admit, the CAT(0) metric, and the median metric. Restricted to each cube, these coincide either with the standard Euclidean metric () or with the “taxicab” metric (). Somewhat recently, CAT(0) cube complexes played a crucial roll in Agol’s proof of the Virtual Haaken Conjecture (an outstanding problem in the theory of 3manifolds) [Ago13], [KM12], [HW08], [Wis09], [BW12]. Examples of CAT(0) cube complexes and groups acting nicely on them include trees, (universal covers of) Salvetti complexes associated to right angeled Artin groups, Coxeter Groups, Small Cancellation groups, and are closed under taking finite products.
Associated to a random walk on a group one has the FurstenbergPoisson boundary. It is in some sense, the limits of the trajectories of the random walk. Its existence, as an abstract measure space, for a generating random walk is guaranteed by the seminal result of Furstenberg [Fur73]. This important object has since established itself as an integral part in the study of rigidity (see for example [BF14]) in particular by realizing it as a geometric boundary of the group in question.
One may associate to any CAT(0) space a visual boundary where each point is an equivalence class of geodesic rays. The visual boundary for a CAT(0) space gives a compactification of the space, at least when the space is locally compact [BH99]. For a wide class of hyperbolic groups, and more generally, certain groups acting on CAT(0) spaces, the visual boundary is a FurstenbergPoisson boundary for suitably chosen random walks [Kai94], [KM99].
The wall metric naturally leads to the Roller compactification of a CAT(0) cube complex. Nevo and Sageev show that the Roller boundary (see Section 2.3) can be made to be a FurstenbergPoisson boundary for a group when the group admits a nonelementary proper cocompact action on [NS13]. The purpose of this paper is to give a generalization of this result to groups which admit a nonelementary proper action on a finite dimensional CAT(0) cube complex. The complex is not assumed to be locally compact, and in particular, the action is not required to be cocompact. Our approach will be somewhat different to that of Nevo and Sageev and in particular, we will not address several of the dynamical questions that they consider: for example that the resulting stationary measure is unique, or that the action is minimal or strongly proximal. Such questions will be examined in a forthcoming paper by Lécureux, Mathéus, and the present author.
Let be a probability measure on a discrete countable group . Assume that it is generating, i.e. that the semigroup generated by the support of is the whole of . Recall that a probability measure on is said to have finite entropy if
Also, if is a pseudonorm on then is said to have finite first logarithmic moment (with respect to ) if . (See Section 8.1 for more details.) If we have an action of on , then fixing a basepoint allows us to consider the pseudonorm defined by .
Main Theorem.
Let be a finite dimensional CAT(0) cube complex, a discrete countable group, a nonelementary proper action by automorphisms on , and a generating probability measure on of finite entropy. If there is a base point for which has finite first logarithmic moment then there exists a probability measure on the Roller boundary such that is the FurstenbergPoisson boundary for the random walk on . Furthermore, gives full measure to the regular points in .
The proof of the Main Theorem follows a standard path. We first show that the Roller Boundary is a quotient of the FurstenbergPoisson boundary (Section 7) and then apply Kaimanovich’s celebrated Strip Condition to prove maximality (Section 8).
We note that Karlsson and Margulis show that the visual boundary of a CAT(0) space is the FurstenbergPoisson boundary for suitable random walks [KM99]. They assume very little about the space, but assume that the measure has finite first moment and that orbits grow at most exponentially. The Main Theorem above applies to the restricted class spaces (i.e. CAT(0) cube complexes), which pays off by allowing for significantly weaker hypotheses on the action and the measure .
Observe that our Main Theorem applies for example to any nonelementary subgroup of a right angeled artin group or more generally of a graph product of finitely generated abelian groups [RW13].
Furthermore, we remark on the importance that the regular points are of full measure: they exhibit strong contracting properties. This will be exploited to study random walks on CAT(0) cube complexes in the forthcoming paper of Lécureux, Mathéus, and the present author mentioned above.
An action on a CAT(0) cube complex is said to be Roller nonelementary if every orbit in the Roller compactification is infinite (see Section 2.3). This notion guarantees nonamenability of the closure of the acting group in , and characterizes it for locally compact. This Tits’ alternative, is essentially an encapsulation of results of Caprace and Sageev [CS11], Caprace [CFI12], and Chatterji, Iozzi, and the author [CFI12]. It also comes after several versions of Tits’ alternatives (see [CS11], [SW05]). The statement is in the spirit of Pays and Valette [PV91]:
Theorem 1.1 (Tits’ Alternative).
Let be a finite dimensional CAT(0) cube complex and . If is locally compact then the following are equivalent:

does not preserve any interval .

The action is Roller nonelementary.

contains a nonabelian free subgroup acting freely on .

The closure in is nonamenable.
Remark 1.2.
Acknowledgements: The author is grateful to the following people for their kindness and generosity: Uri Bader, Greg Bell, Ruth Charney, Indira Chatterji, Alex Furman, Alessandra Iozzi, Vadim Kaimanovich, Jean Lécureux, Seonhee Lim, Amos Nevo, Andrei Malyutin, Frédéric Mathéus, and Michah Sageev. Conversations and collaborations with these people made this article possible. Further thanks go to the University of Illinois at Chicago, the Centre International de Rencontres Mathématique, and the Institut Henri Poincaré.
2. CAT(0) Cube Complexes and Medians
We will say that a metric space is a Euclidean cube if there is an for which it is isometric to with the standard induced Euclidean metric from .
Definition 2.1.
A second countable finite dimensional simplyconnected metric polyhedral complex is a CAT(0) cube complex if the closed cells are Euclidean cubes, the gluing maps are isometries and the link of each vertex is a flag complex.
Recall that a flag complex is a simplicial complex in which each complete subgraph on vertices is the 1skeleton of a simplex in the complex. That the link of every vertex is a flag complex is equivalent to the condition of being locally CAT(0), thanks to Gromov’s Link Condition.
We remark that we absorb the condition of finite dimensionality in the definition of a CAT(0) cube complex and as such, we will not explicitly mention it in the sequel. Furthermore, if the dimension of the CAT(0) cube complex is , then this is equivalent to the existence of a maximal dimensional cube of dimension .
A morphism between two CAT(0) cube complexes is an isometry that preserves the cubical structures, i.e. it is an isometry such that is a cube of whenever is a cube in . We denote by the group of automorphisms of to itself.
2.1. Walled Spaces
A space with walls or a walled space is a set together with a countable collection of nonempty subsets called halfspaces with the following properties:

If then .

There is a fixedpoint free involution

The collection of halfspaces separating two points of is finite, i.e. for every the set of halfspaces such that and is finite.

There is a such that for every collection of pairwise transverse halfspaces, we must have that .
A pair of halfspaces is said to be transverse if the following four intersections are all nonempty:
Associated to a walled space is the wall pseudometric :
This satisfies the properties of a metric, with the exception that does not necessarily imply that .
Let us then consider the associated quotient consisting of equivalence classes of points of whose pseudowall distance is 0. Clearly, the wall pseudometric descends to a metric on .
For the wall associated to is the unordered pair . This explains the terminology, as well as the factor of in the definition of the (pseudo)wall metric.
2.2. CAT(0) Cube Complexes as Walled Spaces
As we shall now see, CAT(0) cube complexes naturally admit a walled (pseudo)metric and are in some sense the unique examples of such spaces.
Let be an dimensional cube. The th coordinate projection is denoted by . A wall of a cube is the set . Observe that the complement of each wall in a cube has two connected components.
Definition 2.2.
A wall of a CAT(0) cube complex is a convex subset whose intersection with each cube is either a wall of the cube or empty.
The complement of a wall in a CAT(0) cube complex has two connected components [Sag95, Theorem 4.10] which we call halfspaces and we denote them by . Observe that since is second countable, there are countably many halfspaces in .
The notation and terminology here is purposefully chosen to remind the reader of a walled space. Indeed, in essence, a walled space uniquely generates a CAT(0) cube complex [Sag95], [CN05], [Nic04]. And it is this walled space structure of the CAT(0) cube complex that we will ultimately be interested in, if not fascinated by. Since walls separate points in the zeroskeleton of a CAT(0) cube complex, we will in fact consider the zeroskeleton as our object of study.
Let denote the vertex set of and . This yields a fixedpoint free involution
(1) 
One drawback of passing to the zeroskeleton, is that a wall is no longer a subset of . Therefore, for , we will denote by the pair and think of it as a wall, as in Section 2.1.
Theorem 2.3 ([Sag95],[Nic04],[Cn05]).
Let be a walled metric space. Then, there exists a CAT(0) cube complex and an embedding such that:

If and are endowed with their respective wall metrics then is an isometry onto its image.

The set map induced by is a bijection , such that

If is a wallisometry then there exists a unique extension to an automorphism that agrees with on .
Furthermore, if is the walled space associated to the vertex set of a CAT(0) cube complex , then the above association applied to yields once more , and can be taken to be the identity and the induced homomorphism is the identity isomorphism.
When a collection of halfspaces is given, we will denote the associated CAT(0) cube complex as , leading to the somewhat abusive formulation of the last part of Theorem 2.3:
This striking result shows that the combinatorial information of the wall structure completely captures the geometry of the CAT(0) cube complex. This will be exploited in what follows. To this end, we now set , and . Unless otherwise stated, every metric property will be taken with respect to the wall metric.
The first of many beautiful properties of CAT(0) cube complexes is a type of Helly’s Theorem:
Theorem 2.4.
[Rol] Let be halfspaces. If then
Keeping with the terminology of transverse halfspaces introduced in Section 2.1, if are pairwise transverse halfspaces then .
2.3. Roller Duality
Given a subset of halfspaces, we denote by the collection . We say that satisfies:

the totality condition if ;

the consistency condition if, and if and , then .
Fix and consider the collection . It is straightforward to verify that satisfies both totality and consistency as a collection of halfspaces. Roller Duality is then obtained via the following observation:
This shows that if then we have that
giving an embedding obtained by . This embedding is made isometric by endowing with the extended metric
For now, let us consider . Then, the Roller compactification is denoted by and is the closure of in . The Roller boundary is then . Observe that in general, while is a compact space containing as a dense subset, it is not a compactification in the usual sense. Indeed, unless is locally compact, the embedding does not have an open image, and is not closed. This is best exemplified by taking the wedge sum of countably many lines. The limit of any sequence of distinct points in the boundary will be the wedge point. While it is also true that the visual boundary is not a compactification when is not locally comapact, the Roller boundary does present one significant advantage: the union is indeed compact.
With this notation in place, the partition extends to a partition of and hence, when we speak of a halfspace as a collection of points, we mean
Remark 2.5.
Given , we denote the set by . By abuse of notation, for , we will say that if and only if or . This is consistent with the standard notion of the wall corresponding to a midcube.
We now give characterizations of special types of subsets of . To this end, we say that satisfies the descending chain condition if every infinite descending chain of halfspaces is eventually constant.
Facts 1.
The following are true for a nonempty :

If satisfies the consistency condition then

If satisfies the consistency condition and the descending chain condition then

The collection satisfies both the totality and consistency conditions if and only if there exists such that . Fixing we have that

if and only if satisfies the descending chain condition.

if and only if contains a nontrivial infinite descending chain, i.e. for each there is an such that .

Let us say a few words about why these facts are true, or where one can find proofs, though likely several proofs are available. In case of Item (1), this is simple if one can show that the collection has the finite intersection property as is compact. Furthermore, the CAT(0) cube complex version of Helly’s Theorem 2.4 allows one to pass from finite intersections to pairwise intersections, and this last case is easy to verify given the condition of consistency. For the second item, we refer the reader to Lemma 2.3 of [NS13]. Finally, for the last item, we refer the reader to [Rol].
There are also other special sets which will be of interest:
Definition 2.6.
The collection of nonterminating elements is denoted by and consists of the elements such that every finite descending chain can be extended, i.e. given there is a such that
2.4. The Median
The vertex set of a CAT(0) cube complex with the edge metric (equivalently with the wall metric) is a median space [Rol], [CN05], [Nic04]. The median structure extends nicely to the Roller compactification.
We define the interval:
In the special case that this is the collection of vertices that are crossed by an edge geodesic connecting and .
Then, the fact that is a median space
This unique point is called the median of , , and and will sometimes be denoted by . In terms of halfspaces, we have:
which is captured by this beautiful Venn diagram:
.
While general CAT(0) cube complexes can be quite wild,
Theorem 2.7.
[BCG09, Theorem 1.16] Let . Then the vertex interval isometrically embeds into (with the standard cubulation) where is the dimension of .
The proof of this employs Dilworth’s Theorem which states that a partially ordered set has finite width if and only if it can be partitioned into chains. Here the partially ordered set is . Set inclusion yields the partial order and an antichain corresponds to a set of pairwise transverse halfspaces. By reversing the chains of halfspaces in in a consistent way, we may find other pairs such that . This yields the following:
Corollary 2.8.
If has dimension , then for any interval , there are at most elements on which is an interval.
2.5. Projections and Lifting Decompositions
It is straightforward, thanks to Theorem 2.3 that if is an involution invariant subset, then there is a natural quotient map . Furthermore, if is invariant for some acting group then the quotient is equivariant as well. One can ask to what extent this can be reversed. Namely, when is it possible to find an embedding ? And if is assumed to be invariant, can the embedding be made to be equivariant?
Definition 2.9.
Given a subset , a lifting decomposition is a choice of a consistent subset such that
We note that a necessary condition for the existence of a lifting decomposition is that be involution invariant and that it be convex, i.e. if , and then .
Given a consistent set , one can associate a set of walls (viewed as an involution invariant set of halfspaces) so that is a lifting decomposition of , though there could of course be others.
The terminology is justified by:
Proposition 2.10.
[CFI12, Lemma 2.6] The following are true:

Suppose that . If there exists a lifting decomposition for then there is an isometric embedding induced from the map where and the image of this embedding is

Conversely, if is a consistent set of halfspaces, then, setting we get an isometric embedding obtained as above, onto

If satisfies the descending chain condition, then the image of is in .
Furthermore, if the set is invariant then, with the restricted action on the image, the above natural embeddings are equivariant.
Remark 2.11.
We note that the projection obtained by forgetting the halfspaces is onto. This means that if there is a lifting decomposition then the relationship between two halfspaces (i.e. facing, transverse, etc.) is equivalent if one considers them as halfspaces in or in .
Let us interpret the significance of Proposition 2.10 in the context of the collection of the involutioninvariant set of halfspaces , for . These are the halfspaces separating and . Then, the collection of halfspaces , i.e. those that contain both and , is a consistent set of halfspaces and it is straightforward to verify that is a lifting decomposition for , yielding an isometric embedding of the CAT(0) cube complex associated to onto .
3. Three Key Notions
There are three notions that together form a powerful framework within which to study CAT(0) cube complexes. The first is the classical notion of a nonelementary action. Caprace and Sageev showed that this allows one to study the essential core of a CAT(0) cube complex [CS11], which is the second notion. Finally, Behrstock and Charney introduced the notion of strong separation which allows for the local detection of irreducibility [BC12], which was shown by Caprace and Sageev to be available in the nonelementary setting [CS11].
3.1. Nonelementary Actions
As a CAT(0) space, a CAT(0) cube complex has a visual boundary which is obtained by considering equivalence classes of geodesic rays, where two rays are equivalent if they are at bounded distance from each other. The topology on is the cone topology (which coincides with the topology of uniform convergence on compact subsets, when one considers geodesic rays emanating from the same base point) [BH99]. While the visual boundary is not well behaved for nonproper spaces in general, the assumption that the space is finite dimensional is sufficient [CL10].
Definition 3.1.
An isometric action on a CAT(0) space is said to be elementary if there is a finite orbit in either the space or the visual boundary.
To exemplify the importance of this property, we have:
Theorem 3.2.
[CS11] Suppose is an action on the CAT(0) cube complex . Then either the action is elementary, or contains a freely acting nonabelian free group.
3.2. Essential Actions
Caprace and Sageev [CS11] showed that for nonelementary actions, there is a nonempty “essential core” where the action is well behaved. Let us now develop the necessary terminology and recall the key facts.
Definition 3.3.
Fix a group acting by automorphisms on the CAT(0) cube complex . A halfspace is called …

shallow if for some (and hence all) , the set is at bounded distance from , otherwise, it is said to be deep.

trivial if and are both shallow.

essential if and are both deep.

halfessential if it is deep and is shallow.
Remark 3.4.
Observe that the collections of essential and trivial halfspaces are both closed under involution and that the collection of halfessential halfspaces is consistent. Furthermore, a halfspace is essential if and only if it is essential for any of finite index.
Theorem 3.5.
[CS11, Proposition 3.5] Assume is a nonelementary action on the CAT(0) cube complex then the collection of essential halfspaces is nonempty. Furthermore, if is the CAT(0) cube complex associated to the essential halfspaces then is unbounded and there is a equivariant embedding .
The image of under this embedding is called the essential core. If all halfspaces are essential, then the action is said to be essential.
A simple but powerful concept introduced by Caprace and Sageev is that of flipping a halfspace. A halfspace is said to be flippable if there is a such that .
Lemma 3.6.
[CS11, Flipping Lemma] Assume is nonelementary. If is essential, then is flippable.
Recall that a measure is said to be quasiinvariant whenever the following holds for every , and every measurable set : if then .
Corollary 3.7.
[CFI12] Suppose is a nonelementary and essential action on the CAT(0) cube complex . If is a quasiinvariant probability measure on then for every half space .
Proof.
Let . Then which means that either or . If then apply the Flipping Lemma 3.6 and deduce that there is a such that and hence . But of course, is quasiinvariant so . ∎
Another very important operation on halfspaces developed by Caprace and Sageev is the notion of double skewering:
Lemma 3.8.
[CS11, Double Skewering] Suppose is a nonelementary action on the CAT(0) cube complex . If are two essential half spaces, then there exists a such that
The following is almost a direct consequence of the definitions. The reader will find a more in depth formulation in [CS11, Proposition 3.2]
Lemma 3.9.
If acts on the CAT(0) cube complex and preserves a finite collection of halfspaces then the action is either elementary or not essential.
An action of on is said to be Roller nonelementary if there is no finite orbit in the Roller compactification. Of course, having a finite orbit in is equivalent to having a fixed point, and so, what distinguishes the Roller nonelementary from the visual nonelementary actions is the existence of finite orbits in the corresponding boundaries. Furthermore, (visual) nonelementary actions are necessarily Roller nonelementary, though the converse is false in general. One can take for example the standard action of on , where is the standard Cayley tree. It is straightforward to see that this example is essential and elementary but not Roller elementary. On the other hand, if we set then both and are invariant and nonelementary. This phenomenon is captured in the following:
Proposition 3.10.
([CFI12, Proposition 2.26], [CS11]) Let be a finite dimensional CAT(0) cube complex and let be an action on . One of the following hold:

The action is Rollerelementary.

There is a finite index subgroup and a invariant subcomplex associated to a invariant on which the action is nonelementary and essential.
Moreover, if the action of is nonelementary on then and is the essential core.
3.3. Product Structures
A CAT(0) cube complex is said to be reducible if it can be expressed as a nontrivial product. Otherwise, it is said to be irreducible. A CAT(0) cube complex with halfspaces , admits a product decomposition if and only if there is a decomposition
such that if then for every and is the CAT(0) cube complex on halfspaces .
Remark 3.11.
This means that an interval in the product is the product of the intervals. Namely if then
The irreducible decomposition is unique (up to permutation of the factors) and contains as a finite index subgroup. Therefore, if acts on by automorphisms, then there is a subgroup of finite index which preserves the product decomposition [CS11, Proposition 2.6].
We take the opportunity to record here that the Roller boundary is incredibly well behaved when it comes to products:
While the definition of (ir)reducibility for a CAT(0) cube complex in terms of its halfspace structure is already quite useful, its global character makes it at times difficult to implement. Behrstock and Charney developed an incredibly useful notion for the Salvetti complexes associated to Right Angled Artin Groups, which was then extended by Caprace and Sageev.
Definition 3.12 ([Bc12]).
Two halfspaces are said to be strongly separated if there is no halfspace which is simultaneously transverse to both and . For a subset we will say that are strongly separated in if there is no halfspace in which is simultaneously transverse to both and .
The following is proved in [BC12] for (the universal cover of) the Salvetti complex of nonabelian RAAGs:
Theorem 3.13.
[CS11] Let be a finite dimensional irreducible CAT(0) cube complex such that the action of is essential and nonelementary. Then is irreducible if and only if there exists a pair of strongly separated halfspaces.
3.4. Euclidean Complexes
Definition 3.14.
Let be a CAT(0) cube complex. We say that is Euclidean if the vertex set with the combinatorial metric embeds isometrically in with the metric, for some .
As our prime example of a Euclidean CAT(0) cube complex is an interval, which is the content of Theorem 2.7.
Definition 3.15.
An tuple of halfspaces is said to be facing if for each
As an obstruction to when a CAT(0) cube complex is Euclidean, there is the following:
Lemma 3.16.
[CFI12, Lemma 2.33] If is a Euclidean CAT(0) cube complex that isometrically embeds into , then any set of pairwise facing halfspaces has cardinality at most .
The following is an important characterization of when a complex is Euclidean.
Corollary 3.17.
Remark 3.18.
Lemma 3.19.
Let be an interval on . Then is elementary.
Proof.
If is an interval then the collection of points on which it is an interval is finite and bounded above by by Corollary 2.8. Let be the finite index subgroup which fixes this set pointwise and let belong to this set. Then, for every finite collection the intersection is not empty. Hence, the intersection of the visual boundaries corresponding to the must be nonempty and its unique circumcenter is fixed for the action by [CS11, Proposition 3.6]. ∎
Lemma 3.20.
[CFI12, Lemma 2.28]. Let be a nonelementary action. Then the action on the irreducible factors of the essential core is also nonelementary and essential, where is the finite index subgroup preserving this decomposition.
We immediately deduce (see also [CFI12, Corollary 2.34]):
Corollary 3.21.
If is nonelementary then any irreducible factor in the essential core of is not Euclidean and hence not an interval.
3.5. The Combinatorial Bridge
Behrstock and Charney showed that the CAT(0) bridge connecting two strongly separated walls is a finite geodesic segment [BC12]. In [CFI12] this idea is translated to the “combinatorial”, i.e. median setting. Most of what follows is from or adapted from [CFI12], though the notation differs slightly. Recall our convention that, is denoted by , for a halfspace , and that given another halfspace we will say that if either or is a proper subset of .
Remark 3.22.
Observe that for two halfspaces we have that and are both nonempty if and only if or .
Definition 3.23.
Let be a nested pair of halfspaces and denote the collection of halfspaces such that one of the following conditions hold:

and ;

and ;

.
Furthermore, a halfspace will be said to be of type (1), (2), or (3) if it satisfies the corresponding property.
We note that both and are not of types (1)–(3). Furthermore, since and are disjoint, condition (1) actually means that and (and analogously for condition (2)).
Lemma 3.24.
Given , the collection is consistent. Furthermore, satisfies the descending chain condition.
Proof.
We begin by observing that if then we necessarily have that .
Now suppose that is of type (3). If then clearly is also of type (3) and hence .
Next suppose that is of type (1) and . Then, . Since and we have that and are both nonempty. By Remark 3.22, either or , and so .
Of course, a symmetric argument shows that if of type (2) and then .
Next we turn to the question of the descending chain condition. Since there are finitely many halfspaces in between any two, an infinite descending chain will eventually fail to satisfy all three conditions (1) through (3). ∎
Definition 3.25.
The (combinatorial) bridge between is denoted by and corresponds to .
Lemma 3.26.
Assume that and set . The collection consists of halfspaces such that one of the following hold:

and ;

up to replacing by we have that
Proof.
It is clear that if is a halfspace that is transverse to both and then . It is also clear that if or then .
Now assume that . Then and does not contain nor is it transverse to and hence .
Conversely, suppose that . If then since and are not type we must have that . Assume then that is not transverse to both and .
If either or then up to replacing by we have that . Therefore, suppose that and . Then, each of and is contained in or . Since both and are not of type (3), we must have that, up to replacing by , and . Now, of course, since , we conclude that and , i.e.
∎
Corollary 3.27.
Assume are strongly separated. With the notation as in Lemma 3.26, gives a lifting decomposition of . Furthermore, there exists a unique such that
Proof.
The fact that is a lifting decomposition for
follows from Lemmas 3.24 and 3.26. In particular, is precisely the set of halfspaces which separate points in .
Let us show that is an interval. To this end, let . Since it follows that .
Fixing , suppose that . Then, any wall separating them must belong to . By Lemma 3.26 and the assumption that and are strongly separated, (again replacing by if necessary) we see that . This means of course that and hence , i.e. is a singleton, for both .
Set . Once more, since and are strongly separated, the collection corresponds to halfspaces nested in between and and hence . Conversely, if then separates the two points and hence . ∎
Lemma 3.28.
Assume that are strongly separated. If , and , then
Proof.
Let . Recall that is uniquely determined by
and so we must show that if then . In fact, we will show that if then .
By assumption . Furthermore, since and are strongly separated, can not be transverse to both and . Suppose that is parallel to . Since, and by Remark 3.22 we have that . The same argument shows that either is transverse to or contains and therefore . ∎
3.6. More Consequences
Lemma 3.29.
[CFI12, Lemma 2.28] Suppose that is a nonelementary and essential action, with irreducible.

If then there exists such that the following are pairwise strongly separated

In each orbit, there are tuples of facing and pairwise strongly separated halfspaces.
Lemma 3.30.
Let be an irreducible CAT(0) cube complex with a nonelementary and essential action. Let and with . Then, there exists an ntuple contained in a single orbit that are facing and pairwise strongly separated such that
Proof.
Fix . For we take and as in Lemma 3.29.
Now, assume . Let be the collection of facing and pairwise strongly separated halfspaces guaranteed by Item (2) of Lemma 3.29. For each exactly one of the following possibilities hold:

;

;

;

.
Furthermore, since the collection is strongly separated and facing, there is at most one , assume it is , for which the mutually exclusive items (a) through (c) can occur. Therefore, we have that
Finally, if the constructed set does not belong to the same orbit, one may skewer and flip to assure that they do belong to the same orbit yielding the desired collection. ∎
Lemma 3.31.
Suppose that is an irreducible CAT(0) cube complex with a nonelementary and essential action of the group . Any nonempty subset verifying the following properties must be equal to :

(Symmetric): ;

(invariant): ;

(Convex): If with and such that then .
Proof.
Since is irreducible, and is nonempty and invariant, we can apply Lemmas 3.29 and 3.8 to obtain a biinfinite sequence of pairwise strongly separated halfspaces with .
Let . Then, there is at most one element of which is transverse to . This means that, there is an for which . Since is symmetric and convex, we conclude that . ∎
Corollary 3.32.
Assume we have an essential and nonelementary action of on , and of finite index. If is a nonempty symmetric convex invariant collection of halfspaces. Then either or and is the halfspace structure for .
4. The FurstenbergPoisson Boundary
We now assume that is a discrete countable group.
The interested reader should consult the following references for further details [Fur02], [Kai03], [BS06], [CFI12], [BF14]. This exposition follows closely these sources, as well as a nice series of lectures by Uri Bader at CIRM in winter 2014.
Definition 4.1.
Consider a measurable action of the group on the measure space and a measure on . The convolution as a measure on is the push forward under the action map of the product measure from :
We shall make use of the following elementary fact:
Lemma 4.2.
Let denote the counting measure on , the Dirac measure at the identity and be a probability measure. Then , and .
The proof of this is straightforward but we record it to exemplify the usefulness of thinking of convolution of measures in the context of pushforwards as above:
Proof.
Let us show that for every . Indeed,
A similar calculation shows that . ∎
Definition 4.3.
A probability measure is said to be generating if for every there are such that , i.e. the support of generates as a semigroup.
Given a generating measure , we will associate two spaces to the random walk. The space of increments and the path space. As sets, these two spaces will be the same, but the measures on them will be different.
Let . The measure on naturally induces a measure on which assigns measure to the cylinder set:
Let . Given another measure on , which is not assumed to be a probability measure, we can consider the associated measure on . This is the space of increments, where we see the first factor as where to start the random walk (with distribution ). We will consider the action of on which is transitive on the first factor and trivial on the rest.
Next let . We will consider the diagonal action of on . Observe that there is a natural map , where the th component of the image is given by
With the actions of defined above on and we note that is equivariant. We think of the image of this map as the space of sample paths. Consider the time shift map:
which is just a composition of the standard action map given by with the time shift map:
With these definitions in place, we observe that .
Finally, applying Lemma 4.2, we deduce: