Equidistribution of holonomy in homology classes for Anosov flows

We obtain equidistribution results for the holonomies of periodic orbits of Anosov flows lying in a prescribed homology class. We apply this to frame flows.


Introduction
It is well-known that the periodic orbits of hyperbolic flows display considerable asymptotic regularity. For example, there is a uniform asymptotic formula for their counting functions (the so-called Prime Orbit Theorem) and they are equidistributed with respect to the measure of maximal entropy for the flow. Under appropriate conditions, they also exhibit equidistribution in their lifting properties and this is the theme of this paper. More precisely, we will consider the equidistribution of holonomies restricted to periodic orbits in a given homology class.
Without the restriction in homology, this problem was studied by Parry and Pollicott in [11] and Chapter 8 of the monograph [12] for hyperbolic flows. From a different point of view, Sarnak and Wakayama [16] studied the same problem for finite volume quotients of rank 1 locally symmetric spaces and obtained error terms. There was renewed interest in the problem due to the work of Margulis, Mohammadi and Oh in [9], where there results were extended to geometrically finite quotients. The more delicate problem of equidistribution in a homology was initially studied by Kimoto and Wakayama [8] for finite volume quotients of real hyperbolic space (with an error term). More recently, a paper by Oh and Pan [10] considers the same for convex co-compact quotients of rank 1 locally symmetric spaces as part of an extensive study of mixing properties and horocyclic actions on abelian covers. In this paper, we shall complement this work by taking a more dynamical viewpoint, and consider Anosov flows. Results for geodesic flows and frames flows over compact negatively curved manifolds will then appear as a special case.
We will now be more precise. Let G be a compact connected Lie group and let N be a principal G-bundle over a compact manifold M . Let ψ t : N → N be a C 1 flow that commutes with the G action and let φ t : M → M be the quotient flow. Suppose that φ t : M → M is a transitive Anosov flow. (A natural example is where φ t is the geodesic flow over a compact d-dimensional manifold with negative sectional curvatures and ψ t : N → N is the corresponding frame flow. In this case, G = SO(d − 1). We will discuss this further in section 7 below.) Let γ be a periodic orbit for φ t . We shall write l(γ) for its period. Associated to γ we have both its homology class [γ] ∈ H 1 (M, Z) and its holonomy class h(γ), which is a conjugacy class in G. The latter is defined as follows. Write π : N → M for the bundle map. Let x be a point on γ and let x be a point in π −1 (x). Then there is a well-defined g( x) ∈ G such that ψ l(γ) ( x) = xg( x). If y is another lift of x then g( y) is conjugate to g( x) and h(γ) is conjugacy class this defines.
Let P(φ) denote the set of prime periodic orbits of φ t : M → M and let P T (φ) = {γ ∈ P(φ) : l(γ) ≤ T }. If φ is topologically weak-mixing then it is well-known that where ∼ means that the ratio of the two sides converges to one. We will say that φ t : M → M is homologically full if the map from P(φ) to If φ is homologically full then, for each α, #P T (φ, α) grows exponentially fast (with polynomial correction depending on the first Betti number of M ) but the growth rate (which is independent of α) may be strictly smaller than h. For a more precise statement, see Proposition 3.1 below. We are interested in the distribution of the holonomies h(γ) for γ in a fixed homology class. Under natural hypotheses, we shall show that they are equidistributed with respect to the (normalised) Haar measure on G. We say that F : G → C is a class function if it is constant on each conjugacy class. Definition 1.1. Let ψ t : N → N and φ t : M → M be as above. We say that φ t has homology-equidistributed holonomy if, for each α ∈ H 1 (M, Z) and continuous class function F : G → C, Our main results are the following. The first deals with the case where G is semisimple and, in addition to ther assumptions on φ t , requires only the that ψ t is transitive.
Theorem 1.2. Let G be a compact connected semisimple Lie group. Let N be a principal G-bundle over M and let ψ t : N → N be a C 1 flow that commutes with the G-action. Let φ t : M → M be the quotient flow. Assume that (i) ψ t is transitive; (ii) φ t is a homologically full transitive Anosov flow.
The next result holds when G is no longer assumed to be semisimple but requires an additional a priori condition on the distribution of holonomy of null-homologous periodic orbits. Theorem 1.3. Let G be a compact connected Lie group. Let N be a principal Gbundle over M and let ψ t : N → N be a C 1 flow that commutes with the G-action. Let φ t : M → M be the quotient flow. Assume that for a ∈ R and χ : G → T 1 a one-dimensional representation of G, only when a = 0 and χ is trivial.
We say that φ t : M → M has time-reversal symmetry if there is a fixed point free involution ι : M → M such that φ t • ι = ι • φ −t . This holds for geodesics flows, where M = SV is the unit-tangent bundle over a manifold V and ι is the map that reverses unit tangent vectors: ι(x, v) = (x, −v). In this case, the conclusion of Theorem 1.3 holds subject to a simpler hypothesis on the holonomies. Theorem 1.4. If φ t : M → M has time-reversal symmetry then Theorem 1.3 still holds if we replace (iii) by the condition that we have χ(h(γ)) = 1 ∀γ ∈ P(φ, 0), for χ : G → T 1 a one-dimensional representation of G, only when χ is trivial.
Remark 1.5. The above theorems still hold if, instead of homology, we consider any regular abelian cover of M and ask about the holonomies of periodic orbits in a given Frobenius class for the cover. In this case, b is replaced by the rank of the cover.
We now briefly outline the contents of the paper. In section 2, we recall some material about Lie groups and representations that will be needed later. In section 3, we discuss Anosov flows in greater detail and introduce the L-functions that we shall use to prove our results. In section 4, we introduce symbolic dynamical systems as a tool for analysing the L-functions. In section 5, we proof the equidistribution results srtated about and in section 6 we give a brief discussion of the special case of frame flows.
The author is grateful to Mark Pollicott for bringing the paper [10] to his attention.

