Cataclysms for Anosov representations

In this paper, we construct cataclysm deformations for $\theta$-Anosov representations into a semisimple non-compact connected real Lie group $G$ with finite center, where $\theta \subset \Delta$ is a subset of the simple roots that is invariant under the opposition involution. These generalize Thurston's cataclysms on Teichm\"uller space and Dreyer's cataclysms for Borel-Anosov representations into $\mathrm{PSL}(n, \mathbb{R})$. We express the deformation also in terms of the boundary map. Furthermore, we show that cataclysm deformations are additive and behave well with respect to composing a representation with a group homomorphism. Finally, we show that the deformation is injective for Hitchin representations, but not in general for $\theta$-Anosov representations.


Introduction
Let S be a closed connected orientable surface of genus g(S) at least 2 and π 1 (S) its fundamental group. Representations from π 1 (S) into a Lie group G can carry information about specific structures on the surface. A well-known example for this is Teichmüller space, the space of marked hyperbolic structures on S, whose elements can be identified with discrete and faithful representations from π 1 (S) into the group PSL(2, R). In this paper, we are interested in Anosov representations that describe a special dynamical structure on S. They have first been introduced by Labourie in [Lab06], and his definition was extended by Guichard and Wienhard in [GW12]. In recent years, many equivalent characterizations of Anosov representations have been found and the field is an active area of research (see [GGKW17], [KLP17], [DGK17], [BPS19], [Zhu19], [Tso20], [KP20], [Zhu21], [BCKM21], [CZZ21]). Apart from Teichmüller space, important examples of Anosov representations are quasi-Fuchsian representations, Hitchin representations, maximal representations ( [BILW05]) and θ-positive Anosov representations ( [GW18]).
Let G be a semisimple Lie group. An Anosov representation ρ : π 1 (S) is always Anosov with respect to a parabolic subgroup P + θ of G, where θ ⊂ ∆ is a subset of the simple restricted roots. We call such a representation θ-Anosov. Hitchin representations, for instance, are ∆-Anosov. Every θ-Anosov representation ρ : π 1 (S) → G has an associated boundary map ζ : ∂ ∞S → F θ into the flag manifold F θ = G/P + θ . In this paper, we use a characterization of Anosov representations in terms of the existence of such boundary maps, together with θ-divergence [GGKW17]. In the following, fix a semisimple non-compact connected real Lie group G with finite center and let θ ⊂ ∆ be a subset that is invariant under the opposition involution ι : ∆ → ∆.
One approach to understanding Anosov representations is to use techniques that have proven helpful in the case of Teichmüller space. Special deformations of hyperbolic structures, called earthquakes, and their generalizations cataclysms give insights into the structure of Teichmüller space (see [Thu86], [Thu98] and [Bon96]). For example, cataclysms can be used to define shearing coordinates, which are closely related to the symplectic structure on Teichmüller space (see [SB01]). Thus, cataclysm deformations might also be a tool to understand Anosov representations. First steps in this direction were taken by Dreyer in [Dre13]. He generalized Thurston's cataclysm deformations to representations into PSL(n, R) which are Anosov with respect to the minimal parabolic subgroup. This a strong assumption, which is not satisfied by most Anosov representations (see [CT20]). In this paper, we generalize Dreyer's construction and define cataclysm deformations for θ-Anosov representations into a semisimple connected non-compact real Lie group G that are Anosov with respect to a parabolic P + θ .
Dreyer's cataclysms are closely related to Bonahon-Dreyer coordinates on the Hitchin component in PSL(n, R) (see [BD17]). Whereas the Hitchin component is well-understood, there is still a lot to learn about Anosov representations outside of the Hitchin component. Recent advances in this direction have been made in [LLS21], where the authors study Anosov representations of triangle reflection groups into SL(3, R) and describe the set of Anosov representations that do not lie in the Hitchin component. The cataclysms constructed in this paper provide a tool to also understand Anosov representations that do not lie in the Hitchin component.
In order to state the main result we introduce two more concepts. A geodesic lamination λ on S is a collection of disjoint simple geodesics whose union is closed. We denote byλ its lift to the universal coverS and λ its orientation cover, that is, a twofold cover with a continuous orientation of the geodesics. Let a θ = α∈∆\θ ker(α) and H Twist ( λ; a θ ) be the space of a θ -valued twisted transverse cycles. An element in H Twist ( λ; a θ ) assigns to every oriented arc transverse toλ an element in a θ in a way that is finitely additive, invariant under homotopy respecting the lamination and twisted in the sense that if we change the orientation of an arc, the corresponding element in a θ changes by the opposition involution ι : a θ → a θ .
The representation Λ ε ρ is called ε-cataclysm deformation along λ based at ρ. It depends on the choice of a reference component P ⊂S \λ and for different choices of P , the resulting representations are conjugated.
For every γ ∈ π 1 (S), the deformed representation Λ ε ρ is given by Λ ε ρ(γ) = ϕ ε P (γP ) ρ(γ). Here, P ⊂S \λ is the fixed reference component, Q another component and ϕ ε P Q is the shearing map between P and Q with respect to the shearing parameter ε ∈ H Twist ( λ; a θ ). For the case of Teichmüller space, ϕ ε P Q is obtained from a concatenation of hyperbolic isometries that act as stretches along geodesics in the lamination that separate P and Q. In the general case, it is obtained from a concatenation of stretching maps T H g , where H ∈ a θ and g is an oriented geodesic between P and Q and H ∈ a θ . We define stretching and shearing maps in Section 3 and 5, respectively.
One way of describing a cataclysm deformation is through the deformation of the associated boundary map.
Theorem B (Theorem 5.9). If ζ : ∂ ∞S → F θ is the boundary map for ρ and ρ = Λ ε ρ is the ε-cataclysm deformation of ρ along λ, then the boundary map ζ for ρ is given by , where x is a boundary point of the laminationλ and Q x is a component ofS \λ having x as a vertex.
Remark 1.1. For the special case of ∆-Anosov representations into PSL(n, R), Theorems A and B were proven by Dreyer in [Dre13]. The difference between their and our more general construction for θ-Anosov representations lies in the definition of the parameter space and in the definition of the basic building blocks, the stretching maps. Further, we consider an arbitrary geodesic lamination λ, whereas Dreyer's result is for maximal laminations only.
The first step in the construction of cataclysm deformations is the definition of the parameter space H Twist ( λ; a θ ). For the special case that the lamination λ is maximal, i.e. the complementS \λ consists of ideal triangles, we compute that the dimension of H Twist ( λ; a θ ) is where θ ⊂ θ is a maximal subset satisfying θ ∩ ι(θ ) = ∅ (see Corollary 4.5). In the case G = PSL(n, R) and θ = ∆, this recovers a result from Dreyer ([Dre13, Lemma 16]). We determine the dimension of H Twist ( λ; a θ ) more generally for a geodesic lamination λ that is not necessarily maximal (Proposition 4.4).
Having defined cataclysms, we study their properties. The first observation is that the cataclysm is additive, i.e. satisfies a local flow condition.
Theorem C (Theorem 6.1). The cataclysm deformation is additive in the sense that for two twisted cycles ε, η ∈ H Twist ( λ; a θ ) sufficiently small, The second observation is about how a cataclysm behaves with respect to composition of an Anosov representation with a group homomorphism. Let κ : G → G be a group homomorphism between semisimple Lie groups and denote all objects associated with G with a prime. Under assumptions on κ and θ ⊂ ∆ , κ • ρ is θ -Anosov by a result from Guichard and Wienhard ([GW12, Proposition 4.4]).
Proposition D (Theorem 6.5). If κ : G → G is a group homomorphism between semisimple Lie groups such that κ • ρ is Anosov, then under the additional assumption that κ * (a θ ) ⊂ a θ , we have where κ * : a → a is the map between the maximal abelian subalgebras a ⊂ g and a ⊂ g induced by κ.
Finally, we address the question if the cataclysm deformation is injective, i.e. if different twisted cycles result in different deformed representations.
For the special case G = PSL(n, R) and θ = ∆, Proposition E was observed by Dreyer in [Dre13, Section 5.1]. One might now be lead to believe that also the cataclysm deformation is injective, which is wrong in general. In Subsection 7.1, we consider a family of reducible representations into SL(n, R) which we call (n, k)horocyclic and for which we can identify a subspace of H Twist ( λ; a θ ) on which the deformation is trivial.
However, under the assumption that for every connected component Q ⊂S \x, the intersection of the stabilizers of ζ(x) for all vertices x of Q is trivial, we show that the cataclysm deformation is injective (Corollary 7.8). This result is in particular true for Hitchin representations into SL(n, R) (Corollary 7.9).
Remark 1.2. The results in this paper were obtained in the author's PhD thesis [Pfe21]. More detailed versions of the proofs can be found therein. This version of the article has been accepted for publication in Geometriae Dedicata, after peer review, but is not the Version of Record and does not reflect postacceptance improvements, or any corrections. The Version of Record is available online at: http://dx.doi.org/10.1007/s10711-022-00721-7.

