{"history":[],"article":{"id":"0b6bf693-1fbf-49dd-b70d-06e594eafda9","title":"Ergodic flow","slug":"ergodic-flow","content":":::summary\n:::\n\n# \nIn [mathematics](https://bliptext.com/articles/mathematics), **ergodic flows** occur in [geometry](https://bliptext.com/articles/geometry), through the [geodesic](https://bliptext.com/articles/geodesic) and [horocycle](https://bliptext.com/articles/horocycle) flows of closed [hyperbolic surfaces](https://bliptext.com/articles/hyperbolic-surface).\nBoth of these examples have been understood in terms of the theory of [unitary representations](https://bliptext.com/articles/unitary-representation) of [locally compact groups](https://bliptext.com/articles/locally-compact-group): if Γ is the [fundamental group](https://bliptext.com/articles/fundamental-group) of a [closed surface](https://bliptext.com/articles/closed-surface), regarded as a discrete subgroup of the [Möbius group](https://bliptext.com/articles/m-bius-group) G = PSL(2,**R**), then the geodesic and horocycle flow can be identified with the natural actions of the subgroups A of real positive diagonal matrices and N of lower unitriangular matrices on the unit [tangent bundle](https://bliptext.com/articles/tangent-bundle) G / Γ.\nThe Ambrose-Kakutani theorem expresses every ergodic flow as the flow built from an invertible ergodic transformation on a [measure space](https://bliptext.com/articles/measure-space) using a ceiling function.\nIn the case of [geodesic flow](https://bliptext.com/articles/geodesic-flow), the ergodic transformation can be understood in terms of [symbolic dynamics](https://bliptext.com/articles/symbolic-dynamics); and in terms of the ergodic actions of Γ on the boundary S1 = G / AN and G / A = S1 × S1 \\ diag S1.\nErgodic flows also arise naturally as invariants in the classification of [von Neumann algebras](https://bliptext.com/articles/von-neumann-algebra): the flow of weights for a factor of type III0 is an ergodic flow on a [measure space](https://bliptext.com/articles/measure-space).\n\n# Hedlund's theorem: ergodicity of geodesic and horocycle flows\nThe method using representation theory relies on the following two results:\nG\n=\nSL(2,R)\nacts unitarily on a [Hilbert space](https://bliptext.com/articles/hilbert-space)\nH\nand\nξ\nis a unit vector fixed by the subgroup\nN\nof upper [unitriangular matrices](https://bliptext.com/articles/triangular-matrix), then\nξ\nis fixed by\nG\n.\nG\n=\nSL(2,R)\nacts unitarily on a Hilbert space\nH\nand\nξ\nis a unit vector fixed by the subgroup\nA\nof diagonal matrices of determinant\n1\n, then\nξ\nis fixed by\nG\n.\n(1) As a topological space, the [homogeneous space](https://bliptext.com/articles/homogeneous-space)\nX\n=\nG / N\ncan be identified with\nR2 \\ {0}\nwith the standard action of\nG\nas\n2 × 2\nmatrices.\nThe subgroup of\nN\nhas two kinds of orbits: orbits parallel to the\nx\n-axis with\ny ≠ 0\nx\n-axis.\nA continuous function on\nX\nthat is constant on\nN\n-orbits must therefore be constant on the real axis with the origin removed.\nThus the matrix coefficient\nψ(x)\n=\n(xξ,ξ)\nsatisfies\nψ(g)\n=\n1\nfor\ng\nin\nA · N\n. By unitarity, ||\ngξ − ξ\n2\n=\n2 − ψ(g) − ψ(g–1)\n=\n0\n, so that\ngξ\n=\nξ\nfor all\ng\nin\nB\n=\nA · N\n=\nN · A\n. Now let\ns\nbe the matrix.\nThen, as is easily verified, the [double coset](https://bliptext.com/articles/double-coset)\nBsB\nis dense in\nG\nξ\nis fixed by\nB\n, the matrix coefficient\nψ(g)\nis constant on\nBsB\n. By density,\nψ(g)\n=\n1\nfor all\ng\nin\nG\n. The same argument as above shows that\ngξ\n=\nξ\nfor all\ng\nin\nG\n.\n(2) Suppose that\nξ\nis fixed by\nA\n. For the unitary 1-parameter group\nN\n≅\nR\n, let\nP[a,b]\nbe the [spectral subspace](https://bliptext.com/articles/stone-s-theorem-on-one-parameter-unitary-groups) corresponding to the interval\n[a,b]\n. Let\ng(s)\nbe the diagonal matrix with entries\ns\nand\ns−1\nfor |\ns\n> 1\n. Then\ng(s)P[a,b]g(s)−1 = P[s2a, s2a]\n. As |\ns\n0< a < b\nor\na < b < 0\n. Since\ng(s)ξ\n=\nξ\n, it follows\nP[a,b]ξ\n=\n0\nin either case.\nBy the spectral theorem, it follows that\nξ\nis in the spectral subspace\nP({0})\nξ\nis fixed by\nN\n. But then, by the first result,\nξ\nmust be fixed by\nG\n.\nThe classical theorems of [Gustav Hedlund](https://bliptext.com/articles/gustav-hedlund) from the early 1930s assert the ergodicity of the geodesic and horocycle flows corresponding to compact [Riemann surfaces](https://bliptext.com/articles/riemann-surface) of constant negative curvature.\nHedlund's theorem can be re-interpreted in terms of unitary representations of\nG\nand its subgroups.\nLet\nΓ\nbe a cocompact subgroup of\nPSL(2,R)\n=\nG / {±I}\nfor which all non-scalar elements are hyperbolic.\nLet\nX\n=\nΓ \\ G / K\nwhere\nK\nis the subgroup of rotations.\nThe unit tangent bundle is\nSX\n=\nΓ \\ G\n, with the geodesic flow given by the right action of\nA\nand the horocycle flow by the right action of\nN\n. This action if ergodic if\nL∞(Γ \\ G)A\n=\nC\n, i.e. the functions fixed by\nA\nare just the constant functions.\nSince\nΓ \\ G\nis compact, this will be the case if\nL2(Γ \\ G)A\n=\nC\n. Let\nH\n=\nL2(Γ \\ G)\n. Thus\nG\nacts unitarily on\nH\non the right.\nAny non-zero\nξ\nin\nH\nfixed by\nA\nmust be fixed by\nG\n, by the second result above.\nBut in this case, if\nf\nis a continuous function on\nG\nof compact support with\n∫ f\n=\n1\n, then\nξ\n=\n∫ f(g) gξ dg\n. The right hand side equals\nξ ∗ f\n, a continuous function on\nG\n. Since\nξ\nis right-invariant under\nG\n, it follows that\nξ\nis constant, as required.\nHence the geodesic flow is ergodic.\nReplacing\nA\nby\nN\nand using the first result above, the same argument shows that the horocycle flow is ergodic.\n\n# Ambrose−Kakutani–Krengel–Kubo theorem\n\n## Induced flows\nExamples of flows induced from non-singular invertible transformations of measure spaces were defined by in his operator-theoretic approach to [classical mechanics](https://bliptext.com/articles/classical-mechanics) and [ergodic theory](https://bliptext.com/articles/ergodic-theory).\nLet T be a non-singular invertible transformation of (X,μ) giving rise to an automorphism τ of A = L∞(X).\nThis gives rise to an invertible transformation T ⊗ id of the measure space (X × ****R****,μ × m), where m is Lebesgue measure, and hence an automorphism τ ⊗ id of A ⊗ L∞(****R****).\nTranslation Lt defines a flow on ****R**** preserving m and hence a flow λt on L∞(****R****).\nLet S = L1 with corresponding automorphism σ of L∞(**R**).\nThus τ ⊗ σ gives an automorphism of A ⊗ L∞(**R**) which commutes with the flow id ⊗ λt.\nThe induced measure space Y is defined by B = L∞(Y) = L∞(X × **R**)τ ⊗ σ, the functions fixed by the automorphism τ ⊗ σ.\nIt admits the induced flow given by the restriction of id ⊗ λt to B.\nSince λt acts ergodically on L∞(**R**), it follows that the functions fixed by the flow can be identified with L∞(X)τ.\nIn particular if the original transformation is ergodic, the flow that it induces is also ergodic.\n\n## Flows built under a ceiling function\nThe induced action can also be described in terms of unitary operators and it is this approach which clarifies the generalisation to special flows, i.e. flows built under ceiling functions.\nLet **R** be the Fourier transform on L2(**R**,m), a unitary operator such that **R**λ(t)**R**∗ = Vt where λ(t) is translation by t and Vt is multiplication by eitx.\nThus Vt lies in L∞(**R**).\nIn particular V1 = R S R∗.\nA ceiling function h is a function in A with h ≥ ε1 with ε > 0.\nThen eihx gives a unitary representation of ******R****** in A, continuous in the strong operator topology and hence a unitary element W of A ⊗ L∞(******R******), acting on L2(X,μ) ⊗ L2(******R******).\nIn particular W commutes with I ⊗Vt. So\nW1 = (I ⊗ R∗) W (I ⊗ R)\ncommutes with I ⊗ λ(t).\nThe action T on L∞(X) induces a unitary U on L2(X) using the square root of the [Radon−Nikodym derivative](https://bliptext.com/articles/radon-nikodym-derivative) of μ ∘ T with respect to μ.\nThe induced algebra B is defined as the subalgebra of\nA ⊗ L∞(R)\ncommuting with\nT ⊗ S\n. The induced flow σt is given by\nσt (b) = (I ⊗ λ(t)) b (I ⊗ λ(−t))\n.\nThe special flow corresponding to the ceiling function\nh\nwith base transformation\nT\nis defined on the algebra B(H) given by the elements in\nA ⊗ L∞(R)\ncommuting with\n(T ⊗ I) W1\n. The induced flow corresponds to the ceiling function h ≡ 1, the constant function.\nAgain W1, and hence\n(T ⊗ I) W1,\ncommutes with I ⊗ λ(t).\nThe special flow on B(H) is again given by\nσt (b) = (I ⊗ λ(t)) b (I ⊗ λ(−t))\n. The same reasoning as for induced actions shows that the functions fixed by the flow correspond to the functions in A fixed by σ, so that the special flow is ergodic if the original non-singular transformation T is ergodic.\n\n## Relation to Hopf decomposition\nIf St is an ergodic flow on the measure space (X,μ) corresponding to a 1-parameter group of automorphisms σt of A = L∞(X,μ), then by the [Hopf decomposition](https://bliptext.com/articles/hopf-decomposition) either every St with t ≠ 0 is dissipative or every St with t ≠ 0 is conservative.\nIn the dissipative case, the ergodic flow must be transitive, so that A can be identified with L∞(****R****) under Lebesgue measure and ****R**** acting by translation.\nTo prove the result on the dissipative case, note that A = L∞(X,μ) is a maximal Abelian [von Neumann algebra](https://bliptext.com/articles/von-neumann-algebra) acting on the Hilbert space L2(X,μ).\nThe probability measure μ can be replaced by an equivalent invariant measure λ and there is a projection p in A such that σt(p) < p for t > 0 and λ(p – σt(p)) = t.\nIn this case σt(p) =E([t,∞)) where E is a projection-valued measure on ******R******. These projections generate a von Neumann subalgebra B of A. By ergodicity σt(p) \\uparrow 1 as t tends to −∞. The Hilbert space L2(X,λ) can be identified with the completion of the subspace of f in A with λ(|f|2) < ∞. The subspace corresponding to B can be identified with L2(******R******) and B with L∞(******R******). Since λ is invariant under St, it is implemented by a unitary representation Ut. By the [Stone–von Neumann theorem](https://bliptext.com/articles/stone-von-neumann-theorem) for the covariant system B, Ut, the Hilbert space H = L2(X,λ) admits a decomposition L2(******R******) ⊗ \\ell^2 where B and Ut act only on the first tensor factor. If there is an element a of A not in B, then it lies in the commutant of B ⊗ **C**, i.e. in B ⊗ B(\\ell^2). If can thus be realised as a matrix with entries in B.\nMultiplying by χ[r,s] in B, the entries of a can be taken to be in L∞(****R****) ∩ L1(****R****).\nFor such functions f, as an elementary case of the [ergodic theorem](https://bliptext.com/articles/ergodic-theorem) the average of σt(f) over [−R,R] tends in the weak operator topology to ∫ f(t) dt.\nHence for appropriate χ[r,s] this will produce an element in A which lies in **C** ⊗ B(\\ell^2) and is not a multiple of 1 ⊗ I.\nBut such an element commutes with Ut so is fixed by σt, contradicting ergodicity.\nHence A = B = L∞(**R**).\nWhen all the σt with t ≠ 0 are conservative, the flow is said to be properly ergodic.\nIn this case it follows that for every non-zero p in A and t ≠ 0, p ≤ σt (p) ∨ σ2t (p) ∨ σ3t (p) ∨ ⋅⋅⋅ In particular ∨±t>0 σt (p) = 1 for p ≠ 0.\n\n## Theorem of Ambrose–Kakutani–Krengel–Kubo\nThe theorem states that every ergodic flow is isomorphic to a special flow corresponding to a ceiling function with ergodic base transformation.\nIf the flow leaves a probability measure invariant, the same is true of the base transformation.\nFor simplicity only the original result of is considered, the case of an ergodic flow preserving a probability measure\nμ\n. Let\nA\n=\nL∞(X,μ)\nand let\nσt\nbe the ergodic flow.\nSince the flow is conservative, for any projection p ≠ 0, 1 in A there is a T > 0 without σT(p) ≤ p, so that\n(1 − p) ∧ σT(p) ≠ 0\n. On the other hand, as r > 0 decreases to zero\nin the [strong operator topology](https://bliptext.com/articles/strong-operator-topology) or equivalently the [weak operator topology](https://bliptext.com/articles/weak-operator-topology) (these topologies coincide on unitaries, hence involutions, hence projections).\nIndeed, it suffices to show that if ν is any finite measure on A, then ν(ar) tends to ν(p).\nThis follows because f(t) = ν(σt(p)) is a continuous function of t so that the average of f over [0,r] tends to f(0) as r tends to 0.\nNote that\n0 ≤ ar ≤ 1\n. Now for fixed r > 0, following, set\nSet r = N–1 for N large and fN = ar. Thus 0 ≤ fN ≤ 1 in L∞(X,μ) and fN tends to a characteristic function p in L1(X,μ).\nBut then, if ε = 1/4, it follows that χ[0,ε](fN) tends to χ[0,ε](p) = 1 – p in L1(X).\nUsing the splitting A = pA ⊕ (1 − p)A, this reduces to proving that if 0 ≤ hN ≤ 1 in L∞(Y,ν) and hN tends to 0 in L1(Y,ν), then χ[1−ε,1](hN) tends to 0 in L1(Y,ν).\nBut this follows easily by [Chebyshev's inequality](https://bliptext.com/articles/chebyshev-s-inequality): indeed\n(1−ε) χ[1−ε,1](hN) ≤ hN\n, so that\nν(χ[1−ε,1](hN)) ≤ (1−ε)−1 ν(hN)\n, which tends to 0 by assumption.\nThus by definition q0(r) ∧ q1(r) = 0.\nMoreover, for r = N−1 sufficiently small, q0(r) ∧ σT(q1(r)) > 0.\nThe above reasoning shows that q0(r) and q1(r) tend to 1 − p and p as r = N−1 tends to 0.\nThis implies that q0(r)σT(q1(r)) tends to (1 − p)σT(p) ≠ 0, so is non-zero for N sufficiently large.\nFixing one such N and, with r = N−1, setting q0= q0(r) and q1= q1(r), it can therefore be assumed that\nThe definition of q0 and q1 also implies that if δ < r/4 = (4N)−1, then\nIn fact if s < t\nTake s = 0, so that t > 0 and suppose that e = σt(q0) ∧ q1 > 0.\nSo e = σt(f) with f ≤ q0.\nThen σt(ar)e = σt(arf) ≤ 1/4 e and are ≥ 3/4 e, so that\nHence ||ar − σt(ar)||∞ ≥ 1/2.\nOn the other hand ||ar − σt(ar)||∞ is bounded above by 2t/r, so that t ≥ r/4.\nHence σt(q0) ∧ q1 = 0 if |t| ≤ δ.\nThe elements ar depend continuously in operator norm on r on (0,1]; from the above σt(ar) is norm continuous in t. Let B0 the closure in the operator norm of the unital *-algebra generated by the σt(ar)'s. It is commutative and separable so, by the [Gelfand–Naimark theorem](https://bliptext.com/articles/gelfand-representation), can be identified with C(Z) where Z is its [spectrum](https://bliptext.com/articles/spectrum-of-a-c-algebra), a compact metric space. By definition B0 is a subalgebra of A and its closure B in the weak or strong operator topology can be identified with L∞(Z,μ) where μ is also used for the restriction of μ to B. The subalgebra B is invariant under the flow σt, which is therefore ergodic. The analysis of this action on B0 and B yields all the tools necessary for constructing the ergodic transformation T and ceiling function h. This will first be carried out for B (so that A will temporarily be assumed to coincide with B) and then later extended to A.\nThe projections q0 and q1 correspond to characteristic functions of open sets.\nX0 and X1 The assumption of proper ergodicity implies that the union of either of these open sets under translates by σt as t runs over the positive or negative reals is conull (i.e. the complement has measure zero).\nReplacing X by their intersection, an open set, it can be assumed that these unions exhaust the whole space (which will now be locally compact instead of compact).\nSince the flow is recurrent any orbit of σt passes through both sets infinitely many times as t tends to either +∞ or −∞.\nBetween a spell first in X0 and then in X1 f must assume the value 1/2 and then 3/4.\nThe last time f equals 1/2 to the first time it equals 3/4 must involve a change in t of at least δ/4 by the Lipschitz continuity condition.\nHence each orbit must intersect the set Ω of x for which f(x) = 1/2, f(σt(x)) > 1/2 for 0 < t ≤ δ/4 infinitely often.\nThe definition implies that different insections with an orbit are separated by a distance of at least δ/4, so Ω intersects each orbit only countably many times and the intersections occur at indefinitely large negative and positive times.\nThus each orbit is broken up into countably many half-open intervals [rn(x),rn+1(x)) of length at least δ/4 with rn(x) tending to ±∞ as n tends to ±∞. This partitioning can be normalised so that r0(x) ≤ 0 and r1(x) > 0. In particular if x lies in Ω, then t0 = 0. The function rn(x) is called the nth return time to Ω.\nThe cross-section Ω is a Borel set because on each compact set {σt(x)} with t in [N−1,δ/4] with N > 4/δ, the function g(t) = f(σt(x)) has an infimum greater than 1/2 + M−1 for a sufficiently large integer M.\nHence Ω can be written as a countable intersection of sets, each of which is a countable unions of closed sets; so Ω is therefore a Borel set.\nThis implies in particular that the functions rn are Borel functions on X.\nGiven y in Ω, the invertible Borel transformation T is defined on Ω by S(y) = σt(y) where t = r1(y), the first return time to Ω.\nThe functions rn(y) restrict to Borel functions on Ω and satisfy the cocycle relation:\nwhere τ is the automorphism induced by T.\nThe **hitting number** Nt(x) for the flow St on X is defined as the integer N such that t lies in [rN(x),rN+1(x)). It is an integer-valued Borel function on **R** × X satisfying the cocycle identity\nThe function h = r1 is a strictly positive Borel function on Ω so formally the flow can be reconstructed from the transformation T using h a ceiling function.\nThe missing T-invariant measure class on Ω will be recovered using the second cocycle Nt. Indeed, the discrete measure on ****Z**** defines a measure class on the product ****Z**** × X and the flow St on the second factor extends to a flow on the product given by\nLikewise the base transformation T induces a transformation **R** on **R** × Ω defined by\nThese transformations are related by an invertible Borel isomorphism Φ from **R** × Ω onto **Z** × X defined by\nIts inverse Ψ from **Z** × X onto **R** × Ω is defined by\nUnder these maps the flow **R**t is carried onto translation by t on the first factor of **R** × Ω and, in the other direction, the invertible **R** is carried onto translation by -1 on **Z** × X.\nIt suffices to check that the measure class on **Z** × X carries over onto the same measure class as some produce measure m × ν on **R** × Ω, where m is Lebesgue measure and ν is a probability measure on Ω with measure class invariant under T.\nThe measure class on **Z** × X is invariant under ****R****, so defines a measure class on ****R**** × Ω, invariant under translation on the first factor.\nOn the other hand, the only measure class on ****R**** invariant under translation is Lebesgue measure, so the measure class on ****R**** × Ω is equivalent to that of m × ν for some probability measure on Ω.\nBy construction ν is quasi-invariant under T.\nUnravelling this construction, it follows that the original flow is isomorphic to the flow built under the ceiling function h for the base transformation T on (Ω,ν).\nThe above reasoning was made with the assumption that B = A.\nIn general A is replaced by a norm closed separable unital *-subalgebra A0\ncontaining B0, invariant under σt and such that σt(f) is a norm continuous function of t for any f in A0.\nTo construct A0, first take a generating set for the von Neumann algebra A formed of countably many projections invariant under σt with t rational.\nReplace each of this countable set of projections by averages over intervals [0,N−1] with respect to σt.\nThe norm closed unital *-algebra that these generate yields A0.\nBy definition it contains B0 = C(Y).\nBy the Gelfand-Naimark theorem A0 has the form C(X).\nThe construction with ar above applies equally well here: indeed since B0 is a subalgebra of A_{0, Y is a continuous quotient of X, so a function such as ar is equally well a function on X.\nThe construction therefore carries over [mutatis mutandis](https://bliptext.com/articles/mutatis-mutandis) to A, through the quotient map.\nIn summary there exists a measure space (Y,λ) and an ergodic action of ****Z**** × ****R**** on M = L∞(Y,λ) given by commuting actions τn and σt such that there is a τ-invariant subalgebra of M isomorphic to \\ell^\\infty(****Z****) and a σ-invariant subalgebra of M isomorphic to L∞(****R****).\nThe original ergodic flow is given by the restriction of σ to Mτ and the corresponding base transformation given by the restriction of τ to Mσ.\nGiven a flow, it is possible to describe how two different single base transformations that can be used to construct the flow are related.\nbe transformed back into an action of **Z** on Y, i.e. into an invertible transformation TY on Y.\nSet-theoretically TY (x) is defined to be Tm(x) where m ≥ 1 is the smallest integer such that Tm(x) lies in X.\nIt is straightforward to see that applying the same process to the inverse of T yields the inverse of TY. The construction can be described measure theoretically as follows.\nLet e = χY in B = L∞(X,ν) with ν(e) ≠ 0.\nThen e is an orthogonal sum of projections en defined as follows:\nThen if f lies in en B, the corresponding automorphism is τe(f) = τn(f).\nWith these definitions two ergodic transformations τ1, τ2 of B1 and B2 arise from the same flow provided there are non-zero projections e1 and e2 in B1 and B2 such that the systems (τ1)e 1, e1B1 and (τ2)e 2 , e2B2 are isomorphic.","current_revision":null,"created_by":"kACnuQmH5k9Nr5VNVEpVeg7XpvUmMctD","created_at":"2025-01-25T22:27:09.023Z","updated_at":"2025-01-25T22:27:09.023Z","search_vector":"'ergod':1 'flow':2","search_content":" \n \n\n# \nIn [mathematics](https://bliptext.com/articles/mathematics), **ergodic flows** occur in [geometry](https://bliptext.com/articles/geometry), through the [geodesic](https://bliptext.com/articles/geodesic) and [horocycle](https://bliptext.com/articles/horocycle) flows of closed [hyperbolic surfaces](https://bliptext.com/articles/hyperbolic-surface).\nBoth of these examples have been understood in terms of the theory of [unitary representations](https://bliptext.com/articles/unitary-representation) of [locally compact groups](https://bliptext.com/articles/locally-compact-group): if Γ is the [fundamental group](https://bliptext.com/articles/fundamental-group) of a [closed surface](https://bliptext.com/articles/closed-surface), regarded as a discrete subgroup of the [Möbius group](https://bliptext.com/articles/m-bius-group) G = PSL(2,**R**), then the geodesic and horocycle flow can be identified with the natural actions of the subgroups A of real positive diagonal matrices and N of lower unitriangular matrices on the unit [tangent bundle](https://bliptext.com/articles/tangent-bundle) G / Γ.\nThe Ambrose-Kakutani theorem expresses every ergodic flow as the flow built from an invertible ergodic transformation on a [measure space](https://bliptext.com/articles/measure-space) using a ceiling function.\nIn the case of [geodesic flow](https://bliptext.com/articles/geodesic-flow), the ergodic transformation can be understood in terms of [symbolic dynamics](https://bliptext.com/articles/symbolic-dynamics); and in terms of the ergodic actions of Γ on the boundary S1 = G / AN and G / A = S1 × S1 \\ diag S1.\nErgodic flows also arise naturally as invariants in the classification of [von Neumann algebras](https://bliptext.com/articles/von-neumann-algebra): the flow of weights for a factor of type III0 is an ergodic flow on a [measure space](https://bliptext.com/articles/measure-space).\n\n# Hedlund's theorem: ergodicity of geodesic and horocycle flows\nThe method using representation theory relies on the following two results:\nG\n=\nSL(2,R)\nacts unitarily on a [Hilbert space](https://bliptext.com/articles/hilbert-space)\nH\nand\nξ\nis a unit vector fixed by the subgroup\nN\nof upper [unitriangular matrices](https://bliptext.com/articles/triangular-matrix), then\nξ\nis fixed by\nG\n.\nG\n=\nSL(2,R)\nacts unitarily on a Hilbert space\nH\nand\nξ\nis a unit vector fixed by the subgroup\nA\nof diagonal matrices of determinant\n1\n, then\nξ\nis fixed by\nG\n.\n(1) As a topological space, the [homogeneous space](https://bliptext.com/articles/homogeneous-space)\nX\n=\nG / N\ncan be identified with\nR2 \\ {0}\nwith the standard action of\nG\nas\n2 × 2\nmatrices.\nThe subgroup of\nN\nhas two kinds of orbits: orbits parallel to the\nx\n-axis with\ny ≠ 0\nx\n-axis.\nA continuous function on\nX\nthat is constant on\nN\n-orbits must therefore be constant on the real axis with the origin removed.\nThus the matrix coefficient\nψ(x)\n=\n(xξ,ξ)\nsatisfies\nψ(g)\n=\n1\nfor\ng\nin\nA · N\n. By unitarity, ||\ngξ − ξ\n2\n=\n2 − ψ(g) − ψ(g–1)\n=\n0\n, so that\ngξ\n=\nξ\nfor all\ng\nin\nB\n=\nA · N\n=\nN · A\n. Now let\ns\nbe the matrix.\nThen, as is easily verified, the [double coset](https://bliptext.com/articles/double-coset)\nBsB\nis dense in\nG\nξ\nis fixed by\nB\n, the matrix coefficient\nψ(g)\nis constant on\nBsB\n. By density,\nψ(g)\n=\n1\nfor all\ng\nin\nG\n. The same argument as above shows that\ngξ\n=\nξ\nfor all\ng\nin\nG\n.\n(2) Suppose that\nξ\nis fixed by\nA\n. For the unitary 1-parameter group\nN\n≅\nR\n, let\nP[a,b]\nbe the [spectral subspace](https://bliptext.com/articles/stone-s-theorem-on-one-parameter-unitary-groups) corresponding to the interval\n[a,b]\n. Let\ng(s)\nbe the diagonal matrix with entries\ns\nand\ns−1\nfor |\ns\n> 1\n. Then\ng(s)P[a,b]g(s)−1 = P[s2a, s2a]\n. As |\ns\n0 0.\nThen eihx gives a unitary representation of ******R****** in A, continuous in the strong operator topology and hence a unitary element W of A ⊗ L∞(******R******), acting on L2(X,μ) ⊗ L2(******R******).\nIn particular W commutes with I ⊗Vt. So\nW1 = (I ⊗ R∗) W (I ⊗ R)\ncommutes with I ⊗ λ(t).\nThe action T on L∞(X) induces a unitary U on L2(X) using the square root of the [Radon−Nikodym derivative](https://bliptext.com/articles/radon-nikodym-derivative) of μ ∘ T with respect to μ.\nThe induced algebra B is defined as the subalgebra of\nA ⊗ L∞(R)\ncommuting with\nT ⊗ S\n. The induced flow σt is given by\nσt (b) = (I ⊗ λ(t)) b (I ⊗ λ(−t))\n.\nThe special flow corresponding to the ceiling function\nh\nwith base transformation\nT\nis defined on the algebra B(H) given by the elements in\nA ⊗ L∞(R)\ncommuting with\n(T ⊗ I) W1\n. The induced flow corresponds to the ceiling function h ≡ 1, the constant function.\nAgain W1, and hence\n(T ⊗ I) W1,\ncommutes with I ⊗ λ(t).\nThe special flow on B(H) is again given by\nσt (b) = (I ⊗ λ(t)) b (I ⊗ λ(−t))\n. The same reasoning as for induced actions shows that the functions fixed by the flow correspond to the functions in A fixed by σ, so that the special flow is ergodic if the original non-singular transformation T is ergodic.\n\n## Relation to Hopf decomposition\nIf St is an ergodic flow on the measure space (X,μ) corresponding to a 1-parameter group of automorphisms σt of A = L∞(X,μ), then by the [Hopf decomposition](https://bliptext.com/articles/hopf-decomposition) either every St with t ≠ 0 is dissipative or every St with t ≠ 0 is conservative.\nIn the dissipative case, the ergodic flow must be transitive, so that A can be identified with L∞(****R****) under Lebesgue measure and ****R**** acting by translation.\nTo prove the result on the dissipative case, note that A = L∞(X,μ) is a maximal Abelian [von Neumann algebra](https://bliptext.com/articles/von-neumann-algebra) acting on the Hilbert space L2(X,μ).\nThe probability measure μ can be replaced by an equivalent invariant measure λ and there is a projection p in A such that σt(p) 0 and λ(p – σt(p)) = t.\nIn this case σt(p) =E([t,∞)) where E is a projection-valued measure on ******R******. These projections generate a von Neumann subalgebra B of A. By ergodicity σt(p) \\uparrow 1 as t tends to −∞. The Hilbert space L2(X,λ) can be identified with the completion of the subspace of f in A with λ(|f|2) 0 σt (p) = 1 for p ≠ 0.\n\n## Theorem of Ambrose–Kakutani–Krengel–Kubo\nThe theorem states that every ergodic flow is isomorphic to a special flow corresponding to a ceiling function with ergodic base transformation.\nIf the flow leaves a probability measure invariant, the same is true of the base transformation.\nFor simplicity only the original result of is considered, the case of an ergodic flow preserving a probability measure\nμ\n. Let\nA\n=\nL∞(X,μ)\nand let\nσt\nbe the ergodic flow.\nSince the flow is conservative, for any projection p ≠ 0, 1 in A there is a T > 0 without σT(p) ≤ p, so that\n(1 − p) ∧ σT(p) ≠ 0\n. On the other hand, as r > 0 decreases to zero\nin the [strong operator topology](https://bliptext.com/articles/strong-operator-topology) or equivalently the [weak operator topology](https://bliptext.com/articles/weak-operator-topology) (these topologies coincide on unitaries, hence involutions, hence projections).\nIndeed, it suffices to show that if ν is any finite measure on A, then ν(ar) tends to ν(p).\nThis follows because f(t) = ν(σt(p)) is a continuous function of t so that the average of f over [0,r] tends to f(0) as r tends to 0.\nNote that\n0 ≤ ar ≤ 1\n. Now for fixed r > 0, following, set\nSet r = N–1 for N large and fN = ar. Thus 0 ≤ fN ≤ 1 in L∞(X,μ) and fN tends to a characteristic function p in L1(X,μ).\nBut then, if ε = 1/4, it follows that χ[0,ε](fN) tends to χ[0,ε](p) = 1 – p in L1(X).\nUsing the splitting A = pA ⊕ (1 − p)A, this reduces to proving that if 0 ≤ hN ≤ 1 in L∞(Y,ν) and hN tends to 0 in L1(Y,ν), then χ[1−ε,1](hN) tends to 0 in L1(Y,ν).\nBut this follows easily by [Chebyshev's inequality](https://bliptext.com/articles/chebyshev-s-inequality): indeed\n(1−ε) χ[1−ε,1](hN) ≤ hN\n, so that\nν(χ[1−ε,1](hN)) ≤ (1−ε)−1 ν(hN)\n, which tends to 0 by assumption.\nThus by definition q0(r) ∧ q1(r) = 0.\nMoreover, for r = N−1 sufficiently small, q0(r) ∧ σT(q1(r)) > 0.\nThe above reasoning shows that q0(r) and q1(r) tend to 1 − p and p as r = N−1 tends to 0.\nThis implies that q0(r)σT(q1(r)) tends to (1 − p)σT(p) ≠ 0, so is non-zero for N sufficiently large.\nFixing one such N and, with r = N−1, setting q0= q0(r) and q1= q1(r), it can therefore be assumed that\nThe definition of q0 and q1 also implies that if δ 0 and suppose that e = σt(q0) ∧ q1 > 0.\nSo e = σt(f) with f ≤ q0.\nThen σt(ar)e = σt(arf) ≤ 1/4 e and are ≥ 3/4 e, so that\nHence ||ar − σt(ar)||∞ ≥ 1/2.\nOn the other hand ||ar − σt(ar)||∞ is bounded above by 2t/r, so that t ≥ r/4.\nHence σt(q0) ∧ q1 = 0 if |t| ≤ δ.\nThe elements ar depend continuously in operator norm on r on (0,1]; from the above σt(ar) is norm continuous in t. Let B0 the closure in the operator norm of the unital *-algebra generated by the σt(ar)'s. It is commutative and separable so, by the [Gelfand–Naimark theorem](https://bliptext.com/articles/gelfand-representation), can be identified with C(Z) where Z is its [spectrum](https://bliptext.com/articles/spectrum-of-a-c-algebra), a compact metric space. By definition B0 is a subalgebra of A and its closure B in the weak or strong operator topology can be identified with L∞(Z,μ) where μ is also used for the restriction of μ to B. The subalgebra B is invariant under the flow σt, which is therefore ergodic. The analysis of this action on B0 and B yields all the tools necessary for constructing the ergodic transformation T and ceiling function h. This will first be carried out for B (so that A will temporarily be assumed to coincide with B) and then later extended to A.\nThe projections q0 and q1 correspond to characteristic functions of open sets.\nX0 and X1 The assumption of proper ergodicity implies that the union of either of these open sets under translates by σt as t runs over the positive or negative reals is conull (i.e. the complement has measure zero).\nReplacing X by their intersection, an open set, it can be assumed that these unions exhaust the whole space (which will now be locally compact instead of compact).\nSince the flow is recurrent any orbit of σt passes through both sets infinitely many times as t tends to either +∞ or −∞.\nBetween a spell first in X0 and then in X1 f must assume the value 1/2 and then 3/4.\nThe last time f equals 1/2 to the first time it equals 3/4 must involve a change in t of at least δ/4 by the Lipschitz continuity condition.\nHence each orbit must intersect the set Ω of x for which f(x) = 1/2, f(σt(x)) > 1/2 for 0 0. In particular if x lies in Ω, then t0 = 0. The function rn(x) is called the nth return time to Ω.\nThe cross-section Ω is a Borel set because on each compact set {σt(x)} with t in [N−1,δ/4] with N > 4/δ, the function g(t) = f(σt(x)) has an infimum greater than 1/2 + M−1 for a sufficiently large integer M.\nHence Ω can be written as a countable intersection of sets, each of which is a countable unions of closed sets; so Ω is therefore a Borel set.\nThis implies in particular that the functions rn are Borel functions on X.\nGiven y in Ω, the invertible Borel transformation T is defined on Ω by S(y) = σt(y) where t = r1(y), the first return time to Ω.\nThe functions rn(y) restrict to Borel functions on Ω and satisfy the cocycle relation:\nwhere τ is the automorphism induced by T.\nThe **hitting number** Nt(x) for the flow St on X is defined as the integer N such that t lies in [rN(x),rN+1(x)). It is an integer-valued Borel function on **R** × X satisfying the cocycle identity\nThe function h = r1 is a strictly positive Borel function on Ω so formally the flow can be reconstructed from the transformation T using h a ceiling function.\nThe missing T-invariant measure class on Ω will be recovered using the second cocycle Nt. Indeed, the discrete measure on ****Z**** defines a measure class on the product ****Z**** × X and the flow St on the second factor extends to a flow on the product given by\nLikewise the base transformation T induces a transformation **R** on **R** × Ω defined by\nThese transformations are related by an invertible Borel isomorphism Φ from **R** × Ω onto **Z** × X defined by\nIts inverse Ψ from **Z** × X onto **R** × Ω is defined by\nUnder these maps the flow **R**t is carried onto translation by t on the first factor of **R** × Ω and, in the other direction, the invertible **R** is carried onto translation by -1 on **Z** × X.\nIt suffices to check that the measure class on **Z** × X carries over onto the same measure class as some produce measure m × ν on **R** × Ω, where m is Lebesgue measure and ν is a probability measure on Ω with measure class invariant under T.\nThe measure class on **Z** × X is invariant under ****R****, so defines a measure class on ****R**** × Ω, invariant under translation on the first factor.\nOn the other hand, the only measure class on ****R**** invariant under translation is Lebesgue measure, so the measure class on ****R**** × Ω is equivalent to that of m × ν for some probability measure on Ω.\nBy construction ν is quasi-invariant under T.\nUnravelling this construction, it follows that the original flow is isomorphic to the flow built under the ceiling function h for the base transformation T on (Ω,ν).\nThe above reasoning was made with the assumption that B = A.\nIn general A is replaced by a norm closed separable unital *-subalgebra A0\ncontaining B0, invariant under σt and such that σt(f) is a norm continuous function of t for any f in A0.\nTo construct A0, first take a generating set for the von Neumann algebra A formed of countably many projections invariant under σt with t rational.\nReplace each of this countable set of projections by averages over intervals [0,N−1] with respect to σt.\nThe norm closed unital *-algebra that these generate yields A0.\nBy definition it contains B0 = C(Y).\nBy the Gelfand-Naimark theorem A0 has the form C(X).\nThe construction with ar above applies equally well here: indeed since B0 is a subalgebra of A 0, Y is a continuous quotient of X, so a function such as ar is equally well a function on X.\nThe construction therefore carries over [mutatis mutandis](https://bliptext.com/articles/mutatis-mutandis) to A, through the quotient map.\nIn summary there exists a measure space (Y,λ) and an ergodic action of ****Z**** × ****R**** on M = L∞(Y,λ) given by commuting actions τn and σt such that there is a τ-invariant subalgebra of M isomorphic to \\ell^\\infty(****Z****) and a σ-invariant subalgebra of M isomorphic to L∞(****R****).\nThe original ergodic flow is given by the restriction of σ to Mτ and the corresponding base transformation given by the restriction of τ to Mσ.\nGiven a flow, it is possible to describe how two different single base transformations that can be used to construct the flow are related.\nbe transformed back into an action of **Z** on Y, i.e. into an invertible transformation TY on Y.\nSet-theoretically TY (x) is defined to be Tm(x) where m ≥ 1 is the smallest integer such that Tm(x) lies in X.\nIt is straightforward to see that applying the same process to the inverse of T yields the inverse of TY. The construction can be described measure theoretically as follows.\nLet e = χY in B = L∞(X,ν) with ν(e) ≠ 0.\nThen e is an orthogonal sum of projections en defined as follows:\nThen if f lies in en B, the corresponding automorphism is τe(f) = τn(f).\nWith these definitions two ergodic transformations τ1, τ2 of B1 and B2 arise from the same flow provided there are non-zero projections e1 and e2 in B1 and B2 such that the systems (τ1)e 1, e1B1 and (τ2)e 2 , e2B2 are isomorphic.","revisionCount":0},"hasMore":false,"nextCursor":null}}

History