Cohomological equations for linear involutions

Alexandra Skripchenko; Erwan Lanneau; Stefano Marmi

REVIEW 3 major objections 5 minor 16 references

Cohomological equations for linear involutions

T0 review · 3 major / 5 minor · reviewed 2026-08-14 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗ Review JSON

Pith's one-line read The paper proves that every minimal irreducible linear involution of Roth type outside two exceptional strata solves the cohomological equation with a bounded solution and a piecewise-constant correction, and that Roth-type involutions…

desk verdict New extension of the Marmi-Moussa-Yoccoz cohomological equation to irreducible linear involutions, but the full-measure core is sketched rather than proved. read the letter →

arxiv 1908.09107 v1 pith:6RUX6KZZ submitted 2019-08-24 math.DS

Erwan Lanneau , Stefano Marmi , Alexandra Skripchenko This is my paper · ORCID

classification math.DS MSC 37E0537E3537A0530F30

keywords cohomologicalequationlinearinvolutionsRothtypeRauzy-VeechinductionquadraticdifferentialsintervalexchangetransformationsboundedvariationLyapunovexponents

verification ladder T0 review T1 audit T2 compute T3 formal

The pith

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

The reading

This paper proves that the cohomological equation Ψ − Ψ∘T = Φ − χ is solvable for irreducible linear involutions, the natural non-orientable counterpart of interval exchange transformations and the first-return maps of foliations defined by quadratic differentials. For any minimal Roth-type linear involution outside two exceptional strata, and for any function Φ of class $C^{1}$ with derivative of bounded variation and zero mean that is compatible with the involution, there is a bounded function Ψ and a function χ constant on each continuity interval such that the equation holds. The paper also shows that the Roth-type condition has full Lebesgue measure among all irreducible linear involutions. This extends to the quadratic-differential setting the sharp, explicitly Diophantine solvability result that was known for interval exchange transformations.

What carries the argument

The argument is carried by Rauzy–Veech induction with Zorich acceleration and the further acceleration from the interval-exchange paper, which packages the dynamics into products of matrices Z(k) and Q(k). Roth type is defined by three conditions: a growth-rate condition on these matrices, a spectral gap for the associated Birkhoff-sum cocycle on the kernel of the invariant mean, and a coherence condition on stable subspaces. The proof uses a Denjoy-type construction to pass from a minimal but discontinuous involution to a continuous setting, then reduces general Birkhoff sums to special return-time sums and estimates those using the three conditions. The anti-invariance required in the solution is handled by working on the oriented double cover with the 'minus' construction.

What would settle it

A direct test is to carry out the omitted case analysis of Proposition 6 for a concrete generalized permutation: check whether, for every finite path γ whose arrow names miss at least one letter, the claimed proportion η·vol_{d−1}(Δ(γ)) of initial data admits the required extension M with no more than l(D−1) covering segments. If a single path violates the estimate, Theorem 2 loses its support; if the analysis goes through for all small alphabets, the full-measure step is confirmed.

Watch

Extended reading notes

Core claim

Theorem 1 states that every minimal irreducible linear involution of Roth type, outside the strata Q(4g−4) and Q(2a,2b,2c,…,2z), admits a bounded solution Ψ and a step function χ constant on each interval A_i to Ψ − Ψ∘T = Φ − χ, for every datum Φ in the space of $C^{1}$ functions with derivative of bounded variation, zero mean, and agreement with the involution. The solution has the exact expected shape: both Ψ and χ agree with the linear involution, which rules out obtaining the result by a direct pullback from the interval-exchange theorem. Theorem 2 adds that the Roth-type condition defines a full-measure subset of the space of irreducible linear involutions, so the solvability statement applies to almost every such involution outside the exceptional strata.

Load-bearing premise

The full-measure claim for condition (a) stands on Proposition 6, a volume estimate for extending paths in the Rauzy diagram, and the paper does not actually prove it for linear involutions: it says the extension strategy and case analysis are 'completely similar' to the interval-exchange situation without presenting those details.