Preliminaries
2.1. Parabolic subgroups of semisimple Lie groups. In this section, we introduce the notation that we use throughout the paper and give the definition of θ-Anosov representations. It is based on [GW12, Section 3.2] and [GGKW17, Section 2.2].
Let G be a connected non-compact semisimple real Lie group and let g be its Lie algebra. Choose a maximal compact subgroup K ⊂ G. Let k ⊂ g be the Lie algebra of K and p its orthogonal complement with respect to the Killing form. Let a be a maximal abelian subalgebra in p and a * its dual space. For α ∈ a * , we define where ad : g → gl(g) is the adjoint representation of the Lie algebra g. If g α = 0, we say that α is a restricted root with associated root space g α . Let Σ ⊂ a * \ {0} be the set of restricted roots. Let ∆ ⊂ Σ be a simple system, i.e. a subset of Σ such that every element in Σ can be expressed uniquely as a linear combination of elements in ∆ where all coefficients are either non-negative or non-positive (see [Kna02,§II.6]). The elements of ∆ are called simple roots. Denote by Σ + the set of positive roots, namely the set of all elements in Σ which have non-negative coefficients with respect to the generating set ∆, and by Σ − the negative roots.
Define the subalgebras and consider the corresponding subgroups N + = exp(n + ) and N − = exp(n − ). Further, let A := exp(a) and let Z K (a) be the centralizer of a in K. The standard minimal parabolic subgroup is the subgroup B + := Z K (a)AN + , and in the same way, one defines B − := Z K (a)AN − . A subgroup of G that is conjugate to B + is called minimal parabolic subgroup or Borel subgroup. The group N + is the unipotent radical of B + , that is, the largest normal subgroup consisting of unipotent elements. A subgroup P ⊂ G is called parabolic if it is conjugate to a subgroup containing B + . Parabolic subgroups can be classified by subsets of the set of simple roots ∆ θ . The quotient F θ = G/P + θ is called flag manifold. It is a compact G-homogeneous space and its elements are called flags. The group G acts on F θ by left-multiplication, which will be denoted by (g, F ) → g · F . There is a one-to-one correspondence between F θ and the set of parabolic subgroups conjugate to P + θ : When F = g · P + θ ∈ F θ is a flag, then its stabilizer is a parabolic subgroup conjugate to P + θ . We will often make no distinction between elements in F θ and parabolic subgroups conjugate to P + θ . The Weyl group of G is where N K (a) is the normalizer of a in K. Seen as a subgroup of GL(a), it is a finite Coxeter group with system of generators given by the orthogonal reflections in the hyperplanes ker(α) ⊂ a for α ∈ ∆. The Weyl chambers are the connected components of a \ α∈∆ ker(α). A closed Weyl chamber is the closure of a Weyl chamber. The set of positive roots Σ + singles out the closed positive Weyl chamber of a defined by The Weyl group W acts simply transitively on the Weyl chambers and thus there exists a unique element w 0 ∈ W such that w 0 (a + ) = −a + .
Definition 2.1. The involution on a defined by ι := −w 0 is called opposition involution. It induces a dual map on a * which is also denoted by ι and defined by ι(α) = α • ι for all α ∈ ∆.
Consider the space F θ × F ι(θ) of pairs of flags. There exists a unique open orbit for the diagonal action of G on F θ × F ι(θ) (see [GW12, Section 2.1]), and one representative of this orbit is the pair (P + θ , P − θ ). Note that P − θ is an element of F ι(θ) since P − θ is conjugate to P + ι(θ) by w 0 .
Definition 2.2. Two parabolic subgroups P + and P − are transverse if the pair (P + , P − ) lies in the unique open G-orbit of F θ × F ι(θ) for some θ ⊂ ∆. Given P + ∈ F θ and P − ∈ F ι(θ) , we say that P + is transverse to P − (and P − is transverse to P − ) if the pair (P + , P − ) is transverse.
Note that the subset θ in this definition is already determined by the parabolic P + , since every parabolic subgroup is conjugate to P + θ for a unique θ ⊂ ∆, and that the unipotent radical N + θ acts simply transitively on parabolics transverse to P + θ . In the following, we restrict our attention to subsets θ ⊂ ∆ for which P + θ and P − θ are conjugate. This is true if and only if ι(θ) = θ.
Standing Assumption. For the rest of this paper, we assume that θ ⊂ ∆ is invariant under the opposition involution ι, i.e. ι(θ) = θ.
Example 2.3. Consider the special linear group G = SL(n, R) with maximal compact subgroup K = SO(n, R). The Lie algebra sl(n, R) is given by all traceless n×n matrices, and as maximal abelian subalgebra a in p we choose the set of diagonal traceless matrices. Let λ i ∈ a * be the evaluation at the i-th entry of an element in a, i.e. λ i (diag(a 1 , . . . , a n )) = a i . A short calculation shows that the root space g α for α ∈ a * is non-zero if and only if α = α ij := λ i − λ j for some 1 ≤ i = j ≤ n. The root space g αij is spanned by the matrix E ij that has a 1 in the i-th row and j-th column and 0 everywhere else. The set of restricted roots Σ, a system of simple roots ∆ and the set of positive roots Σ + are . . , n − 1} and To shorten notation, set α i := α i(i+1) . We often identify the set of simple roots ∆ with the set {1, . . . , n − 1}. The subalgebra n + and sugroup N + are given by the upper triangular matrices with only 0s and only 1s on the diagonal, respectively. The minimal parabolic subgroup B + is the set of all upper triangular matrices, i.e.
Similarly, B − is the set of all lower triangular matrices. Let θ = {i 1 , . . . , i k } ⊂ ∆ with 1 ≤ i 1 < · · · < i k ≤ n − 1. Also, let i 0 := 0 and i k+1 := n. For j = 1, . . . , k + 1, let m j := i j − i j−1 , so the m j describe the sizes of the gaps between the elements in θ. For i ∈ ∆, we have that ker(α i ) is given by all traceless diagonal matrices where the ith and (i + 1)th entry are equal. Thus a θ = α∈∆\θ ker(α) is given by block diagonal matrices, where the j-th block is a scalar multiple of the m j × m j identity matrix, and the centralizer Z K (a θ ) is given by block diagonal matrices where the blocks A mj are m j × m j matrices.
The standard parabolic subgroup P θ for θ is given by upper block triangular matrices. More precisely, where the A mj have size m j × m j . Similarly, P − θ consists of lower block triangular matrices with blocks of sizes m j × m j . The unipotent radical N ± θ is the subgroup of P ± θ with all blocks on the diagonal being identity matrices and the Levi subgroup L θ is the group of block diagonal matrices with the blocks of sizes m j × m j . Elements of the flag manifold F θ are families of nested subspaces of the form so flags in the sense of linear algebra. This explains the name flag manifold.
The maximal abelian subalgebra a is the set of traceless diagonal matrices, so it is isomorphic to R n−1 . The Weyl group is isomorphic to the symmetric group S n with generators the orthogonal reflections along the hyperplanes ker(α i ) for i = 1, . . . , n−1. Here, the hyperplane ker(α i ) is given by all elements diag(a 1 , . . . , a n ) ∈ a with a i = a i+1 . The closed positive Weyl chamber is The longest element w 0 of the Weyl group, which sends a + to −a + acts on a by reversing the order of the diagonal elements. On ∆, the longest element acts as w 0 (α i ) = −α n−i , so for the opposition involution ι : ∆ → ∆, we have ι(α i ) = α n−i .
2.2. Anosov representations. Anosov representations are representations from π 1 (S) to G with special dynamical properties. They were first defined by Labourie in [Lab06] and the definition was extended by Guichard and Wienhard in [GW12]. Today, many equivalent characterization of Anosov representations exist, we present a characterization given in [GGKW17, Theorem 1.3]. We are only interested in surface groups, but Anosov representations can be defined more generally for any word-hyperbolic group Γ.
Standing Assumption. Throughout this paper, let S be a closed connected oriented surface of genus at least 2. Fix an auxiliary hyperbolic metric m on S. Denote byS the universal cover of S, which then carries a hyperbolic metric as well, and let ∂ ∞S be the boundary at infinity. Fixing base points on S andS, the fundamental group π 1 (S) of S acts onS by isometries.
Before giving the definition of Anosov representations, we need to introduce some more concepts. Let θ ⊂ ∆ be a subset of the simple roots and F θ = G/P + θ the flag manifold for the standard parabolic subgroup P + θ .
• ζ is called transverse if for every pair of points x = y ∈ ∂ ∞S , the images ζ(x), ζ(y) ∈ F θ are transverse. • ζ is called dynamics-preserving for ρ if for every non-trivial element γ ∈ π 1 (S), its unique attracting fixed point in ∂ ∞S is mapped to an attracting fixed point of ρ(γ) on F θ .
2.3. Geodesic laminations. Geodesic laminations are an important tool in lowdimensional topology. Although the following Definition 2.6 makes use of the auxiliary hyperbolic metric m on S, geodesic laminations can be defined independent of the choice of a metric (see [Bon97,Section 3]). An overview of geodesic laminations can be found in [Bon01].
Definition 2.6. A geodesic lamination λ on S is a collection of simple complete disjoint geodesics such that their union is a closed subset of S. The geodesics contained in the lamination λ are called leaves. A geodesic lamination λ is maximal if every connected component of S \λ is isometric to an ideal triangle. We denote bỹ λ the lift of λ to the universal coverS. A lamination λ is connected if it cannot be written as a disjoint union of two sublaminations, i.e. subsets that are themselves laminations. It is maximal if the complement S \ λ consists of ideal triangles.
We can equip the leaves of a lamination λ with an orientation -but if the lamination is maximal, this cannot be done in a continuous way. For this reason, we look at the orientation cover λ of λ.
Definition 2.7. The orientation cover λ is a 2-cover of the lamination λ whose geodesics are oriented in a continuous fashion.
For example, if λ is orientable, then λ consists of two disjoint copies of λ with opposite orientations. In order to consider arcs transverse to the lamination λ, we need an ambient surface U in which λ is embedded. Let U ⊂ S be an open neighborhood of λ that avoids at least one point in the interior of each ideal triangle in S \ λ. The orientation cover λ → λ extends to a cover U → U . We denote by R : U → U the orientation reversing involution. There is a one-to-one correspondence between oriented arcs transverse to λ and non-oriented arcs transverse to λ: For an arck tightly transverse toλ and an ideal triangle R ∈ C P Q , denote by g 0 R , and g 1 R the oriented geodesics iñ λ passing through the negative and positive endpoint ofk ∩ R, respectively.
Every oriented arc transverse to λ has a unique lift transverse to λ such that its intersection with λ is positive.
We will be interested in arcs transverse to a lamination λ that are well-behaved in the following sense.
Definition 2.8. A arc k is tightly transverse to λ if it is simple, compact, transverse to λ, has non-empty intersection with λ, and every connected component d ⊂ k \ λ either contains an endpoint of k or the positive and the negative endpoint of d lie on different leaves of the lamination. We use the same terminology for arcsk transverse to the universal coverλ or to the orientation cover λ of λ.
Notation 2.9. Throughout the paper, we use the following notation: By λ, we denote a lamination on S, byλ its lift to the universal coverS and by λ the orientation cover. We denote by k,k and k an oriented arc tightly transverse to λ,λ and λ, respectively. Since the universal coverS is oriented, the leaves ofλ intersectingk have a well-defined transverse orientation determined byk, i.e. if g is a leaf ofλ intersectingk, we orient g such that the intersectionk g is positive. Denote by P and Q the connected components ofk containing the negative and positive endpoint ofk, respectively. Let C P Q be the set of connected components ofS \λ separating P and Q. Likewise, for two geodesics g and h inλ, let C gh be the set of all connected components inS \λ lying between g and h. If R ⊂S \λ is in C P Q , denote by g 0 R and g 1 R the oriented geodesics passing through the negative and positive endpoint ofk ∩ R, respectively (Figure 2.1). The fact thatk is tightly transverse guarantees that the geodesics g 0 R and g 1 R are disjoint. The following is classical property of geodesic laminations.
The divergence radius r(R) is the minimal number of components of d ⊂ k\λ that have their endpoints on the same geodesics g 0 R and g 1 R as d R . In this picture, we have r(R) = 2.
Lemma 2.10 ([BD17, Lemma 5.3]). Let g and h be two geodesics inλ. There is a function r : C gh → N, called divergence radius, and constants C 1 , C 2 , A 1 , A 2 > 0 such that the following conditions hold: (2) for every N ∈ N, the number of triangles R ∈ C gh with r(R) = N is uniformly bounded, independent of N . Here, denotes the length function onS induced by the fixed metric on S.
Roughly speaking, the divergence radius gives the minimal number of lifts of the projection of R to S that separate R from either g or h. It is defined as follows: Let k be an arc transverse toλ from g to h as above. The definition does not depend on the choice ofk. Let p :S → S be the projection and k := p(k) the projection ofk to S. Consider the connected component d R := p(k ∩R) ⊂ p(k)\λ. The leaves g 0 R and g 1 R ofλ project to leaves p(g 0 R ) and p(g 1 R ) of passing through the endpoints of d R (see Figure 2.2). The arc d R divides p(R) into two regions. Consider all components d ⊂ k \ λ that have their negative endpoint on p(g 0 R ) and their positive endpoints on p(g 1 R ). Since k is compact, at least one of the two regions of p(R) defined by d R contains only finitely many such components d ⊂ k \ λ. Define r(R) ∈ N as the minimal number of components of k \ λ contained in one of the regions that have their endpoints on p(g 0 R ) and p(g 1 R ). Example 2.11. If R ∈ C gh is the only lift of p(R) crossed byk, then r(R) = 0. Ifk meets R and R that project to the same component p(R) = p(R ) in S, and ifk does not meet any other lift of p(R) between R and R , then |r(R) − r(R )| ≤ 1. If k crosses only finitely many components ofS \λ, then the divergence radius r(R) is bounded over all R ∈ C gh .
A detailed treatment of the divergence radius can be found in [Bon96, Section 1].

