Pith. sign in

REVIEW 5 major objections 6 minor 23 references

Critical set for surface diffeomorphisms revisited

T0 review · 5 major / 6 minor · reviewed 2026-08-03 · deepseek-v4-flash

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

Pith's one-line read This paper defines an intrinsic critical set for surface diffeomorphisms and proves that, under a far-from-homotheties condition, a compact invariant set admits a dominated splitting if and only if this critical set is empty.

desk verdict Critical set notion worth taking seriously; Theorem A's proof has a load-bearing gap around Lemma 21 and the vector transfer, but the structural results and the overall framework justify a serious referee. read the letter →

arxiv 2601.08208 v2 pith:MND64QII submitted 2026-01-13 math.DS

Sylvain Crovisier , Enrique Pujals This is my paper · ORCID
classification math.DS MSC 37D3037D20
keywords criticalsetsurfacediffeomorphismsdominatedsplittinghyperbolicityprojectivetangentbundleMisiurewiczfarfromhomothetieshomoclinicclasses
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 proposes a definition of 'critical set' for smooth surface diffeomorphisms, intended to play the same role that critical points play in one-dimensional dynamics: the set of points where hyperbolicity fails. Its central theorem states that for a compact invariant set that is 'far from homotheties' — meaning along every orbit the derivative is infinitely often far from conformal — the presence of a dominated splitting (a hyperbolic cone structure) is exactly equivalent to the critical set being empty. In other words, the critical set is a precise obstruction to domination, and thus, by earlier work the paper cites, a precise obstruction to hyperbolicity for generic C^2 surface diffeomorphisms. The paper also shows that periodic critical points are necessarily attracting in the dissipative case, and it uses the notion to define two-dimensional Misiurewicz diffeomorphisms, for which it proves a finiteness theorem for homoclinic classes.

What carries the argument

The central object is the projective tangent bundle map G on the unit tangent bundle, whose fiber derivative g controls how directions expand and contract. A critical point is defined exactly as a point with a direction v for which |g^n(v)| ≥ 1 for all n ∈ Z, i.e., a direction that is neither forward nor backward contracted. The far-from-homotheties condition (no orbit whose derivative stays within (1±δ)^n for all n) is the hypothesis that makes the critical set a sharp detector; the proof of Theorem A converts the failure of dominated splitting, via Pliss's lemma, into the existence of such a direction.

What would settle it

Construct a C^1 surface diffeomorphism with a compact invariant set Λ that is far from homotheties, has empty critical set, and yet admits no dominated splitting; or find an invariant set with a dominated splitting that still contains a point with a direction v satisfying |g^n(v)| ≥ 1 for all n ∈ Z. Either example would refute Theorem A.

Watch

Extended reading notes

Core claim

The central claim, Theorem A, is that if f is a C^1 surface diffeomorphism and Λ is a compact invariant set on which f is far from homotheties, then Λ has a one-dimensional dominated splitting E⊕F if and only if the critical set Crit(f,Λ) is empty. A point is critical when a direction exists whose iterated projective derivative never contracts: |g^n(v)| ≥ 1 for all n ∈ Z. The 'only if' direction is straightforward — domination forces every direction to contract either forward or backward — while the 'if' direction is proved by contradiction using Pliss's lemma: if the critical set is empty, the absence of a uniformly contracting direction contradicts far-from-homotheties. The same ideas yiel

Load-bearing premise

The load-bearing premise is the 'far from homotheties' condition — that along every orbit the derivative cocycle is infinitely often far from conformal; without it the equivalence between empty critical set and dominated splitting is not established.

Editorial extensions

If this is right

  • If Theorem A holds, then for surface diffeomorphisms that are far from homotheties, the critical set is the complete obstruction to the existence of a dominated splitting; combined with the earlier work on dominated splitting that the paper cites, this yields a characterization of hyperbolicity for generic C^2 surface diffeomorphisms: empty critical set iff hyperbolic set.
  • The finiteness and semi-continuity properties of the critical set imply that small perturbations cannot create critical points far from existing ones, so the obstruction to domination is stable under C^1 perturbations when far from homotheties.
  • For dissipative diffeomorphisms (Theorem C), the critical set becomes a finite, robust object away from finitely many sinks, meaning the theory applies to a large class of dissipative systems.
  • Theorem D gives a dichotomy: the accumulation set of any unstable branch of a saddle in a mildly dissipative disk diffeomorphism is either a (semi-)attracting periodic point, a normally hyperbolic attracting arc, or contains a critical point.
  • Theorem E: for mildly dissipative Misiurewicz diffeomorphisms, the number of non-trivial generalized homoclinic classes is finite, and all sufficiently long-period saddles outside those classes lie on periodic normally hyperbolic arcs.