Editorial extensions

If this is right

Every minimal Roth-type irreducible linear involution outside the exceptional strata is uniquely ergodic, since condition (b) holds almost everywhere and implies unique ergodicity.
Because Roth type has full measure and conditions (b) and (c) hold almost everywhere, the main theorem applies to almost every irreducible linear involution outside Q(4g−4) and Q(2a,2b,2c,…,2z).
If the cited simplicity-of-spectrum result is extended to all strata, as the paper notes is plausible, Theorem 1 extends automatically to every minimal irreducible linear involution.
The agreement of Ψ and χ with the involution is essential: it prevents a naive reduction to the interval-exchange case and makes the theorem a genuinely quadratic-differential statement.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

The unstated part of the proof of Proposition 6 is the true test of the paper: writing out the case analysis for linear involutions would either confirm the full-measure step or produce a counterexample.
A likely next step is Hölder regularity of Ψ for C^r data with r > 1 under a restricted Roth-type condition, mirroring the improvement made for interval exchange transformations.
Because the same cocycle appears in the study of time changes of quadratic differential flows, the theorem may transfer to smoothness and rigidity statements for those flows, a direction the paper does not explore.

Share X Bluesky LinkedIn Reddit HN

Signed reviews

No signed human review yet.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Desk Editor's Note

read the letter

The two theorems are new and the obstruction they flag is real: the double-cover route to the IET result would not produce a solution respecting the involution, so the anti-invariant setting genuinely needs its own argument. The paper is also honest about where it relies on external results — Gutiérrez-Romo's Lyapunov simplicity, Avila–Resende, the Boissy–Lanneau dictionary — and those citations look appropriate. No fitted parameters, no circularity, and the claimed full-measure statement for Roth-type linear involutions is a natural and significant target.

That said, the proof as written stops exactly where the hard work is. Proposition 6 is the engine behind Theorem 2, and its proof in §4.2 ends with a sentence: the unbalanced case is handled by extending the path with cases "completely similar" to Cases A, B, Type I, II, III in MaMoYo1. None of those estimates are written down for linear involutions. This is not a cosmetic omission: the Rauzy diagram for a linear involution is non-orientable and has two-to-one arrows, so the counting arguments for IETs do not automatically transfer. Lemma 8 is quoted as a verbatim copy of Lemma 2 of MaMoYo1 — that is fine if the copy is faithful, but it leaves no way for a reader to check the adaptation.

Lemma 7 also has a constants problem. The text allows a bad/good ratio up to 2d−4 for double letters and then concludes Qext ≤ (2d−5)Q′, and the initial-segment estimate appears to require n′1−1 ≤ d−2 while n′1 can be as large as d0, which earlier is only bounded by 2d−4. Either I am misreading the notation or the inequality as printed is false. Since Proposition 6 depends on this estimate, the central full-measure claim is not established by the text as written.

Where credit is due: the paper is clearly written by people who know the area, the conceptual framework is sensible, and the two theorems would be valuable if the missing details check out. The note is short but that is not itself a flaw — MaMoYo1 itself is long and the authors are explicit about what they are copying. The issue is that the parts they defer are exactly the parts that need independent verification for linear involutions.

Who this is for: specialists in Teichmüller dynamics and cohomological equations. It deserves a serious referee, but the referee should demand either a full write-up of the Proposition 6 case analysis or a clear statement that it is an assumption rather than a theorem, and a corrected Lemma 7 with uniform constants. As it stands, I would not cite it for the full-measure result, though I would cite it as evidence that the MaMoYo1 framework is being extended.

Referee Report

3 major / 5 minor

