pith. sign in

arxiv: 2606.05313 · v2 · pith:2SHT4GZUnew · submitted 2026-06-03 · 🧮 math.GT · math.GR

Convergence of cataclysm deformations on Anosov representations and applications

Hongtaek Jung This is my paper

Pith reviewed 2026-06-30 11:18 UTC · model grok-4.3

classification 🧮 math.GT math.GR
keywords Anosov representationscataclysm deformationstwisted measured laminationsHitchin componentGoldman product formulastrongly dense representations
0
0 comments X

The pith

If twisted measured laminations converge weakly, their cataclysm deformations on Anosov representations converge uniformly on compact sets.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper establishes that cataclysm deformations of Anosov representations converge uniformly on compact sets whenever the associated twisted measured laminations converge weakly. This convergence result supports two applications. It extends the Goldman product formula to the setting of these deformations. It also shows that strongly dense G-Hitchin representations do not form an open subset of the G-Hitchin component when G is a split real form whose Weyl group contains the element -1.

Core claim

If a sequence of twisted measured laminations converges weakly, the sequence of corresponding cataclysm deformations on the space of Anosov representations converges uniformly on compact sets. This result leads to an extension of the Goldman product formula and shows that, for a split real form G whose Weyl group contains -1, the set of strongly dense G-Hitchin representations is not open in the G-Hitchin component.

What carries the argument

Cataclysm deformation, which shears and twists an Anosov representation according to a twisted transverse cocycle coming from a measured lamination.

If this is right

  • The Goldman product formula extends to products involving cataclysm deformations.
  • Strongly dense G-Hitchin representations fail to be open in the G-Hitchin component for split real forms G with -1 in the Weyl group.
  • Limits of sequences of Anosov representations obtained via cataclysm deformations can be controlled uniformly on compact sets.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • The convergence may allow passage to limits in other constructions that rely on transverse cocycles in representation spaces.
  • Non-openness of the strongly dense set could constrain how density properties distribute across connected components of representation varieties.

Load-bearing premise

The standard definitions and continuity properties of twisted transverse cocycles and cataclysm deformations interact with the weak topology on measured laminations in the expected way.

What would settle it

A sequence of twisted measured laminations that converges weakly yet produces cataclysm deformations that fail to converge uniformly on some compact subset of the space of Anosov representations.

Figures

Figures reproduced from arXiv: 2606.05313 by Hongtaek Jung.

