Printer Friendly

An ergodic theorem for the quasi-regular representation of the free group.

1 Introduction

In this paper, we consider the action of the free group [F.sub.r] on its boundary B, a probability space associated to the Cayley graph of [F.sub.r] relative to its canonical generating set. This action is known to be ergodic (see for example [FTP82] and [FTP83]), but since the measure is not preserved, no theorem on the convergence of means of the corresponding unitary operators had been proved. Note that a close result is proved in [FTP83, Lemma 4, Item (i)].

We formulate such a convergence theorem in Theorem 1.2. We prove it following the ideas of [BM11] and [Boy15] replacing [Rob03, Theorem 4.1.1] by Theorem 1.1.

1.1 Geometric setting and notation

We will denote [F.sub.r] = <[a.sub.1],...,[a.sub.r]> the free group on r generators, for r [greater than or equal to] 2. For an element [gamma] [member of] [F.sub.r], there is a unique reduced word in {[a.sup.[+ or -]1.sub.1],...,[a.sup.[+ or -]1.sub.r]} which represents it. This word is denoted [[gamma].sub.1] ... [[gamma].sub.k] for some integer k which is called the length of [gamma] and is denoted by |[gamma]|. The set of all elements of length k is denoted [S.sub.n] and is called the sphere of radius k. If u [member of] [F.sub.r] and k [greater than or equal to] |u|, let us denote [Pr.sub.u] (k) := {[gamma] [member of] [F.sub.r] | |[gamma]| = k, u is a prefix of [gamma]}.

Let X be the geometric realization of the Cayley graph of [F.sub.r] with respect to the set of generators {[a.sup.[+ or -]1.sub.1],...,[a.sup.[+ or -]1.sub.r]}, which is a 2r-regular tree. We endow it with the (natural) distance, denoted by d, which gives length 1 to every edge ; for this distance, the natural action of [F.sub.r] on X is isometric and freely transitive on the vertices. As a metric space, X is CAT(-1). In particular, it is uniquely geodesic, the geodesics between vertices being finite sequences of successive edges. We denote by [x, y] the unique geodesic joining x to y.

We fix, once and for all, a vertex [x.sub.0] in X. For x [member of] X, the vertex of X which is the closest to x in [[x.sub.0], x], is denoted by [??]x[??] ; because the action is free, we can identify [x] with the element [gamma] that brings [x.sub.0] on it, and this identification is an isometry.

The Cayley tree and its boundary

As for any other CAT(-1) space, we can construct a boundary of X and endow it with a distance and a measure. For a general construction, see [Bou95]. The construction we provide here is elementary.

Let us denote by B the set of all right-infinite reduced words on the alphabet {[a.sup.[+ or -]1.sub.1],..., [a.sup.[+ or -]1.sub.r]}. This set is called the boundary of X.

We will consider the set [bar.X] := X [union] B.

For u = [u.sub.1] ... [u.sub.l] [member of] [F.sub.r] \ {e}, we define the sets

[X.sub.u] := {x [member of] X | u is a prefix of [??]x[??]} [B.sub.u] := {[xi] [member of] B | u is a prefix of [xi]} [C.sub.u] := [X.sub.u] [union] [B.sub.u]

We can now define a natural topology on [bar.X] by choosing as a basis of neighborhoods

1. for x [member of] X, the set of all neighborhoods of x in X

2. for [xi] [member of] B, the set {[C.sub.u] | u is a prefix of [xi]}

For this topology, [bar.X] is a compact space in which the subset X is open and dense. The induced topology on X is the one given by the distance. Every isometry of X continuously extends to a homeomorphism of [bar.X].

Distance and measure on the boundary

For [[xi].sub.1] and [[xi].sub.2] in B, we define the Gromov product of [[xi].sub.1] and [[xi].sub.2] with respect to [x.sub.0] by

[mathematical expression not reproducible]

and

[mathematical expression not reproducible]

Then d defines an ultrametric distance on B which induces the same topology ; precisely, if [xi] = [u.sub.1] [u.sub.2] [u.sub.3] ..., then the ball centered in [xi] of radius [e.sup.-k] is just [mathematical expression not reproducible].

