Quantitative Estimates on Invariant Manifolds for Surface Diffeomorphisms

Enrique Pujals; Jonguk Yang; Mikhail Lyubich; Sylvain Crovisier

REVIEW 3 major objections 4 minor 13 references

Quantitative Estimates on Invariant Manifolds for Surface Diffeomorphisms

T0 review · 3 major / 4 minor · reviewed 2026-08-12 · deepseek-v4-flash

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

Pith's one-line read A surface diffeomorphism orbit satisfying explicit regularity inequalities admits $C^r$ quasi-linearizing charts whose sizes and norms are controlled by the regularity parameters, yielding stable and center manifolds with uniformly…

desk verdict The paper is the quantitative machine the renormalization program needed, but the pivotal globalization step in Theorem 6.1 is asserted rather than proved, so it needs referee work before I would trust it as a foundation. read the letter →

arxiv 2411.13286 v1 pith:76ZNGRJV submitted 2024-11-20 math.DS

Sylvain Crovisier , Mikhail Lyubich , Enrique Pujals , Jonguk Yang This is my paper · ORCID

classification math.DS MSC 37D1037D2537C0537E30

keywords surfacediffeomorphismsquantitativeregularityquasi-linearizationinvariantmanifoldsstablecenternon-uniformhyperbolicityregularorbits

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

The paper's goal is to make the geometry of invariant manifolds for two-dimensional diffeomorphisms quantitative at the level of a single orbit. It defines explicit regularity inequalities (5.1)--(5.4) measuring, along a fixed tangent direction $E^v_p$, how fast the derivative contracts (base $\lambda$) and how strongly that contraction dominates all other directions (base $\rho$), with a uniform error factor $L$ and marginal exponent $\varepsilon$. The main theorem (6.1) shows that if these inequalities hold along an orbit and the parameters satisfy the smallness conditions (6.1), then the local dynamics can be put into a nearly linear skew-product form by $C^r$ charts on slowly exponentially shrinking neighborhoods, with all sizes and norms determined by the regularity parameters. From this quasi-linearization the authors obtain canonical $C^r$ strong-stable manifolds and center manifolds with uniformly bounded geometry, without invoking any invariant measure or ergodic-theoretic averaging. This matters because the orbits that shape dissipative surface systems with tangencies are atypical and escape classical measurable theory.

What carries the argument

The central object is a regular orbit: a finite or infinite orbit along a fixed tangent direction $E^v_p$ for which inequalities (5.1)--(5.4) bound the contraction rate (base $\lambda$) and the domination ratio (base $\rho$) with a uniform irregularity factor $L$ and marginal exponent $\varepsilon$. The load-bearing mechanism is the quasi-linearization of Theorem 6.1: under the parameter condition (6.1) there exist $C^r$ charts $\Phi_m$ on slowly exponentially shrinking boxes $U_m$ (the regular neighborhoods) such that each $\Phi_{m+1}\circ F|_{U_m}\circ\Phi_m^{-1}$ extends to a global diffeomorphism $F_m(x,y)=(f_m(x), e_m(x,y))$ with $|\partial_x^s e_m(\cdot,y)|\le \|DF\|_{C^r}|y|$, a skew-product form that makes derivatives of iterates tractable. These charts are built by combining the graph-transform machinery for almost linear maps (the $C^r$-section theorem) with projective-space estimates that turn the regularity inequalities into invariant cones and controlled distortion. The upshot is that all geometric constants in the stable and center manifold theorems are explicit functions of the regularity parameters.

What would settle it

Fix a $C^{r+1}$ surface diffeomorphism and an orbit for which (5.1)--(5.4) and (6.1) hold. If the $C^r$-norm of the arc-length parametrization of the local strong-stable manifold from Theorem 6.13 can be made arbitrarily large while the regularity parameters $(L,\varepsilon,\lambda,\rho)$ stay bounded, the uniform-geometry claim is false; conversely, if some orbit satisfying the inequalities admits no chart with the properties (i)--(iv) of Theorem 6.1, the quasi-linearization statement fails. A numerical check on a model map with a critical tangency orbit would settle which.

Watch

Extended reading notes

Core claim