Reading between the lines

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

  • A testable extension: the far-from-homotheties assumption might be replaceable by a milder 'non-conformal almost everywhere' condition; a counterexample would be a compact invariant set with empty critical set and no dominated splitting but with some conformal segments.
  • The critical set may serve as a combinatorial bookkeeping device for renormalization of dissipative surface maps; a natural next step is to explore whether Misiurewicz diffeomorphisms carry SRB measures when the critical set is non-recurrent, mirroring one-dimensional Misiurewicz maps.
  • The notion of critical set might extend to higher-dimensional dynamics by replacing directions with subspaces; the analog of Theorem A would then be a statement about partial hyperbolicity and dominated splitting in higher rank.
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.

Referee Report

5 major / 6 minor

Summary. The paper proposes an intrinsically defined 'critical set' Crit(f,Λ) for surface diffeomorphisms, consisting of points with a tangent direction whose projective derivative norm |g^n(v)| is bounded below for all integer times. The main result, Theorem A, states that if the restriction f|Λ is 'far from homotheties', then Crit(f,Λ) is empty if and only if Λ admits a one-dimensional dominated splitting. The paper also states sufficient conditions for being far from homotheties (Theorems B and C), several properties of the critical set (Propositions 4 and 5), a structural result for mildly dissipative diffeomorphisms (Theorem D), and a finiteness theorem for non-trivial homoclinic classes of Misiurewicz diffeomorphisms (Theorem E). The overall goal is to provide a two-dimensional analogue of the role played by critical points in one-dimensional dynamics.

Significance. If Theorem A is correct, it gives a clean, intrinsic criterion for dominated splitting and is a meaningful simplification of the earlier notion from [PRH]. The proposed critical set is natural and the applications to tangencies, Hénon-type examples, and Misiurewicz diffeomorphisms indicate that the notion could be a useful organizing tool. The paper is ambitious and likely to be influential. However, the current version contains serious proof gaps in the central argument, and the supporting Theorem B is presented in a way that cannot be checked. The strengths are the conceptual framework, the explicit conjecture-style theorems, and the variety of examples; but the technical execution is not yet at the standard of a publishable paper.

major comments (5)
  1. [§4, Lemma 21] The proof of Lemma 21 is a single sentence invoking Oseledets' theorem. Definition 2 is a uniform, pointwise non-conformality condition; it does not by itself produce an ergodic measure with one non-negative and one non-positive Lyapunov exponent. Even if such a measure exists, Oseledets gives only asymptotic growth along a set of full measure, whereas H^± requires |g^{-n}(v)| ≥ 1 for all n. A Pliss-type argument is needed and is not supplied. Since Lemma 21 is the starting point of the construction in Theorem A, this is a load-bearing gap.
  2. [§4, proof of Theorem A] The transfer from y ∈ α(x) to a vector at x is not justified. The text says 'Choosing m^- sufficiently large in such a way that f^{-m^-}(x) is sufficiently close to x' — this is generally impossible. Later v is defined as G^{m^-}(u) ∈ T_xM, but u lies in T_yM and G^{m^-}(u) lies in T_{f^{m^-}(y)}M; unless f^{-m^-}(x)=y, which is not arranged, the vector is not at x. Thus inequality (1) is not derived as written. This step is essential for the Pliss argument.
  3. [§5, Theorem B] The statement of Theorem B involves no constants b or λ, but the proof uses both without definition or introduction. The notation 'T^1_λ M' is unexplained, and the line '∫ log(g)dν_+ = -∫ log(g)dν_- = λ_+(μ)-λ_-(μ)' is not compatible with the theorem's hypothesis as stated. The proof also does not state how the exponent gap γ controls the δ in Definition 2. A complete, self-contained proof with all constants defined is required.
  4. [§2, Claim 11 and Lemma 10] Claim 11 is stated for sequences of 'positive integers', but it is applied to positive real numbers |g|. As a statement about positive reals the claim is false: for a = (1/2, 3, 1/2, 3), the product is 9/4 ≥ 1, but no index K satisfies both backward and forward partial products ≥ 1 for all intermediate steps. Thus the second proof of Lemma 10 collapses. Since Lemma 10 is used to connect tangencies with critical points, this needs to be fixed or removed; the first proof via Theorem A is at least conditional on Theorem A.
  5. [§6, Proposition 4] The proof of Proposition 4 does not establish the first claimed property, namely uniqueness of the critical direction under the far-from-homotheties hypothesis. The text proves a statement about periodic critical points and then gives unrelated estimates involving the 'most contractive direction'. No argument is given that two distinct critical directions would contradict Definition 2. Since Proposition 4 is a stated result of the paper, it needs a complete proof or should be reformulated.
