Further remarks on rigidity of H\'{e}non maps
Pith reviewed 2026-05-24 22:55 UTC · model grok-4.3
The pith
For Hénon maps in C^2, polynomial automorphisms preserving any fixed Green function level set are characterized as affine ones.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
For a Hénon map H in C^2, the polynomial automorphisms keeping any fixed level set of its Green function completely invariant are characterized; as a consequence the interiors of non-zero sublevel sets, which form Short C^2 spaces, admit no polynomial automorphisms apart from possibly the affine ones, and if any two level sets of the Green functions of a pair of Hénon maps coincide then the maps almost commute.
What carries the argument
The level sets of the Green function of the Hénon map, whose complete invariance under a polynomial automorphism is used to derive the rigidity statements for the associated Short C^2 spaces.
Load-bearing premise
The standard definition and invariance properties of the Green function for polynomial Hénon maps in C^2 suffice to support the stated characterizations and consequences for Short C^2 spaces.
What would settle it
An explicit non-affine polynomial automorphism of C^2 that keeps some level set of the Green function of a Hénon map completely invariant would falsify the characterization.
read the original abstract
For a H\'{e}non map $H$ in $\mathbb{C}^2$, we characterize the polynomial automorphisms of $\mathbb{C}^2$ which keep any fixed level set of the Green function of $H$ completely invariant. The interior of any non-zero sublevel set of the Green function of a H\'{e}non map turns out to be a Short $\mathbb{C}^2$ and as a consequence of our characterization, it follows that there exists no polynomial automorphism apart from possibly the affine automorphisms which acts as an automorphism on any of these Short $\mathbb{C}^2$'s. Further, we prove that if any two level sets of the Green functions of a pair of H\'{e}non maps coincide, then they almost commute.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. For a Hénon map H in C^2, the manuscript characterizes the polynomial automorphisms of C^2 which keep any fixed level set of the Green function of H completely invariant. The interior of any non-zero sublevel set of the Green function of a Hénon map is shown to be a Short C^2, with the consequence that no polynomial automorphism apart from possibly the affine ones acts as an automorphism on any of these Short C^2's. It is further proved that if any two level sets of the Green functions of a pair of Hénon maps coincide, then the maps almost commute.
Significance. If the results hold, they add to the body of rigidity theorems for polynomial automorphisms and Green functions on C^2, with direct implications for the automorphism groups of certain Short C^2 domains. The approach via complete invariance of level sets under the functional equation G(H(z)) = deg(H) G(z) is a natural extension of existing techniques in several complex variables.
minor comments (1)
- [Abstract] The abstract states three distinct theorems without numbering or section references, which makes it harder to locate the corresponding statements and proofs in the body of the paper.
Simulated Author's Rebuttal
We thank the referee for their summary of the manuscript and positive assessment of its significance in the context of rigidity results for polynomial automorphisms and Green functions. The recommendation is listed as uncertain, but the report contains no specific major comments to address. We are happy to respond to any additional concerns if provided.
Circularity Check
No significant circularity detected
full rationale
The paper derives its characterizations of polynomial automorphisms preserving level sets of the Green function G for a Hénon map H, the Short C² nature of non-zero sublevel interiors, and the almost-commuting property when level sets coincide, directly from the standard invariance G(H(z)) = deg(H)·G(z) and complete invariance of level sets. No self-definitional reductions, fitted inputs renamed as predictions, or load-bearing self-citations appear; the logical chain is self-contained against the external benchmark of established Green function properties in complex dynamics of Hénon maps.
Axiom & Free-Parameter Ledger
axioms (1)
- domain assumption Standard properties of the Green function for Hénon maps, including its plurisubharmonicity and invariance under the map.
Reference graph
Works this paper leans on
-
[1]
N.; Er¨ emenko, A.: A problem on Julia sets
Baker, I. N.; Er¨ emenko, A.: A problem on Julia sets. Ann. Acad. Sci. Fenn. Ser. A I Math. 12 (1987), no. 2, 229–236
work page 1987
-
[2]
Beardon, A. F.: Symmetries of Julia sets. Bull. London Math. Soc. 22 (1990), no. 6, 576–582
work page 1990
-
[3]
F.: Polynomials with identical Julia sets
Beardon, A. F.: Polynomials with identical Julia sets. Complex Variables Theory Appl. 17 (1992), no. 3-4, 195–200
work page 1992
-
[4]
Bedford, E.; Smillie, J.: Polynomial diffeomorphisms of C2: currents, equilibrium measure and hyperbolicity. Invent. Math. 103 (1991), no. 1, 69–99
work page 1991
-
[5]
Bedford, E.; Smillie, J.: Polynomial diffeomorphisms of C2 – II: Stable manifolds and recurrence , J. Amer. Math. Soc. 4 (1991), pp. 657–679
work page 1991
-
[6]
Bedford, E.; Smillie, J.: Polynomial diffeomorphisms of C2 – III: Ergodicity, exponents and entropy of the equilibrium measure, Math. Ann. 294 (1992), pp. 395–420
work page 1992
-
[7]
Bera, S.; Pal, R.; Verma, K., A rigidity theorem for H´ enon maps, European Journal of Mathematics (2019), https://doi.org/10.1007/s40879-019-00326-7
-
[8]
Bisi, C.: On commuting polynomial automorphisms of C2. Publ. Mat. 48 (2004), no. 1, 227-239
work page 2004
-
[9]
Geometric complex analysis (Hayama, 1995), 67–73, World Sci
Buzzard, G.; Formaess E.: Compositional roots of H´ enon maps. Geometric complex analysis (Hayama, 1995), 67–73, World Sci. Publ., River Edge, NJ, 1996
work page 1995
-
[10]
Dinh, T.-C.; Sibony, N.: Rigidity of Julia sets for Hnon type maps. J. Mod. Dyn. 8 (2014), no. 3-4, 499-548
work page 2014
-
[11]
Fornæss, J. E.: Short Ck. Complex analysis in several variablesMemorial Conferenc e of Kiyoshi Oka’s Centennial Birthday, 95108, Adv. Stud. Pure Math., 42, Math . Soc. Japan, Tokyo, 2004
work page 2004
-
[12]
Friedland, S.; Milnor, J.: Dynamical properties of plane polynomial automorphisms. Ergodic Theory Dynam. Systems 9 (1989), no. 1, 67–99
work page 1989
-
[13]
Jung, H. W. E.: ¨Uber ganze birationale transformationen der Ebene. J. Reine Angew. Math. 184(1942), 161–174
work page 1942
-
[14]
(French) [The Tits alternative for Aut( C2)] J
Lamy, S.: L’alternative de Tits pour AutC2. (French) [The Tits alternative for Aut( C2)] J. Algebra 239 (2001), no. 2, 413-437
work page 2001
-
[15]
Levin, G.; Przytycki, F.: When do two rational functions have the same Julia set? (English summary) Proc. Amer. Math. Soc. 125 (1997), no. 7, 2179–2190
work page 1997
-
[16]
Cambridge Stu dies in Advanced Mathematics, 66, Cambridge University Press, Cambridge, (2000)
Morosawa, S., Nishimura, Y.; Taniguchi, M.; Ueda, T.: Holomorphic dynamics , Translated from the 1995 Japanese original and revised by the authors. Cambridge Stu dies in Advanced Mathematics, 66, Cambridge University Press, Cambridge, (2000)
work page 1995
-
[17]
Schmidt, W.; Steinmetz, N.: The polynomials associated with a Julia set. (English summary) Bull. London Math. Soc. 27 (1995), no. 3, 239–241
work page 1995
-
[18]
Shafikov, R.; Wolf, C.: Filtrations, hyperbolicity, and dimension for polynomial automorphisms of Cn. Michigan Math. J. 51 (2003), no. 3, 631–649
work page 2003
-
[19]
Sibony, N.: Dynamique des applications rationnelles de Pk in: Dynamique et g´ eom´ etrie complexes (Lyon, 1997), Panor. Synth´ eses , Soc. Math. France, Paris, 1999, pp. 97–1 85. RP: Department of Mathematics, Indian Institute of Science Education and Research, Pune, Maharashtra-411008, India E-mail address : ratna.math@gmail.com
work page 1997
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.