Summary. The paper extends the Marmi–Moussa–Yoccoz theorem on cohomological equations for Roth-type interval exchange transformations to irreducible linear involutions, i.e., first-return maps of measured foliations defined by quadratic differentials. Theorem 1 states that for a minimal linear involution of Roth type not belonging to the strata Q(4g-4) (minimal) or Q(2a,2b,2c,...,2z), every anti-invariant function Phi in BV^1_* admits a decomposition Phi = chi + Psi - Psi circ T with chi constant on each interval and agreeing with the involution, and Psi bounded. Theorem 2 states that Roth-type linear involutions form a full-measure set in the space of irreducible linear involutions. The proof follows the strategy of [MaMoYo1]: Roth-type conditions (growth-rate, spectral gap, coherence) are introduced in Section 2; condition (b) is derived from Gutiérrez-Romo's simplicity theorem and condition (c) from Oseledets; Section 3 adapts the Birkhoff-sum argument, with the Denjoy step and the matrix-length equivalence (Proposition 5) addressed; Section 4 reduces the full-measure statement to Proposition 6, a combinatorial estimate on Rauzy diagrams. However, the proof of Proposition 6 and of the auxiliary Lemma 7 is not actually written out, and Lemma 7 contains internal inconsistencies in its constants as printed.

Significance. If the results hold, this is a valuable and natural extension of a landmark result in the theory of cohomological equations: it moves from orientable (Abelian) to non-orientable (quadratic) situations and singles out a full-measure Diophantine class for which a bounded solution with the correct anti-invariance is obtained. The paper is honest about its scope: it explicitly labels which arguments are verbatim, which are 'completely similar', and which are genuinely new, notably Proposition 5 and the anti-invariance remark after Theorem 1, which correctly explains why the double-cover reduction to the IET case cannot prove the stated theorem. The precise identification of the exceptional strata inherited from [Gu], together with the remark that a forthcoming veering-triangulation argument should remove it, is useful to the community. The main weakness is that the announced structure is not matched by written proofs: the central combinatorial estimate for the full-measure claim is asserted rather than demonstrated, and the constants in Lemma 7 as printed do not close.

major comments (3)

[§4.1–4.2, Proposition 6 and Lemma 8] Proposition 6 is the load-bearing step for the full-measure claim of Theorem 2, but its proof is not written out. The text after Lemma 8 states that for a path which is only (D-tilde, N, C-tilde)-balanced with D-tilde < D, the strategy is to extend gamma 'without losing volume', that 'There are several cases to distinguish (as in [MaMoYo1], Case A, Case B, Type I, II, III)', and that 'an argument completely similar to [MaMoYo1] leads to the desired estimate.' No volume estimate for the extension is carried out. This is not a cosmetic omission: the Rauzy diagram of a linear involution is non-orientable and has two-to-one arrows, so the counting arguments proved in [MaMoYo1, §4.8] for orientable IET diagrams do not automatically transfer and must be verified independently. The same reservation applies to Lemma 8, which is justified solely by 'a verbatim copy of [MaMoYo1, Lemma 2]' with no check that its hypotheses hold in the present setting. This is aggravated by the paper's own Remark after Theorem 2, which states that the simplified full-measure proof of [MaMaMo]/[AvGoYo] is not applicable for quadratic differentials; the missing case analysis is therefore exactly the part that cannot be imported wholesale. As printed, Theorem 2 is not established, and with it the full-measure status of the Roth-type condition used in Theorem 1.
[§4.2, Lemma 7] Lemma 7 is asserted with conclusion Qext(n,T) ≤ (2d−5)Q′(n,T), but the estimates in its proof do not imply this bound as printed. First, for segments where the winning letter is double, the proof allows a bad/good ratio up to 2d−4, which is strictly larger than the constant 2d−5 of the conclusion; no averaging argument is supplied to reconcile the two. Second, the initial-segment estimate in the last three lines of the proof writes Qext(m,T) ≤ (d−D)+(n′₁−1) ≤ (d−2)Q′(m,T); the middle inequality requires n′₁−1 ≤ d−2, whereas the only stated bound is n′₁ ≤ d₀ with d₀ ≤ 2d−4, so the argument conflates the period d₀ with the alphabet size d. Third, the lower bound Q′(m,T) ≥ D ≥ 2 for m ∈ [0,n′₁) is asserted without justification: within the initial segment only the letter α₀ has appeared as a primary name before m, and nothing in the text shows that all D letters of A′ have already contributed to Q′(m,T). Since Lemma 7 controls the growth of external columns inside the proof of Proposition 6, the constant mismatch and the unjustified bounds must be repaired before the argument goes through.
[§3.2] The adaptation of the Gottschalk–Hedlund step to linear involutions is delegated in a single sentence: after defining D₀ and D₁ in (4), the text says 'The rest of the proof repeats verbatim the construction described in [MaMoYo1]'. In [MaMoYo1] the Denjoy-type construction for the discontinuous interval exchange, the control of the Birkhoff sums near the singularities, and the passage back to the original map form a delicate chain; in the present setting it is further required that the bounded function Ψ and the constant function χ agree with the linear involution, a property that is specific to the statement of Theorem 1 and is not a by-product of the double-cover reduction (as the paper itself notes in the Remark after Theorem 1). The authors should state the analogue of the corresponding lemma of [MaMoYo1, §2.1.2] and verify that its hypotheses hold for the anti-invariant class BV^1_∗; as written, Theorem 1 is a plausible but unverifiable claim.