The central discovery is that quantitative regularity of an orbit, as encoded in inequalities (5.1)--(5.4), is sufficient to quasi-linearize the dynamics in a neighborhood of that orbit, and the quality of the linearization is explicitly controlled by the regularity constants. In precise terms, Theorem 6.1 produces $C^r$ charts $\Phi_m$ on boxes $U_m$ of radius $l_m=\check{\lambda}(C K_m)^{-1}$, with $K_m=L^3\rho^{-2\varepsilon}\lambda^{1-\varepsilon}\|DF^{-1}\|(1+\omega)^5\rho^{4\varepsilon|m|}\lambda^{2\varepsilon|m|}$, such that each $\Phi_{m+1}\circ F|_{U_m}\circ\Phi_m^{-1}$ extends to a global diffeomorphism $F_m(x,y)=(f_m(x),e_m(x,y))$ with $|\partial_x^s e_m(\cdot,y)|\le \|DF\|_{C^r}|y|$. The corollaries are the canonical strong-stable manifold theorem (6.13) and the center-manifold jet theorem (6.16), both with uniform $C^r$-bounds depending only on the regularity parameters and the ambient $C^r$-norm of $F$.

Load-bearing premise

Everything rests on the orbit satisfying the four regularity inequalities (5.1)--(5.4) for all forward and backward iterates with one fixed direction and uniform constants $L$, $\varepsilon$, $\lambda$, $\rho$, together with the parameter smallness conditions (6.1) — inequalities that are strong and may fail for generic orbits, so the whole construction collapses if they hold only approximately or for a short time.

Editorial extensions

If this is right

An infinite-time forward regular orbit has a unique $C^r$ strong-stable manifold tangent to the contracting direction, and the $C^r$ norm of its arc-length parametrization is bounded purely in terms of the regularity parameters (Theorem 6.13); the same holds for a local stable foliation.
When $\rho=\lambda$ and $\varepsilon< (11r+2)^{-1}$, an infinite-time backward regular orbit has a $C^r$ center manifold inside its regular neighborhood, and any curve that stays backward-controlled has a high-order tangency with it, so the center manifold has a unique $C^r$ jet (Theorem 6.16).
The construction works for finite-time regular orbits as well, with regular neighborhoods and chart norms growing only like $K_m \sim \rho^{-4\varepsilon|m|}\lambda^{-2\varepsilon|m|}$, which is why the estimates deserve the name 'quantitative.'
Since no invariant measure is used, the results apply to a single atypical orbit, which is exactly the situation needed for renormalization analyses of dissipative diffeomorphisms with tangencies.
The Q-linearized maps have the explicit form $(f_m(x), e_m(x,y))$ with $|\partial_x^s e_m(\cdot,y)| \le \|DF\|_{C^r}|y|$, so higher derivatives of iterates can be controlled by composing these skew products, yielding strong $C^r$ estimates.

Reading between the lines

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

Although the paper restricts to surfaces, the projective attractor/repeller arguments and the graph-transform mechanism do not use dimension two in an essential way; a natural testable extension is the same quasi-linearization statement for $C^{r+1}$ diffeomorphisms in higher dimensions with a dominated splitting.
The explicit dependence of the regular radii and chart norms on the regularity parameters suggests an algorithm: given a numerically computed finite orbit, check inequalities (5.1)--(5.4) and (6.1), then compute the regular neighborhoods and the stable manifold's curvature bounds directly, turning the theorem into a certified numerical tool.
A promising application not developed here is to uniquely ergodic partially hyperbolic sets with one zero Lyapunov exponent: Section 7's homogeneity reduction means the full regularity inequalities collapse to simple derivative bounds, so the stable and center manifold theorems should hold uniformly for all points of the set, not just a measure-one subset.
The sharpness of the parameter conditions (6.1) could be tested by constructing linear cocycles with $\lambda,\rho,\varepsilon$ at the boundary of the inequalities; if the claimed uniform $C^r$ bounds fail there, the conditions are not artifacts of the proof method.

Share X Bluesky LinkedIn Reddit HN

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

Quick take: this is the technical engine for the renormalization program, and it is mostly as advertised, but the proof of Theorem 6.1 compresses the one step that makes the whole machine run. The Q-linearization theorem with explicit constants and the uniform stable/center manifold geometry are genuinely new; they go beyond CP and HL. The regularity definitions and the equivalence propositions (5.2–5.4) are clean, and the citations to [CLPY1, CLPY2, Y] are properly used as motivation, not as crutches.

Where I worry: Section 6.1's sentence 'Thus, the conditions given in (6.1), together with Propositions 4.1 and 4.2 imply...' is doing a lot of work. To apply those propositions to the sequence F̃_m you need the spectral domination inequalities uniformly in m, and you need the local maps to admit global C^{r−1} extensions with controlled norm. The paper asserts both rather than shows them. The derivative bound displayed right before that sentence treats only the x-component and suppresses powers of σ_m, hatσ_m, and ||DF^{-1}|| that behave differently for s ≥ 3; the y-component and mixed derivatives are not checked. If my reading is right, this is not a cosmetic gap: the invariant graphs g*_m and direction fields ξ*_m are obtained from those propositions, and without them the charts Φ_m are not constructed. An expert referee needs to see the missing computation spelled out.