Stretching maps
Stretching maps are the basic building blocks for cataclysm deformations. In the case of Teichmüller space, they are hyperbolic isometries that act as a stretch along a geodesic. In the general case of θ-Anosov representations, they can be thought of as a generalization of such a stretch. Stretching maps depend on an oriented geodesic which determines the direction of the stretch, and on an element in a θ which determines the amount of stretching.
Let ρ : π 1 (S) → G be a fixed θ-Anosov representation with boundary map ζ : ∂ ∞S → F θ . For an oriented geodesic g inS with positive and negative endpoint g + and g − , respectively, let P ± g := ζ(g ± ) be the flags associated to the endpoints g ± .
Definition 3.1. Let g be an oriented geodesic inS and H ∈ a θ . Let (P + g , P − g ) be the pair of transverse parabolics associated with g and let m g ∈ G such that m g · P ± θ = P ± g . We define the H-stretching map along g as Note that the element m g in the definition of the stretching map is only unique up to an element in L θ = P + θ ∩ P − θ , but since exp(a θ ) lies in the centralizer of L θ , the definition of the stretching map is well-defined.
Example 3.2. For the case of SL(n, R), the pair (P + g , P − g ) associated with an oriented geodesic g determines a subspace splitting of R n . With respect to a basis adapted to this splitting, the stretching map T H g is a diagonal matrix, so it acts as stretch on the subspaces. This explains the name stretching map.
Lemma 3.3. Let g be an oriented geodesic and denote by g the geodesic with opposite orientation. For H, H 1 , H 2 ∈ a θ , the stretching map has the following properties: Proof. These properties follow from short computations, using that the longest element of the Weyl group maps P ± θ to P ∓ θ and the ρ-equivariance of the boundary map ζ for (3) and (4), respectively.
We say that two geodesics g and h are separated by wedges if for every connected component R ∈ C gh , the geodesics g 0 R and g 1 R share an endpoint. We estimate the distance between two stretching maps for different oriented geodesics g and h in terms of the distance between g and h. To do so, fix a metric d G on G that is left-invariant and almost right-invariant. More precisely,, d G satisfies for all where · op(g) is the operator norm induced by a fixed norm · g coming from a scalar product on g. For the existence of such a metric, see [SS01, Lemma A].
Proposition 3.4. There exist constants C, A > 0, depending onk and ρ, such that for every H ∈ a θ and for all geodesics g, h inλ that intersectk, are oriented positively with respect to the orientation ofk and are separated by wedges, we have For the proof of the proposition, we make use of slithering maps, which are explicit elements in G that relate the pairs of parabolics associated to g and h.
Slithering maps were first introduced for Teichmüller space in [Bon96, Section 2] and for the case of Hitchin representations into PSL(n, R) in [BD17, Section 5.1]. The authors already mention that their construction possibly extends to a more general context. Indeed, we have the following result: Proposition 3.5. Let the lamination λ be maximal. There exists a unique family {Σ gh } (g,h) of elements in G, indexed by all pairs of leaves g, h inλ, that satisfies the following conditions: (1) Σ gg = Id, Σ hg = (Σ gh ) −1 , and Σ gh = Σ gh Σ hh when one of the three geodesics g, h, h separates the others; (2) Σ gh depends locally separately Hölder continuously on g and h, i.e. there exist constants C, A > 0 depending onk and ρ such that (3) if g and h are oriented and have a common positive endpoint g + = h + ∈ ∂ ∞S and if g − and h − are the negative endpoints of g and h, respectively, then Σ gh is the unique element in the unipotent radical of P + g that sends P − h to P − g . From (1)-(3) it follows that if g and h are oriented in parallel, Σ gh sends the pair (P + h , P − h ) to the pair (P + g , P − g ). Here, we say that two geodesics g, h ⊂λ are oriented in parallel if exactly one of the orientations of g and h agrees with the boundary orientation of the connected component ofS \ (g ∪ h) that separates g from h.
The proof of Proposition 3.5 is analogous to the case of Hitchin representations in [BD17, Section 5.1], so we omit it here and only sketch how Σ gh is constructed. For the case that the two geodesics g and h are adjacent, the slithering map Σ gh is defined as in (3). For R ∈ C gh , the geodesics g − R and g − R as in Figure 2.1 share an endpoint, so we can define Σ R : From these basic slithering maps, we can construct Σ gh as follows: Let C = R 1 , . . . , R m ⊂ C gh be a finite subset of components separating g and h, labeled from g to h. Set Σ C := Σ R1 • · · · • Σ Rm . Then Σ gh is the limit of the elements Σ C as C tends to C gh . Note that the Hölder continuity of the boundary map ζ is crucial to ensure that the limit exists.
Remark 3.6. The basic slithering map Σ R exists whenever the geodesics g − R and g + R share an endpoint. Thus, we can construct the slithering map Σ gh also for an arbitrary geodesic lamination λ, under the assumption that the two geodesics g and h are separated by wedges.
Using the slithering map, we can prove Proposition 3.4.
Proof of Proposition 3.4. Without loss of generality we can assume that the pair of transverse parabolics (P + g , P − g ) associated with g agrees with the pair (P + θ , P − θ ) of standard transverse parabolics. Then the slithering map Σ hg sends P ± θ to P ± h . Note that the slithering map exists by Remark 3.6, since by assumption, g and h are separated by wedges. Thus, in the definition of the stretching maps, we can choose m h := Σ hg . Using left-invariance and almost right-invariance of d G , we have By Hölder continuity of the slithering map, there exist constants C, A > 0 depending onk and ρ such that In remains to estimate Ad exp(−H) op(g) . We can express an element in op(g) as matrix in GL(g) ⊂ gl(g), where we choose a basis of g adapted to the root space decomposition g = g 0 α∈Σ g α . Consider the infinity norm · ∞ on gl(g), that is given by the maximal absolute row sum of the matrix. We have Ad exp(−H) = exp(ad (−H) ), which is a diagonal matrix with entries 0 and e α(H) for α ∈ Σ, possibly with multiplicity. Define a norm on a by H a := max α∈Σ |α(H)|. By equivalence of norms, we have for some constant B > 0. Combining this with the above estimates proves the claim.
The following corollary covers the special case of Proposition 3.4 when the two geodesics bound the same connected component inS \λ.
Corollary 3.7. Letk be an oriented arc transverse toλ, let R ⊂S \λ such that k ∩ R = ∅ and let r(R) be the divergence radius (see Lemma 2.10). There exist constants C, A > 0 depending onk and ρ such that Proof. By compactness ofk, there exists a constant B > 0 depending onk and ρ such that d(g 0 R , g 1 R ) ≤ B (k ∩ R). The Corollary now follows from Proposition 3.4, using the left-invariance of the metric and Lemma 2.10.