Figure 1
Figure 1. Figure 1: Configuration for the proof of Lemma 3.2 with b < 1. component of ffγ([0, 1]) \ µe. For each J ∈ Cγ(µ), there exists a unique ideal triangle in S \ µ that contains J. If a transverse geodesic γ ⊂ S is oriented, we choose the orientation-preserving constant-speed parametrization fγ. As before let ffγ be the lift. Then ffγ induces a total ordering < on the lifted geodesic arc ffγ([0, 1]) in H2 . Given J ∈ Cγ… view at source ↗
Figure 2
Figure 2. Figure 2: Since dPT(gbx, bhz) = dEuc(x, z) + φ < δ0, we have φ < δ0. The length of the segment xz is bounded from above by δ0 as well. Hence, the length of the line segment xt is at most δ0 and the length of ty is at most |zt| · tan(θ − π 2 + φ) < δ0 · tan(θ0 + δ0). Consequently, we obtain dPT(gbx, bhy) = dEuc(x, y) + φ < 2δ0 + δ0 · tan(θ0 + δ0). Given ϵ > 0, let 0 < δ < δ0 be a real number satisfying 2δ + δ · tan(θ… view at source ↗
Figure 2
Figure 2. Figure 2: Since dPT(gbx, bhz) = dEuc(x, z) + φ < δ0, we have φ < δ0. The length of the segment xz is bounded from above by δ0 as well. Hence, the length of the line segment xt is at most δ0 and the length of ty is at most |zt| · tan(θ − π 2 + φ) < δ0 · tan(θ0 + δ0). Consequently, we obtain dPT(gbx, bhy) = dEuc(x, y) + φ < 2δ0 + δ0 · tan(θ0 + δ0). If we orient a switch s, the set of branches that intersect s can be d… view at source ↗
Figure 3
Figure 3. Figure 3: A complementary ideal triangle T and its train-track neighborhood. The intervals J1 and J2 are in the same parallel class. The interval J1 ∈ Cγ(µ) in the figure has divergence radius 2. The other interval J2, intersecting Ri1 and Ri2 , has divergence radius 0. The constants B, C, B′ , C′ and N in the above (i) and (ii) are chosen for each given µ. We observe that, to some extent, the same set of constants … view at source ↗
Figure 4
Figure 4. Figure 4: Two vertical lines are geodesic leaves of τ . Let B(T ) be the set of branches of T . Let L = maxe∈B(T ){H(e)} and l = mine∈B(T ){h(e)}, where H(e) and h(e) are the maximum and the minimum hyperbolic distances between two switches of a branch e respectively. The hyperbolic length of the vertical geodesic segment ab is given by ln a b . Since there are rτ (J) − rτ (Jmin) branches between J and Jmin, we obta… view at source ↗
Figure 5
Figure 5. Figure 5: Configuration for Set-up 4.6. The horizontal line denotes γe. Yellow strips are parts of Te. Thick vertical lines are leaves of the lamination µ. Now under the assumption n > N, we will make several estimates. Let Q i n := {J ∈ In | J ⊂ Ui} [PITH_FULL_IMAGE:figures/full_fig_p027_5.png] view at source ↗
Figure 5
Figure 5. Figure 5: Configuration for Set-up 4.6. The horizontal line denotes γe. Yellow strips are parts of Te. Thick vertical lines are leaves of the lamination µ. Now under the assumption n > N, we will make several estimates. Let Q i n := {J ∈ In | J ⊂ Ui} for each Ui ∈ U. Let Q 1 n ∪ P1 n ∪ Q2 n ∪ P2 n ∪ Q2 n ∪ · · · ∪ Pd−1 n ∪ Qd n be a partition of In such that Q1 n < P 1 n < Q2 n < P 2 n < · · · < Qd n . We formally a… view at source ↗
Figure 6
Figure 6. Figure 6: Definition of Pi,±. Between Wi and Wi+1 all yellow strips belong to V. With this notation, it remains to compare T −zcn P 1 n,0,+ f Y−1 i=1 T zcn P 0 n,i,− T −zcn P 1 n,i,+ ! T zcn P 0 n,f,− and T −zc P 1 0,+ f Y−1 i=1 T zc P 0 i,− T −zc P 1 i,+ ! T zc P 0 f,− . Due to Set-up 4.6(x), Set-up 4.6(xi) and Set-up 4.6(ii), dG(T−zcn P 1 n,i,+ , T −zc P 1 i,+ ) < 2A · δ f for each i = 0, 1, · · · , f − 1. Likewis… view at source ↗
Figure 6
Figure 6. Figure 6: Definition of Pi,±. Between Wi and Wi+1 all yellow strips belong to V. With this notation, it remains to compare T −zcn P 1 n,0,+ f Y−1 i=1 T zcn P 0 n,i,− T −zcn P 1 n,i,+ ! T zcn P 0 n,f,− and T −zc P 1 0,+ f Y−1 i=1 T zc P 0 i,− T −zc P 1 i,+ ! T zc P 0 f,− . Due to Set-up 4.6(x), Set-up 4.6(xi) and Set-up 4.6(ii), dG(T−zcn P 1 n,i,+ , T −zc P 1 i,+ ) < 2A · δ f for each i = 0, 1, · · · , f − 1. Likewis… view at source ↗
Figure 7
Figure 7. Figure 7: Left: The configuration of geodesics for Example 5.3. Right: After the Dehn twist along η, γ1 and γ ′ have two intersections with opposite sign. Thus, we obtain µ X 1 (γ ′ ) = 1 2 (X − w0X) = 0. Let a and b be non-trivial elements in h ∗ . Let γ ∈ π1(S) \ {1}. Define the function ℓ a γ : HitGsplit (S) → R by ℓ a γ ([ρ]) = a(λ(ρ(γ))). This quantity may be referred to as the a-length function. Since the Jord… view at source ↗
Figure 7
Figure 7. Figure 7: Left: The configuration of geodesics for Example 5.3. Right: After the Dehn twist along η, γ1 and γ ′ have two intersections with opposite sign. Thus, we obtain µ X 1 (γ ′ ) = 1 2 (X − w0X) = 0. Observe that ℓ a γ−1 (ρ) = a(λ(ρ(γ −1 ))) = a(−w0λ(ρ(γ))) = ℓ −w0a γ (ρ). If we further assume that a is fixed by the opposite involution, a = −w0a, then ℓ a γ does not depend on the orientation of γ, which is an e… view at source ↗
read the original abstract

A cataclysm deformation, that shears and twists a given Anosov representation according to data known as a twisted transverse cocycle, is an intuitive and powerful tool for studying Anosov representations. We show that if a sequence of twisted measured laminations converges weakly, the sequence of corresponding cataclysm deformations on the space of Anosov representations converges uniformly on compact sets. This result leads to two applications. First, we obtain an extension of the Goldman product formula. Second, we consider strongly dense representations, introduced by Breuillard--Green--Guralnick--Tao and Long--Reid. Using cataclysm deformations, we show that, for a split real form $\mathsf{G}$ whose Weyl group contains $-1$, the set of strongly dense $\mathsf{G}$-Hitchin representations is not open in the $\mathsf{G}$-Hitchin component.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

0 major / 2 minor

Summary. The manuscript proves that if a sequence of twisted measured laminations converges weakly, then the associated cataclysm deformations of Anosov representations converge uniformly on compact subsets of the representation space. This continuity result is applied first to obtain an extension of the Goldman product formula and second to show that, for a split real form G whose Weyl group contains -1, the locus of strongly dense G-Hitchin representations is not open inside the G-Hitchin component.

Significance. If the convergence statement holds, the paper supplies a useful continuity tool for cataclysm deformations that rests on standard definitions of twisted transverse cocycles. The two applications demonstrate concrete consequences: an extension of a classical formula and a negative result on openness of a dense locus. The argument is presented as building directly on existing background structures without introducing new ad-hoc axioms or free parameters.

minor comments (2)
  1. [Abstract] The abstract states the main theorem and applications but does not indicate the precise hypotheses on the topology of the surface or the cocycle data; a single sentence clarifying these standing assumptions would improve readability.
  2. Notation for the space of Anosov representations and the weak topology on twisted measured laminations should be introduced once in a preliminary section and used consistently thereafter.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive summary of the manuscript, for recognizing the significance of the continuity result for cataclysm deformations, and for recommending acceptance. No major comments were raised in the report.

Circularity Check

0 steps flagged

No significant circularity

full rationale

The paper's central result is a convergence theorem: weak convergence of twisted measured laminations implies uniform-on-compacts convergence of the associated cataclysm deformations. This is presented as a new theorem resting on standard background definitions of twisted transverse cocycles and cataclysm deformations drawn from prior literature (explicitly not re-derived or fitted inside the paper). No step reduces by construction to a self-definition, a fitted input renamed as prediction, or a load-bearing self-citation chain; the applications (Goldman formula extension and non-openness of strongly dense locus) follow from the convergence statement without internal circular reduction. The derivation chain is therefore self-contained against external benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

No free parameters, invented entities, or ad-hoc axioms are mentioned; the work rests on the standard axiomatic framework of Anosov representations and measured laminations already present in the literature.

pith-pipeline@v0.9.1-grok · 5672 in / 1194 out tokens · 32660 ms · 2026-06-30T11:18:12.058029+00:00 · methodology

Review history (2 revisions) →

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Reference graph

Works this paper leans on

29 extracted references · 3 canonical work pages

  1. [1]

    The pressure metric for A nosov representations

    Martin Bridgeman, Richard Canary, Fran c ois Labourie, and Andres Sambarino. The pressure metric for A nosov representations. Geom. Funct. Anal. , 25(4):1089--1179, 2015

    2015

  2. [2]

    Hitchin characters and geodesic laminations

    Francis Bonahon and Guillaume Dreyer. Hitchin characters and geodesic laminations. Acta Math. , 218(2):201--295, 2017

    2017

  3. [3]

    Strongly dense free subgroups of semisimple algebraic groups

    Emmanuel Breuillard, Ben Green, Robert Guralnick, and Terence Tao. Strongly dense free subgroups of semisimple algebraic groups. Israel J. Math. , 192(1):347--379, 2012

    2012

  4. [4]

    Strongly dense free subgroups of semisimple algebraic groups II

    Emmanuel Breuillard, Robert Guralnick, and Michael Larsen. Strongly dense free subgroups of semisimple algebraic groups II . J. Algebra , 656:143--169, 2024

    2024

  5. [5]

    Ghost polygons, P oisson bracket and convexity

    Martin Bridgeman and François Labourie. Ghost polygons, P oisson bracket and convexity. Preprint, arXiv:2307.04380 , 2025

    work page arXiv 2025

  6. [6]

    The geometry of T eichm\"uller space via geodesic currents

    Francis Bonahon. The geometry of T eichm\"uller space via geodesic currents. Invent. Math. , 92(1):139--162, 1988

    1988

  7. [7]

    Shearing hyperbolic surfaces, bending pleated surfaces and T hurston's symplectic form

    Francis Bonahon. Shearing hyperbolic surfaces, bending pleated surfaces and T hurston's symplectic form. Ann. Fac. Sci. Toulouse Math. (6) , 5(2):233--297, 1996

    1996

  8. [8]

    Anosov representations and dominated splittings

    Jairo Bochi, Rafael Potrie, and Andr\'es Sambarino. Anosov representations and dominated splittings. J. Eur. Math. Soc. (JEMS) , 21(11):3343--3414, 2019

    2019

  9. [9]

    D. B. A. Epstein and A. Marden. Convex hulls in hyperbolic space, a theorem of S ullivan, and measured pleated surfaces [mr0903852]. In Fundamentals of hyperbolic geometry: selected expositions , volume 328 of London Math. Soc. Lecture Note Ser. , pages 117--266. Cambridge Univ. Press, Cambridge, 2006

    2006

  10. [10]

    Anosov representations and proper actions

    Fran c ois Gu\' e ritaud, Olivier Guichard, Fanny Kassel, and Anna Wienhard. Anosov representations and proper actions. Geom. Topol. , 21(1):485--584, 2017

    2017

  11. [11]

    Positivity and representations of surface groups

    Olivier Guichard, Fran c ois Labourie, and Anna Wienhard. Positivity and representations of surface groups. Forum Math. Pi , 14:Paper No. e6, 2026

    2026

  12. [12]

    William M. Goldman. Invariant functions on L ie groups and H amiltonian flows of surface group representations. Invent. Math. , 85(2):263--302, 1986

    1986

  13. [13]

    Anosov representations: domains of discontinuity and applications

    Olivier Guichard and Anna Wienhard. Anosov representations: domains of discontinuity and applications. Invent. Math. , 190(2):357--438, 2012

    2012

  14. [14]

    N. J. Hitchin. Lie groups and T eichm\" u ller space. Topology , 31(3):449--473, 1992

    1992

  15. [15]

    Generic properties of hitchin representations

    Hongtaek Jung. Generic properties of hitchin representations. Preprint, arXiv:2407.08487 , 2025

    work page arXiv 2025

  16. [16]

    Kerckhoff

    Steven P. Kerckhoff. The N ielsen realization problem. Ann. of Math. (2) , 117(2):235--265, 1983

    1983

  17. [17]

    Kerckhoff

    Steven P. Kerckhoff. Earthquakes are analytic. Comment. Math. Helv. , 60(1):17--30, 1985

    1985

  18. [18]

    Anosov subgroups: dynamical and geometric characterizations

    Michael Kapovich, Bernhard Leeb, and Joan Porti. Anosov subgroups: dynamical and geometric characterizations. Eur. J. Math. , 3(4):808--898, 2017

    2017

  19. [19]

    On the continuity of bending

    Christos Kourouniotis. On the continuity of bending. In The E pstein birthday schrift , volume 1 of Geom. Topol. Monogr. , pages 317--334. Geom. Topol. Publ., Coventry, 1998

    1998

  20. [20]

    Anosov flows, surface groups and curves in projective space

    Fran c ois Labourie. Anosov flows, surface groups and curves in projective space. Invent. Math. , 165:51--114, 2006

    2006

  21. [21]

    Strongly dense representations of hyperbolic 3-manifold groups

    Ricky Lee. Strongly dense representations of hyperbolic 3-manifold groups. Proc. Amer. Math. Soc. , 154(3):1311--1323, 2026

    2026

  22. [22]

    D. D. Long, A. W. Reid, and M. Wolff. Most H itchin representations are strongly dense, 2022. arXiv 2202.09306, To appear in Michigan Math. J

    work page arXiv 2022

  23. [23]

    McMullen

    Curtis T. McMullen. Complex earthquakes and T eichm\"uller theory. J. Amer. Math. Soc. , 11(2):283--320, 1998

    1998

  24. [24]

    Masur and Yair N

    Howard A. Masur and Yair N. Minsky. Geometry of the complex of curves. I . H yperbolicity. Invent. Math. , 138(1):103--149, 1999

    1999

  25. [25]

    The hyperbolization theorem for fibered 3-manifolds , volume 7 of SMF/AMS Texts and Monographs

    Jean-Pierre Otal. The hyperbolization theorem for fibered 3-manifolds , volume 7 of SMF/AMS Texts and Monographs . American Mathematical Society, Providence, RI; Soci\'et\'e Math\'ematique de France, Paris, 2001. Translated from the 1996 French original by Leslie D. Kay

    2001

  26. [26]

    Cataclysms for A nosov representations

    Mareike Pfeil. Cataclysms for A nosov representations. Geom. Dedicata , 216(6):Paper No. 61, 31, 2022

    2022

  27. [27]

    R. C. Penner and J. L. Harer. Combinatorics of train tracks , volume 125 of Annals of Mathematics Studies . Princeton University Press, Princeton, NJ, 1992

    1992

  28. [28]

    Infinitesimal Z ariski closures of positive representations

    Andr\'es Sambarino. Infinitesimal Z ariski closures of positive representations. J. Differential Geom. , 128(2):861--901, 2024

    2024

  29. [29]

    On the symplectic geometry of deformations of a hyperbolic surface

    Scott Wolpert. On the symplectic geometry of deformations of a hyperbolic surface. Ann. of Math. (2) , 117(2):207--234, 1983

    1983