pith. machine review for the scientific record. sign in

arxiv: 2605.11298 · v1 · submitted 2026-05-11 · 🧮 math.DS · math.AG· math.SG

Recognition: 1 theorem link

· Lean Theorem

Infinitesimal random dynamics of certain Veech groups on SU(2)-character varieties

Carlos Matheus, Giovanni Forni, Sean Lawton, William M. Goldman

Pith reviewed 2026-05-13 01:59 UTC · model grok-4.3

classification 🧮 math.DS math.AGmath.SG
keywords Veech groupsSU(2)-character varietiesLyapunov exponentsTeichmüller curvesnon-Abelian dynamicsHodge bundlesrandom dynamics
0
0 comments X

The pith

For the same Veech surfaces with degenerate SL(2,R) spectra, the non-Abelian analogue on SU(2)-character varieties has no zero Lyapunov exponents.

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

The paper extends previous work on Teichmüller curves where SL(2,R)-invariant subbundles of Hodge bundles exhibited maximally degenerate Lyapunov spectra. It focuses on the infinitesimal random dynamics generated by certain Veech groups. The central result is that a natural non-Abelian version of this construction, using SU(2)-character varieties, produces dynamics with no zero Lyapunov exponents. A reader would care because this shows how switching from Abelian to non-Abelian groups can eliminate degeneracy in the spectrum, potentially affecting the overall behavior of the flow or random walk.

Core claim

The authors prove that for specific surfaces admitting Veech groups, the infinitesimal random dynamics on the associated SU(2)-character varieties yield a Lyapunov spectrum without any zero exponents, in contrast to the degenerate spectrum found in the earlier SL(2,R) setting for the same surfaces.

What carries the argument

The non-Abelian analogue of the Hodge bundle, defined via the SU(2)-character variety and the action of the Veech group, which carries the random dynamics used to compute the Lyapunov exponents.

If this is right

  • The Lyapunov spectrum is non-degenerate for these non-Abelian dynamics.
  • This holds for the surfaces previously studied in the SL(2,R) case.
  • The construction allows analysis of the random dynamics without zero exponents.
  • Implications include stronger hyperbolicity in the non-Abelian setting compared to the Abelian one.

Where Pith is reading between the lines

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

  • One might expect similar absence of zero exponents for other non-Abelian Lie groups acting on character varieties.
  • This result may connect to broader questions about Lyapunov spectra in representation varieties beyond the SL(2,R) and SU(2) cases.
  • Further study could identify which surfaces exhibit this non-degenerate behavior in the non-Abelian context.

Load-bearing premise

The non-Abelian analogue is defined to parallel the SL(2,R) construction closely enough that the same surfaces support the required invariant subbundles in the SU(2) setting.

What would settle it

A calculation or numerical simulation revealing a zero Lyapunov exponent for the infinitesimal random dynamics of one of these Veech groups on the SU(2)-character variety would falsify the claim.

read the original abstract

Almost 20 years ago, the first and fourth authors found examples of SL(2,R)-invariant subbundles of Hodge bundles over Teichm\"uller curves having maximally degenerate Lyapunov spectrum. For these same surfaces, we show that a natural non-Abelian analogue has no zero Lyapunov exponents.

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 / 3 minor

Summary. The paper studies the infinitesimal action of certain Veech groups on SU(2)-character varieties of surfaces that previously exhibited maximally degenerate Lyapunov spectra in the SL(2,R) Hodge bundle setting. It constructs an explicit non-Abelian cocycle via this infinitesimal action and proves that the associated Lyapunov exponents have no zeros, using non-degeneracy of the derivative cocycle on tangent spaces together with compactness of SU(2) and an ergodicity argument on the projectivized bundle.

Significance. If the central claim holds, the result supplies a sharp Abelian/non-Abelian contrast for the same Teichmüller curves, showing that compactness of SU(2) forces strict positivity of exponents where the SL(2,R) case permitted zeros. The explicit cocycle construction and the reduction to ergodicity on the projectivized bundle are technically clean and directly parallel the earlier work only where necessary, strengthening the overall picture of random dynamics on character varieties.

minor comments (3)
  1. §1: The comparison with the SL(2,R) results would be clearer if the precise statement of the earlier degenerate spectrum (including the surfaces and the reference) were recalled in one sentence.
  2. §3: The definition of the non-Abelian cocycle is given explicitly, but a short remark on why the same invariant subbundles exist in the SU(2) setting would help readers who are not already familiar with the SL(2,R) construction.
  3. Notation: The symbol for the projectivized bundle is introduced without a dedicated display equation; adding one would improve readability.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the positive and accurate summary of our work, which correctly identifies the central contribution: an explicit non-Abelian cocycle over the same Teichmüller curves that previously had maximally degenerate Lyapunov spectra in the SL(2,R) setting, together with a proof that the associated exponents have no zeros. The recommendation for minor revision is noted. No major comments appear in the report, so we have no specific points requiring rebuttal or clarification at this time. We will make any minor editorial improvements in the revised version.

