Pith. sign in

REVIEW 3 major objections 9 minor 66 references

Some rigidity results for polynomial automorphisms of C^2

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

Pith's one-line read The paper proves that no loxodromic polynomial automorphism of C2 is unstably linear, so Julia slices are never smooth curves, and derives foliation and conjugacy rigidity.

desk verdict Strong, important paper with a real gap in Proposition 2.5's all-saddles case; likely fixable, but the written proof of Theorem C is incomplete. read the letter →

arxiv 2411.10339 v1 pith:Y5IIQPLF submitted 2024-11-15 math.DS math.CV

classification math.DSmath.CV MSC 32H5037F1037F8037D20
keywords polynomialautomorphismsofC^2Juliasetsrigidityloxodromicreal-analyticconjugacymultipliersfoliationsHausdorffdimension
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 establishes several rigidity theorems for polynomial automorphisms of $\mathbb C^2$ with positive entropy (called loxodromic). Its central result is that no such map can be 'unstably linear': after straightening the unstable manifold of a saddle point, the forward Julia set can never be a straight line; in particular, a complex slice of the forward or backward Julia set is never a $C^1$ curve, and never a rectifiable curve. The authors use this to show that no loxodromic automorphism preserves a global real-analytic foliation with complex leaves, hence no global holomorphic foliation, and that any real-analytic conjugacy between two loxodromic automorphisms, under a mild non-real-multiplier hypothesis, is a polynomial conjugacy, possibly composed with complex conjugation. A final arithmetic theorem says that under natural hypotheses the saddle multipliers cannot all lie in a fixed number field.

What carries the argument

The central objects are the notions 'unstably real' and 'unstably linear', defined through unstable manifold parametrizations $\psi_p^u:\mathbb C\to W^u(p)$: the map is unstably real if $(\psi_p^u)^{-1}(J^+ \cap W^u(p))$ is contained in a line, and unstably linear if it is a line. The proof machinery is the quasi-expansion theory of [12], which organizes the family of normalized unstable parametrizations into a normal family and shows that unstably linear maps are quasi-expanding; an argument adapted from [13] plus hyperbolicity criteria [2] upgrades this to uniform hyperbolicity, and the final contradiction comes from the fixed-point multiplier theorem [4, Props. 5.1 and 6.1]. The identity driving the multiplier estimates is that $G^+\circ\psi_p^u$ is proportional to $|\operatorname{Im}\zeta|$ on each half-plane, so invariance under multiplication by $\lambda^u$ forces $\lambda^u=\pm d^n$. For the rectifiable-slice and foliation theorems, the key mechanism is the comparison between harmonic measure and the Laplacian of the Green function $G^+$ on a transversal: rectifiability would produce tangents at almost every point, forcing unstable linearity, while saturation by a hypothetical foliation would extend the local picture to a global holomorphic foliation, contradicting [15].

What would settle it

Construct, or find computationally, a loxodromic polynomial automorphism of $\mathbb C^2$ with a saddle fixed point whose unstable multiplier is $\pm d$ and whose Julia slice along its unstable manifold is a straight line; or exhibit a dissipative composition of three Hénon maps of degree $d$ with $d-1$ fixed points sharing unstable multiplier $d$. Either example would refute Theorem C or the multiplier input [4] on which it depends.

Watch

Extended reading notes

Core claim

At the heart of the paper is Theorem C: unstably linear loxodromic automorphisms of $\mathbb C^2$ do not exist, where 'unstably linear' means that for every saddle periodic point $p$, the pullback $(\psi_p^u)^{-1}(J^+ \cap W^u(p))$ is a line through the origin in the unstable parametrization. The proof combines quasi-expansion theory (Lemma 2.11 shows that unstably linear maps are quasi-expanding with factor $d$) with a rigidity result on fixed-point multipliers to reach a contradiction: an unstably linear dissipative map would force at least $d-1$ of its $d$ fixed points to have unstable multiplier $d$, which the cited multiplier theorem rules out. Along the way the authors show that all periodic points must be saddles and that both sides of $W^u(p) \setminus J^+$ avoid the filled Julia set, and they upgrade quasi-expansion to uniform hyperbolicity before invoking the multiplier contradiction. A separate rectifiability argument (Theorem 3.1) rules out rectifiable Julia slices without passing through linearity, and Theorem B rules out invariant real-analytic foliations; Theorem A then converts real-analytic conjugacies into holomorphic or anti-holomorphic ones, where the earlier rigidity result [19] applies.