On B, there is at most one Borel regular probability measure which is invariant under the isometries of X which fix [x.sub.0]; indeed, such a measure [mathematical expression not reproducible] must satisfy

[mathematical expression not reproducible]

and it is straightforward to check that the ln(2r - 1)-dimensional Hausdorff measure associated to the distance [mathematical expression not reproducible] (normalized to give measure 1 to B) verifies this property, so we will denote this measure by [mathematical expression not reproducible].

If [xi] = [u.sub.1] ... [u.sub.n] ... [member of] B, and x, y G X, then the sequence (d(x, [u.sub.1] ... [u.sub.n]) - [d(y, [u.sub.1] ... [u.sub.n])).sub.n [member of] N] is stationary. We denote this limit [[beta].sub.[xi]](x, y). The function [[beta].sub.[xi]] is called the Busemann function at [xi].

Let us denote, for [xi] [member of] B and [gamma] [member of] [F.sub.r] the function

[mathematical expression not reproducible]

The measure [mathematical expression not reproducible] is, in addition, quasi-invariant under the action of [F.sub.r]. Precisely, the Radon-Nikodym derivative is given for [gamma] [member of] [GAMMA] and for a.e. [xi] [member of] B by

[mathematical expression not reproducible]

where [mathematical expression not reproducible] for any Borel subset A [subset] B.

The quasi-regular representation

Denote the unitary representation, called the quasi-regular representation of [F.sub.r] on the boundary of X by

[pi] : [F.sub.r] [right arrow] U([L.sup.2](B)) [gamma] [??] [pi]([gamma])

defined as

([pi]([gamma])g) ([xi]) := P[([gamma], [xi]).sup.1/2] g([[gamma].sup.-1][xi])

for [gamma] [member of] [F.sub.r] and for g [member of] [L.sup.2] (B). We define the Harish-Chandra function

[mathematical expression not reproducible], (1.1)

where 1B denotes the characteristic function on the boundary.

For [Florin] [member of] C([bar.X]), we define the operators

[mathematical expression not reproducible] (1.2)

We also define the operator

[mathematical expression not reproducible] (1.3)

where m([f.sub.|B]) is the multiplication operator by [f.sub.|B] on [L.sup.2](B), and [mathematical expression not reproducible] is the orthogonal projection on the subspace of constant functions. So, for g [member of] [L.sup.2](B), M(f)g : = <g, [1.sub.B]>[f.sub.|B].

1.2 Results

We have the following equidistribution theorem.

Theorem 1.1. We have, in C([bar.X] x [bar.X])*, the weak-* convergence

[mathematical expression not reproducible]

where [D.sub.x] denotes the Dirac measure on a point x.

We use the above theorem to prove the following convergence of operators.

Theorem 1.2. We have, for all f in C([bar.X]), the weak operator convergence

[mathematical expression not reproducible]

In other words, we have, for all f in C([bar.X]) and for all g, h in [L.sup.2](B), the convergence

[mathematical expression not reproducible]

We deduce the irreducibility of [pi], and give an alternative proof of this well known result (see [FTP82, Theorem 5]).

Corollary 1.3. The representation [pi] is irreducible.

Proof. Applying Theorem 1.2 to [Florin] = [1.sub.[BAR.X]] shows that the orthogonal projection onto the space of constant functions is in the von Neumann algebra generated with [pi]. Then applying Theorem 1.2 to g = [1.sub.B] shows that the vector [1.sub.B] is cyclic. Let F [less than or equal to] [L.sup.2](B) be a closed nonzero invariant subspace. Suppose that [for all]h [member of] F, <h, [1.sub.B]> = 0. Then if h [member of] F, by assumption, for all [gamma] [member of] [F.sub.r], 0 = <[pi]([gamma])h, [1.sub.B]> = <h, [pi]([[gamma].sup.-1])[1.sub.B]>, so by cyclicity of [1.sub.B], h = 0. So there is a vector h [member of] F such that [mathematical expression not reproducible]. But [mathematical expression not reproducible] is in the von Neumann generated by [pi], so [mathematical expression not reproducible]. So F contains the cyclic vector <h,[1.sub.B]>[1.sub.B], so F = [L.sup.2](B).

