Hyperbolic polynomial diffeomorphisms of C2. I: A non-planar map

Abstract In this paper we develop a general framework for verifying hyperbolicity of holomorphic dynamical systems in C 2 . Our framework in particular enables us to construct the first example of a hyperbolic Henon map of C 2 which is non-planar, i.e. which is not topologically conjugate on its Julia set to a small perturbation of any expanding polynomial in one variable. The key ideas in its proof are: the Poincare box, which is a building block to apply our criterion for hyperbolicity, an operation called fusion, to merge two polynomials in one variable to obtain essentially two-dimensional dynamics, and rigorous computation by using interval arithmetic. Some conjectures and problems are also presented.

[1]  Shmuel Friedland,et al.  Dynamical properties of plane polynomial automorphisms , 1989, Ergodic Theory and Dynamical Systems.

[2]  Eric Bedford,et al.  The Henon Family: The Complex Horseshoe Locus and Real Parameter Space , 2005 .

[3]  Eric Bedford,et al.  Polynomial diffeomorphisms of C2: currents, equilibrium measure and hyperbolicity , 1991 .

[4]  Intersection Stable des Ensembles de Julia Stably Intersecting Julia Sets of Polynomials , .

[5]  Ricardo A. Oliva On the combinatorics of external rays in the dynamics of the complex henon map , 1998 .

[6]  John Erik Fornæss,et al.  Complex Hénon mappings in $\mathbb{C}^2$ and Fatou-Bieberbach domains , 1992 .

[7]  Yutaka Ishii,et al.  Hyperbolic polynomial diffeomorphisms of C2. II: Hubbard trees , 2009 .

[8]  John H. Hubbard,et al.  Hénon mappings in the complex domain I: The global topology of dynamical space , 1994 .

[9]  J. Smillie,et al.  Homotopy shadowing , 2008, 0804.4629.

[10]  Y. Ishii HYPERBOLIC POLYNOMIAL DIFFEOMORPHISMS OF C , 2005 .

[11]  John H. Hubbard,et al.  Hénon Mappings in the Complex Domain , 1995 .

[12]  Suzanne Lynch Hruska A Numerical Method for Constructing the Hyperbolic Structure of Complex Henon Mappings , 2006, Found. Comput. Math..

[13]  G. Buzzard Infinitely many periodic attractors for holomorphic maps of $2$ variables , 1997 .

[14]  J. Smillie,et al.  Polynomial diffeomorphisms of C2. III: Ergodicity, exponents and entropy of the equilibrium measure , 1992 .

[15]  Ralph W. Oberste-Vorth,et al.  Henon mappings in the complex domain II: projective and inductive limits of polynomials , 1994 .

[16]  Eric Bedford,et al.  Polynomial diffeomorphisms of C2: VII. Hyperbolicity and external rays , 1999 .

[17]  Robert L. Devaney,et al.  Shift automorphisms in the Hénon mapping , 1979, Hamiltonian Dynamical Systems.