Transverse twisted cycles
The amount of deformation of a cataclysm is determined by a so-called transverse cycle for the lamination λ. For the special case G = SL(2, R), these cycles take values in R. For the general case of θ-Anosov representations, they take values in a θ . Recall from (2.1) that a θ = α∈∆\θ ker(α).
We denote the vector space of a θ -valued transverse cycles for λ by H(λ; a θ ).
Instead of transverse cycles for the lamination λ, we focus on transverse cycles for the orientation cover λ. Since there is a bijective correspondence between transverse arcs for λ and oriented transverse arcs for λ, this allows us to assign values to oriented transverse arcs transverse for λ. Further, we require the cycles to satisfy a twist condition.
Definition 4.2. The space of a θ -valued transverse twisted cycles for the orientation cover λ is where ι : a θ → a θ is the opposition involution and R : U → U is the orientationreversing involution for the orientation cover λ.
In the following, if not stated otherwise, a transverse twisted cycle will always be an a θ -valued transverse twisted cycle.
We can apply a transverse twisted cycle ε ∈ H Twist ( λ; a θ ) to a pair (P, Q) of connected components P, Q ofS \λ as follows: Recall that we can identify oriented arcs transverse to λ with unoriented arcs transverse to the orientation cover λ. Let k P Q be a transverse oriented arc inS from P to Q, let k P Q be its projection to S and k P Q the unique lift of k P Q such that the intersection of k P Q and λ is positive. We define ε(P, Q) := ε( k P Q ). (4.2) By the twist condition, we have ε(Q, P ) = ι (ε(P, Q)).
Remark 4.3. The twist condition is motivated by fact that we use the transverse cycles as parameters for the stretching maps introduced in Section 3. It guarantees that they behave nicely under reversing the orientation of an arc. More precisely, for two adjacent components P and Q separated by a geodesic g, oriented to the left as seen from P , we have with Lemma 3.3, A similar behavior is inherited by the shearing maps that we will define in Section 5.1.
We now compute the dimension of the space of transverse twisted cycles.
Proposition 4.4. Let G be a connected non-compact semisimple real Lie group, θ ⊂ ∆ and let θ ⊂ θ be a maximal subset satisfying ι(θ ) ∩ θ = ∅. Then where χ(λ) is the Euler characteristic of λ, n(λ) is the number of connected components of λ and n o (λ) is the number of components that are orientable.
We conclude this section with an estimate for transverse cycles. Letk be an oriented arc transverse toλ between two connected components P and Q ofS \λ.
Proof. In [Bon96, Lemma 6], the statement is proven for R-valued transverse cycles. The more general case of a θ -valued transverse cycles follows from this by writing ε = α∈θ ε α H α and the definition of the norms.
Let C = {R 1 , . . . , R m } ⊂ C P Q be a finite subset of connected components ofS \λ that lie between P and Q, labeled from P to Q. Recall that we can apply ε to a pair of connected components ofS \λ as in (4.2). Define where g ± i := g ± Ri (see Figure 2.1). Proposition 5.1. Letk be an arc transverse toλ connecting P to Q. There exists a constant B > 0 depending onk and the representation ρ such that for ε ∈ H Twist ( λ; a θ ) with ε H Twist ( λ;a θ ) < B, the limit ϕ ε P Q := lim Definition 5.2. For P, Q ∈S \λ, the element ϕ ε P Q ∈ G is called the shearing map from P to Q with respect to the shearing parameter ε ∈ H Twist ( λ; a θ ).
Note that the shearing maps also depend on the representation ρ, which is not reflected in the notation. If two θ-Anosov representations ρ, ρ are conjugated, then also the corresponding shearing maps are conjugated by the same element.
Proof of Proposition 5.1. Let C ⊂ C P Q be as above. Define The first step of the proof is to show that d G (ψ ε C , Id) is uniformly bounded, the bound depending onk and ρ. Without loss of generality assume that for all R ∈ C P Q , g 0 R and g 1 R share an endpoint. We can do so because there are only finitely many components that do not have this property, thus this just changes the uniform bound by an additive constant. By the triangle inequality and left-invariance of d G , we have where for the last inequality, we use the estimate from Corollary 3.7. By Lemma 4.6 and the fact that the number of connected components with fixed divergence radius is uniformly bounded by some D ∈ N (Lemma 2.10), it follows that there exists C 2 > 0 such that For ε < A/C, this sum converges. Thus, d G (ψ ε C , Id) is uniformly bounded, the bound depending onk and ρ.
To show that the limit lim C→C P Q ϕ ε C exists, choose a sequence (C m ) m∈N of subsets of C P Q such that C m has cardinality m and such that C m ⊂ C m+1 for all m ∈ N. Fix m ∈ N and let R ⊂S \λ be such that C m+1 = C m ∪{R}. Further, let C, C ⊂ be such that C m = C∪ C , C m+1 = C∪ {R}∪ C and such that R separates the components in C from the components in C . By the triangle inequality, left-invariance and almost-right invariance of the metric, we have For the last estimate, we use that d G (ψ ε C , Id) is uniformly bounded and Corollary 3.7. As seen above in the proof of uniform convergence, this goes to 0 as r(R) goes to infinity. It follows that ψ ε Cm m∈N is a Cauchy sequence, so converges. Thus, also ϕ ε Cm m∈N converges as m goes to infinity. In between two triangles R i and R i+1 , insert an auxiliary geodesic h i and two triangles Q 0 i and Q 1 i to approximate the part of the laminationλ between R i and R i+1 by a finite lamination.
Note that, at this stage, the bound on ε depends on the transverse arck between P and Q. We will see in Proposition 5.4 that the bound can be made independent on the transverse arck.
The family of shearing maps depends continuously on the twisted cycle ε. Further, it has the following properties.
Proposition 5.3. For connected components P, Q, R ∈S \λ, ε ∈ H Twist ( λ; a θ ) small enough and γ ∈ π 1 (S), the shearing maps satisfy Proof. The ρ-equivariance follows from the ρ-equivariance of the stretching maps (Lemma 3.3). For the other properties, assume first that P and Q are separated by finitely many leaves ofλ. In this case, C P Q = {R 1 , . . . , R m } and every R i is adjacent to R i+1 . Then the behavior under taking the inverse follows from the behavior of T H g under taking inverses and the twist condition of the cycle. The composition property follows from the definition of ϕ ε P Q and the additivity of the cycle. For the general case and a finite subset C ⊂ C P Q , we approximate the part of the laminatioñ λ between the components in C by a finite lamination as in [BD17, Lemma 5.8]: If C = {R 1 , . . . , R m }, for every i = 1, . . . , m, we introduce an auxiliary geodesic h i and two triangles Q 0 i and Q 1 i that separate R i and R i+1 as shown in Figure 5.1. This gives a finite sequence of components Q 0 0 , Q 1 0 , R 1 , Q 0 1 , Q 1 1 , R 2 , . . . , Q 0 m , Q 1 m , R m separating P from Q, where each component is adjacent to the next one. Note that the geodesics h i are not contained in the laminationλ, and the Q 0/1 i are not elements of C P Q . We define a finite concatenation of maps of the form T with R being equal to either R i or Q 0/1 i for some i. We denote this composition by ϕ ε C . For ϕ ε C , we can show the proposition as explained above. Let ψ ε Using the same techniques as in the proof of Proposition 5.1, namely triangle inequality, almost-invariance of the distance, Proposition 3.4 and the fact that ψ ε C is uniformly bounded, we obtain the estimate for some constants C and A. The right-hand side converges to 0 as C converges to C P Q . In total, this shows that ψ ε C and ψ ε C have the same limit for C to C P Q . This implies that also ϕ ε C and ϕ ε C have the same limit ϕ ε P Q . Thus, ϕ ε P Q inherits the behavior under inversion and taking inverses of ϕ ε C . For a more detailed version of the proof, see [Pfe21,Proposition 5.6].
Up to now, the bound on the cycle ε ∈ H Twist ( λ; a θ ) that guarantees the convergence depends on the transverse arck. We now show that there exists a constant depending on the representation ρ only.
Proposition 5.4. There exists a constant B > 0 depending on the representation ρ only such that for all connected components P, Q, R ⊂S \λ, for all ε ∈ H Twist ( λ; a θ ) with ε H Twist ( λ;a θ ) < B, the limit ϕ ε P Q = lim C→C P Q ϕ ε P Q exists and satisfies the properties from Proposition 5.3.
Proof. The only thing left to show is that the constant B from Proposition 5.1 can be made independent of the arck. Choose a collection k 1 , . . . , k m of arcs on the surface S transverse to λ such that for every two connected components in S \ λ, there is an arc k j connecting them. For every j, let B j > 0 be the constant as in Proposition 5.1 for a liftk j of k j . This is independent of the choice of lift. Let B := min{B 1 , . . . , B m }. Let P, Q ⊂S \λ be connected components. Then there exists a finite sequence of components P = R 0 , R 1 , . . . , R N , R N +1 = Q such that R j separates R j−1 from R j+1 and such that R j and R j+1 are connected by the same lift k ij of a transverse arc k ij . For ε H Twist ( λ;a θ ) < B, the maps ϕ Rj Rj+1 exist and thus also ϕ P Q = ϕ P R1 · · · ϕ R N Q .
We conclude this subsection with an estimate that will be useful later.
Lemma 5.5. Let r ∈ N and let P, Q ⊂S \λ be such that all R ∈ C P Q satisfy r(R) > r. Then, for ε ∈ H Twist ( λ; a θ ) small enough, there exist constants C , A > 0 such that d G (ψ ε P Q , Id) ≤ Ce −A r . Proof. As in the proof of Proposition 5.1, we have Using that all components in C P Q have divergence radius at least r + 1 and that the number of components with fixed divergence radius is bounded by some D ∈ N (Lemma 2.10), this gives us Both sums are the remainder term of the geometric series and for ε < A/C, they are bounded by a constant times e −A r , where A := −(C ε − A). This finishes the proof.
Theorem 5.6. Let ρ : π 1 (S) → G be a θ-Anosov representation, λ a geodesic lamination on S, not necessarily maximal, andλ its lift to the universal coverS. There exists a neighborhood V ρ of 0 in H Twist ( λ; a θ ) such that for any reference component P ⊂S \λ, there is a continuous map This map is called cataclysm based at ρ along ρ. Further, there exists a neighborhood U ρ ⊂ V ρ such that for all ε ∈ U ρ , Λ ε 0 ρ is θ-Anosov. For different reference components P, Q, the resulting deformations Λ ε P ρ and Λ ε Q ρ differ by conjugation.
Proof. The fact that Λ ε P ρ is a group homomorphism follows from the ρ-equivariance and composition property of the shearing maps (Propositon 5.3). The continuity results from the fact that the shearing maps depend continuously on the shearing parameter ε. The existence of the neighborhood U ρ follows from the fact that the set of θ-Anosov representations is open in Hom(π 1 (S), G) by [GW12,Theorem 5.13]. Finally, the representations Λ ε Q ρ and Λ ε P ρ are conjugate by ϕ ε P Q , which follows from a short computation, using the composition property of shearing maps.
Remark 5.7. Theorem 5.6 is a generalization of a result in [Dre13], which covers the special case G = PSL(n, R). Our result works in the much more general context of θ-Anosov representations into a semisimple non-compact connected Lie group G for θ ⊂ ∆ satisfying ι(θ) = θ. Futher, in contrast to [Dre13], we do not assume that the lamination λ is maximal.
Remark 5.8. Since conjugate representations ρ and ρ give conjugate shearing maps, also the deformed representations Λ ε P ρ and Λ ε P ρ are conjugate. Thus, the map Λ P descends to a map on the character variety Λ : U ρ → Hom θ−Anosov (π 1 (S), G)//G that is independent of the choice of reference component P . 5.3. The boundary map. Anosov representations are often studied through their boundary map. Thus, it is natural to ask how the boundary map changes under a cataclysm deformation. We have the following result: Theorem 5.9. Let ρ : π 1 (S) → G be θ-Anosov, let ε ∈ U ρ and let ρ := Λ ε P ρ be the ε-cataclysm deformation of ρ along λ with respect to a reference component P ⊂S \λ. Here, U ρ ⊂ H Twist ( λ; a θ ) is as in Theorem 5.6 such that ρ is θ-Anosov.
Let ζ and ζ be the boundary maps associated with ρ and ρ , respectively. Then for every x ∈ ∂ ∞λ that is a vertex of a connected component ofS \λ, the boundary map ζ ε is given by Proof. A short computation shows that the right-hand side of (5.1) gives a welldefined and ρ -equivariant boundary map. The main observation for the proof is that a cataclysm deformation does not change the flag curve on the vertices of the reference component. More precisely, if x is a vertex of the reference component P , we have ϕ ε P P · ζ(x) = ζ(x) = ζ (x). For the proof of this fact, we refer to [Pfe21, Proposition 6.8]. The idea is to first look at representations into SL(n, R), where we can use a linear algebraic estimate from [BPS19, Lemma A.6]. For general θ-Anosov representations into a Lie group G, we can use that every θ-Anosov representation into a Lie group G can be turned into a projective Anosov representation by composing it with a specific irreducible representation by [GW12, Proposition 4.3 and Remark 4.12].
For an arbitrary point x ∈ ∂ ∞λ that is a vertex of the component Q x ⊂S \λ, we now use a trick and change the reference component: If x ∈ ∂ ∞λ is a vertex of the component Q x ⊂S \λ, consider the ε-cataclysm deformation ρ x := Λ ε Qx ρ with respect to the reference component Q x . Denote the corresponding boundary map by ζ x . Then ρ is conjugated to ρ x by ϕ ε P Qx , so ζ = ϕ ε P Qx · ζ x . It follows that , which finishes the proof.