Load-bearing premise

The whole chain of theorems rests on an external multiplier rigidity statement [4, Propositions 5.1 and 6.1] asserting that a dissipative composition of at least three Hénon maps cannot have $d-1$ of its $d$ fixed points with the same unstable multiplier $d$; if that statement is false or has extra unstated hypotheses, Theorem C and consequently Theorems B and A would fail.

Editorial extensions

If this is right

  • A complex slice $J^+_\Gamma$ of the forward Julia set along any transversal disk $\Gamma$ is never a $C^1$ curve, and a nontrivial component never admits a tangent at a transverse intersection with a stable manifold (Corollary 2.8).
  • The same slices are never rectifiable curves; consequently a Jordan-arc slice, if it exists, must have infinite one-dimensional Hausdorff measure (Corollary 3.2 and Theorem 3.1).
  • No loxodromic automorphism of $\mathbb C^2$ preserves a global holomorphic foliation, nor a global real-analytic foliation with complex leaves (Theorem 4.3 and Theorem B).
  • A real-analytic conjugacy between loxodromic automorphisms, when one saddle point has non-real stable and unstable multipliers, is necessarily a polynomial automorphism up to complex conjugation (Theorem A).
  • Under the stated hyperbolicity or Lyapunov-exponent hypotheses, the full set of unstable (and stable) multipliers cannot be contained in any fixed number field (Theorems 8.1 and 8.3).

Reading between the lines

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

  • The non-existence of unstably linear maps suggests a two-dimensional analogue of Fatou's one-dimensional trichotomy: since smooth Julia slices cannot occur, the only possible irregularity of unstable slices is total disconnectedness versus Hausdorff dimension strictly greater than one; this dichotomy is consistent with Corollary 3.9.
  • If the multiplier-field theorems are sharpened, they point to a full multiplier-spectrum rigidity: the collection of all saddle multipliers should determine the automorphism up to polynomial conjugacy and complex conjugation, with no Chebyshev or monomial exceptional classes in $\mathbb C^2$.
  • A concrete testable extension is numerical: for dissipative Hénon maps sufficiently close to one-dimensional polynomials, the saddle multipliers should be provably outside any fixed number field; high-precision computation could search for algebraic relations among multipliers in perturbative families.
  • The mechanism behind Theorem A—pulling back the complex structure and deriving an invariant foliation—might extend to smooth (not necessarily real-analytic) conjugacies if the real-analytic foliation arguments can be replaced by elliptic-regularity or quasiconformal techniques; the paper does not claim this extension.
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.

Referee Report

3 major / 9 minor

Summary. The paper establishes several rigidity results for loxodromic polynomial automorphisms of C^2. Theorem C states that no unstably linear loxodromic automorphism exists; this is the key input for Theorem B, which rules out global invariant real-analytic foliations with complex leaves (and hence holomorphic foliations), and for Theorem A, which says that a real-analytic conjugacy between two loxodromic automorphisms, under a non-real multiplier assumption at a saddle point, implies polynomial conjugacy up to complex conjugation. The paper also proves Theorem D, which states that under certain hypotheses (hyperbolicity with distinct Lyapunov exponents, or a saddle with Lyapunov exponent exceeding that of the maximal entropy measure), the unstable and stable multipliers cannot all lie in a fixed number field. The proofs combine Bedford-Smillie theory, quasi-expansion, Bedford-Kim multiplier rigidity, Pesin theory, equidistribution of periodic points, and arithmetic specialization.

Significance. These are substantial results in higher-dimensional holomorphic dynamics. Theorem C resolves a question analogous to Fatou's one-dimensional classification in the setting of Hénon maps, and it powers the foliation and conjugacy rigidity theorems. The proofs are detailed and draw on a broad range of techniques. The paper also contributes a useful reinforcement of the equidistribution theorem (Appendix A) and several independent results (e.g., Theorem 6.1 on homoclinic shadowing). The dependence on the Bedford-Kim multiplier theorems is explicit and appropriately cited. Given the depth and breadth, the paper is likely to have a lasting impact on the field.