1.3 Remarks

The study of such averages of unitary operators has first been carried out in [BM11], where an ergodic theorem is proved, in the context of the action of the fundamental group of a compact negatively curved manifold on its universal cover, using an equidistribution result due to Margulis. This work has been generalized in [Boy15] to the context of certain discrete groups of isometries of CAT(-1) spaces, where the equidistribution result is replaced by one of Roblin [Rob03, Theorem 4.1.1]. The Cayley graph of the free group with respect to the standard symmetric set of generators is, itself, a CAT(-1) space, but the quotient (a wedge of circles of length 1) dramatically lacks the property of having a non-arithmetic spectrum, which forces us to prove an analog of Roblin's equidistribution theorem in this setting : this is Theorem 1.1.

It would have been possible to define the length of the edges of X labelled by [a.sup.[+ or -].sub.1] to be [alpha] ([alpha] being a real positive number) instead of 1. Let us denote by [X.sub.[alpha]] the obtained metric space. The quotient has a non-arithmetic spectrum if and only if [alpha] [??] Q. According to [Gar14], the Hausdorff measures on the boundaries of [mathematical expression not reproducible] and [mathematical expression not reproducible] would have been unequivalent, as well as the associated unitary representations, as soon as [[alpha].sub.1] = [[alpha].sup.[+ or -]1.sub.2]. It would be interesting to prove, in this context, analogs of Theorems 1.1 and 1.2, for [alpha] [member of] [Q.sup.*.sub.+] \ {1}.

2 Proofs

2.1 Proof of the equidistribution theorem

For the proof of Theorem 1.1, let us denote

[mathematical expression not reproducible]

The subspace E is clearly closed in C([bar.X] x [bar.X]) ; it remains only to show that it contains a dense subspace of it.

Let us define a modified version of certain characteristic functions : for u [member of] [F.sub.r] we define

[mathematical expression not reproducible]

It is easy to check that he function [[chi].sub.u] is a continuous function which coincides with [[chi]C.sub.u] on [F.sub.r][x.sub.0] and B.

The proof of the following lemma is straightforward.

Lemma 2.1. Let u [member of] [F.sub.r] and k [greater than or equal to] |u|, then [[chi].sub.u] - [summation over ([gamma] [member of] [Pr.sub.u](k))] [[chi].sub.[gamma]] has compact support included in X.

Proposition 2.2. The set [chi] := {[[chi].sub.u] | u [member of] [F.sub.r] / {e}} separates points of B, and the product of two such functions of [chi] is either in [chi], the sum of a function in [chi] and of a function with compact support contained in X, or zero.

Proof. It is clear that [chi] separates points. It follows from Lemma 2.1 that [[chi].sub.u][[chi].sub.v] = [[chi].sub.v] if u is a proper prefix of v, that [[chi].sup.2.sub.u] - [[chi].sub.u] has compact support in X, and that [[chi].sub.u][[chi].sub.v] = 0 if none of u and v is a proper prefix of the other.

Proposition 2.3. The subspace E contains all functions of the form [[chi].sub.u] [cross product] [[chi].sub.v].

Proof. Let n [greater than or equal to] |u| + |v|. We make the useful observation that

1/|[S.sub.n]| [summation over ([gamma] [member of] [S.sub.n])] ([[chi].sub.u] [cross product] [[chi].sub.v]) ([gamma][x.sub.0], [[gamma].sup.-1][x.sub.0]) = |[S.sup.u,v.sub.n]|/|[S.sub.n]|

where [S.sup.u,v.sub.n] is the set of reduced words of length n with u as a prefix and [v.sup.-1] as a suffix. We easily see that this set is in bijection with the set of all reduced words of length n - (|u| + |v|) that do not begin by the inverse of the last letter of u, and that do not end by the inverse of the first letter of [v.sup.-1]. So we have to compute, for s, t [member of]{[a.sup.[+ or -]1.sub.1],...,[a.sup.[+ or -]1.sub.r]} and m [member of] N, the cardinal of the set [S.sub.m](s, t) of reduced words of length m that do not start by s and do not finish by t.