minor comments (5)

[§3.1, Proposition 5] The constant bookkeeping in the proof of the direction (2) ⇒ (a) is sloppy: the printed chain contains '2dCε 2' (presumably 2dCε²) and the final step silently absorbs a factor 2dCε² into Cε and renames 2ε as ε; please rewrite the chain with explicit constants.
[§4.2, Lemma 7] The terms '1-segment', 'secondary name', and the period d₀ are used without definition; readers not already familiar with [MaMoYo1, §4.8] cannot follow the proof of Lemma 7 as it stands.
[§4.2, display (5)] In the definitions Q′(n,T) = Σ_{α∈A′} Qα(n,t) and Qext(n,T) = Σ_{α∈A\A′} Qα(n,t), the argument is written as a lowercase 't' in Qα(n,t), inconsistent with the uppercase T used throughout; this should be fixed.
[§3 and §4.2] There are several typos: 'Gottshalk–Hedlund' in the first bullet of Section 3 should read 'Gottschalk–Hedlund', and 'To be consistant' at the start of §4.2 should read 'To be consistent'.
[References] Reference [Gu] is cited as a preprint in both the text and the bibliography; if a published version exists, the reference should be updated.

Circularity Check

0 steps flagged · score 0.0 of 10

No circularity: the proof adapts an external published IET argument and imports independent Lyapunov-spectrum results; the main weakness is an omitted verification, not a circular loop.

full rationale

The derivation chain is not circular. Theorem 1 is proved from the Roth-type conditions (a), (b), (c), which are Diophantine and spectral properties of the accelerated Rauzy-Veech induction, not restatements of the cohomological-equation conclusion. Conditions (b) and (c) are justified by external results: Lemma 3 uses Gutierrez-Romo's Lyapunov simplicity theorem [Gu], and Lemma 4 uses Oseledets theory as in [MaMoYo1]. Condition (a) is handled by Proposition 6, whose proof is said to follow from a case analysis 'completely similar to [MaMoYo1]' and from Lemma 7. The paper explicitly acknowledges that one cannot simply apply [MaMoYo1] to the double cover, because the obtained invariant function need not agree with the linear involution, so the anti-invariance requirement gives the argument independent content beyond a renaming of the IET theorem. The self-citations to [BoLa] and [MaMoYo1] cite published, parameter-free results used as tools; they are not unverified premises that force the conclusion. The notable weaknesses are rigor gaps rather than circularity: Proposition 6's unbalanced-case estimates are asserted rather than written out, and Lemma 7's printed constants do not obviously imply the stated Qext <= (2d-5)Q' bound (the double-letter ratio is allowed to reach 2d-4, and the initial-segment estimate uses different inequalities). These are correctness concerns about an incomplete adaptation, not evidence that any 'prediction' is equivalent to its inputs by construction. There are no fitted parameters, no self-referential definitions, and no claim whose proof reduces to an assumption of the same claim.

