SHEAR-SHAPE COCYCLES FOR MEASURED LAMINATIONS AND ERGODIC THEORY OF THE EARTHQUAKE FLOW AARON CALDERON AND JAMES FARRE Abstract. We extend Mirzakhani's conjugacy between the earthquake and horocycle flows to a bijection, demonstrating conjugacies between these flows on all strata and exhibiting an abundance of new ergodic measures for the earthquake flow. The structure of our map indicates a natural extension of the earthquake flow to an action of the the upper-triangular subgroup P < SL2R and we classify the ergodic measures for this action as pullbacks of affine measures on the bundle of quadratic differentials. Our main tool is a generalization of the shear coordinates of Bonahon and Thurston to arbitrary measured laminations. 1. Main results 1.1. Conjugating earthquake and horocycle flow. This paper deals with two notions of unipotent flow over the moduli space Mg of Riemann surfaces. The first is the Teichm¨uller horocycle flow, defined on the 1 bundle Q Mg of unit area quadratic differentials q by postcomposing the charts of the flat metric jqj by the 1 s parabolic transformation 0 1 . This flow is ergodic with respect to a finite measure induced by Lebesgue in local period coordinates [Mas82, Vee82] and is a fundamental object of study in Teichm¨ullerdynamics. 1 The second is the earthquake flow on the bundle P Mg, whose fiber is the sphere of unit-length measured geodesic laminations on a hyperbolic surface. The earthquake flow is defined as a generalization of twisting about simple closed curves, or by postcomposing hyperbolic charts by certain piecewise-isometric transfor- mations. While this flow is more mysterious, earthquakes are a familiar tool in Teichm¨ullertheory, playing a central role in Kerckhoff's proof of the Nielsen realization conjecture [Ker83], for example. These two flows are both assembled from families of Hamiltonian flows (extremal length for horocycle [Pap86] and hyperbolic length for earthquake [Ker83, Wol83, SB01]) and exhibit similar non-divergence properties [MW02], but the horocycle flow belongs properly to the flat-geometric viewpoint and the earth- quake flow to the hyperbolic one. All the same, in [Mir08, Theorem 1.1] Mirzakhani established a bridge between the two worlds, demonstrating a measurable conjugacy between the earthquake and horocycle flows. 1 Consequently, the earthquake flow is ergodic with respect to the measure class of Lebesgue on P Mg. In this article, we deepen this connection between flat and hyperbolic geometry, proving that the corre- spondence can be further upgraded to yield new results on both the ergodic theory of the earthquake flow and the structure of Teichm¨ullerspace. Theorem A. Mirzakhani's conjugacy extends to a bijection 1 1 O : P Mg $ Q Mg that conjugates earthquake flow to horocycle flow. 1 The moduli space of quadratic differentials is naturally partitioned into strata Q Mg(κ), disjoint subsets parametrizing unit-area differentials with zeros of order κ = (κ1; : : : ; κn). Similarly, for any κ we may 1 reg define the regular locus P Mg (κ) to be the set of (X; λ) where λ cuts X into regular ideal polygons with (κ1 + 2; : : : ; κn + 2) many sides. With this notation, Mirzakhani's conjugacy can more precisely be stated as the existence of a bijection arXiv:2102.13124v1 [math.GT] 25 Feb 2021 1 reg 4g−4 1 nsc 4g−4 P Mg (1 ) $ Q Mg (1 ) taking earthquake flow to horocycle flow, where the superscript nsc specifies the (full-measure) sublocus of the stratum consisting of those differentials with no horizontal saddle connections. One of our main applications of Theorem A is to produce an analogue of Mirzakhani's conjugacy for components of strata (even those coming from global squares of Abelian differentials), confirming a conjecture of Alex Wright [Wri18, Remark 5.6] (see also [Wri20, Problems 12.5 and 12.6]). Theorem B. For every κ, the map O restricts to a bijection 1 reg 1 nsc P Mg (κ) $ Q Mg (κ) that takes earthquake to horocycle flow and (generalized) stretch rays to Teichm¨ullergeodesics. Date: March 1, 2021. 1 2 AARON CALDERON AND JAMES FARRE While strata of holomorphic quadratic differentials are generally not connected, for g 6= 4 their connected components are classified by whether or not they consist of squares of abelian differentials and the parity of the induced spin structure (both of which depend only on the horizontal foliation when there are no horizontal saddles), as well as hyperellipticity [KZ03, Lan08]. 1 The bijection O respects both the horizontal direction and the Mod(S) action, so Theorem B can be refined to describe the preimages of these components. As an immediate consequence of Theorem B, the earthquake flow is ergodic with respect to the pushfor- ward by O−1 of the Masur-Veech measure on any component of any stratum of quadratic differentials. 1.2. Geodesic flows and P -invariant measures. Pulling back the Teichm¨ullergeodesic flow via O allows us to specify a family of \dilation rays" which serve as a geodesic flow for the earthquake flow's parabolic action and in many cases project to geodesics for Thurston's Lipschitz asymmetric metric. Combining dilation rays and the earthquake flow therefore gives a action of the upper triangular subgroup P < SL2R 1 on P Mg by \stretchquakes." See Section 15.3. 1 Due in part to the failure of O to be continuous, the stretchquake action on P Mg is not by homeomor- phisms but rather by measurable bijections. More precisely, it preserves the σ-algebra obtained by pulling back the Borel σ-algebra of Q1M(S) along O. In a forthcoming sequel [CF], the authors show that O is 1 actually a measurable isomorphism with respect to the Borel σ-algebra on P Mg and that the stretchquake 1 reg action restricted to each P Mg (κ) is by homeomorphisms; see also Remark 2.2. In their foundational work on SL2R-invariant ergodic measures on the moduli space of flat surfaces, Eskin 1 and Mirzakhani [EM18, Theorem 1.4] proved that the support of any P -invariant ergodic measure on Q Mg is locally an affine manifold cut out by linear equations in period coordinates. Our conjugacy translates this classification into a classification of ergodic measures for the extension of the earthquake flow defined above: Theorem C. Every stretchquake-invariant ergodic measure is the pullback of an affine measure. 1 Proof. If ν is a stretchquake-invariant ergodic measure on P Mg, then O∗ν is a P -invariant ergodic measure 1 on Q Mg, which is affine by [EM18, Theorem 1.4]. Using this correspondence we obtain a geometric rigidity phenomenon for stretchquake-invariant ergodic 1 measures on P Mg: the generic point is made out of a fixed collection of regular ideal polygons. 1 Corollary 1.1. For any stretchquake-invariant ergodic probability measure ν on P Mg, there is some κ so 1 reg that ν-almost every (X; λ) lies in P Mg (κ). This in particular implies that the dynamics of the stretchquake action with respect to any ergodic probability measure are measurably the same as its restriction to a stratum, on which we can identify dilation rays as (directed, unit-speed) geodesics for the Lipschitz asymmetric metric on T (S) (see Proposition 15.12). Remark 1.2. We note that general ergodic measures for the stretchquake action can look quite different 1 than the Lebesgue measure class on P Mg, even when pushed down to Mg. 1 reg For example, if ν gives full measure to P Mg (4g − 4) then a ν-generic point is obtained by gluing together a single regular ideal (4g − 2)-gon; in particular, the injectivity radius at the center of the polygon 1 can be arbitrarily large, allowing g ! 1. This implies that ν gives zero mass to (the restriction of P Mg to) sufficiently thin parts of moduli space, as any (X; λ) where X has a very short pants decomposition has injectivity radius uniformly bounded above. 1 Remark 1.3. While an important result of [EM18] is that any P -invariant ergodic measure on Q Mg is 1 actually SL2R-invariant, the circle action on Q Mg (corresponding to rotating a quadratic differential) does 1 not have an obvious geometric interpretation on P Mg. See also [Wri20, Problems 12.3 and 12.4] 1.3. Dual foliations from hyperbolic structures. A foundational result of Gardiner and Masur (The- orem 2.1 below) states that quadratic differentials are parametrized by their real and imaginary parts; equivalently, their vertical and horizontal foliations (or laminations). In particular, the set F uu(λ) of all quadratic differentials with horizontal lamination λ is the same as the space MF(λ) of foliations that bind together with λ. As the horocycle flow preserves the horizontal foliation, it induces a flow on MF(λ). Mirzakhani's conjugacy and our extension therefore both follow from the construction of flow-equivariant maps that assign to a hyperbolic surface X and a measured lamination λ a \dual" measured foliation. 1In genus 4, there are certain strata whose components have only been characterized via algebraic geometry [CM14]. SHEAR-SHAPE COCYCLES FOR MEASURED LAMINATIONS 3 For maximal laminations λ, this dual is the horocyclic foliation Fλ(X) introduced by Thurston [Thu98], obtained by foliating the spikes of each triangle of X n λ by horocycles and extending across the leaves of λ. The measure of an arc transverse to Fλ(X) is then the total distance along λ between horocycles meeting the arc at endpoints. As Fλ(X) necessarily binds S together with λ, this defines a map Fλ : T (S) ! MF(λ); where MF(λ) is the space of measured foliations that bind together with λ.