minor comments (6)
  1. [§1, Definition 2] Please specify δ > 0. Also, in the proof of Lemma 22 the inequalities obtained are non-strict while Definition 2 uses strict inequalities; the passage needs clarification or an epsilon adjustment.
  2. [§4, Lemma 22] There is a typo in the statement: 'for any∈Λ' should be 'for any x∈Λ'. In the proof, 'm > m0' should be 'm ≥ m0' if equation (3) is meant to hold for all sufficiently large m.
  3. [§4, proof of Theorem A] The notation G^m.v, G^{m^+}.v, and the super/subscript placement in m_0^+, m^+ is confusing. Please use a consistent convention, e.g. G^m(v).
  4. [§5, Theorem B] The phrase 'for any invariant measure, the difference of the Lyapunov exponents of any regular points' is imprecise. It should say 'for every ergodic invariant measure, the two Lyapunov exponents differ by at least γ'. Also define 'regular points' or avoid the term.
  5. [§6, Lemmas 23 and 24] Lemma 23 and Lemma 24 overlap in content; Lemma 24 is a quantitative version of Lemma 23. Please unify and avoid duplication.
  6. [General] The manuscript contains numerous typos ('unitarean', 'coonected', 'Moebious', 'proporties', etc.). A careful proofreading pass is needed before resubmission.

Circularity Check

0 steps flagged · score 1.0 of 10

No circular reduction in the central equivalence; the main proof is self-contained apart from internal proof gaps that are correctness issues, not circularity.

full rationale

Theorem A is not derived by assuming itself. The critical set is defined by an intrinsic projective-cocycle condition (Def. 1), far-from-homotheties is a separate pointwise non-conformality condition (Def. 2), and the proof then uses Pliss's lemma and two auxiliary lemmas rather than quoting the desired equivalence. Lemma 22 is presented as a variation of the Main Proposition of [PRH], but the paper explicitly supplies a proof: the argument assumes condition (*) and derives a dominated splitting by contradiction with far-from-homotheties, so the citation is not the load-bearing step. The construction of a critical point from failure of (*) is an explicit compactness/Pliss argument, not a renaming or a fitted parameter called a prediction. No output quantity is equal by construction to an input quantity, and no parameter is fitted to data. The self-citations ([PRH], [CP], [CPT], [PS1], [PS2]) provide background, definitions such as mild dissipation, and previously established structural results, but the central derivation does not reduce to those citations. The main caveats are internal proof-completeness gaps: Lemma 21 asserts nonemptiness of H^± via a one-line Oseledets argument that does not fully justify that far-from-homotheties yields an ergodic measure with mixed-sign Lyapunov exponents; the transfer from y in α(x) to a vector at x in the proof of Theorem A is not written rigorously; and the proof of Theorem B contains undefined constants and a garbled contradiction. These are mathematical correctness risks, not evidence that the theorem assumes its own conclusion.

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

No physical entities are postulated; the critical set is a mathematical definition, not an empirical object. The paper's theorems rest on substantial prior results by the same research group, and the main added value is conceptual and structural, not experimental.

assumptions (7)
  • standard math Oseledets theorem (used in Lemma 21)
    Invoked to produce measures and directions with noncontracting projective derivative; the precise implication from far-from-homotheties is not proved.
  • standard math Pliss lemma (stated in the paper)
    Used in the proofs of Theorem A and Lemma 22 to find blocks where the cocycle remains in the desired expansion/contraction range.
  • domain assumption Far-from-homotheties (Definition 2)
    Central assumption in Theorem A; excludes conformal-like behavior of the projective cocycle. Not proved to hold generally, and Theorem B's sufficient condition has a garbled proof.
  • domain assumption Mild dissipation (Definition 6)
    Assumed in Theorems D and E; each stable branch meets the boundary. Holds for certain Hénon parameters but is not general.
  • domain assumption C^2 regularity
    Theorems D/E and the [PS2] classification require C^2; Theorem A is stated for C^1.
  • domain assumption Classification of dominated splitting ([PS2])
    Remark 20 uses the [PS2] theorem to decompose limit sets with dominated splitting; not reproved here.
  • domain assumption Pixton disk / [CPT] lemmas
    Proposition 43 says its proof extends lemma 5.8 of [CPT]; several later arguments rely on Pixton disks and results from [CPT].

how reviews work

0 comments
Cite this review

Pith. "Pith review of Critical set for surface diffeomorphisms revisited." pith.science (2026). https://pith.science/paper/MND64QII

@misc{pith2026260108208,
  author       = {Pith},
  title        = {Pith review of: Critical set for surface diffeomorphisms revisited},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/MND64QII}},
  note         = {Machine review of arXiv:2601.08208}
}
read the original abstract

We propose a notion of critical set for two-dimensional surface diffeomorphisms as an intrinsically defined object designed to play a role analogous to that of critical points in one-dimensional dynamics.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