Properties of cataclysms
In addition to the lamination λ, the deformation depends on the representation ρ we start with and the twisted cycle ε that determines the amount of shearing. In this section, we ask how the deformation behaves when we change these parameters. More precisely, we add two twisted cycles and we compose the representation ρ with a group homomorphism.
Let η, ε ∈ H Twist ( λ; a θ ) be small enough such that all the cataclysm deformations appearing in the following exist. Intuitively, deforming first with ε and then with η should be the same as deforming with ε + η. Indeed, the following holds: Theorem 6.1. The cataclysm deformation is additive, i.e. for a θ-Anosov representation ρ : π 1 (S) → G θ-Anosov, a reference component P ⊂S \λ and ε, η ∈ H Twist ( λ; a θ ) small enough, we have Λ ε+η P ρ = Λ ε P (Λ η P ρ) . Here, we need to take into account where the deformations are based, which is not reflected in the notation. On the left, we look at the (ε + η)-cataclysm deformation based at ρ, on the right, at the ε-cataclysm deformation based at Λ η P ρ. To see why Theorem 6.1 holds, we need to understand how the shearing maps behave under adding transverse cycles. Let ρ := Λ η ρ be the deformed representation. We denote the shearing maps for ρ with ϕ ε P Q . Proposition 6.2. Let P be the fixed reference component for the cataclysm deformation Λ P . Then for ε, η ∈ H Twist ( λ; a θ ) small enough, for every component Q ⊂S \λ it holds that Proof. Let T H g denote the stretching map for the deformed representation ρ . We first look at the stretching maps T H g and T H g for an oriented geodesic g and H ∈ a θ . In Theorem 5.9 we proved that if x is a vertex of the component Q, then that ζ (x) = ϕ η P Q ·ζ(x). Thus, if g is an oriented geodesic bounding the component Q, the stretching maps satisfy Using (6.1) and additivity of the cycle, we compute Using the same techniques on a finite subset C = {R 1 , . . . , R m } ⊂ C P Q we find We claim that lim C→C P Q ψ η,ε C = ψ ε+η P Q . Recall that This converges to ψ ε+η P Q as r goes to infinity. Thus, it suffices to show that d G (ψ ε+η C , ψ η,ε C ) tends to 0 as C tends to C P Q . The proof of this is technical, but does not use any new techniques or ideas. Thus, we omit it here and refer the interested reader to [Pfe21, Appendix A.2] for the details.

