You are currently browsing the tag archive for the ‘harmonic measure’ tag.
My eldest daughter Lisa recently brought home a note from her school from her computer class teacher. Apparently, the 5th grade kids have been learning to program in Logo, in the MicroWorlds programming environment. I have very pleasant memories of learning to program in Logo back when I was in middle school. If you’re not familiar with Logo, it’s a simple variant of Lisp designed by Seymour Papert, whereby the programmer directs a turtle cursor to move about the screen, moving forward some distance, turning left or right, etc. The turtle can also be directed to raise or lower a pen, and one can draw very pretty pictures in Logo as the track of the turtle’s motion.
Let’s restrict our turtle’s movements to alternating between taking a step of a fixed size S, and turning either left or right through some fixed angle A. Then a (compiled) “program” is just a finite string in the two letter alphabet L and R, indicating the direction of turning at each step. A “random turtle” is one for which the choice of L or R at each step is made randomly, say with equal probability, and choices made independently at each step. The motion of a Euclidean random turtle on a small scale is determined by its turning angle A, but on a large scale “looks like” Brownian motion. Here are two examples of Euclidean random turtles for A=45 degrees and A=60 degrees respectively.
The purpose of this blog post is to describe the behavior of a random turtle in the hyperbolic plane, and the appearance of an interesting phase transition at . This example illustrates nicely some themes in probability and group dynamics, and lends itself easily to visualization.
An amenable group acting by homeomorphisms on a compact topological space preserves a probability measure on ; in fact, one can given a definition of amenability in such terms. For example, if is finite, it preserves an atomic measure supported on any orbit. If , one can take a sequence of almost invariant probability measures, supported on the subset (where is arbitrary), and any weak limit will be invariant. For a general amenable group, in place of the subsets , one works with a sequence of Folner sets; i.e. subsets with the property that the ratio of their size to the size of their boundary goes to zero (so to speak).
But if is not amenable, it is generally not true that there is any probability measure on invariant under the action of . The best one can expect is a probability measure which is invariant on average. Such a measure is called a harmonic measure (or a stationary measure) for the -action on . To be concrete, suppose is finitely generated by a symmetric generating set (symmetric here means that if , then ). Let denote the space of probability measures on . One can form an operator defined by the formula
and then look for a probability measure stationary under , which exists for quite general reasons. This measure is the harmonic measure: the expectation of the -measure of under a randomly chosen is equal to the -measure of . Note for any probability measure that is absolutely continuous with respect to ; in fact, the Radon-Nikodym derivative satisfies . Substituting for in this formula, one sees that the measure class of is preserved by , and that for every , we have , where denotes word length with respect to the given generating set.
The existence of harmonic measure is especially useful when is one-dimensional, e.g. in the case that . In one dimension, a measure (at least one of full support without atoms) can be “integrated” to a path metric. Consequently, any finitely generated group of homeomorphisms of the circle is conjugate to a group of bilipschitz homeomorphisms (if the harmonic measure associated to the original action does not have full support, or has atoms, one can “throw in” another random generator to the group; the resulting action can be assumed to have a harmonic measure of full support without atoms, which can be integrated to give a structure with respect to which the group action is bilipschitz). In fact, Deroin-Kleptsyn-Navas showed that any countable group of homeomorphisms of the circle (or interval) is conjugate to a group of bilipschitz homeomorphisms (the hypothesis that be countable is essential; for example, the group acts in a non-bilipschitz way on the interval — see here).
Suppose now that for some manifold . The action of on determines a foliated circle bundle ; i.e. a circle bundle, together with a codimension one foliation transverse to the circle fibers. To see this, first form the product with its product foliation by leaves , where denotes the universal cover of . The group acts on as the deck group of the covering, and on by the given action; the quotient of this diagonal action on the product is the desired circle bundle . The foliation makes into a “flat” circle bundle with structure group . The foliation allows us to associate to each path in a homeomorphism from the fiber over to the fiber over ; integrability (or flatness) implies that this homeomorphism only depends on the relative homotopy class of in . This identification of fibers is called the holonomy of the foliation along the path . If is a Riemannian manifold, there is another kind of harmonic measure on the circle bundle; in other words, a probability measure on each circle with the property that the holonomy associated to an infinitesimal random walk on preserves the expected value of the measure. This is (very closely related to) a special case of a construction due to Lucy Garnett which associates a harmonic transverse measure to any foliation of a manifold , by finding a fixed point of the leafwise heat flow on the space of probability measures on , and disintegrating this measure into the product of the leafwise area measure, and a “harmonic” transverse measure.
In any case, we normalize our foliated circle bundle so that each circle has length in its harmonic measure. Let be the vector field on the circle bundle that rotates each circle at unit speed, and let be the -form on whose kernel is tangent to the leaves of the foliation. We scale so that everywhere. The integrability condition for a foliation is expressed in terms of the -form as the identity , and we can write where . More intrinsically, descends to a -form on the leaves of the foliation which measures the logarithm of the rate at which the transverse measure expands under holonomy in a given direction (the leafwise form is sometimes called the Godbillon class, since it is “half” of the Godbillon-Vey class associated to a codimension one foliation; see e.g. Candel-Conlon volume 2, Chapter 7). Identifying the universal cover of each leaf with by projection, the fact that our measure is harmonic means that “is” the gradient of the logarithm of a positive harmonic function on . As observed by Thurston, the geometry of then puts constraints on the size of . The following discussion is taken largely from Thurston’s paper “Three-manifolds, foliations and circles II” (unfortunately this mostly unwritten paper is not publicly available; some details can be found in my foliations book, example 4.6).
An orthogonal connection on can be obtained by averaging under the flow of ; i.e. if is the diffeomorphism of which rotates each circle through angle , then
is an -invariant -form on , which therefore descends to a -form on , which can be thought of as a connection form for an -structure on the bundle . The curvature of the connection (in the usual sense) is the -form , and we have a formula
The action of the -parameter group trivializes the cotangent bundle to over each fiber. After choosing such a trivialization, we can think of the values of at each point on a fiber as sweeping out a circle in a fixed vector space . The tangent to this circle is found by taking the Lie derivative
In other words, is identified with under the identification of with , and ; i.e. the absolute value of the curvature of the connection is equal to times the area enclosed by .
Now suppose is a hyperbolic -manifold, i.e. a manifold of dimension with constant curvature everywhere. Equivalently, think of as a quotient of hyperbolic space by a discrete group of isometries. A positive harmonic function on has a logarithmic derivative which is bounded pointwise by ; identifying positive harmonic functions on hyperbolic space with distributions on the sphere at infinity, one sees that the “worst case” is the harmonic extension of an atomic measure concentrated at a single point at infinity, since every other positive harmonic function is the weighted average of such examples. As one moves towards or away from a blob at infinity concentrated near this point, the radius of the blob expands like ; since the sphere at infinity has dimension , the conclusion follows. But this means that the speed of (i.e. the size of ) is pointwise bounded by , and the length of the circle is at most . A circle of length can enclose a disk of area at most , so the curvature of the connection has absolute value pointwise bounded by .
One corollary is a new proof of the Milnor-Wood inequality, which says that a foliated circle bundle over a closed oriented surface of genus at least satisfies , where is the Euler number of the bundle (a topological invariant). For, the surface can be given a hyperbolic metric, and the bundle a harmonic connection whose average is an orthogonal connection with pointwise curvature of absolute value at most . The Euler class of the bundle evaluated on the fundamental class of is the Euler number ; we have
where the first equality is the Chern-Weil formula for the Euler class of a bundle in terms of the curvature of a connection, and the last equality is the Gauss-Bonnet theorem for a hyperbolic surface. Another corollary gives lower bounds on the area of an incompressible surface in a hyperbolic manifold. Suppose is an immersion which is injective on . There is a cover of for which the immersion lifts to a homotopy equivalence, and we get an action of on the circle at infinity of , and hence a foliated circle bundle as above with . Integrating as above over the image of in , and using the fact that the curvature of is pointwise bounded by , we deduce that the area of is at least . If is a -manifold, we obtain .
(A somewhat more subtle argument allows one to get better bounds, e.g. replacing by for , and better estimates for higher .)