Now we have

[S.sub.m] = [S.sub.m](s, t) [union] {x | |x| = m and starts by s} [union] {x | |x| = m and ends by t}.

Note that the intersection of the two last sets is the set of words both starting by s and ending by t, which is in bijection with [S.sub.m-2] ([s.sup.-1], [t.sup.-1]).

We have then the recurrence relation :

[mathematical expression not reproducible]

We set C := 2(r-1)([(2r-1).sup.2]+1)/[(2r-1).sup.3], n = 4k + j with 0 [less than or equal to] j [less than or equal to] 3 and we obtain

[mathematical expression not reproducible]

Now we can compute

[mathematical expression not reproducible]

when k [right arrow] [infinity], and this proves the claim.

Corollary 2.4. The subspace E is dense in C([bar.X] x [bar.X]).

Proof. Let us consider E', the subspace generated by the constant functions, the functions which can be written as f [cross product] g where f, g are continuous functions on [bar.X] and such that one of them has compact support included in X, and the functions of the form [[chi].sub.u] [cross product] [[chi].sub.v]. By Proposition 2.2, it is a subalgebra of C([bar.X] x [bar.X]) containing the constants and separating points, so by the Stone-Weierstra[beta] theorem, E' is dense in C([bar.X] x [bar.X]). Now, by Proposition 2.3, we have that E' [??] E, so E is dense as well.

2.2 Proof of the ergodic theorem

The proof of Theorem 1.2 consists in two steps:

Step 1: Prove that the sequence Mn is bounded in [??](C([bar.X]), B([L.sup.2](B))).

Step 2: Prove that the sequence converges on a dense subset.

2.2.1 Boundedness

In the following [1.sub.[bar.X]] denotes the constant function 1 on [bar.X]. Define

[F.sub.n] := [[M.sub.n]([1.sub.[bar.X]])][1.sub.B].

We denote by [XI](n) the common value of [XI] on elements of length n.

Proposition 2.5. The function [zeta] [??] [summation over ([gamma] [member of] [S.sub.n])] [(P([gamma], [zeta])).sup.1/2] is constant equal to |[S.sub.n]| x [XI](n).

Proof. This function is constant on orbits of the action of the group of automorphisms of X fixing [x.sub.0]. Since it is transitive on B, the function is constant. By integrating, we find

[mathematical expression not reproducible]

Lemma 2.6. The function [F.sub.n] is constant and equal to [1.sub.B].

Proof. Because [XI] depends only on the length, we have that

[mathematical expression not reproducible]

and the proof is done.

It is easy to see that [M.sub.n] (f) induces continuous linear transformations of [L.sup.1] and [L.sup.[infinity]], which we also denote by [M.sub.n] (f).

Proposition 2.7. The operator [M.sub.n](l[bar.X]), as an element of [??]{[L.sup.[infinity]], [L.sup.[infinity]]), has norm 1; as an element of B([L.sup.2](B)), it is self-adjoint.