major comments (3)
  1. [§2.3, Proposition 2.5, Step 3] In Step 3 of Proposition 2.5, the proof asserts that if a non-saddle fixed point exists, then 'f has d distinct fixed points and at least d−1 of them are saddles with unstable multiplier equal to d'. This assertion requires that the d fixed points (counted with multiplicity for a Hénon composition) are distinct. A non-saddle fixed point with eigenvalue 1 can be multiple; for example, a dissipative Hénon map f(z,w) = (aw + z^2 + c, z) has a double fixed point when (1−a)^2 = 4c, and that point has eigenvalue 1. The text does not justify why such a multiple non-saddle fixed point cannot occur here, and without distinctness the Bedford-Kim theorem [4, Prop. 5.1] (which concerns d−1 saddles among d fixed points) may not apply. Please provide a proof of distinctness or state the exact form of [4, Prop. 5.1] and show its hypotheses are met.
  2. [§2.3, Proposition 2.5, conclusion] Proposition 2.5 concludes that every periodic point is a saddle. The proof, however, only performs the fixed-point argument for f^3 and derives a contradiction from the existence of a non-saddle fixed point. A non-saddle periodic point of period n>1 would be a non-saddle fixed point of f^n, but the proof does not explicitly apply the argument to all iterates f^{3n}. Since Corollary 2.6 uses the full conclusion to contradict the existence of an attracting point (which could have period >1), this iteration step should be stated and justified.
  3. [§5.1, Proposition 5.2] In the proof of Proposition 5.2, the sentence 'Since f is not unstably real, Proposition 2.2 shows that the local F saturation of J^+_τ is R-Zariski dense' is too quick. Proposition 2.2 gives that J^+_Γ is not contained in any C^1 curve for any transversal Γ; it does not directly imply that the F-saturation is not contained in any proper real-analytic subvariety of C^2. The argument should be expanded to explain why a proper real-analytic subvariety containing the saturation would force J^+_τ to lie in a C^1 curve (for instance via Levi-flatness), or a different justification for the R-Zariski density should be given.
minor comments (9)
  1. [Page 9, Step 3 of Proposition 2.5] The reference to 'Lemma 2.4.(3)' for the multiplier assertion should be 'Lemma 2.4.(2)', since item (3) concerns unstable connectedness, not the value of λ^u(p).
  2. [Page 10, Corollary 2.6] The reference to 'Lemma 2.4.(4)' should be 'Lemma 2.4.(3)', as Lemma 2.4 has only three numbered items.
  3. [Page 12, Lemma 2.13 proof] There is a duplicated word in 'then the the limit pψ' which should be 'then the limit pψ'.
  4. [Page 18, §3.4.1] The phrase 'a subset of the place R^2' should read 'a subset of the plane R^2'.
  5. [Page 24, Proposition 5.2 proof] The passage about R-Zariski density is terse and should be expanded for readability, in addition to the technical point raised in the major comments.
  6. [Page 36, Theorem 8.3 proof] The word 'migth' should be 'might'.
  7. [Page 41, Appendix A] The word 'convergene' should be 'convergence'.
  8. [Page 2, Introduction] The name 'Xenelkis de Hénon' in the reference to Question 31 in [62] appears to be a typo or misattribution and should be corrected.
  9. [§2.6, Question 2.16] The word 'sadlle' should be 'saddle'.

Circularity Check

0 steps flagged · score 0.0 of 10

No circularity: the derivation chain rests on external prior theorems and does not assume its own conclusions.

full rationale