It follows that
which finishes the proof.
Theorem 6.1 is now a direct consequence of Proposition 6.2.
Now we compose the θ-Anosov representation ρ : π 1 (S) → G with a homomorphism κ : G → G , where G is another semisimple connected non-compact Lie group with finite center. We denote all objects associated with G with a prime. Denote by κ * : a → a the map induced by κ. Let W θ be the subgroup of the Weyl group W for G that fixes a θ pointwise. In [GW12, Proposition 4.4], Guichard and Wienhard give sufficient conditions such that κ • ρ is θ -Anosov for some θ ⊂ ∆ : Proposition 4.4]). Let κ : G → G be a Lie group homomorphism and assume that κ(K) ⊂ K and κ(a) ⊂ a . Let θ ⊂ ∆ and suppose that there exist w ∈ W and θ ⊂ ∆ such that κ * a + \ α∈θ ker(α) ⊂ w · W θ · a + \ α∈θ ker(α ) .
The assumption (6.2) guarantees that if H ∈ a + does not lie in a wall of the Weyl chamber corresponding to an element α ∈ θ, then also its image under κ * stays away from the walls corresponding to the elements α ∈ θ . Note that the element w permuting the Weyl chambers cannot be omitted (see [Pfe21,Example 5.24]).
Remark 6.4. The notation is used in [GW12] is different from the notation we use -what they call θ-Anosov is (∆ \ θ)-Anosov in our notation. Moreover, in their paper, there is a typing error in the statement and proof of their Proposition 4.4: In the assumption (6.2), θ and ∆ \ θ are reversed. Here, we use our notational convention of θ-Anosov and the corrected assumption (6.2).
The fact that κ • ρ is again Anosov now triggers the question how such compositions of representations behave under cataclysm deformations. Indeed, under an additional assumption, we have: Proposition 6.5. Let κ : G → G be a Lie group homomorphism and assume that κ(K) ⊂ K and κ(a) ⊂ a . Let θ ⊂ ∆ and θ ⊂ ∆ such that (6.2) is satisfied.
Further, assume that κ * (a θ ) ⊂ a θ . Let ρ : π 1 (S) → G be θ-Anosov and let ε ∈ H Twist ( λ; a θ ) be sufficiently small such that Λ ε 0 ρ exists. Then κ • ρ is θ -Anosov and Λ κ * ε P (κ • ρ) = κ (Λ ε P ρ) . (6.3) Note that assumption κ * (a θ ) ⊂ a θ is not implied by (6.2) as we will see in Example 6.7. Further, we want to remark that the notation Λ P for the cataclysm deformation does not encode the group G containing the image of the representation ρ. This is given implicitly by the cycle. In particular, in Proposition 6.5, Λ κ * ε P is the deformation of a representation with values in G , and Λ ε P is the deformation of a representation with values in G.
Proof of Proposition 6.5. By Proposition 6.3, the composition κ • ρ is Anosov and the boundary map for κ • ρ is given by κ + • ζ, where κ + : F θ → F θ is a map induced by κ. It follows that the stretching maps for κ • ρ satisfy T κ * H g = κ T H g for any H ∈ a θ and oriented geodesic g. Here, T H g is the stretching map for the representation ρ. Consequently, the shearing maps satisfy ϕ κ * ε P Q = κ ϕ ε P Q , and the claim follows by the definition of Λ P .
We end this section with two examples -one family of representations for which the prerequisites of Proposition 6.5 are satisfied, and one representation where it is not.