Proof Let h [member of] [L.sup.[infinity]](B). Since [M.sub.n](1[bar.X) is positive, we have that

[mathematical expression not reproducible]

so that [mathematical expression not reproducible].

The self-adjointness follows from the fact that [pi]([gamma])* = [pi]([[gamma].sup.-1]) and that the set of summation is symmetric.

Let us briefly recall one useful corollary of Riesz-Thorin's theorem :

Let (Z, [micro]) be a probability space.

Proposition 2.8. Let T be a continuous operator of [L.sup.1] (Z) to itself such that the restriction [T.sub.2] to [L.sup.2](Z) (resp. [T.sub.[infinity]] to [L.sup.[infinity]] (Z)) induces a continuous operator of [L.sup.2] (Z) to itself (resp. [L.sup.[infinity]] (Z) to itself).

Suppose also that [T.sub.2] is self-adjoint, and assume that [mathematical expression not reproducible]. Then [mathematical expression not reproducible].

Proof. Consider the adjoint operator T* of ([L.sup.1])* = [L.sup.[infinity]] to itself. We have that

[mathematical expression not reproducible]

Now because [T.sub.2] is self-adjoint, it is easy to see that T* = [T.sub.[infinity]]. This implies

[mathematical expression not reproducible].

Hence the Riesz-Thorin's theorem gives us the claim.

Proposition 2.9. The sequence [([M.sub.n]).sub.n[member of]N] is bounded in [??](C([BAR.X]), B([L.sup.2](B))).

Proof. If f is real-valued, we have, for every positive g [member of] [L.sup.2](B), the pointwise inequality

-[||[Florin]||.sub.[infinity]][[M.sub.n]([1.sub.[bar.X]])]g [less than or equal to] [[M.sub.n](f)]g [less than or equal to] [||[Florin]||.sub.[infinity]][[M.sub.n]([1.sub.[bar.X]])]g

from which we deduce, for every g [member of] [L.sup.2](B)

[mathematical expression not reproducible]

which allows us to conclude that

[mathematical expression not reproducible]

This proves that [mathematical expression not reproducible].

Now, it follows from Proposition 2.7 and Proposition 2.8 that the sequence [([M.sub.n](1[bar.X])).sub.n [member of] N] is bounded by 1 in B([L.sup.2]), so we are done.

2.2.2 Estimates for the Harish-Chandra function

The values of the Harish-Chandra are known (see for example [FTP82, Theorem 2, Item (iii)]). We provide here the simple computations we need.

We will calculate the value of

[mathematical expression not reproducible]

Lemma 2.10. Let [gamma] = [s.sub.1] ... [s.sub.n] [member of] [F.sub.r]. Let l [member of] {1,...,|[gamma]|}, and u = [s.sub.1]***[s.sub.l-1][t.sub.l][t.sub.l+1]*** [t.sub.l+k] (1), with [t.sub.l] [not equal to] [s.sub.l] and k [greater than or equal to] 0, be a reduced word. Then

[mathematical expression not reproducible]

and

[mathematical expression not reproducible]

Proof. The function [xi] [right arrow] [[beta].sub.[xi]]([x.sub.0], [[gamma]x.sub.0]) is constant on [B.sub.u] equal to 2(l - 1) - |[gamma]|.

So [mathematical expression not reproducible] is the integral of a constant function:

[mathematical expression not reproducible]

The value of [mathematical expression not reproducible] is computed in the same way.

Lemma 2.11. (The Harish-Chandra function)

Let [gamma] = [s.sub.1] ... [s.sub.n] in [S.sub.n] written as a reduced word. We have that

[XI]([gamma]) = (1+r-1/r|[gamma]|)[(2r-1).sup.-|[gamma]|/2].

Proof. We decompose B into the following partition:

[mathematical expression not reproducible]

and Lemma 2.10 provides us the value of the integral on the subsets forming this partition. A simple calculation yields the announced formula.

The proof of the following lemma is then obvious :

Lemma 2.12. If [gamma], w [member of] [F.sub.r] are such that w is not a prefix of [gamma], then there is a constant [C.sub.w] not depending on 7 such that

[mathematical expression not reproducible]

2.2.3 Analysis of matrix coefficients

The goal of this section is to compute the limit of the matrix coefficients [mathematical expression not reproducible].

Lemma 2.13. Let u, w [member of] [F.sub.r] such that none of them is a prefix of the other (i.e. [B.sub.u] [intersection] [B.sub.w] = [empty set]). Then

[mathematical expression not reproducible]

Proof. Using Lemma 2.12, we get

[mathematical expression not reproducible]

Lemma 2.14. Let u, v [member of] [F.sub.r]. Then

[mathematical expression not reproducible]

Proof.

[mathematical expression not reproducible]

Hence, by taking the lim sup and using Theorem 1.1, we obtain the desired inequality.

Proposition 2.15. For all u, v, w [member of] [F.sub.r], we have

[mathematical expression not reproducible]

Proof. We first show the inequality

[mathematical expression not reproducible]

If none of u and w is a prefix of the other, we have nothing to do according to Lemma 2.13. Let us assume that u is a prefix of w (the other case can be treated analogously). According to Lemma 2.1,

[mathematical expression not reproducible]

and according to Lemma 2.13, for all [gamma] [member of] [Pr.sub.u](|w|) \ {w}, [mathematical expression not reproducible].

[mathematical expression not reproducible]

We now compute the expected limit. Let us define

[S.sub.u,v,w] := {(u', v',w') [member of] [F.sub.r] | |u| = |u'|, |v| = |v'|, |w| = |w'|}

so that

[mathematical expression not reproducible].

To simplify the calculation, let us denote

[mathematical expression not reproducible]

It is obvious that A [less than or equal to] B ; we have that B [less than or equal to] C and D [less than or equal to] E because of the inequality we just proved. We also have that C + E = 1 (it is the sum of the measures of members of a partition), and finally, we have that 1 = lim inf<[M.sub.n]([1.sub.[bar.X]])[1.sub.B], [1.sub.B]) [less than or equal to] A + D, because lim [inf.sub.n[right arrow][infinity]] ([a.sub.n] + [b.sub.n]) [less than or equal to] lim [inf.sub.n[right arrow][infinity]] [a.sub.n] + lim [sup.sub.n[right arrow][infinity]] [b.sub.n] for every bounded real sequences [([a.sub.n]).sub.n] and [([b.sub.n]).sub.n].

In conclusion, we have that 1 [less than or equal to] A + D [less than or equal to] C + E [less than or equal to] 1, A [less than or equal to] B [less than or equal to] C and D [less than or equal to] E, from which we deduce A = B = C.

Proof of Theorem 1.2. Because of the boundedness of the sequence [([M.sub.n]).sub.n[member of]N] proved in Proposition 2.9, it is enough to prove the convergence for all {f, [h.sub.1], [h.sub.2]) in a dense subset of C([bar.X]) x [L.sup.2] x [L.sup.2], which is what Proposition 2.15 asserts.

References

[BM11] U. Bader and R. Muchnik. Boundary unitary representations - irre-ducibility and rigidity. Journal of Modern Dynamics, 5(1):49-69, 2011.

[Bou95] M. Bourdon. Structure conforme au bord et flot geodesique d'un CAT(-1)-espace. Enseign. Math, 2(2):63-102, 1995.

[Boy15] A. Boyer. Equidistribution, ergodicity and irreducibility in CAT(-1) spaces. arXiv:1412.8229v2, 2015.

[FTP82] A. Figa-Talamanca and M. A. Picardello. Spherical functions and harmonic analysis on free groups. J. Functional Anal., 47:281-304, 1982.

[FTP83] A. Figa-Talamanca and M. A. Picardello. Harmonic analysis on free groups. Lecture Notes in Pure and Applied Mathematics, 87, 1983.

[Gar14] L. Garncarek. Boundary representations of hyperbolic groups. arXiv:1404.0903, 2014.

[Rob03] T. Roblin. Ergodicite et Equidistribution en courbure negative. Memoires de la SMF 95, 2003.

Weizmann Institute of Science, email: aadrien.boyer@gmail.com

Universite d'Aix-Marseille, CNRS UMR7373, email :a.p.lobos@outlook.com

Received by the editors in February 2016 - In revised form in September 2016.

Communicated by A. Valette.

2010 Mathematics Subject Classification : Primary 37; Secondary 43, 47.

Key words and phrases : boundary representations, ergodic theorems, irreducibility, equidis-tribution, free groups.

(1) For l = 1, [s.sub.1] ... [S.sub.L-1] is e by convention.
COPYRIGHT 2017 Belgian Mathematical Society
No portion of this article can be reproduced without the express written permission from the copyright holder.
Copyright 2017 Gale, Cengage Learning. All rights reserved.

Article Details
Printer friendly Cite/link Email Feedback
Author:Boyer, Adrien; Lobos, Antoine Pinochet
Publication:Bulletin of the Belgian Mathematical Society - Simon Stevin
Date:Apr 1, 2017
Words:4059
Previous Article:Non-Weakly Supercyclic Classes of Weighted Composition Operators on Banach Spaces of Analytic Functions.
Next Article:Homogeneous Geodesies in Generalized Wallach Spaces.
Topics:

Terms of use | Privacy policy | Copyright © 2020 Farlex, Inc. | Feedback | For webmasters