Assumptions & free parameters 0 free parameters · 3 assumptions · 0 invented entities

The paper introduces no new free parameters, axioms, or entities. It relies on the established background of Rauzy-Veech induction for linear involutions, on Oseledets theory, and on an external spectral simplicity theorem for specific strata of quadratic differentials. The Roth-type conditions are definitions, not independent axioms.

assumptions (3)

domain assumption The Rauzy-Veech induction for irreducible linear involutions is well defined, and Zorich acceleration and the further acceleration of [MaMoYo1] apply verbatim.
Used throughout Sections 1.2 and 2 to define Z(k), Q(k), and the Roth conditions (a)-(c); this machinery is taken from [BoLa] and [DaNo].
domain assumption Gutiérrez-Romo's Theorem 1.1: for quadratic differentials not in the strata Q(4g-4) (minimal) or Q(2a,2b,...,2z), the plus Lyapunov spectrum is simple.
Invoked in Lemma 3 to prove that Condition (b) holds almost everywhere; the result is cited as [Gu], a preprint at the time of this paper.
standard math Oseledets theorem applies to the Zorich cocycle for linear involutions, and the stable subspace Γ(k)_s corresponds to negative plus Lyapunov exponents.
Used in Lemma 4 for the coherence condition (c); based on log-integrability established in [Gu] and [AvRe].

how reviews work

0 comments

Cite this review

Pith. "Pith review of Cohomological equations for linear involutions." pith.science (2026). https://pith.science/paper/6RUX6KZZ

@misc{pith2026190809107,
  author       = {Pith},
  title        = {Pith review of: Cohomological equations for linear involutions},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/6RUX6KZZ}},
  note         = {Machine review of arXiv:1908.09107}
}

read the original abstract

In the current note we extend results by Marmi, Moussa and Yoccoz about cohomological equations for interval exchange transformations to irreducible linear involutions.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

16 extracted references · 16 canonical work pages

[1]

ezel and J.-C.\ Yoccoz , Exponential mixing for Teichm\

A.\ Avila, S.\ Gou\"ezel and J.-C.\ Yoccoz , Exponential mixing for Teichm\"uller flow , Publ. Math. IH\'ES 104 (2006), 143--211

work page 2006
[2]

A.\ Avila and M.\ J.\ Resende, Exponential mixing for the Teichm\"uller flow in the space of quadratic differentials , Comm. Math. Helv. 87 (2012), 589--638

work page 2012
[3]

C.\ Boissy, E.\ Lanneau, Dynamics and geometry of the Rauzy--Veech induction for quadratic differentials, Ergodic Theory and Dynamical Systems, 29:3, (2009), 767--816

work page 2009
[4]

Chaika, A

J. Chaika, A. Eskin, Every flat surface is Birkhoff and Oseledets generic in almost every direction, J. Mod. Dyn. 9 (2015), 1--23

work page 2015
[5]

Danthony, A

C. Danthony, A. Nogueira, Measured foliations on non-orientable surfaces, Annales scientifiques de l'\'Ecole Normale Sup\'erieure 23:3 (1990), 469--494

work page 1990
[6]

Forni, Solutions of the cohomological equation for area-preserving flows on compact surfaces of higher genus, Annals of Mathematics 146 (1997) 295--344

G. Forni, Solutions of the cohomological equation for area-preserving flows on compact surfaces of higher genus, Annals of Mathematics 146 (1997) 295--344

work page 1997
[7]

Forni, S

G. Forni, S. Marmi and C. Matheus, Cohomological equation and local conjugacy class of Diophantine interval exchange maps, Proceedings of the AMS (2019)

work page 2019
[8]

Faure, S

F. Faure, S. Gou\"ezel and E. Lanneau, Ruelle spectrum of linear pseudo-Anosov maps, preprint