Other soft spots are minor: several estimates in Sections 3 and 6 are flagged 'straightforward' (e.g., Proposition 2.2, Lemma 6.12), and the center manifold theorem's smallness condition ε < 1/(11r+2) is restrictive but that's an hypothesis, not a flaw.

Overall: the architecture is coherent, the statements are precise, and nothing looks invented. The paper deserves a serious referee, but I would not accept it as-is. Recommend: send to a top dynamics journal, require the authors to expand the globalization step in Theorem 6.1, and put the 'straightforward computations' in an appendix. If the gap closes, this is a foundational reference for quantitative Pesin theory.

Referee Report

3 major / 4 minor

Summary. The paper develops a quantitative version of Pesin theory for C^{r+1} surface diffeomorphisms, without assuming a pre-existing invariant measure. For an orbit with prescribed growth and domination constants (L,ε,λ,ρ) along a vertical direction (conditions (5.1)–(5.4)), it constructs, under the parameter restrictions (6.1), C^r charts Φ_m on explicitly sized neighborhoods U_m such that the induced maps F_m are globally defined skew products with controlled derivatives (Theorem 6.1). From this Q-linearization it derives a canonical strong stable manifold with uniform geometry (Theorem 6.13), a canonical jet for center manifolds (Theorem 6.16), and a homogeneity statement for uniquely ergodic partially hyperbolic sets (Section 7).

Significance. Quantitative, measure-free regular neighborhood estimates of this kind are valuable for the renormalization theory of dissipative Hénon-like maps, and the authors are explicit about the companion papers that depend on them. The main construction is natural: projective derivatives build invariant cones, and graph-transform/C^r-section arguments yield invariant graphs and direction fields. The hypotheses are explicit, the constants are tracked, and the results are stated as precise quantitative assertions. I found no circularity: the sequel papers are cited for motivation, not used as inputs. If the gaps in §6.1 are filled, this will be an important reference. As it stands, however, the central proof contains a load-bearing skipped verification.

major comments (3)

[Section 6.1, after Eq. (6.7)] The sentence 'Thus, the conditions given in (6.1), together with Propositions 4.1 and 4.2 imply...' is the only bridge between the rescaled sequence {F̃_m} and the invariant graphs/direction fields that define the charts Ψ_m. The proof never verifies that {F̃_m} satisfies the hypotheses of Propositions 4.1 and 4.2. In particular, for the diagonal entries α_m, β_m in Theorem 6.1(ii), the domination inequalities β_m/α_m^r < 1 and β_m α_m^{r-1} < 1 are not derived from (6.1); they are only asserted by the word 'Thus.' The same issue applies to the artificially continued tail F̃_m = diag(λ/ρ, λ) for m outside [-M,N], whose corresponding inequalities require separate verification. Since Propositions 4.1 and 4.2 are what produce the sequences {g*_m} and {ξ*_m} used to build Ψ_m, this gap is load-bearing for the Q-linearization claim.
[Section 6.1, paragraph after Eq. (6.6)] The claim that ∥∂^i ˇF_m∥ ≤ ∥∂^i F∥ for 2 ≤ s ≤ r+1 is not fully established. The displayed computation bounds only the x-component ˇf_m. The y-component ˇg_m has a different scaling factor, and the estimate for its derivatives must also control powers of κ, σ_m, ^stigma_m, and ρ^{2ε|m|}; the text does not show that these powers yield the claimed bound. Mixed partial derivatives are not discussed. This uniform C^{r-1} bound is needed to apply Propositions 4.1 and 4.2, so this gap affects the same load-bearing step as the previous comment.
[Theorem 6.13, final sentence] The conclusion that W^ss(p_0) is C^{r+1}-smooth does not follow from the displayed identity W^ss(p_0) = ⋃_{n≥0} F^{-n}(W^v_loc(p_n)). The charts Φ_m constructed in Theorem 6.1 are only C^r, so W^v_loc(p_n) is a priori C^r; preimages under the C^{r+1} map F do not upgrade the regularity. Either an additional argument (for instance from the graph transform in Section 4.1) must be supplied, or the statement should be weakened to C^r.

minor comments (4)