Injectivity properties of cataclysms
For Teichmüller space, cataclysms are injective and give rise to shearing coordinates (see [Bon96]). This motivates the question if they are also injective in the general case. For Hitchin representations into PSL(n, R), this is true (see Corollary 7.9). However, for general θ-Anosov representations, it does not hold. In this section, we show that for (n, k)-horocyclic representations, the cataclysm deformation is not injective. We then present a sufficient condition for injectivity. 7.1. Horocyclic representations. Let ρ be an (n, k)-horocyclic representation as introduced in Example 6.6, obtained from composing a Fuchsian representation into SL(2, R) with the reducible representation ι n,k whose image stabilizes a k-plane. A horocyclic representation is reducible and has non-trivial centralizer, which will play an important role in the proof of the following result.
Theorem 7.1. Let ρ : π 1 (S) → SL(n, R) be (n, k)-horocyclic. Then there is a subspace H trivial ⊂ H( λ; a θ ) such that Λ ε 0 ρ = ρ if and only if ε ∈ H trivial . The subspace H trivial depends only on the lamination λ. The dimension of H trivial can be estimated by where χ(λ) is the Euler characteristic of λ and n(λ) the number of connected components.
Proof. We can split up a θ as a θ = (ι n,k ) * (a 2 ) ⊕ a , where a 2 is the maximal abelian subalgebra for SL(2, R), (ι n,k ) * : a 2 → a is induced from ι n,k and a is the 1dimensional subspace given by By Example 6.6, we know that for cycles with values in (ι n,k ) * (a 2 ), the cataclysm deformation based at ρ is injective, since it is the image under ι n,k of a cataclysm deformation of the representation ρ 0 in SL(2, R). These are injective by Corollary 7.9 below. For cycles with values in a we observe that exp(a ) lies in the centralizer of ι n,k (SL(2, R)). It follows that the stretching maps satisfy T H g = exp(H) for all H ∈ a and all oriented geodesics g. By additivity of the cycle, this implies that ϕ ε P Q = exp (ε(P, Q)) for all connected components P and Q and all a -valued transverse twisted cycles ε ∈ H Twist λ; a . By definition of the cataclysm deformation, we thus have Λ ε P ρ = ρ if and only if ε(P, γP ) = 0 ∀γ ∈ π 1 (S).
A short computation shows that this is a group homomorphism and independent of the reference component. Together with (7.2), we now have that Λ ε P ρ = ρ if and only if ε takes values in a and lies in ker(f ) =: H trivial . Here, we also use the additivity of the cataclysm deformation (Theorem 6.1) and that for representations into SL(2, R), the cataclysm deformation is injective (Corollary 7.9). By the dimension formula, the dimension of ker(f ) lies between dim H λ; R Proof. For a maximal lamination, the complement S \λ consists of 4g −4 connected components that are ideal triangles. Let C λ := {Q 0 , Q 1 , . . . , Q 4g−5 } be a set of representatives of connected components ofS \λ such that each component of S \ λ has a lift contained in C λ . Let P = Q 0 be the fixed reference component, and let C λ := C λ \ {P }. Further, let α i , β i for i = 1, . . . , g(S) be generators of π 1 (S). Define the map ε → (ε(P, α i P ), ε(P, β i P )) i=1,...,g , (ε(P, Q)) Q∈C λ .
It is straightforward to check that V is a vector space homomorphism. From additivity of the transverse cycle ε, it follows that ε is uniquely determined by V (ε), so V is injective. For dimension reasons, V is also surjective, so a bijection. By construction, ker(f ) agrees with V −1 {0} 2g(S) × R C λ , which has dimension 4g(S) − 5.
Remark 7.4. An analogous construction as in Theorem 7.1 works for reducible ∆-Anosov representations into SL(2n + 1, R) that are obtained from composing a ∆ Sp(2n,R) -Anosov representation ρ 0 : π 1 (S) → Sp(2n, R) with a reducible embedding ι 2n→2n+1 : Sp(2n, R) → SL(2n + 1, R). With the same arguments as for the case of (n, k)-horocyclic representations, it holds that there exists a subspace H trivial ⊂ H Twist ( λ; a) such that Λ ε P ρ = ρ for all ε ∈ H trivial . In this case, we can split up a as (ι 2n→2n+1 ) * (a 2n ) ⊕ a ⊕ a , where a is 1-dimensional and H trivial ⊂ H Twist ( λ; a ) identifies with H λ; R − . Since we cannot determine the behavior of Λ P for cycles with values in a , we only obtain a lower bound on the dimension of H trivial in contrast to Theorem 7.1.
Remark 7.5. Horocyclic representations are reducible. However, we can also construct irreducible representations for which injectivity of the cataclysm deformation fails. An example are hybrid representations. These were constructed for representations into Sp(4, R) in [GW10, §3.3.1]. We use the same technique for SL(3, R) to obtain an irreducible representation whose restriction to a subsurface is reducible: Let S be a closed connected oriented surface of genus at least 2 and let c be a simple closed separating curve. Let S l and S r be the connected components of S \ c. Then the fundamental group of S is the amalgamated product π 1 (S) = π 1 (S l ) * c π 1 (S r ). Let ρ 0 : π 1 (S) → SL(2, R) be discrete and faithful. We can assume that ρ 0 (c) is diagonal with eigenvalues e a and e −a . For t ∈ [0, 1] let ρ t : π 1 (S) → SL(2, R) be a continuous path of representations starting at ρ 0 such that ρ 1 (c) is diagonal with entries e 2a and e −2a . Set ρ l := ι 3,1 • ρ 1 , where ι 3,1 : SL(2, R) → SL(3, R) is the reducible representation introduced in Example 6.6. Further, let ρ r := j 3 • ρ 0 , where j 3 : SL(2, R) → SL(3, R) is the unique irreducible representation. Then ρ l (c) = ρ r (c), so we can define ρ := ρ l | π1(S l ) * c ρ r | π1(Sr) . Since ρ| π1(Sr) is irreducible also ρ is irreducible. Let λ be a finite lamination that is subordinate to a pair of pants decomposition containing the separating curve c. In [Pfe21, Subsection 7.3], we construct a transverse cycle ε that it is trivial on all arcs that are contained in S r , i.e. on the part of the surface where ρ is irreducible, and such that ϕ ε P (γP ) = Id for all γ ∈ π 1 (S). In particular, the ε-cataclysm deformation along λ is trivial. 7.2. Injectivity of shearing maps and a sufficient condition for injectivity. Even though the cataclysm deformation is not injective in general, we can give a sufficient condition for injectivity. To do so, we first observe that the map that assigns to a twisted cycle the family of shearing maps, is injective.
Proposition 7.6. If two transverse twisted cycles ε, η ∈ H Twist ( λ; a θ ) have the same family of shearing maps, i.e. ϕ ε P Q = ϕ η P Q for all P, Q ⊂S \λ, then ε = η. In other words, the map is injective. Here, V ρ ⊂ H Twist ( λ; a θ ) is the neighborhood of 0 from Proposition 5.1.
For the proof of Proposition 7.6, we make use of the Busemann cocycle σ : G × F θ → a θ (see [BQ16,Lemma 6.29]). It is defined as follows: Let G = KAN + be the Iwasawa decomposition. The maximal compact subgroup K acts transitively on F ∆ = G/B + . Thus, every element in F ∆ can be written as k · B + for some k ∈ K. By the Iwasawa decomposition, for g ∈ G and F = k · B + ∈ F ∆ , there exists a unique element σ(g, F ) in a such that gk ∈ K exp(σ(g, F ))N + .
The Busemann cocycle also exists in the context of partial flag manifolds: Let W θ be the subgroup of the Weyl group W that fixes a θ point-wise and let p θ : a → a θ be the unique projection invariant under W θ . For every θ ⊂ ∆, the map p θ • σ : G × F ∆ → a θ factors through a map σ θ : G × F θ → a θ (by [BQ16,Lemma 8.21]). The Busemann cocycle is continuous and satisfies the cocycle property, i.e. for all g 1 , g 2 ∈ G and F ∈ F θ , σ θ (g 1 g 2 , F ) = σ θ (g 1 , g 2 · F ) + σ θ (g 2 , F ) .