work page

Show all 16 references

[9]

Guti\'errez-Romo, Simplicity of the Lyapunov spectra of certain quadratic differentials, preprint

R. Guti\'errez-Romo, Simplicity of the Lyapunov spectra of certain quadratic differentials, preprint
[10]

Marmi, C

S. Marmi, C. Matheus and P. Moussa, Fonctions de Brjuno, \'echange d'intervalles, origami et autres objets insolites, La Gazette des Math\'ematiciens, april 2018, 79--105

2018
[11]

Marmi, P

S. Marmi, P. Moussa and J.-C. Yoccoz, The cohomological equation or Roth type interval exchange transformations, J. Amer. Math. Soc. 18 (2005), 823--872

2005
[12]

Marmi, P

S. Marmi, P. Moussa and J.-C. Yoccoz, Linearization of generalized interval exchange maps, Annals of Mathematics 176 (2012), 1583--1646

2012
[13]

Marmi, C

S. Marmi, C. Ulcigrai, J.-C. Yoccoz, On Roth type conditions, duality and central Birkhoff sums for i.e.m, preprint
[14]

Marmi and J.-C

S. Marmi and J.-C. Yoccoz, H\"older Regularity of the Solutions of the Cohomological Equation for Roth Type Interval Exchange Maps, Communications in Mathematical Physics 344(1)(2016), 117--139

2016
[15]

Trevi\ no, On the non-uniform hyperbolicity of the Kontsevich-Zorich cocycle for quadratic differentials, Geom

R. Trevi\ no, On the non-uniform hyperbolicity of the Kontsevich-Zorich cocycle for quadratic differentials, Geom. Dedicata 163 (2013), 311--338

2013
[16]

Zubov, On cohomological equations for suspension flows over Vershik automorphisms, Mosc

D. Zubov, On cohomological equations for suspension flows over Vershik automorphisms, Mosc. Math. J. 16(2) (2016), 381--391

2016

Pith tools

Reviewed August 14, 2026 · model on record in the stance chip above.

[1] [1]

ezel and J.-C.\ Yoccoz , Exponential mixing for Teichm\

A.\ Avila, S.\ Gou\"ezel and J.-C.\ Yoccoz , Exponential mixing for Teichm\"uller flow , Publ. Math. IH\'ES 104 (2006), 143--211

work page 2006

[2] [2]

A.\ Avila and M.\ J.\ Resende, Exponential mixing for the Teichm\"uller flow in the space of quadratic differentials , Comm. Math. Helv. 87 (2012), 589--638

work page 2012

[3] [3]

C.\ Boissy, E.\ Lanneau, Dynamics and geometry of the Rauzy--Veech induction for quadratic differentials, Ergodic Theory and Dynamical Systems, 29:3, (2009), 767--816

work page 2009

[4] [4]

Chaika, A

J. Chaika, A. Eskin, Every flat surface is Birkhoff and Oseledets generic in almost every direction, J. Mod. Dyn. 9 (2015), 1--23

work page 2015

[5] [5]

Danthony, A

C. Danthony, A. Nogueira, Measured foliations on non-orientable surfaces, Annales scientifiques de l'\'Ecole Normale Sup\'erieure 23:3 (1990), 469--494

work page 1990

[6] [6]

Forni, Solutions of the cohomological equation for area-preserving flows on compact surfaces of higher genus, Annals of Mathematics 146 (1997) 295--344

G. Forni, Solutions of the cohomological equation for area-preserving flows on compact surfaces of higher genus, Annals of Mathematics 146 (1997) 295--344

work page 1997

[7] [7]

Forni, S

G. Forni, S. Marmi and C. Matheus, Cohomological equation and local conjugacy class of Diophantine interval exchange maps, Proceedings of the AMS (2019)

work page 2019

[8] [8]

Faure, S

F. Faure, S. Gou\"ezel and E. Lanneau, Ruelle spectrum of linear pseudo-Anosov maps, preprint

work page