Lie Groups and Representations
We will need a small amount of theory relating to compact Lie groups and their representations. Let G be a compact connected Lie group. We shall be interested in its space of irreducible unitary representations. More precisely, let U(d) denote the group of d × d unitary matrices. Then a d-dimensional unitary representation is a continuous homomorphism R : G → U(d). The character χ of R is its trace χ(g) = Trace(R(g)) and we write R = R χ . If R χ is one-dimensional, in which case U(1) = T 1 , then it is equal to its character. (Here and throughout, we use the notation T k = R k /Z k .) A d-dimensional representation R χ is irreducible if C d has no R χ (G)-invariant closed subspaces, apart from {0} and C d itself. Two such representations R and R are isomorphic if R (g) = U −1 R(g)U , for all g ∈ G, for some unitary matrix U , in which case they have the same character.
We say that a continuous function F : G → C is a class function if it is constant on conjugacy classes. Let C(G) denote the set of continuous class functions on G.
The following is part of the Peter-Weyl Theorem. The structure of compact connected Lie groups may be described by the following result. Recall that a Lie group is simple if it has no non-trivial proper closed normal subgroups. Also that the centre of a group G is the set {h ∈ G : hg = gh ∀g ∈ G} and that this is a normal subgroup. Any connected component of the centre in a torus.
where T m is the connected component of the centre of G, the factors G 1 , . . . , G n are simple Lie groups, and Z is a finite subgroup of the centre of the product. Furthermore, this expression is unique up to the order of the simple factors.
A Lie group is called semisimple if its Lie algebra is semisimple (i.e. if the Lie algebra is a direct sum of simple Lie algebras). In our situations, a compact connected Lie group G is semisimple if and only if m = 0 in the decomposition in Proposition 2.2, and this is equivalent to G having finite centre. Proof. Consider the decomposition of G in Propostion 2.2. If m = 0 this reduces to (G 1 × · · · × G m )/Z. It is an easy fact that since each G i is a simple Lie group, we , which is to say G i has no non-trivial characters. Clearly, this extend to the product G 1 × · · · × G n . However, if χ : (G 1 × · · · × G n )/Z → T 1 is a non-trivial character then it lifts to a non-trivial character on G 1 × · · · × G n . On the other hand, if m ≥ 1 then G has a non-trivial character.