Walked the derivation chain. Theorem C (Theorem 2.7) is built from Lemma 2.4 (unstable multiplier ±d^n via Green-function identities and Bedford-Smillie quasi-expansion), Proposition 2.5 (periodic-point dichotomy using Dujardin's closing lemma [27], Dujardin-Lyubich [30], and Bedford-Kim [4, Prop. 5.1 and 6.1]), quasi-expansion Lemma 2.11, the tau-bound Lemmas 2.13-2.14, and the Bedford-Dujardin hyperbolicity criterion [2]. All of these are prior results proved elsewhere; none assumes the non-existence of unstably linear maps. The alleged gap in Proposition 2.5, Step 3 arises from a reading in which the text's conditional 'if such a non saddle point exists' is treated as an unhandled branch. Read literally, the text's next sentence ('In particular f has d distinct fixed points and at least d-1 of them are saddles with unstable multiplier equal to d') does appear to extract a conclusion that was only derived under the existence of a non-saddle fixed point. However, this is a potential logical gap in the proof, not a circularity: the contradiction still comes from an external theorem ([4, Prop. 5.1]), and no claim is assumed in its own proof. Theorems B and A are derived from Theorem C together with Brunella's theorem [15] and the authors' earlier holomorphic conjugacy theorem [19]; [19] is an independent published result with its own proof, not an output of the present argument. No fitted parameter is relabeled as a prediction, no theorem is assumed in its own proof, and no uniqueness claim is imported solely from the authors' prior work. The paper explicitly identifies its main external input, the Bedford-Kim multiplier theorem, as a prior result; that is a support assumption, not a circular one.

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

The central claims rest on a network of deep external theorems (Brunella, Bedford-Kim, Bedford-Smillie, Bedford-Dujardin, Yuan, and the authors' [19]). No free parameters or invented entities are introduced. The proofs do not fit constants to data; they are deductive.

assumptions (7)
  • domain assumption Brunella's theorem: a loxodromic automorphism of C^2 preserves no global algebraic foliation.
    Invoked in the proof of Theorem 4.3 (Section 4.2) to reach a contradiction after extending an invariant foliation to P^2 as an algebraic foliation.
  • domain assumption Bedford-Kim multiplier rigidity theorem: a dissipative composition of at least three Hénon maps cannot have d-1 fixed points with the same unstable multiplier d.
    Used in the proof of Theorem 2.7 (Section 2.4) to rule out the unstably linear scenario; the weakest external load-bearing input for the central non-existence result.
  • domain assumption Bedford-Smillie quasi-expansion theory, including the existence of normal limits of unstable parametrizations and the properties of the sets J^u_i.
    Used throughout Section 2.4 (Lemma 2.11, Lemmas 2.13-2.14) to analyze unstably linear maps and to prove f is hyperbolic.
  • domain assumption Bedford-Dujardin hyperbolicity criterion [2, Prop. 2.16]: u-regularity on J^u with non-vanishing G^+ along unstable leaves and |Jac(f)|<=1 implies hyperbolicity.
    Used at the end of the proof of Theorem 2.7 to obtain a contradiction with Corollary 2.6.
  • domain assumption Yuan's arithmetic equidistribution theorem for small points over a number field.
    Used in the proof of Theorem 8.1 (Section 8.1) to show Galois averages of periodic orbits converge to the equilibrium measure.
  • domain assumption Cantat-Dujardin [19]: holomorphically conjugate loxodromic automorphisms of C^2 are polynomially conjugate.
    Used in the proof of Theorem 7.1 to conclude from holomorphic or anti-holomorphic conjugacy to polynomial conjugacy; this is a prior independent result by the same authors.
  • standard math Standard harmonic measure and geometric measure theory facts: F. and M. Riesz absolute continuity, Besicovitch tangent theorem, and Pesin theory as in Katok-Hasselblatt.
    Used in the proof of Theorem 3.1 (Section 3.2) and in Appendix A for equidistribution and Lyapunov exponents.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Some rigidity results for polynomial automorphisms of C^2." pith.science (2026). https://pith.science/paper/Y5IIQPLF

@misc{pith2026241110339,
  author       = {Pith},
  title        = {Pith review of: Some rigidity results for polynomial automorphisms of C^2},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/Y5IIQPLF}},
  note         = {Machine review of arXiv:2411.10339}
}
abstract

We prove several new rigidity results for polynomial automorphisms of $\mathbb C^2$ with positive entropy. A first result is that a complex slice of the (forward or backward) Julia set is never a smooth, or even rectifiable, curve. We also show that such an automorphism cannot preserve a global holomorphic foliation, nor a real-analytic foliation with complex leaves. These results are used to show that under mild assumptions, two real-analytically conjugate automorphisms are polynomially conjugate. For mappings defined over a number field, we also study the fields of definition of multipliers of saddle periodic orbits.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