23 extracted references · 1 linked inside Pith

  1. [1]

    M.-C. Arnaud. Three results on the regularity of the curves that are invariant by an exact symplectic twist map

  2. [2]

    Benedicks, L

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

    1991

  3. [3]

    Eric Bedford John Smillie, Real polynomial diffeomorphisms with maximal entropy: Tangencies. Ann. of Math. (2) 160(2004) , no.1, 1-26

    2004

  4. [4]

    Eric Bedford John Smillie, Real polynomial diffeomorphisms with maximal entropy. II. Small Jacobian. Ergodic Theory Dynam. Systems 26(2006) , no.5, 1259-1283

    2006

  5. [5]

    Boronski and S

    J. Boronski and S. Stimac. The pruning front conjecture, folding patterns and classification of H\'enon maps in the presence of strange attractors. ArXiv:2302.12568

    arXiv

  6. [6]

    Buzzi, S

    J. Buzzi, S. Crovisier, O. Sarig; Measures of maximal entropy for surface diffeomorphisms. Annals of Math. 195 (2022), 421-508

    2022

  7. [7]

    Crovisier

    S. Crovisier. Ensembles de torsion nulle des applications d\'eviant la verticale. Bull. Soc. math. France 131 (1), 2003, p. 23-39

    2003

  8. [8]

    Crovisier, E

    S. Crovisier, E. Pujals; Strongly dissipative surface diffeomorphisms. Comment. Math. Helv., 93 (2018), 377-400

    2018

Show all 23 references
  1. [9]

    Crovisier, A

    S. Crovisier, A. Kocsard, E. Pujals; Strongly dissipative surface diffeomorphisms in the annulus

  2. [10]

    Crovisier, M

    S. Crovisier, M. Lyubich, E. Pujals J. Yang; Renormalization of Unicritical Diffeomorphisms of the Disk, arxiv

  3. [11]

    Crovisier, E

    S. Crovisier, E. Pujals and C. Tresser. Strongly dissipative diffeomorphisms of the disc with zero entropy. Acta Mathematica, Volume 232 (2024) Number 2, 221-323

    2024

  4. [12]

    Enrich, A heteroclinic bifurcation of Anosov diffeomorphisms

    H. Enrich, A heteroclinic bifurcation of Anosov diffeomorphisms. emph Ergodic Theory Dynam. Systems , 18 (1998), no.3, 567-608

    1998

  5. [13]

    Horita, N

    V. Horita, N. Muniz and P.R. Sabini; Non-periodic bifurcations for surface diffeomorphisms. Trans. Amer. Math. Soc. 367 (2015), no.12, 8279-8300

    2015

  6. [14]

    Ma \ n \'e , Hyperbolicity, sinks and measure in one-dimensional dynamics, Commun

    R. Ma \ n \'e , Hyperbolicity, sinks and measure in one-dimensional dynamics, Commun. Math. Phys., 100 (1985), 495--524

    1985

  7. [15]

    Newhouse, Non-density of Axiom A(a) on S2

    S. Newhouse, Non-density of Axiom A(a) on S2. Proc. Am. Math. Soc. Symp. Pure Math. 14, 191-202 (1970)

    1970

  8. [16]

    Pixton, Planar homoclinic points

    D. Pixton, Planar homoclinic points. J. Differential Equations 44 (1982) , no. 3, 365--382

    1982

  9. [17]

    Pujals, F

    E. Pujals, F. Rodriguez Hertz. Critical points for surfaces maps, Journal of Modern Dynamics Volume 1, No. 4, 2007

    2007

  10. [18]

    E. R. Pujals, M. Sambarino, Homoclinic tangencies and hyperbolicity for surface diffeomorphisms, Annals of Math, 151, (2000) , 961-1023

    2000

  11. [19]

    E. R. Pujals, M. Sambarino, On the dynamics of dominated splitting, Annals of Math, 169, (2009) , 675-704

    2009

  12. [20]

    Isabel Lug\ ao Rios, Unfolding homoclinic tangencies inside horseshoes: hyperbolicity, fractal dimensions and persistent tangencies, Nonlinearity 14(2001) , no.3, 431-462

    2001

  13. [21]

    Hiroki Takahasi, Prevalent dynamics at the first bifurcation of H\'enon-like families. Comm. Math. Phys.312 (2012) , no.1, 37-85

    2012

  14. [22]

    Valenzuela-Henr\'quez On critical point for two-dimensional holomorphic systems

    F. Valenzuela-Henr\'quez On critical point for two-dimensional holomorphic systems. Ergodic theory and dynamical systems (37), 2017 , 2276-2312

    2017

  15. [23]

    Wang,and L-S

    Q. Wang,and L-S. Young, Toward a theory of rank one attractors. Ann. of Math. (2) 167 (2008), no.2, 349-480

    2008

Pith tools

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