Anosov flows and L-functions
We begin by discussing some generalities about flows. A continuous flow ρ t : X → X on a compact metric space X is called transitive if it has a dense orbit and is called topologically weak-mixing if the only continuous solution f : We now consider a situation with more structure. Let G be a compact connected Lie group. and let N be a principal G-bundle over a smooth compact Riemannian manifold M . (This means that N is a fibre bundle over M equipped with a smooth action N × G → N which preserves and acts freely and transitively on each fibre. Furthermore, we can identify M with the quotient space N/G.) Suppose that ψ t : N → N is a C 1 flow on N which commutes with the G-action. Then ψ t induces a well-defined flow φ t : M → M . We assume that ψ t is transitive; this implies that φ t is transitive. In addition, we will assume that φ t is an Anosov flow.
where E 0 is the line bundle generated by the flow and where there exist constants C > 0 and λ > 0 such that We will use γ to denote a typical periodic φ-orbit and write l(γ) for its period. As in the introduction, let P(φ) denote the set of prime periodic φ-orbits, where a periodic orbit We will be interested in the first homology groups, H 1 (M, Z) and An Anosov flow fails to be topologically weak-mixing if and only if it is the constant suspension of a diffeomorphism [13]. As a consequence, if φ t is homologically full, then it is automatically topologically weak-mixing (since, for example, a suspension flow has no null homologous periodic orbits) [17].
As above, let The following was proved in [17]. (More precise results with error terms appear in [14].) where α TF is the torsion-free part of α.
The quantities h * and ξ appearing in the asymptotic may be characterised in the following ways. For F ∈ C(M, R) we define its pressure P (F ) by where the supremum is taken over φ-invariant probability measures m with entropy h φ (m). Let ω be a closed 1-form on M , giving rise to a (de Rham) cohomology class [ω] ∈ H 1 (M, R), and let Z : M → T M be the vector field generating the flow.
. Then β is strictly convex and has a finite minimum occurring at [17] for further details.
Proposition 3.1 was proved by considering L-functions indexed by the character group of H 1 (M, Z), i.e. T b × A. In order to study the holonomy induced by ψ t , we shall consider augmented L-functions which take into account the representations of G. We will follow the approach of [11] and Chapter 8 of [12]. To simplify the exposition, we shall assume that A is trivial, so our character group for homology will just be T b and [γ] TF = [γ]. Given the results of [17], the presence of torsion creates no extra difficulties. Let R χ be an m-dimensional (m ≥ 1) irreducible unitary representation of G with character χ. We will consider the L-function where t ∈ T b . We will analyse these functions in sections 5 and 6.

Shifts of finite type
In this section we introduce the symbolic dynamical systems, shifts of finite type, which may be used to model Anosov flows. We begin with some definitions. For k ≥ 2, let A be a k × k matrix with entries 0 and 1. We define the two-sided shift of finite type associated to A to be the space . . , k} Z : A(x i , x i+1 ) = 1 ∀i ∈ Z}, equipped with the shift map σ : Σ → Σ defined by (σx) i = x i+1 . Similarly, we define the one-sided shift of finite type to be the space equipped with the shift map σ : Σ + → Σ + defined by (σx) i = x i+1 . We note that there is an obvious correspondence between the periodic orbits for σ : Σ → Σ and σ : Σ + → Σ + . Define an equivalence relation ∼ n on Σ by x ∼ n y if x i = y i for |i| ≤ n and, for 0 < θ < 1, define a metric d θ by d θ (x, y) = θ n if x ∼ n y but x ∼ n+1 y. This makes Σ into a compact metric space. For a metric space Y , let F θ (Σ, Y ) denote the space of d θ -Lipschitz functions f : Σ → Y . We will be particularly interested in the cases Y = R or C, or, more generally, C m , m ≥ 1. These are Banach spaces with respect to the norm · θ := · ∞ + | · | θ , where |f | θ is the best choice of Lipschitz constant for f . We make similar definitions on Σ + , except that, when defining ∼ n , the condition |i| ≤ n is replaced by 0 ≤ i ≤ n.
We define the pressure P (f ) of a function f ∈ C(Σ, R) or C(Σ + , R) by where the supremum is taken over σ-invariant probability measures on Σ or Σ + . It is also characterised by the limit For f ∈ F θ (Σ + , C), we define the transfer operator L f : If f is real-valued then the spectral radius of L f is equal to e P (f ) and, moreover, e P (f ) is a simple eigenvalue and the rest of the spectrum is contained in a disc of strictly smaller radius. More generally, if Imf is cohomologous to a constant a ∈ R, then e P (Ref )+ia is a simple eigenvalue for L f and the rest of the spectrum is contained in a disc of strictly smaller radius, in which case, we define e P (f ) = e P (Ref )+ia . We may then use eigenvalue perturbation theory to extend f → e P (f ) as an analytic function on a larger domain D ⊂ F θ (Σ + , C).
The definition of transfer operator may be extended to include twisting by unitary matrices. For a function U ∈ F θ (Σ + , U(m)), m ≥ 1, we define the twisted transfer operator L f,U : We will discuss these operators further in the next section.