66 extracted references · 62 canonical work pages

  1. [12]

    Polynomial diffeomorphisms of C2

    Eric Bedford and John Smillie. Polynomial diffeomorphisms of C2. VIII. Quasi-expansion. Amer. J. Math., 124(2):221–271, 2002

  2. [2]

    Topological and geometric hyperbolicity criteria for polynomial automor- phisms of C2

    Eric Bedford and Romain Dujardin. Topological and geometric hyperbolicity criteria for polynomial automor- phisms of C2. Ergodic Theory Dynam. Systems, 42(7):2151–2171, 2022

  3. [1]

    Introduction to smooth ergodic theory , volume 231 of Graduate Studies in Mathematics

    Lu ´ıs Barreira and Yakov Pesin. Introduction to smooth ergodic theory , volume 231 of Graduate Studies in Mathematics. American Mathematical Society, Providence, RI, second edition, [2023] ©2023

  4. [3]

    Hyperbolicity and quasi-hyperbolicity in polynomial diffeo- morphisms of C2

    Eric Bedford, Lorenzo Guerini, and John Smillie. Hyperbolicity and quasi-hyperbolicity in polynomial diffeo- morphisms of C2. Pure Appl. Math. Q., 18(1):5–32, 2022

  5. [4]

    No smooth Julia sets for polynomial diffeomorphisms of C2 with positive entropy

    Eric Bedford and Kyounghee Kim. No smooth Julia sets for polynomial diffeomorphisms of C2 with positive entropy. J. Geom. Anal., 27(4):3085–3098, 2017

  6. [5]

    Julia sets for polynomial diffeomorphisms of C2 are not semianalytic

    Eric Bedford and Kyounghee Kim. Julia sets for polynomial diffeomorphisms of C2 are not semianalytic. Doc. Math., 24:163–173, 2019

  7. [6]

    Distribution of periodic points of polynomial diffeomor- phisms of C2

    Eric Bedford, Mikhail Lyubich, and John Smillie. Distribution of periodic points of polynomial diffeomor- phisms of C2. Invent. Math., 114(2):277–288, 1993

  8. [7]

    Polynomial diffeomorphisms of C2

    Eric Bedford, Mikhail Lyubich, and John Smillie. Polynomial diffeomorphisms of C2. IV. The measure of maximal entropy and laminar currents. Invent. Math., 112(1):77–125, 1993