[Section 6.1, after Eq. (6.7)] The phrase 'conditions in Appendix 4.1' should read 'conditions in Section 4.1'; there is no Appendix 4.1.
[Theorem 6.16, statement] The displayed definition of the rate is self-referential and notationally inconsistent: it reads 'where r := 1 − ε(1−ε)^{-1}(7+11r+2ε+66rε)', using the same symbol r on both sides and conflicting with the smoothness r in the theorem. It should be a new symbol, e.g. \varrho, and the formula should be rechecked against the last display of the proof.
[Theorem 6.1(iv) and Lemma 4.4] Inequalities such as |∂^{r-1}_x e_m(x,y)| < K|y| use the ambiguous notation |∂^{r-1}_x e_m(x,y)|; the norm on the left-hand side should be made explicit, for example ∥∂^{r-1}_x e_m(·,y)∥_{C^0} < K|y|.
[Proposition 2.2] The proof of the second projective derivative bound treats the case cos(t−α) > k and the limits at t = α ± π/2, but does not explicitly control the intermediate region where |cos(t−α)| is small; a uniform estimate would make the argument complete.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: the main theorem is derived from explicit regularity hypotheses with external tools; self-citations are motivational only.

full rationale

The paper's central result, Theorem 6.1, derives explicit C^r charts from the quantitative regularity inequalities (5.1)-(5.4) and the parameter conditions (6.1). The proof applies standard external tools: the C^r-section theorem from [Sh, Chapters 5 and 6] and the graph-transform/direction-field propositions (Propositions 4.1 and 4.2) whose hypotheses are stated independently. The condition (6.1) is not equivalent to the desired conclusion; it is a smallness condition on the contraction bases and marginal exponent, and the theorem's conclusions do not appear among its hypotheses. No parameter is fitted to the target output and then renamed as a prediction: the regularity parameters L, epsilon, lambda, rho are inputs, and the chart sizes and norms are explicit outputs. The self-references to [CLPY1], [CLPY2], and [Y] appear in the abstract and introduction as descriptions of intended applications of the machinery, not as cited results used in any proof. The stable manifold theorem and canonical jet theorem are consequences of the Q-linearization construction, not assumptions feeding into it. The skeptical concern that the application of Propositions 4.1 and 4.2 to the sequence {F_tilde_m} is not fully verified in the text is a correctness or completeness issue, not a circularity: an unproved step in a derivation is not the same as a conclusion being assumed as input. Therefore no circular step meeting the quoted-evidence standard is present.

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

No data fitting occurs. The constants lambda, rho, epsilon, L are parameters in the regularity hypotheses, not tuned to force conclusions. The only imported ingredients are standard results (C^r-section theorem, Faa di Bruno formula, cone techniques) and the stated regularity assumptions. No new physical entities are introduced.

assumptions (3)

domain assumption F is a C^{r+1} diffeomorphism on a domain Omega in R^2 with F(Omega) subset Omega (dissipative).
Stated in Section 6; the dissipative setup is used for the projective dynamics and for the boundedness of the charts.
standard math The C^r-section theorem from Shub [Sh] provides unique invariant horizontal graphs and vertical direction fields when the contraction conditions (4.1)-(4.2) hold.
Invoked in Propositions 4.1 and 4.2; the paper does not prove this theorem but relies on it for the core constructions.
domain assumption The orbit regularity definition (5.1)-(5.4) is assumed to hold with given parameters for the point p0 along a fixed direction E^v_{p0}.
This is the hypothesis of the main theorems; the paper does not establish the existence of such regular orbits in general.

how reviews work

0 comments

Cite this review

Pith. "Pith review of Quantitative Estimates on Invariant Manifolds for Surface Diffeomorphisms." pith.science (2026). https://pith.science/paper/76ZNGRJV

@misc{pith2026241113286,
  author       = {Pith},
  title        = {Pith review of: Quantitative Estimates on Invariant Manifolds for Surface Diffeomorphisms},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/76ZNGRJV}},
  note         = {Machine review of arXiv:2411.13286}
}

read the original abstract

We carry out a detailed quantitative analysis on the geometry of invariant manifolds for smooth dissipative systems in dimension two. We begin by quantifying the regularity of any orbit (finite or infinite) in the phase space with a set of explicit inequalities. Then we relate this directly to the quasi-linearization of the local dynamics on regular neighborhoods of this orbit. The parameters of regularity explicitly determine the sizes of the regular neighborhoods and the smooth norms of the corresponding regular charts. As a corollary, we establish the existence of smooth stable and center manifolds with uniformly bounded geometries for regular orbits independently of any pre-existing invariant measure. This provides us with the technical background for the renormalization theory of H\'enon-like maps developed in the sequel papers.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

13 extracted references · 8 canonical work pages

[1]

On the dynamics of the renormalization operator