Symbolic dynamics for Anosov flows
The Anosov flow φ t : M → M may be modelled by a suspension flow over Σ and this in turn may be transferred to a suspension semiflow over σ : Σ + → Σ + . More precisely, we have the following [1]. Given a strictly positive function r ∈ F θ (Σ, R), we define Σ r = {(x, s) ∈ Σ × R : 0 ≤ s ≤ r(x)}/ ∼, where (x, r(x)) ∼ (σx, 0), and the suspension flow σ r t : Σ r → Σ r by σ r t (x, s + t) modulo the identifications. We note that there is an obvious correspondence between the periodic orbits of σ r t and σ and that if a periodic σ r -orbit corresponds to σ n x = x then this orbit has period r n (x).
Given φ t , we can find a mixing shift of finite type σ : Σ → Σ and strictly positive function r ∈ F θ (Σ + , R) (for some choice of 0 < θ < 1) so that there is a surjective Hölder continuous semi-conjugacy π : Σ r → M between σ r t and φ t that is one-to-one on a residual set. This induces a surjection from the set of prime σ-periodic orbits to P(φ). In addition to r, we can choose a locally constant function f : Σ → Z b (which we may arrange to only depend on two co-ordinates, f (x) = f (x 0 , x 1 )) and a function κ ∈ F θ (Σ + , G) such that, if {x, σx, . . . , σ n−1 x} (with σ n x = x) is mapped to γ then (i) r n (x) = l(γ); (ii) f n (x) = [γ]; (iii) κ n (x) is in the conjugacy class h(γ).
We now pass to the one-sided shift σ : Σ + → Σ + . The function f is clearly defined as a (locally constant) function f : Σ + → Z b . Furthermore, we may choose a function r ∈ F θ 1/2 (Σ, R) that is cohomologous to r and which only depends on the future coordinates, i.e. r (( Thus we may regard r as an element of F θ 1/2 (Σ + , R) and, when σ n x = x, we have (r ) n (x) = r n (x) (where we are using the obvious correspondence between periodic points of the one-sided and two-sided shifts). Also, there exists κ ∈ F θ 1/2 (Σ, G) that is cohomologous to κ and which only depends on the future coordinates ( [12], Appendix II). Although this cohomology does not give equality of κ n (x) and κ n (x), for σ n x = x, if R χ is a unitary representation of G with character χ then χ(κ n (x)) = Trace(R χ (κ n (x))) = Trace(R χ (κ n (x))) = χ(κ n (x)), whenever σ n x = x. From now on, we will suppress the primes and the square root, and suppose that r ∈ F θ (Σ + , R) and κ ∈ F θ (Σ + , G). We note that κ : Σ + → G induces a skew-product system σ : Σ + × G → Σ + × G defined by σ(x, g) = (σx, κ(x)g). The next lemma follows immediately from the transitivity of ψ t : N → N .
There correspondence between periodic σ-orbits and periodic φ-orbits is not a bijection. However, the discrepancy caused by the overcounting has small growth relative to the leading asymptotics [1]. In fact, it follows from the analysis of [17] that, if we define a symbolic L-function then L(s, t, χ)/L σ (s, t, χ) is non-zero and analytic for Re(s) > h * − . Thus, to get the results we require, it will be sufficient to study the functions L σ (s, t, χ). Since we have that L σ (s, t, χ) converges to a non-zero analytic function for P (−Re(s)r + ξ, f ) < 0, i.e. for Re(s) > h * . In order to make progress, we need to extend it to a larger domain and this in turn depends on the spectrum of twisted transfer operators. Let R χ be an m-dimensional irreducible representation of G and write U = R χ • κ : Σ + → U(m). The following is Theorem 8.1, Theorem 8.3 and Proposition 8.3 of [12] (cf. also Proposition 3.7 of [10]).
Lemma 5.2. Let f = u + iv ∈ F θ (Σ + , C) and let ρ(L f,U ) denote the spectral radius of L f,U : u) . Furthermore, if ρ(L f,U ) = e P (u) then there exists w ∈ F θ (Σ + , C m ), w = 0, and a ∈ R such that L f,U w = e P (u)+ia w.
Proof. Part (i) is proved using adaptations of the theory developed earlier in [12]. It may be useful to give a proof of part (ii). Without loss of generality, we may assume that P (u) = 0. Suppose ρ(L f,U ) = 1. By (i), there exists w ∈ F θ (Σ + , C m ), w = 0, and a ∈ R such that L f,U w = e ia w. Using a standard convexity argument (as in [12]), it follows that e iv(y) U (y)w(y) = e ia w(σy), for all y ∈ Σ + . Rewriting, we have e iv(y)−ia w(y) = U (y) −1 w(σy).
for all y ∈ Σ + . Since the set of pre-images n≥0 {x ∈ Σ + : σ n x = z} of any point in z ∈ Σ + is dense, we see from this argument that w is nowhere zero. Now consider the function W : Σ + ×G → C m defined by W (x, g) = R χ (g −1 )w(x). Then Iterating this argument, we have that, for each x ∈ Σ + , {W (σ n x, κ n (x)) : n ≥ 0} is contained in the compact set {e ic W (x, 1) : c ∈ R}. By Lemma 5.1, σ : Σ + × G → Σ + × G is transitive, and so we can choose x ∈ Σ + such that {(σ n x, κ n (x)) : n ≥ 0} is dense in Σ + × G. It follows that so the representation leaves invariant a 1-dimensional subspace, contradicting m > 1.
Combining Lemma 5.2 with the arguments in Chapter 4 of [12], which show how the transfer operator determines the analytic behaviour of L σ (s, t, χ). We have the following.
Proposition 5.3. Let R χ be an m-dimensional irreducible representation of G.

Equidistribution results
In this section we will prove Theorems 1.2, 1.3 and 1.4. We will work with higher order logarithmic derivatives of the L-functions. Write ν = [b/2] and define η(s, t, χ) : = ∂ ν+1 ∂s ν+1 log L(s, t, χ) It will now be convenient to introduce a set Q(φ, α) consisting of all, not necessarily prime, φ-periodic orbits with homology class α. For α ∈ H 1 (M, Z), we also define where γ n is the periodic obtained by traversing the prime periodic orbit γ n times.
We will now prove our equidistribution results. By Proposition 2.1, it is enough to work with a class function of the form where the χ i are characters of irreducible unitary representations, with χ 0 = 1 and a 0 = F dHaar. We define 6.1. Case 1: G semisimple. In this case, G has no non-trivial one-dimensional representations. When R χ in a m-dimensional representation with m > 1, part (i) of Proposition 5.3 gives that η(s, t, χ) is non-zero and analytic of a neighbourhood of {s : Re(s) ≥ h * } × T b and hence η α (s, χ) is analytic in a neighbourhood of {s : Re(s) ≥ h * }. Furthermore, the analysis of [17] shows that η α (s, 1) is analytic in a neighbourhood of {s : Re(s) ≥ h * } \ {h * }. We also have the following result, which follows immediately from Lemma 3 of [17]. Lemma 6.1. There exists C > 0 (independent of α and F ) such that the following hold.
(i) If b is even then exists for almost every τ ∈ R and is locally integrable. Moreover, the difference is dominated by a locally integrable function for ς > h * .
exists for almost every τ ∈ R and is in the Sobolev space W 1,1 loc (R). Moreover, the difference is dominated by a locally integrable function for ς > h * .
When b is even we can use the Wiener-Ikehara Tauberian Theorem and when b is odd we can use a version of the Agmon-Delange Tauberian Theorem from [7] to deduce that ∞ n=1 γ n ∈Q T (φ,α) as T → ∞, where C > 0 is independent of α. It easily follows, since non-prime periodic orbits have a slower exponential growth rate that as T → ∞. Decomposing F into real and imaginary parts, and then these into positive and negative parts, we can use standard partial summation techniques to conclude that as T → ∞. Hence Theorem 1.2 holds by comparing this with the asymptotic for P T (φ, α), i.e. the case F = 1.
6.2. Case 2: G not semisimple. If G is not semisimple then it has non-trivial one-dimensional representations (characters). Let χ : G → T 1 be such a non-trivial character. We need to show that, under the hypotheses of Theorem 1.3, L(s, t, χ) is non-zero and analytic on a neighbourhood of {s : s ≥ h * } × T b . If Re(s) > h * then we automatically have convergence to a non-zero analytic function, so we only need to avoid a singularity at (h * + iτ, t) for any τ ∈ R and t ∈ T b . This amounts to showing that L −(h * +iτ )r+ ξ+2πit,f ,χ does not have 1 as an eigenvalue. In view of the comment after Proposition 5.3, it is enough to show that e −iτ l(γ)+2πi t,[γ] χ(h(γ)) = 1 cannot hold for all γ ∈ P(φ). If it were to hold then, in particular, considering null homologous periodic orbits, we would have e −iτ l(γ) χ(h(γ)) = 1 for all γ ∈ P(φ, 0). Applying hypothesis (iii) of Theorem 1.3, this implies that τ = 0 and χ = 1, a contradiction. The proof now continues as in the semi-simple case.
Since φ t is weak-mixing, this can only hold when τ = 0. Substituting back, we get and then, restricting to null homologous periodic orbits, χ(h(γ)) = 1 ∀γ ∈ P(φ, 0). Now the hypothesis of Theorem 1.4 gives χ = 1, a contradiction as before. The proof then continues in the same way as above.

Frame flows
Let V be a compact d-dimensional Riemannian manifold with negative sectional curvatures. Let M = SV be the unit-tangent bundle and let φ t : M → M be the geodesic flow; this is a homologically full transitive Anosov flow. Let N be the bundle of d-dimensional frames over V and let ψ t : N → N be the frame flow: ψ t parallel transports (e 1 , . . . , e d ) ∈ N along the geodesic determined by e 1 . Then the map (e 1 , . . . , e d ) → e 1 makes N into a principal SO(d − 1)-bundle over M so that ψ t factors to φ t .
The frame flow ψ t leaves invariant a measure which is locally the product of the (normalised) Riemannian volume on M and the Haar measure on SO(d − 1). When we discuss ergodicity of ψ t it will be with respect to this measure.
We note that if d ≥ 4 then SO(d − 1) is semisimple. (In fact, it is simple when d is even.) Theorem 7.1. Let V be a compact negatively curved Riemannian manifold of dimension d ≥ 4 such that the frame flow is ergodic. Then φ t has homologyequidistributed holonomy.
Proof. If ψ t : N → N is ergodic then it is transitive. The other hypotheses of Theorem 1.2 are automatically satisfied and so the result holds.
However, if V is a compact negatively curved Kähler manifold with d ≥ 4 (e.g. a quotient of complex hyperbolic space) then the frame flow is not ergodic due to the presence of an invariant complex structure. Examples are given by quotients of complex hyperbolic space or other rank 1 locally symmteric spaces of non-constant curvature. In these settings, homology-equidistribution of holonomy with respect to the appropriate (smaller) holonomy group was proved in [8] (see also [10]).
If d = 3 then the frame bundle is a principle G-bundle over SV with G = SO(2) ∼ = T 1 . Since the frame flow is ergodic d = 3 and the geodesic flow has time-reversal symmetry, we have the following corollary of Theorem 1.4. Theorem 7.3. Let V be a compact negatively curved Riemannian manifold of dimension 3 such that the frame flow is ergodic. Suppose that {h(γ) : γ ∈ P(φ, 0)} is not contained in a proper closed subgroup of SO (2). Then φ t has homologyequidistributed holonomy.
Remark 7.4 (Convex co-compact quotients). Let φ t : Ω → Ω be a (weak-mixing) hyperbolic flow on a set Ω contained in a manifold M . We may still use the analysis of [17] to obtain an asymptotic counting result for periodic orbits in a prescribed homology class in H 1 (M, Z) provided we assume that every class in H 1 (M, Z) is represented by a periodic orbit. (We may also obtain results with respect to H 1 (Ω, Z) provided this is assumed to have finite rank.) In particular, this holds for the geodesic flow over a convex co-compact quotient of a pinched negative curvature complete simply connected manifold, where Ω is the non-wandering set. Thus we may obtain similar equidistribution results from the frame flow in this setting.