Circularity Check

0 steps flagged

No significant circularity in derivation chain

full rationale

The paper cites prior work by two co-authors on SL(2,R)-invariant subbundles with degenerate Lyapunov spectrum, but this serves only as motivation for selecting the same surfaces. The central claim is established by an explicit definition of the non-Abelian analogue on the SU(2)-character variety, independent construction of the derivative cocycle, and a proof of strict positivity of exponents that relies on the compactness of SU(2) together with an ergodicity argument on the projectivized bundle. No step reduces the new result to a self-citation, fitted parameter, or definitional renaming; the derivation remains self-contained against external benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

Abstract only; no free parameters, axioms, or invented entities are described.

pith-pipeline@v0.9.0 · 5345 in / 958 out tokens · 44553 ms · 2026-05-13T01:59:58.464720+00:00 · methodology

discussion (0)

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

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

Reference graph

Works this paper leans on

64 extracted references · 64 canonical work pages

  1. [1]

    Griffiths, Geometry of algebraic curves

    Enrico Arbarello, Maurizio Cornalba, and Phillip A. Griffiths, Geometry of algebraic curves. V olume II , Grundlehren der mathematischen Wissenschaften [Fundamental Principles of Mathematical Sciences], vol. 268, Springer, Heidelberg, 2011, With a contribution by Joseph Daniel Harris. 2807457

    work page 2011

  2. [2]

    Ahlfors, The complex analytic structure of the space of closed R iemann surfaces , Analytic functions, Princeton Math

    Lars V. Ahlfors, The complex analytic structure of the space of closed R iemann surfaces , Analytic functions, Princeton Math. Ser., vol. No. 24, Princeton Univ. Press, Princeton, NJ, 1960, pp. 45--66. 124486

    work page 1960

  3. [3]

    Athreya and Howard Masur, Translation surfaces, Graduate Studies in Mathematics, vol

    Jayadev S. Athreya and Howard Masur, Translation surfaces, Graduate Studies in Mathematics, vol. 242, American Mathematical Society, Providence, RI, 2024. 4783430

    work page 2024

  4. [4]

    David Aulicino and Chaya Norton, Shimura- T eichm\"uller curves in genus 5 , J. Mod. Dyn. 16 (2020), 255--288. 4160181

    work page 2020

  5. [5]

    198 (2007), no

    Artur Avila and Marcelo Viana, Simplicity of L yapunov spectra: proof of the Z orich- K ontsevich conjecture , Acta Math. 198 (2007), no. 1, 1--56. 2316268

    work page 2007

  6. [6]

    Ser., vol

    Lipman Bers, Quasiconformal mappings and T eichm\"uller's theorem , Analytic functions, Princeton Math. Ser., vol. No. 24, Princeton Univ. Press, Princeton, NJ, 1960, pp. 89--119. 114898

    work page 1960

  7. [7]

    Yves Benoist and Jean-Fran c ois Quint, Random walks on reductive groups, Ergebnisse der Mathematik und ihrer Grenzgebiete. 3. Folge. A Series of Modern Surveys in Mathematics [Results in Mathematics and Related Areas. 3rd Series. A Series of Modern Surveys in Mathematics], vol. 62, Springer, Cham, 2016. 3560700

    work page 2016

  8. [8]

    Brown, Anosov mapping class actions on the SU (2) -representation variety of a punctured torus , Ergodic Theory Dynam

    Richard J. Brown, Anosov mapping class actions on the SU (2) -representation variety of a punctured torus , Ergodic Theory Dynam. Systems 18 (1998), 539--554

    work page 1998

  9. [9]

    Serge Cantat and Romain Dujardin, Hyperbolicity for large automorphism groups of projective surfaces, J. \'Ec. polytech. Math. 12 (2025), 421--480. 4877960

    work page 2025

  10. [10]

    85, Cambridge University Press, Cambridge, 2003

    James Carlson, Stefan M\"uller-Stach, and Chris Peters, Period mappings and period domains, Cambridge Studies in Advanced Mathematics, vol. 85, Cambridge University Press, Cambridge, 2003. 2012297

    work page 2003

  11. [11]

    II , Inst

    Pierre Deligne, Th\'eorie de H odge. II , Inst. Hautes \'Etudes Sci. Publ. Math. (1971), no. 40, 5--57. 498551

    work page 1971

  12. [12]

    Deligne, Un th\'eor\`eme de finitude pour la monodromie, Discrete groups in geometry and analysis ( N ew H aven, C onn., 1984), Progr

    P. Deligne, Un th\'eor\`eme de finitude pour la monodromie, Discrete groups in geometry and analysis ( N ew H aven, C onn., 1984), Progr. Math., vol. 67, Birkh\"auser Boston, Boston, MA, 1987, pp. 1--19. 900821

    work page 1984

  13. [13]

    Douady and J

    A. Douady and J. Hubbard, On the density of S trebel differentials , Invent. Math. 30 (1975), no. 2, 175--179. 396936

    work page 1975

  14. [14]

    Earle, H

    Clifford J. Earle, H. E . R auch, function theorist , Differential geometry and complex analysis, Springer, Berlin, 1985, pp. 15--31. 780033

    work page 1985

  15. [15]

    Giovanni Forni and William Goldman, Mixing flows on moduli spaces of flat bundles over surfaces, Geometry and physics. V ol. II , Oxford Univ. Press, Oxford, 2018, pp. 519--533

    work page 2018

  16. [16]

    Goldman, Sean Lawton, and Carlos Matheus, Non-ergodicity on SU(2) and SU(3) character varieties of the once-punctured torus , Ann

    Giovanni Forni, William M. Goldman, Sean Lawton, and Carlos Matheus, Non-ergodicity on SU(2) and SU(3) character varieties of the once-punctured torus , Ann. H. Lebesgue 7 (2024), 1099--1130. 4799915

    work page 2024

  17. [17]

    Simion Filip, Semisimplicity and rigidity of the K ontsevich- Z orich cocycle , Invent. Math. 205 (2016), no. 3, 617--670. 3539923

    work page 2016

  18. [18]

    Simion Filip, Zero L yapunov exponents and monodromy of the K ontsevich-- Z orich cocycle , Duke Math. J. 166 (2017), 657--706

    work page 2017

  19. [19]

    Systems 39 (2019), no

    Simion Filip, Notes on the multiplicative ergodic theorem, Ergodic Theory Dynam. Systems 39 (2019), no. 5, 1153--1189. 3928611

    work page 2019

  20. [20]

    Giovanni Forni and Carlos Matheus, An example of a T eichm \"u ller disk in genus 4 with degenerate K ontsevich- Z orich spectrum , 2008

    work page 2008

  21. [21]

    Giovanni Forni and Carlos Matheus, Introduction to T eichm\"uller theory and its applications to dynamics of interval exchange transformations, flows on surfaces and billiards , J. Mod. Dyn. 8 (2014), no. 3-4, 271--436. 3345837

    work page 2014

  22. [22]

    Systems 34 (2014), 353--408

    Giovanni Forni, Carlos Matheus, and Anton Zorich, Lyapunov spectrum of invariant subbundles of the H odge bundle , Ergodic Theory Dynam. Systems 34 (2014), 353--408

    work page 2014

  23. [23]

    Giovanni Forni, Deviation of ergodic averages for area-preserving flows on surfaces of higher genus, Ann. of Math. (2) 155 (2002), no. 1, 1--103. 1888794

    work page 2002

  24. [24]

    , On the L yapunov exponents of the K ontsevich- Z orich cocycle , Handbook of dynamical systems. V ol. 1 B , Elsevier B. V., Amsterdam, 2006, pp. 549--580. 2186248

    work page 2006

  25. [25]

    Goldman, The symplectic nature of fundamental groups of surfaces, Adv

    William M. Goldman, The symplectic nature of fundamental groups of surfaces, Adv. in Math. 54 (1984), no. 2, 200--225. 762512 (86i:32042)

    work page 1984

  26. [26]

    , Ergodic theory on moduli spaces, Ann. of Math. (2) 146 (1997), no. 3, 475--507. 1491446

    work page 1997

  27. [27]

    Goldman and Eugene Z

    William M. Goldman and Eugene Z. Xia, Rank one H iggs bundles and representations of fundamental groups of R iemann surfaces , Mem. Amer. Math. Soc. 193 (2008), no. 904, viii+69. 2400111

    work page 2008

  28. [28]

    Chicago Press, Chicago, IL, 2011, pp

    , Ergodicity of mapping class group actions on SU (2) -character varieties , Geometry, rigidity, and group actions, Chicago Lectures in Math., Univ. Chicago Press, Chicago, IL, 2011, pp. 591--608. 2807844

    work page 2011

  29. [29]

    Nan-Kuo Ho and Chiu-Chu Melissa Liu, On the connectedness of moduli spaces of flat connections over compact surfaces, Canad. J. Math. 56 (2004), no. 6, 1228--1236. 2102631

    work page 2004

  30. [30]

    II , Int

    , Connected components of spaces of surface group representations. II , Int. Math. Res. Not. (2005), no. 16, 959--979. 2146187

    work page 2005

  31. [31]

    Publ., Hackensack, NJ, 2005, pp

    , On the connectedness of the spaces of surface group representations, Noncommutative geometry and physics, World Sci. Publ., Hackensack, NJ, 2005, pp. 199--214. 2186389

    work page 2005

  32. [32]

    Frank Herrlich and Gabriela Schmith\"usen, An extraordinary origami curve, Math. Nachr. 281 (2008), no. 2, 219--237. 2387362

    work page 2008

  33. [33]

    uller theory and applications to geometry, topology, and dynamics. V ol. 1 , Matrix Editions, Ithaca, NY, 2006, Teichm\

    John Hamal Hubbard, Teichm\"uller theory and applications to geometry, topology, and dynamics. V ol. 1 , Matrix Editions, Ithaca, NY, 2006, Teichm\"uller theory, With contributions by Adrien Douady, William Dunbar, Roland Roeder, Sylvain Bonnot, David Brown, Allen Hatcher, Chris Hruska and Sudeb Mitra, With forewords by William Thurston and Clifford Earle...

    work page 2006

  34. [34]

    I , Duke Math

    Johannes Huebschmann, Symplectic and P oisson structures of certain moduli spaces. I , Duke Math. J. 80 (1995), no. 3, 737--756. 1370113

    work page 1995

  35. [35]

    Imayoshi and M

    Y. Imayoshi and M. Taniguchi, An introduction to T eichm\"uller spaces , Springer-Verlag, Tokyo, 1992, Translated and revised from the Japanese by the authors. 1215481

    work page 1992

  36. [36]

    Yael Karshon, An algebraic proof for the symplectic structure of moduli space, Proc. Am. Math. Soc. 116 (1992), no. 3, 591--605 (English)

    work page 1992

  37. [37]

    Manuel Kany and Carlos Matheus, Arithmeticity of the K ontsevich- Z orich monodromies of certain families of square-tiled surfaces II , Math. Nachr. 297 (2024), no. 5, 1892--1921. 4755742

    work page 2024

  38. [38]

    Shoshichi Kobayashi, Differential geometry of complex vector bundles, Princeton Legacy Library, Princeton University Press, Princeton, NJ, [2014], Reprint of the 1987 edition [MR0909698]. 3643615

    work page 2014

  39. [39]

    Kodaira and D

    K. Kodaira and D. C. Spencer, On deformations of complex analytic structures. I , II , Ann. of Math. (2) 67 (1958), 328--466. 112154

    work page 1958

  40. [40]

    Maxim Kontsevich and Anton Zorich, Connected components of the moduli spaces of A belian differentials with prescribed singularities , Invent. Math. 153 (2003), no. 3, 631--678. 2000471

    work page 2003

  41. [41]

    78 (1993), no

    Jun Li, The space of surface group representations, Manuscripta Math. 78 (1993), no. 3, 223--243. 1206154

    work page 1993

  42. [42]

    Carlos Matheus, Martin M \"o ller, and Jean-Christophe Yoccoz, A criterion for the simplicity of the L yapunov spectrum of square-tiled surfaces , Invent. Math. 202 (2015), no. 1, 333--425. 3402801

    work page 2015

  43. [43]

    o ller, Variations of H odge structures of a T eichm\

    Martin M \"o ller, Variations of H odge structures of a T eichm\"uller curve , J. Amer. Math. Soc. 19 (2006), no. 2, 327--344. 2188128

    work page 2006

  44. [44]

    , Shimura and T eichm\"uller curves , J. Mod. Dyn. 5 (2011), no. 1, 1--32. 2787595

    work page 2011

  45. [45]

    G. D. Mostow, Equivariant embeddings in E uclidean space , Ann. of Math. (2) 65 (1957), 432--446. 87037

    work page 1957

  46. [46]

    Carlos Matheus and Jean-Christophe Yoccoz, The action of the affine diffeomorphisms on the relative homology group of certain exceptionally symmetric origamis, J. Mod. Dyn. 4 (2010), no. 3, 453--486. 2729331

    work page 2010

  47. [47]

    Carlos Matheus, Jean-Christophe Yoccoz, and David Zmiaikou, Homology of origamis with symmetries, Ann. Inst. Fourier (Grenoble) 64 (2014), no. 3, 1131--1176. 3330166

    work page 2014

  48. [48]

    Subhashis Nag, The complex analytic theory of T eichm\"uller spaces , Canadian Mathematical Society Series of Monographs and Advanced Texts, John Wiley & Sons, Inc., New York, 1988, A Wiley-Interscience Publication. 927291

    work page 1988

  49. [49]

    Rapinchuk, Generic elements in Z ariski-dense subgroups and isospectral locally symmetric spaces , Thin groups and superstrong approximation, Math

    Gopal Prasad and Andrei S. Rapinchuk, Generic elements in Z ariski-dense subgroups and isospectral locally symmetric spaces , Thin groups and superstrong approximation, Math. Sci. Res. Inst. Publ., vol. 61, Cambridge Univ. Press, Cambridge, 2014, pp. 211--252. 3220892

    work page 2014

  50. [50]

    Claudio Procesi and Gerald Schwarz, Inequalities defining orbit spaces, Invent. Math. 81 (1985), no. 3, 539--554. 807071

    work page 1985

  51. [51]

    Xia, Ergodicity of mapping class group actions on representation varieties

    Doug Pickrell and Eugene Z. Xia, Ergodicity of mapping class group actions on representation varieties. I . C losed surfaces , Comment. Math. Helv. 77 (2002), no. 2, 339--362. 1915045

    work page 2002

  52. [52]

    M. S. Raghunathan, Discrete subgroups of L ie groups , Ergebnisse der Mathematik und ihrer Grenzgebiete [Results in Mathematics and Related Areas], vol. Band 68, Springer-Verlag, New York-Heidelberg, 1972. 507234

    work page 1972

  53. [53]

    H. E. Rauch, On the moduli of R iemann surfaces , Proc. Nat. Acad. Sci. U.S.A. 41 (1955), 236--238; errata, 421. 72234

    work page 1955

  54. [54]

    , On the transcendental moduli of algebraic R iemann surfaces , Proc. Nat. Acad. Sci. U.S.A. 41 (1955), 42--49. 72232

    work page 1955

  55. [55]

    , Variational methods in the problem of the moduli of R iemann surfaces , Contributions to function theory ( I nternat. C olloq. F unction T heory, B ombay, 1960), Tata Inst. Fund. Res., Bombay, 1960, pp. 17--40. 132173

    work page 1960

  56. [56]

    GT ] (2024), 2024

    Fayssal Saadi, Non-ergodicity on the SU (2)-character varieties , Preprint, arXiv :2404.00372 [math. GT ] (2024), 2024

    work page arXiv 2024

  57. [57]

    GT ] (2025), 2025

    , Pseudo- Anosov action on the SU(2) -character variety of S_2 , Preprint, arXiv :2505.08105 [math. GT ] (2025), 2025

    work page arXiv 2025

  58. [58]

    Schwarz, The topology of algebraic quotients, Topological methods in algebraic transformation groups (New Brunswick, NJ, 1988), Progr

    Gerald W. Schwarz, The topology of algebraic quotients, Topological methods in algebraic transformation groups (New Brunswick, NJ, 1988), Progr. Math., vol. 80, Birkh\"auser Boston, Boston, MA, 1989, pp. 135--151. MR1040861 (90m:14043)

    work page 1988

  59. [59]

    Sikora, Character varieties, Trans

    Adam S. Sikora, Character varieties, Trans. Amer. Math. Soc. 364 (2012), no. 10, 5173--5208. 2931326

    work page 2012

  60. [60]

    Reyer Sjamaar and Eugene Lerman, Stratified symplectic spaces and reduction, Ann. of Math. (2) 134 (1991), no. 2, 375--422. 1127479

    work page 1991

  61. [61]

    14, Princeton University Press, 1951

    Norman Earl Steenrod, The topology of fibre bundles, vol. 14, Princeton University Press, 1951

    work page 1951

  62. [62]

    Veech, The T eichm\"uller geodesic flow , Ann

    William A. Veech, The T eichm\"uller geodesic flow , Ann. of Math. (2) 124 (1986), no. 3, 441--530. 866707

    work page 1986

  63. [63]

    Andr \'e Weil, Remarks on the cohomology of groups, Ann. of Math. (2) 80 (1964), 149--157. 0169956 (30 \#199)

    work page 1964

  64. [64]

    Amie Wilkinson, What are L yapunov exponents, and why are they interesting? , Bull. Amer. Math. Soc. (N.S.) 54 (2017), no. 1, 79--105. 3584099

    work page 2017