By definition, the Busemann cocycle satisfies
Proof of Proposition 7.6. We use the Busemann cocycle σ θ and define for an arck transverse toλ where for a component R ⊂S \λ, we set ϕ ε R := ϕ ε P R . We first show that the sum defining δ converges.
In the following, we omit the superscript ε. Fix a norm · on a. The Busemann cocycle is analytic, so in particular, it is locally Lipschitz. Since the arck is compact, all the shearing maps ϕ R lie within a compact subset of G, and the flags P + g 0/1 R lie within a compact subset of F θ . Thus, using Hölder continuity of the boundary map, Lemma 2.10 and the fact that d(g 0 R , g 1 R ) ≤ B (k ∩ R) for some constant B > 0, there exist constants C i , A i > 0 depending on the arck and the representation ρ such that ≤ C 3 e −A2r(R) .

It follows that
where for the last inequality, we use the fact that the number of all components with fixed divergence radius is uniformly bounded (Lemma 2.10). In total, the sum defining δ is absolutely convergent. We now show that δ(k) = ε(P, Q). First, we observe that if g is an oriented geodesic inS and H ∈ a θ , then This follows from the definition of T H g and the cocycle property. As in the proof of Proposition 5.1, we fix a sequence (C m ) m∈N of subsets of C P Q such that C m has cardinality m and C m ⊂ C m+1 for all m. For a fixed m, let C m = {R 1 , R 2 , . . . , R m }, where the labelling is from P to Q. Set R 0 := P and R m+1 := Q. Note that, to be precise, we would have to record the subset C m in the notation of the R k , i.e. C m = {R m 1 , . . . R m m }. For instance, R m k is either equal to R m+1 k or to R m+1 k+1 , depending on whether the unique component R ∈ C m+1 \ C m separates R m k from P or from Q. However, we feel that this would overload the notation even more, so we omit the superscript, keeping in mind that the components R i depend on the on the subset C m . To shorten notation, let ϕ i := ϕ Ri and g , and the observation in (7.3), we obtain Thus, by additivity of ε and the cocycle property, It remains to show that the limit on the right side equals zero. Fix m ∈ N. By local Lipschitz continuity of the Busemann cocycle, there exists a constant C 1 > 0 depending onk and ρ such that Let r m := min R∈C P Q \Cm r(R) be the minimal divergence radius of all components of C P Q that are not contained in C m . It goes to infinity as m tends to ∞, since for fixed n, there are only finitely many components in C P Q with r(R) = n. By Hölder continuity of the boundary map, there are constants A j , C j > 0 depending onk and ρ such that where for the last step, we used that the series can be estimated by the remainder term of a geometric series and is bounded by a constant times e −A3rm . Further, since the action of G on F θ is smooth, it is in particular locally Lipschitz and we have by Lemma 5.5 Combining these estimates gives us In addition, again by Lemma 5.5, we have Combining the estimates from (7.4) and (7.5), we have where we use the fact that m = |C m | is bounded by a constant times r m +1 (Lemma 2.10). If m goes to infinity, r m goes to infinity, so the right hand side converges to zero. This finishes the proof that δ(k) = ε(P, Q). Since δ depends on the family of shearing maps, and only indirectly on ε, it follows that ε = η if they have the same families of shearing maps.
Remark 7.7. In [Dre13], Dreyer shows Proposition 7.6 for the case of ∆-Anosov representations into PSL(n, R). He does not use the Busemann cocycle, but the viewpoint on Anosov representations through a bundle over T 1 S and considers a flow on this bundle. Our approach gives the same results in the special case of ∆-Anosov representations into PSL(n, R), but works in the more general setting. Further, Dreyer concludes from this result injectivity of the cataclysm deformation, which is wrong as we have seen in Theorem 7.1 above.
With Proposition 7.6 and an assumption on the flag curve of ρ, we can guarantee injectivity of the cataclysm deformation.
Then for any fixed reference triangle P , the cataclysm deformation based at ρ is injective.
Proof. Let ε, η ∈ U ρ ⊂ H Twist ( λ; a θ ) be such that Λ ε P ρ = Λ η P ρ and let ζ ε = ζ η be the corresponding boundary curve. By Theorem 5.9, we have for every x that is a vertex of the connected component Q x ⊂S \λ, ϕ ε P Qx · ζ(x) = ζ ε (x) = ζ η (x) = ϕ η P Qx · ζ(x), so ϕ ε P Qx ϕ η P Qx −1 lies in the stabilizer of ζ(x). This holds for any x in the boundary of Q x , so by the assumption on ζ, we have ϕ ε P Qx = ϕ η P Qx for all connected components Q x ofS \λ. By the composition property of the shearing maps, it follows that ϕ ε P Q = ϕ η P Q for all connected components P, Q ⊂S \λ. By Proposition 7.6, it follows that ε = η, so the cataclysm deformation is injective. Corollary 7.9. If ρ is a Hitchin representation into PSL(n, R) or into SL(n, R), then the cataclysm deformation based at ρ is injective.
Proof. For Hitchin representations into PSL(n, R) and SL(n, R) for odd n, the stabilizer of any triple of flags is trivial and the claim follows from Corollary 7.8. For SL(n, R) with n even, the claim follows by projecting to PSL(n, R) and using injectivity there.