Show all 66 references
  1. [8]

    Polynomial diffeomorphisms of C2: currents, equilibrium measure and hyper- bolicity

    Eric Bedford and John Smillie. Polynomial diffeomorphisms of C2: currents, equilibrium measure and hyper- bolicity. Invent. Math., 103(1):69–99, 1991

  2. [9]

    Polynomial diffeomorphisms of C2

    Eric Bedford and John Smillie. Polynomial diffeomorphisms of C2. II. Stable manifolds and recurrence. J. Amer. Math. Soc., 4(4):657–679, 1991

  3. [10]

    Polynomial diffeomorphisms of C2

    Eric Bedford and John Smillie. Polynomial diffeomorphisms of C2. VI. Connectivity of J. Ann. of Math. (2), 148(2):695–735, 1998

  4. [11]

    Polynomial diffeomorphisms of C2

    Eric Bedford and John Smillie. Polynomial diffeomorphisms of C2. VII. Hyperbolicity and external rays. Ann. Sci. ´Ecole Norm. Sup. (4), 32(4):455–497, 1999

  5. [13]

    Real polynomial diffeomorphisms with maximal entropy: Tangencies

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

  6. [14]

    On stability and hyperbolicity for polynomial automorphisms of C2

    Pierre Berger and Romain Dujardin. On stability and hyperbolicity for polynomial automorphisms of C2. Ann. Sci. ´Ec. Norm. Sup´er. (4), 50(2):449–477, 2017

  7. [15]

    Minimal models of foliated algebraic surfaces.Bull

    Marco Brunella. Minimal models of foliated algebraic surfaces.Bull. Soc. Math. France, 127(2):289–305, 1999

  8. [16]

    Buzzard, Suzanne Lynch Hruska, and Yulij Ilyashenko

    Gregery T. Buzzard, Suzanne Lynch Hruska, and Yulij Ilyashenko. Kupka-Smale theorem for polynomial auto- morphisms of C2 and persistence of heteroclinic intersections. Invent. Math., 161(1):45–89, 2005

  9. [17]

    Dynamique des automorphismes des surfaces K3

    Serge Cantat. Dynamique des automorphismes des surfaces K3. Acta Math., 187(1):1–57, 2001

  10. [18]

    Bers and H ´enon, Painlev´e and Schr¨odinger

    Serge Cantat. Bers and H ´enon, Painlev´e and Schr¨odinger. Duke Math. J., 149(3):411–460, 2009

  11. [19]

    Holomorphically conjugate polynomial automorphisms of C2 are polyno- mially conjugate

    Serge Cantat and Romain Dujardin. Holomorphically conjugate polynomial automorphisms of C2 are polyno- mially conjugate. Bull. Lond. Math. Soc., to appear, 2024. https://doi.org/10.1112/blms.13164

  12. [20]

    Dynamics on character varieties and Malgrange irreducibility of Painlev ´e VI equation

    Serge Cantat and Frank Loray. Dynamics on character varieties and Malgrange irreducibility of Painlev ´e VI equation. Ann. Inst. Fourier (Grenoble), 59(7):2927–2978, 2009

  13. [21]

    Sur la g ´eom´etrie pseudo-conforme des hypersurfaces de l’espace de deux variables complexes

    Elie Cartan. Sur la g ´eom´etrie pseudo-conforme des hypersurfaces de l’espace de deux variables complexes. Ann. Mat. Pura Appl., 11(1):17–90, 1933

  14. [22]

    Rectifiable sets, densities and tangent measures

    Camillo De Lellis. Rectifiable sets, densities and tangent measures. Zurich Lectures in Advanced Mathematics. European Mathematical Society (EMS), Z¨urich, 2008

  15. [23]

    Decay of correlations for H ´enon maps

    Tien-Cuong Dinh. Decay of correlations for H ´enon maps. Acta Math., 195:253–264, 2005

  16. [24]

    Laminar currents and birational dynamics

    Romain Dujardin. Laminar currents and birational dynamics. Duke Math. J., 131(2):219–247, 2006

  17. [25]

    Some remarks on the connectivity of Julia sets for 2-dimensional diffeomorphisms

    Romain Dujardin. Some remarks on the connectivity of Julia sets for 2-dimensional diffeomorphisms. In Com- plex dynamics, volume 396 of Contemp. Math., pages 63–84. Amer. Math. Soc., Providence, RI, 2006

  18. [26]

    Continuity of Lyapunov exponents for polynomial automorphisms of C2

    Romain Dujardin. Continuity of Lyapunov exponents for polynomial automorphisms of C2. Ergodic Theory Dynam. Systems, 27(4):1111–1133, 2007

  19. [27]

    A closing lemma for polynomial automorphisms ofC2

    Romain Dujardin. A closing lemma for polynomial automorphisms ofC2. Ast´erisque, (415):35–43, 2020. Some aspects of the theory of dynamical systems: a tribute to Jean-Christophe Yoccoz. V ol. I

  20. [28]

    Degenerate homoclinic bifurcations in complex dimension two

    Romain Dujardin. Degenerate homoclinic bifurcations in complex dimension two. arXiv:2306.08160, 2023

  21. [29]

    The dynamical Manin-Mumford problem for plane polynomial automor- phisms

    Romain Dujardin and Charles Favre. The dynamical Manin-Mumford problem for plane polynomial automor- phisms. J. Eur. Math. Soc. (JEMS), 19(11):3421–3465, 2017. RIGIDITY FOR POLYNOMIAL AUTOMORPHISMS OF C2 45

  22. [30]

    Stability and bifurcations for dissipative polynomial automorphisms of C2

    Romain Dujardin and Mikhail Lyubich. Stability and bifurcations for dissipative polynomial automorphisms of C2. Invent. Math., 200(2):439–511, 2015

  23. [31]

    Rational maps with real multipliers

    Alexandre Eremenko and Sebastian van Strien. Rational maps with real multipliers. Trans. Amer. Math. Soc., 363(12):6453–6463, 2011

  24. [32]

    K. J. Falconer. The geometry of fractal sets, volume 85 of Cambridge Tracts in Mathematics. Cambridge Uni- versity Press, Cambridge, 1986

  25. [33]

    P. Fatou. Sur les ´equations fonctionnelles Troisi`eme m´emoire. Bulletin de la Soci´et´e Math´ematique de France, 48:208–314, 1920

  26. [34]

    Hedgehogs for neutral dissipative germs of holomorphic diffeomorphisms of pC2, 0q

    Tanya Firsova, Mikhail Lyubich, Remus Radu, and Raluca Tanase. Hedgehogs for neutral dissipative germs of holomorphic diffeomorphisms of pC2, 0q. Ast´erisque, (416):193–211, 2020. Some aspects of the theory of dynamical systems: a tribute to Jean-Christophe Yoccoz. V ol. II

  27. [35]

    Hyperbolic flows

    Todd Fisher and Boris Hasselblatt. Hyperbolic flows. Zurich Lectures in Advanced Mathematics. EMS Publish- ing House, Berlin, 2019

  28. [36]

    Complex H´enon mappings in C2 and Fatou-Bieberbach domains

    John Erik Fornæss and Nessim Sibony. Complex H´enon mappings in C2 and Fatou-Bieberbach domains. Duke Math. J., 65(2):345–380, 1992

  29. [37]

    Complex dynamics in higher dimensions

    John Erik Fornæss and Nessim Sibony. Complex dynamics in higher dimensions. In Complex potential theory (Montreal, PQ, 1993), volume 439 of NATO Adv. Sci. Inst. Ser. C: Math. Phys. Sci. , pages 131–186. Kluwer Acad. Publ., Dordrecht, 1994. Notes partially written by Estela A. Gavosto

  30. [38]

    Dynamical properties of plane polynomial automorphisms

    Shmuel Friedland and John Milnor. Dynamical properties of plane polynomial automorphisms. Ergodic Theory Dynam. Systems, 9(1):67–99, 1989

  31. [39]

    Garnett and Donald E

    John B. Garnett and Donald E. Marshall. Harmonic measure, volume 2 of New Mathematical Monographs . Cambridge University Press, Cambridge, 2005

  32. [40]

    Holomorphic Anosov systems

    ´Etienne Ghys. Holomorphic Anosov systems. Invent. Math., 119(3):585–614, 1995

  33. [41]

    Julia sets of complex H ´enon maps

    Lorenzo Guerini and Han Peters. Julia sets of complex H ´enon maps. Internat. J. Math. , 29(7):1850047, 22, 2018

  34. [42]

    Hamilton

    David H. Hamilton. Length of Julia curves. Pacific J. Math., 169(1):75–93, 1995

  35. [43]

    Hubbard and Ralph W

    John H. Hubbard and Ralph W. Oberste-V orth. H´enon mappings in the complex domain. I. The global topology of dynamical space. Inst. Hautes ´Etudes Sci. Publ. Math., (79):5–46, 1994

  36. [44]

    Hubbard and Ralph W

    John H. Hubbard and Ralph W. Oberste-V orth. H ´enon mappings in the complex domain. II. Projective and inductive limits of polynomials. InReal and complex dynamical systems (Hillerød, 1993), volume 464 ofNATO Adv. Sci. Inst. Ser. C: Math. Phys. Sci., pages 89–132. Kluwer Acad...

  37. [45]

    Rational maps with rational multipliers

    Valentin Huguin. Rational maps with rational multipliers. J. ´Ec. polytech. Math., 10:591–599, 2023

  38. [46]

    Homoclinic orbits, multiplier spectrum and rigidity theorems in complex dynamics

    Zhuchao Ji and Junyi Xie. Homoclinic orbits, multiplier spectrum and rigidity theorems in complex dynamics. Forum Math. Pi, 11:Paper No. e11, 37, 2023

  39. [47]

    The multiplier spectrum morphism is generically injective

    Zhuchao Ji and Junyi Xie. The multiplier spectrum morphism is generically injective. arXiv math:2309.15382, 2023

  40. [48]

    Introduction to the modern theory of dynamical systems , volume 54 of Encyclopedia of Mathematics and its Applications

    Anatole Katok and Boris Hasselblatt. Introduction to the modern theory of dynamical systems , volume 54 of Encyclopedia of Mathematics and its Applications . Cambridge University Press, Cambridge, 1995. With a supplementary chapter by Katok and Leonardo Mendoza

  41. [49]

    The equidistribution of small points for strongly regular pairs of polynomial maps

    Chong Gyu Lee. The equidistribution of small points for strongly regular pairs of polynomial maps. Math. Z., 275(3-4):1047–1072, 2013

  42. [50]

    Structure of partially hyperbolic H ´enon maps

    Mikhail Lyubich and Han Peters. Structure of partially hyperbolic H ´enon maps. J. Eur. Math. Soc. (JEMS) , 23(9):3075–3128, 2021

  43. [51]

    Hedgehogs in higher dimensions and their applications

    Mikhail Lyubich, Remus Radu, and Raluca Tanase. Hedgehogs in higher dimensions and their applications. Ast´erisque, (416):213–251, 2020. Some aspects of the theory of dynamical systems: a tribute to Jean-Christophe Yoccoz. V ol. II

  44. [52]

    N. G. Makarov. On the distortion of boundary sets under conformal mappings. Proc. London Math. Soc. (3) , 51(2):369–384, 1985

  45. [53]

    Hausdorff dimension for horseshoes

    Heather McCluskey and Anthony Manning. Hausdorff dimension for horseshoes. Ergodic Theory Dynam. Sys- tems, 3(2):251–260, 1983

  46. [54]

    Families of rational maps and iterative root-finding algorithms

    Curt McMullen. Families of rational maps and iterative root-finding algorithms. Ann. of Math. (2), 125(3):467– 493, 1987

  47. [55]

    On Latt `es maps

    John Milnor. On Latt `es maps. In Dynamics on the Riemann sphere, pages 9–43. Eur. Math. Soc., Z¨urich, 2006. RIGIDITY FOR POLYNOMIAL AUTOMORPHISMS OF C2 46

  48. [56]

    Introduction to the theory of analytic spaces, volume No

    Raghavan Narasimhan. Introduction to the theory of analytic spaces, volume No. 25 of Lecture Notes in Math- ematics. Springer-Verlag, Berlin-New York, 1966

  49. [57]

    Yakov B. Pesin. Dimension theory in dynamical systems . Chicago Lectures in Mathematics. University of Chicago Press, Chicago, IL, 1997. Contemporary views and applications

  50. [58]

    On Hausdorff dimension of polynomial not totally disconnected Julia sets

    Feliks Przytycki and Anna Zdunik. On Hausdorff dimension of polynomial not totally disconnected Julia sets. Bull. Lond. Math. Soc., 53(6):1674–1691, 2021

  51. [59]

    Dynamical systems

    Clark Robinson. Dynamical systems. Studies in Advanced Mathematics. CRC Press, Boca Raton, FL, 1995. Stability, symbolic dynamics, and chaos

  52. [60]

    Lyapunov exponents of hyperbolic measures and hyperbolic periodic orbits

    Zhenqi Wang and Wenxiang Sun. Lyapunov exponents of hyperbolic measures and hyperbolic periodic orbits. Trans. Amer. Math. Soc., 362(8):4267–4282, 2010

  53. [61]

    On measures of maximal and full dimension for polynomial automorphisms ofC2

    Christian Wolf. On measures of maximal and full dimension for polynomial automorphisms ofC2. Trans. Amer. Math. Soc., 355(8):3227–3239, 2003

  54. [62]

    H´enon maps: a list of open problems

    Julia Xenelkis de H ´enon. H´enon maps: a list of open problems. Arnold Mathematical Journal, to appear, 2024

  55. [63]

    On holomorphic partially hyperbolic systems

    Disheng Xu and Jiesong Zhang. On holomorphic partially hyperbolic systems. arXiv math:2401.04310, 2024

  56. [64]

    Big line bundles over arithmetic varieties

    Xinyi Yuan. Big line bundles over arithmetic varieties. Invent. Math., 173(3):603–649, 2008

  57. [65]

    Parabolic orbifolds and the dimension of the maximal measure for rational maps

    Anna Zdunik. Parabolic orbifolds and the dimension of the maximal measure for rational maps. Invent. Math., 99(3):627–649, 1990

  58. [66]

    Characteristic exponents of rational functions

    Anna Zdunik. Characteristic exponents of rational functions. Bull. Pol. Acad. Sci. Math., 62(3):257–263, 2014. SERGE CANTAT, IRMAR, C AMPUS DE BEAULIEU , B ˆATIMENTS 22-23 263 AVENUE DU G ´EN ´ERAL LECLERC , CS 74205 35042 RENNES C ´EDEX , FRANCE Email address: serge.cantat@un...

Pith tools

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