Avila, A., de Melo, W., Martens, M. On the dynamics of the renormalization operator . Global analysis of dynamical systems, Inst. Phys., Bristol, 449-460 (2001)

2001
[2]

Benedicks, L

M. Benedicks, L. Carleson. On dynamics of the H\'enon map , Ann. Math. 133:73-169 (1991)

1991
[3]

Crovisier, E

S. Crovisier, E. Pujals. Strongly dissipative surface diffeomorphisms. Commentarii Mathematici Helvetici 93 (2018), 377--400

work page 2018
[4]

Crovisier, M

S. Crovisier, M. Lyubich, E. Pujals, J. Yang. Renormalization of Unicritical Diffeomorphisms of the Disk , (2024), arXiv:2401.13559

arXiv 2024
[5]

Crovisier, M

S. Crovisier, M. Lyubich, E. Pujals, J. Yang. A Priori Bounds for H\'enon-like Renormalization , (2024), Preprint available at https://user.math.uzh.ch/yang/

work page 2024
[6]

Holland, S

M. Holland, S. Luzzatto, Stable manifolds under very weak hyperbolicity conditions. J. Differential Equations221(2006), no.2, 444–469

work page 2006
[7]

Y. Pesin. Families of invariant manifolds corresponding to nonzero characteristic exponents , Math. USSR Izv. , 10 (1976) pp. 1261–1305 (In Russian) MR458490 Zbl 0383.58012

work page arXiv 1976
[8]

Y. Pesin. Characteristic exponents and smooth ergodic theory , Russian Math. Surveys , 32 (1977) pp. 55–114 (In Russian) MR466791 Zbl 0383.58011

work page arXiv 1977

Show all 13 references

[9]

Y. Pesin. Geodesic flows on closed Riemannian manifolds without focal points , Math. USSR Izv. , 11 (1977) pp. 1195–1228 (In Russian) MR488169 Zbl 0399.58010

1977
[10]

C. Pugh, M. Shub. Ergodic Attractors . Transactions of the American Mathematical Society, Vol. 312, No. 1 (Mar., 1989), pp. 1-54

1989
[11]

M. Shub, A. Fathi, and R. Langevin. Global Stability of Dynamical Systems , trans. J. Christy, Springer, New York, 1987

1987
[12]

J. Yang. On Regular H\'enon-like Renormalization , (2024), Preprint available at https://user.math.uzh.ch/yang/

2024
[13]

de Melo, S

W. de Melo, S. J. Van Strien, One-Dimensional Dynamics , Springer-Verlag, New York, Heidelberg, Berlin, (1993). prop ss c contin The strong stable manifold W^ ss (p) depends C^r -continuously on p ^+_L . The center manifold W^c(p) depends C^ r- -continuously on p ^-_L . prop F...

1993

Pith tools

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

[1] [1]

On the dynamics of the renormalization operator

Avila, A., de Melo, W., Martens, M. On the dynamics of the renormalization operator . Global analysis of dynamical systems, Inst. Phys., Bristol, 449-460 (2001)

2001

[2] [2]

Benedicks, L

M. Benedicks, L. Carleson. On dynamics of the H\'enon map , Ann. Math. 133:73-169 (1991)

1991

[3] [3]

Crovisier, E

S. Crovisier, E. Pujals. Strongly dissipative surface diffeomorphisms. Commentarii Mathematici Helvetici 93 (2018), 377--400

work page 2018

[4] [4]

Crovisier, M

S. Crovisier, M. Lyubich, E. Pujals, J. Yang. Renormalization of Unicritical Diffeomorphisms of the Disk , (2024), arXiv:2401.13559

arXiv 2024

[5] [5]

Crovisier, M

S. Crovisier, M. Lyubich, E. Pujals, J. Yang. A Priori Bounds for H\'enon-like Renormalization , (2024), Preprint available at https://user.math.uzh.ch/yang/

work page 2024

[6] [6]

Holland, S

M. Holland, S. Luzzatto, Stable manifolds under very weak hyperbolicity conditions. J. Differential Equations221(2006), no.2, 444–469

work page 2006

[7] [7]

Y. Pesin. Families of invariant manifolds corresponding to nonzero characteristic exponents , Math. USSR Izv. , 10 (1976) pp. 1261–1305 (In Russian) MR458490 Zbl 0383.58012

work page arXiv 1976

[8] [8]

Y. Pesin. Characteristic exponents and smooth ergodic theory , Russian Math. Surveys , 32 (1977) pp. 55–114 (In Russian) MR466791 Zbl 0383.58011

work page arXiv 1977