Fact-checked by Grok 2 weeks ago

Complex dynamics

Complex dynamics is a branch of mathematics concerned with the iterative behavior of holomorphic functions on the complex plane or, more generally, on Riemann surfaces such as the Riemann sphere.^[1] It examines how repeated applications of these functions produce orbits of points, revealing patterns of stability, chaos, and intricate geometric structures like fractals.^[2] The field integrates tools from complex analysis, topology, and dynamical systems theory to classify behaviors such as attraction to fixed points, periodic cycles, and sensitive dependence on initial conditions.^[3] The origins of complex dynamics trace back to the late 19th century, with Ernst Schröder's 1870 investigation of functional equations for analytic functions fixing the origin, and Gabriel Koenigs's 1884 proof of linearization for certain multipliers near fixed points.^[1] However, the modern framework emerged in the 1910s through independent works by Pierre Fatou and Gaston Julia, who developed a comprehensive global theory for iterations of rational functions on the Riemann sphere.^[1] Fatou's contributions, published in 1919–1920, and Julia's 1918 memoir addressed the long-term dynamics of these iterations, laying the groundwork despite initial limited reception due to the computational challenges of the era.^[1] Central to the subject are the Fatou set and Julia set of a holomorphic function f. The Fatou set U(f) comprises points z ∈ ℂ where the family of iterates {fⁿ(z)}_n≥0 forms a normal family in the sense of Montel, indicating regions of predictable or stable behavior such as basins of attraction to attracting cycles.^[3] In contrast, the Julia set J(f) is the complement of the Fatou set, serving as the boundary where repelling or chaotic dynamics dominate, often exhibiting fractal geometry with infinite detail and self-similarity.^[3] For rational functions of degree at least 2, the Julia set is non-empty, compact, and perfect, and its connectedness determines key properties of the overall dynamics.^[1] A cornerstone example is the family of quadratic polynomials f_c(z) = z² + c, where c ∈ ℂ parameterizes the maps. The Mandelbrot set M is defined as the set of c such that the orbit of the critical point 0 under iteration remains bounded, equivalently the values of c for which J(f_c)* is connected.^[1] This set, popularized by Benoit Mandelbrot in the 1980s through computer visualizations, encodes the bifurcation structure of the quadratic family and has been proven connected by Adrien Douady and John H. Hubbard in 1980.^[1] Complex dynamics extends beyond quadratics to higher-degree polynomials and rational maps, influencing areas like number theory, physics, and computer graphics via its rich interplay of analytic and geometric phenomena.^[2]

Overview and Basic Concepts

Definition and Scope

Complex dynamics is the study of iterations of holomorphic functions f: U \to U, where U is an open subset of the complex plane \mathbb{C} or the Riemann sphere \hat{\mathbb{C}}, with a primary focus on the asymptotic behavior of orbits \{f^n(z)\}_{n \geq 0}.^[4] The orbit of a point z \in U is defined recursively by f^n(z) = f(f^{n-1}(z)) for n \geq 1, with f^0(z) = z.^[5] This field examines how repeated applications of such maps generate dynamical systems on complex domains, often revealing intricate patterns in the long-term evolution of points under iteration.^[2] The scope of complex dynamics encompasses one-dimensional cases, particularly the iteration of rational maps on the Riemann sphere \hat{\mathbb{C}}, as well as higher-dimensional extensions involving endomorphisms of \mathbb{C}^n or projective spaces.^[1] Related extensions include arithmetic dynamics, which studies iterations of rational maps over the rationals \mathbb{Q} or p-adic fields like \mathbb{Q}_p, connecting holomorphic iteration theory to number theory and algebraic geometry. Unlike real dynamics, which often involves smooth maps on \mathbb{R}^n with flexible behaviors, complex dynamics leverages the conformal property of holomorphic maps, which preserve angles and lead to rigid geometric structures.^[1] This conformality, combined with tools like the maximum modulus principle, imposes strong constraints on local dynamics, distinguishing it from the more varied phenomena in real systems.^[4] The emphasis lies on specific classes of holomorphic functions, including entire functions (holomorphic everywhere on \mathbb{C}), polynomials, and rational functions (ratios of polynomials of degree at least 2). Central objects such as Julia sets and Fatou sets emerge as key invariants from these iterations.^[2]

Historical Development

The foundations of complex dynamics were established in the early 20th century through the independent works of Gaston Julia and Pierre Fatou on the iteration of rational functions. Julia's doctoral thesis, titled Mémoire sur l'itération des fonctions rationnelles, defended and published in 1918, provided a comprehensive analysis of iterative processes for rational maps on the Riemann sphere, introducing sets now known as Julia sets that capture the chaotic boundary behavior of these iterations.^[6] Fatou, building on similar ideas, published his seminal memoir "Sur les équations fonctionnelles" in the Bulletin de la Société Mathématique de France in 1920, building on announcements in Comptes Rendus from 1917 and 1919, where he developed the global theory of iteration, defined complementary regions of normality (later termed Fatou sets), and explored the stability of fixed points under holomorphic mappings.^[7] These contributions, though overlooked for decades, formed the bedrock of the field by shifting focus from local analytic behavior to global dynamical structures in the complex plane.^[8] Progress stalled in the mid-20th century due to the immense computational difficulties in studying the non-intuitive, fractal-like geometries arising from iterated functions, leaving Fatou and Julia's ideas largely dormant outside small circles of complex analysts.^[8] The field revived dramatically in the 1970s and 1980s as affordable computers allowed for the first numerical explorations and visualizations of Julia sets, revealing their intricate, self-similar boundaries and sparking widespread interest.^[9] This computational breakthrough enabled Benoit Mandelbrot to generate the first image of the Mandelbrot set in March 1980 at IBM's Thomas J. Watson Research Center, parametrizing quadratic polynomials and highlighting the universality of fractal patterns in dynamics.^[10] Key theoretical advancements followed rapidly in the 1980s, with Adrien Douady and John H. Hubbard's collaborative Orsay notes (circulated from 1982 and formally published in 1985) formalizing the Mandelbrot set as the connectedness locus of quadratic Julia sets, proving its connectivity, and establishing its role as a parameter space for holomorphic dynamics.^[11] In 1985, Dennis Sullivan resolved Fatou's long-standing conjecture by proving the no wandering domains theorem, showing that for rational maps on the Riemann sphere, every Fatou component is eventually periodic, thus eliminating pathological wandering behaviors and solidifying the dichotomy between stable (Fatou) and chaotic (Julia) regions.^[12] The era's momentum culminated in international recognition, including featured discussions on complex dynamics at the 1983 International Congress of Mathematicians in Warsaw, which underscored the field's maturation from historical curiosity to vibrant research area. From the 1990s onward, complex dynamics expanded beyond one dimension, with researchers exploring holomorphic maps in several complex variables and their invariant sets, addressing challenges like the absence of a Fatou-Julia decomposition in higher dimensions.^[13] Arithmetic dynamics emerged as a significant extension, blending complex dynamics with number theory to study rational maps over number fields and their integer points, as exemplified by Joseph H. Silverman's foundational work in the 2000s, including his 2007 book The Arithmetic of Dynamical Systems.^[14] Concurrently, ergodic theory gained prominence through Mikhail Lyubich's contributions in the 2000s, such as his 1999 proof of the density of hyperbolicity in the quadratic family and contributions to local connectivity of the Mandelbrot set at specific parameters (with ongoing research toward the full MLC conjecture). Note that challenges like the Mandelbrot local connectivity conjecture remain open as of 2025, driving continued research.^[15]^[16]

Holomorphic Dynamics in One Dimension

Iteration of Rational Functions

In complex dynamics, rational functions serve as the primary objects of study for holomorphic iterations in one dimension. A rational function f: \hat{\mathbb{C}} \to \hat{\mathbb{C}} is expressed as f(z) = P(z)/Q(z), where P and Q are polynomials with no common roots, and the degree d = \max(\deg P, \deg Q) \geq 2. These functions can be normalized to monic form by scaling, ensuring the leading coefficients of P and Q are 1, which simplifies analysis without loss of generality.^[17] The domain of iteration is the Riemann sphere \hat{\mathbb{C}} = \mathbb{C} \cup \{\infty\}, a compact Riemann surface that compactifies the complex plane by adjoining a point at infinity. Rational functions extend holomorphically to \hat{\mathbb{C}} via the natural limit f(\infty) = \lim_{z \to \infty} f(z), which equals the ratio of the leading coefficients of P and Q if \deg P = \deg Q, or \infty if \deg P > \deg Q, and 0 otherwise. This extension ensures f is a proper holomorphic map of degree d, covering the sphere d times topologically.^[17] Iteration of f generates forward orbits for any starting point z_0 \in \hat{\mathbb{C}}, defined as the sequence \{z_n\}_{n=0}^\infty where z_{n+1} = f(z_n) and f^n denotes the n-th iterate. Backward orbits are constructed via preimages: for a point w \in \hat{\mathbb{C}}, the equation f(z) = w has exactly d solutions (counted with multiplicity), yielding d branches of the inverse f^{-1}. The full backward orbit of w is the tree of all preimages under successive iterations, with f^{-n}(w) comprising d^n points, forming a d-ary branching structure that grows exponentially. Critical points, where f'(z) = 0, reduce the local branching (local degree n(z) \geq 2), and their images are critical values f(c), which play a key role in the connectivity of preimage trees. By the Riemann-Hurwitz formula, a rational function of degree d \geq 2 has exactly $2d - 2 critical points, counted with multiplicity.^[17] The topological degree of f is d, reflecting its d-sheeted covering property, while the n-th iterate f^n has degree d^n. This degree governs the global connectivity and ramification in backward orbits, as preimages branch uniformly except at critical values, where coalescence occurs. For concreteness, consider the quadratic family f(z) = z^2 + c with c \in \mathbb{C}, a monic polynomial of degree 2 where infinity is a superattracting fixed point, and the single finite critical point is at z = 0 with critical value c. Higher-degree generalizations, such as monic polynomials f(z) = z^d + a_{d-1} z^{d-1} + \cdots + a_0 for d \geq 3, exhibit d-1 finite critical points, amplifying the complexity of orbit structures.^[17]

Fixed and Periodic Points

In complex dynamics, fixed points of a holomorphic map f: \hat{\mathbb{C}} \to \hat{\mathbb{C}}, where \hat{\mathbb{C}} denotes the Riemann sphere, are solutions to the equation f(z) = z.^[18] For a rational function f of degree d \geq 2, there are exactly d + 1 fixed points, counted with multiplicity.^[19] Periodic points of minimal period n are solutions to f^n(z) = z that are not fixed points of any f^k for $1 \leq k < n, where f^n denotes the n-th iterate of f. The equation f^n(z) = z has exactly d^n + 1 solutions, counted with multiplicity, yielding d^n + 1 - \sum_{k|n, k<n} \#(\text{period-}k \text{ points}) points of exact period n.^[18] The local dynamics near a periodic point are determined by its characteristic multiplier \lambda, defined as \lambda = (f^n)'(z) at a point z of period n. For a fixed point p (period n=1), this simplifies to \lambda_p = f'(p). For a cycle \{p_0, p_1, \dots, p_{n-1}\} with p_k = f(p_{k-1}) and p_0 = f(p_{n-1}), the multiplier is the product

\lambda = \prod_{k=0}^{n-1} f'(p_k),

which is independent of the starting point in the cycle.^[19] Periodic points are classified by the modulus of \lambda: attracting if |\lambda| < 1, repelling if |\lambda| > 1, and indifferent (or neutral) if |\lambda| = 1. Indifferent points are further subdivided into parabolic if \lambda is a root of unity and irrational rotation if \lambda = e^{2\pi i \theta} with \theta irrational. Superattracting points occur when \lambda = 0, typically when the point is critical.^[18] Stability analysis near a fixed point p relies on linearization: assuming f is holomorphic near p, the Taylor expansion gives f(z) = p + \lambda (z - p) + O((z - p)^2). For |\lambda| < 1, there exists a neighborhood of p where iterates converge to p, forming part of the basin of attraction A(f, p) = \{ w \in \hat{\mathbb{C}} : f^n(w) \to p \text{ as } n \to \infty \}. If |\lambda| > 1, points are repelled away from p. For indifferent cases, behavior is more subtle: parabolic points exhibit slow attraction or repulsion along certain directions, while irrational rotations may lead to quasi-periodic motion on invariant curves or chaotic dynamics, depending on arithmetic conditions like the Brjuno condition. Similar linearization applies to periodic cycles by considering the map f^n near any point in the cycle.^[19] The stability regions in the complex \lambda-plane are delineated as follows: the open unit disk |\lambda| < 1 for attracting behavior, the exterior |\lambda| > 1 for repelling, and the unit circle |\lambda| = 1 for indifferent cases, with points where \lambda is a root of unity marking parabolic points and other points on the circle corresponding to rotations. This partitioning, visualized in the shark fin diagram, highlights the boundary transitions and informs local normal forms for dynamics near periodic points.^[18] Attracting and parabolic periodic points serve as centers for bounded Fatou components.^[19]

Fatou and Julia Sets

In complex dynamics, the Julia set J(f) of a rational map f: \hat{\mathbb{C}} \to \hat{\mathbb{C}} of degree at least 2 is defined as the closure of the repelling periodic points of f.^[20] This set characterizes the region where the dynamics are chaotic, in the sense that the family of iterates \{f^n\} fails to form a normal family on any neighborhood of points in J(f).^[21] The Fatou set F(f) is the complement \hat{\mathbb{C}} \setminus J(f), consisting of points where \{f^n\} is a normal family, meaning every sequence of iterates has a subsequence that converges uniformly on compact subsets to a holomorphic function or to infinity.^[20] Equivalently, normality implies equicontinuity on compact subsets of F(f), ensuring stable behavior under iteration.^[21] The connected components of the Fatou set are classified into several types based on their dynamical properties: attracting basins, where points converge to an attracting periodic cycle; parabolic basins, attracted to parabolic periodic points; Siegel disks, linearly conjugate to irrational rotations on the disk; Herman rings, annular regions conjugate to irrational rotations; and more generally, rotation domains exhibiting quasi-conformal behavior under iteration.^[20] The Julia set J(f) is always non-empty, compact, and fully invariant under f, satisfying f(J(f)) = J(f) = f^{-1}(J(f)).^[21] Its connectivity depends on the behavior of critical points: for polynomials, J(f) is connected if and only if no critical point escapes to infinity, while for general rational maps, the presence of escaping critical points can lead to disconnected components.^[20]^[22] Two fundamental theorems underpin these sets. Montel's theorem states that any family of holomorphic functions on a domain in \hat{\mathbb{C}} that omits three distinct values is normal, which implies that iterates \{f^n\} are normal outside at most three points, thereby bounding the possible exceptional sets in the Fatou components.^[21] Sullivan's no wandering domains theorem asserts that for rational maps, every component of the Fatou set is eventually periodic under iteration, meaning no component wanders indefinitely without returning to a cycle of components; this resolves a conjecture of Fatou by ensuring all Fatou components are recurrent.^[23] A representative example is the map f(z) = z^2 on \hat{\mathbb{C}}, where J(f) is precisely the unit circle |z| = 1, with the interior |z| < 1 forming a superattracting basin to 0 and the exterior |z| > 1 a basin to infinity.^[20] For quadratic polynomials f_c(z) = z^2 + c, the Julia set J(f_c) is connected precisely when c lies in the Mandelbrot set, the parameter locus where the critical orbit of 0 remains bounded.^[20]

The Mandelbrot Set

The Mandelbrot set M is defined as the set of complex parameters c \in \mathbb{C} such that the orbit of the critical point 0 under iteration of the quadratic polynomial f_c(z) = z^2 + c remains bounded, i.e., M = \{ c \in \mathbb{C} : \sup_{n \geq 0} |f_c^n(0)| < \infty \}.^[11] This condition ensures that the filled Julia set K_c = \{ z \in \mathbb{C} : \sup_{n \geq 0} |f_c^n(z)| < \infty \}, the complement of the basin of infinity, is connected.^[11] The Mandelbrot set thus serves as the connectedness locus in the parameter space of the quadratic family, with M being compact and contained within the disk of radius 2 centered at 0.^[11] For c \in M, the Julia set J(f_c) = \partial K_c is connected, while for c \notin M, K_c is a Cantor set and J(f_c) is totally disconnected.^[11] The interior of M, denoted M', consists of countably many hyperbolic components, each an open connected region where f_c has an attracting periodic cycle.^[11] The principal hyperbolic component is the main cardioid, parameterized by multipliers \lambda with |\lambda| < 1, corresponding to attracting fixed points via the conjugacy c = \lambda/2 + (\lambda/2)^2.^[11] Attached to this cardioid are period-n bulbs for n \geq 2, where the attracting cycle has period n, and further subcomponents arise via period-doubling bifurcations or primitive bifurcations.^[11] Each hyperbolic component has a root point on its boundary, where the cycle becomes parabolic (indifferent with multiplier a root of unity), and a center where the multiplier is 0.^[11] For c \in \partial M, the critical orbit remains bounded but its accumulation set lies on the Julia set J(f_c), indicating the absence of attracting or superattracting cycles.^[11] Douady and Hubbard proved that M is connected, establishing its topology as a simply connected compact set with non-locally connected boundary.^[11] Misiurewicz points, parameters where the critical orbit is strictly preperiodic (landing on a repelling periodic orbit after finite steps), are dense on \partial M and serve as branch points.^[11] At these points, sequences of miniature copies of the Mandelbrot set, known as mini-Mandelbrots, converge, reflecting self-similar structure.^[11] Douady and Hubbard developed the theory of external rays and parameter rays to describe the boundary combinatorics: these are curves in \mathbb{C} \setminus M from infinity to \partial M, parameterized by angles \theta \in [0,1), with the Green's function g_c(z) = \lim_{n \to \infty} 2^{-n} \log^+ |f_c^n(z)| defining the equipotentials and rays via the argument.^[11] Rays with rational angles land at roots of hyperbolic components (odd denominator periods) or Misiurewicz points (even denominators), enabling polynomial-like mappings for renormalization and tuning of components.^[11] The combinatorial structure of M is further encoded by kneading sequences, which record the itinerary of the critical value under external ray dynamics, distinguishing hyperbolic components and bifurcation loci.^[24] On the real axis, the intersection M \cap \mathbb{R} = [-2, 1/4] mirrors the bifurcation diagram of real quadratic maps, featuring a period-doubling cascade as c decreases toward -2, where the Feigenbaum constant \delta \approx 4.669 governs the scaling ratios of successive bifurcations.^[25] This cascade accumulates at the Feigenbaum point c_\infty \approx -1.401, beyond which chaotic dynamics prevail, with the tip at c = -2 marking a parabolic point where J(f_c) is the interval [-2, 2].^[25]

Ergodic Theory in Complex Dynamics

Equilibrium Measures

In the study of holomorphic dynamics in one dimension, the equilibrium measure, also known as the measure of maximal entropy, plays a central role for a holomorphic endomorphism f: \hat{\mathbb{C}} \to \hat{\mathbb{C}} of degree d \geq 2. It is defined as the unique f-invariant probability measure \mu_f satisfying h_{\mu_f}(f) = \log d, where h_{\mu_f}(f) denotes the metric entropy of f with respect to \mu_f, matching the topological entropy of f. This measure exhibits several key properties that highlight its dynamical significance. It is supported on the radial (or conical) Julia set J^*(f), the subset of the Julia set J(f) consisting of points whose forward orbits escape to infinity along rays in a controlled angular manner. The measure \mu_f is ergodic with respect to f, meaning that almost every orbit is generic for integrals with respect to \mu_f, and it assigns positive measure to every non-empty open subset of its support. Additionally, the Lyapunov exponent \lambda_{\mu_f}(f) = \int \log |f'| \, d\mu_f = \log d \geq \frac{1}{2} \log d, reflecting the expansive nature of the dynamics on J^*(f). Note that \mu_f vanishes on Fatou components, where the dynamics are stable.^[26] The construction of \mu_f relies on pluripotential theory adapted to the one-dimensional setting. For points z escaping to infinity under iteration, the dynamical Green function is given by

g_f(z) = \lim_{n \to \infty} \frac{1}{d^n} \log |f^n(z)|,

which is harmonic outside J(f) and continuous up to the boundary. The equilibrium measure is then obtained as the Monge-Ampère measure \mu_f = dd^c g_f restricted to J^*(f), equivalently serving as the equilibrium state minimizing the weighted logarithmic energy for the potential \log |f|.^[26] In the one-dimensional case for rational maps, additional structural insights arise when the Julia set J(f) is circle-like, such as the unit circle for certain monomial maps. Here, \mu_f is absolutely continuous with respect to Lebesgue measure on these circles, facilitating explicit computations of its density. From the perspective of thermodynamic formalism, \mu_f corresponds to the unique fixed point of the normalized dual Perron-Frobenius (transfer) operator L^*, defined for test functions \psi by

L^* \psi (z) = \frac{1}{d} \sum_{f(w) = z} \psi(w),

ensuring L^* 1 = 1 and capturing the invariant densities on J^*(f).^[26]

Characterizations of Equilibrium Measures

Equilibrium measures for rational maps f: \hat{\mathbb{C}} \to \hat{\mathbb{C}} of degree d \geq 2 admit a uniqueness characterization through the variational principle from thermodynamic formalism. Specifically, among all f-invariant probability measures \mu supported on the Julia set J(f), the equilibrium measure \mu_f uniquely maximizes the entropy h_\mu(f), achieving h_\mu(f) = \log d, and satisfies h_\mu(f) = \int \log |f'| \, d\mu (Ruelle/Pesin equality), with Lyapunov exponent \int \log |f'| \, d\mu_f = \log d. It is the unique equilibrium state for the Hölder continuous potential -\log |f'|, maximizing h_\mu(f) - \int \log |f'| \, d\mu = 0. The principle applies due to the expanding nature of f on J(f) in a suitable conformal metric, ensuring the existence and uniqueness of the equilibrium state for the potential -\log |f'|.^[27] From a potential-theoretic viewpoint, \mu_f minimizes the logarithmic energy integral

I(\mu) = \iint_{\hat{\mathbb{C}} \times \hat{\mathbb{C}}} \log \frac{1}{|z - w|} \, d\mu(z) \, d\mu(w)

among all probability measures \mu supported on J(f), with the minimizing value I(\mu_f) = -\log \gamma(J(f)), where \gamma(J(f)) is the logarithmic capacity of J(f). By Frostman's lemma, the logarithmic potential U^{\mu_f}(z) = \int \log \frac{1}{|z - w|} \, d\mu_f(w) equals the constant \log \frac{1}{\gamma(J(f))} quasi-everywhere on J(f) with respect to \mu_f, and is greater elsewhere. For polynomials, \mu_f coincides with the harmonic measure (dd^c g_f)/ (2\pi) on J(f), where g_f(z) = \lim_{n \to \infty} d^{-n} \max\{0, \log |f^n(z)|\} is the Green function with pole at infinity; this extends to rational maps via the associated Green current, though the support remains J(f).^[27] Dynamically, \mu_f arises as the balayage (sweeping) of Lebesgue measure on \hat{\mathbb{C}} onto J(f) under the iteration of f, reflecting the harmonic extension from the Fatou set to the boundary J(f). For expanding rational maps, \mu_f is a conformal measure of dimension \delta = 1, satisfying \mu_f(f^{-1}(E)) = d \int_E |f'|^{-1} \, d\mu_f for suitable sets E \subset J(f), which aligns with its ergodic properties and maximal entropy. The support of \mu_f lies in the closure of repelling periodic points of f. In higher dimensions, for endomorphisms of \mathbb{P}^n(\mathbb{C}), pluripotential theory characterizes the equilibrium measure via the Green current T_f = dd^c g_f, where \mu_f = T_f \wedge \omega^{n-1} and \omega is the Fubini-Study form, minimizing a higher-dimensional energy analog while focusing primarily on the one-dimensional case for rational maps on the Riemann sphere.

Lattès Maps

Lattès maps are a class of rational maps f: \hat{\mathbb{C}} \to \hat{\mathbb{C}} of degree at least 2, constructed as finite quotients of affine maps on complex tori, providing explicit examples of maps with particularly simple yet rich dynamics in one-dimensional complex dynamics. These maps arise from endomorphisms of elliptic curves: given an elliptic curve E = \mathbb{C}/\Lambda where \Lambda is a lattice in \mathbb{C}, the multiplication-by-m map : E \to E defined by z \mapsto m z modulo \Lambda (for integer m \geq 2) induces a rational map on the Riemann sphere via uniformization. Specifically, let \phi: \hat{\mathbb{C}} \to E be a uniformizing map (often involving the Weierstrass \wp-function to embed E in \hat{\mathbb{C}} via its x-coordinate), then f(z) = \phi^{-1} \circ \circ \phi(z), yielding a map of degree m^2. This construction semiconjugates the dynamics of f to that of the affine map on the torus, commuting with the action of a finite cyclic group G_n (for n = 2, 3, 4, or $6) that identifies the torus with the sphere minus a finite set.^[28] The properties of Lattès maps highlight their role in illustrating key concepts in holomorphic dynamics. The Julia set J(f) coincides with the entire Riemann sphere \hat{\mathbb{C}}, as the dynamics covers the space uniformly without attracting basins. Moreover, these maps are post-critically finite, meaning the forward orbits of all critical points are finite, with the postcritical set consisting of a finite number of points corresponding to the branch values of the uniformizing map. Regarding invariant measures, the equilibrium measure \mu_f (the unique measure of maximal entropy \log \deg f) is the pushforward under the uniformizing map of the Haar (Lebesgue) measure on the torus, making \mu_f absolutely continuous with respect to Lebesgue measure on \hat{\mathbb{C}} and supported on the entire Julia set. This absolute continuity distinguishes Lattès maps as exceptional cases among rational maps, where typically \mu_f is singular with respect to Lebesgue measure.^[28] Examples of Lattès maps include rigid and flexible varieties. Rigid Lattès maps arise directly from multiplication maps on elliptic curves with complex multiplication, such as the degree-4 map induced by

{{grok:render&&&type=render_inline_citation&&&citation_id=2&&&citation_type=wikipedia}}

on the curve y^2 = x^3 - x (which has complex multiplication by \mathbb{Z}). The explicit formula for this map on the x-coordinate is

f(z) = \frac{(z^2 + 1)^2}{4 z (z^2 - 1)},

obtained from the duplication formula on the elliptic curve. Flexible Lattès maps, in contrast, stem from isogenies between non-isomorphic elliptic curves, allowing a one-parameter family of maps of fixed degree (e.g., degree 4) that are analytically conjugate but not algebraically equivalent, as classified using the j-invariant. These examples demonstrate how Lattès maps provide concrete realizations of post-critically finite dynamics while maintaining full support for their equilibrium measures, bridging elliptic curve theory and iteration of rational functions.^[28]

Dynamics in Higher Complex Dimensions

Endomorphisms of Projective Varieties

Holomorphic endomorphisms of projective varieties are surjective holomorphic maps f: X \to X of algebraic degree d \geq 2, where X is a complex projective variety equipped with its natural structure as a compact Kähler manifold. These maps are induced by homogeneous polynomials on the ambient projective space and extend the dynamics of rational maps in one dimension to higher dimensions. The pullback operator f^* acts on the cohomology ring of X, satisfying [f^* \omega] = d [\omega] for any Kähler form \omega representing the Kähler class, which implies a topological degree of d^{\dim X}.^[29] Central to the dynamics is the equilibrium measure \mu_f on X, a unique invariant probability measure of maximal entropy h_{\mu_f}(f) = (\dim X) \log d, supported on the Julia set associated with the Green current. This measure arises in the context of pluripotential theory, where positive closed currents play a key role, and is constructed as the n-th wedge power of the Green (1,1)-current T_f = \lim_{m \to \infty} d^{-m} (f^m)^* \omega, with n = \dim X. The current T_f is totally invariant, satisfying f^* T_f = d T_f and f_* T_f = d^{n-1} T_f, and \mu_f = T_f^n. In the one-dimensional case, this framework reduces to the maximal entropy measure for rational maps on \mathbb{P}^1.^[29]^[30] For endomorphisms of \mathbb{P}^n, the dynamical Green function provides an explicit construction: in homogeneous coordinates z \in \mathbb{C}^{n+1} \setminus \{0\}, G_f(z) = \lim_{m \to \infty} d^{-m} \log \|f^m(z)\|, where \|\cdot\| is the Euclidean norm and f lifts to a homogeneous map of degree d. This function is plurisubharmonic, independent of the choice of representative, and Hölder continuous, with the Green current given by T_f = \omega_{\mathrm{FS}} + dd^c G_f, where \omega_{\mathrm{FS}} is the Fubini-Study form and dd^c G_f = T_f - \omega_{\mathrm{FS}}; thus, \mu_f = T_f^n. The measure \mu_f is ergodic and K-mixing, exhibiting exponential decay of correlations for suitable observables.^[29] The Lyapunov spectrum of \mu_f consists of strictly positive exponents \chi_1 \geq \cdots \geq \chi_n > 0, whose sum equals n \log d by the invariance of the measure under the Jacobian determinant, reflecting the expanding nature of the dynamics almost everywhere with respect to \mu_f. These exponents quantify the local hyperbolicity, with lower bounds such as \chi_i \geq \frac{1}{2} \log d holding under certain degree conditions, and they determine properties like the Hausdorff dimension of the support of \mu_f.^[30]^[29]

Automorphisms of Projective Spaces

Automorphisms of projective spaces refer to the birational self-maps of \mathbb{P}^n(\mathbb{C}), forming the Cremona group \mathrm{Cr}_n(\mathbb{C}), which consists of all invertible rational maps from \mathbb{P}^n to itself.^[31] These maps are defined by homogeneous polynomials of the same degree in the homogeneous coordinates, and their inverses are also rational maps. Unlike regular automorphisms, which are precisely the projective linear transformations in \mathrm{PGL}(n+1, \mathbb{C}), birational automorphisms can have higher algebraic degrees and exhibit more complex dynamics. In dimension 2, the Cremona group is generated by \mathrm{PGL}(3, \mathbb{C}) and the standard quadratic Cremona involution; in higher dimensions (n \geq 3), the subgroup generated by \mathrm{PGL}(n+1, \mathbb{C}) and monomial maps is proper.^[32]^[33] The dynamical behavior of these automorphisms is characterized by their topological entropy h_{\mathrm{top}}(f), which measures the exponential growth rate of the complexity of orbits. For a birational automorphism f: \mathbb{P}^n \dashrightarrow \mathbb{P}^n, the entropy is given by h_{\mathrm{top}}(f) = \log \lambda_1, where \lambda_1 is the largest eigenvalue of the induced pullback map f^* on the cohomology group H^{1,1}(\mathbb{P}^n, \mathbb{C}). This eigenvalue corresponds to the first dynamical degree \delta_1(f), defined as the spectral radius of (f^n)^* on H^{1,1}, or equivalently, \delta_1(f) = \lim_{n \to \infty} (\deg f^n)^{1/n}, where \deg f^n is the algebraic degree of the n-th iterate. For linear automorphisms in \mathrm{PGL}(n+1, \mathbb{C}), \delta_1(f) = 1, yielding zero entropy, as iterations remain of degree 1 and orbits are algebraic curves of bounded complexity. In contrast, nonlinear birational automorphisms can have \delta_1(f) > 1, leading to positive entropy and chaotic dynamics on invariant sets. More generally, the k-th dynamical degree is defined as \delta_k(f) = \lim_{n \to \infty} (\deg (f^n)|_H)^{1/n}, where |_H denotes the restriction of f^n to a general linear subspace H of dimension k. These degrees satisfy $1 = \delta_0(f) \leq \delta_1(f) \leq \cdots \leq \delta_n(f) = 1 for birational maps, with intermediate degrees potentially exceeding 1, controlling the growth of algebraic degrees under iteration: \deg f^n \sim C \delta_1(f)^n for some constant C > 0. Positive entropy implies the existence of dense periodic points in the support of the unique measure of maximal entropy, which is mixing and supported on the Julia set. Periodic points of such maps are typically saddle-type, possessing stable and unstable manifolds that foliate the ambient space and intersect transversally, contributing to the hyperbolic structure of the dynamics.^[34] A canonical example is the complex Hénon map in \mathbb{P}^2, defined in affine coordinates by f(x,y) = (y, x^2 + c y) for c \neq 0, which extends to a birational automorphism of \mathbb{P}^2 with algebraic degree 2. This map has \delta_1(f) = 2, hence h_{\mathrm{top}}(f) = \log 2 > 0, and its iterates exhibit exponential degree growth \deg f^n \sim 2^n. The dynamics features a trapped set analogous to the Julia set, with dense periodic points and saddle periodic orbits whose unstable manifolds accumulate on invariant curves. For |c| small, the map preserves a strictly invariant bounded domain in \mathbb{C}^2, where the entropy is realized through hyperbolic behavior.^[34]

Kummer Automorphisms

A Kummer surface is constructed as the minimal resolution of singularities of the quotient of an abelian surface A = \mathbb{C}^2 / \Lambda by the involution induced by multiplication by -1, where \Lambda is a lattice in \mathbb{C}^2.^[35] This quotient has 16 ordinary double points corresponding to the images of the 2-torsion points of A, which are resolved by blowing up to exceptional rational curves of self-intersection -2, yielding a smooth K3 surface denoted \mathrm{Kum}(A).^[35] The automorphism f: \mathrm{Kum}(A) \to \mathrm{Kum}(A) is induced by the endomorphism

{{grok:render&&&type=render_inline_citation&&&citation_id=2&&&citation_type=wikipedia}}: A \to A

given by multiplication by 2 on \mathbb{C}^2, which commutes with the involution and thus descends to the quotient before lifting to a biregular map on the resolved surface.^[36] In coordinates, if $$ denotes a point on \mathrm{Kum}(A), the map acts as f() = [2z] modulo the involution.^[35] This induced automorphism has positive topological entropy, arising from the spectral radius of its action on the cohomology group H^{1,1}(\mathrm{Kum}(A), \mathbb{R}).^[36] An analog of the Julia set in this context is the support of the unique invariant measure of maximal entropy, which is absolutely continuous with respect to the Lebesgue measure.^[36] The map f preserves the Kähler form on \mathrm{Kum}(A) up to a scalar multiple, ensuring compatibility with the Calabi-Yau structure, and acts on the Hodge structure by scaling the transcendental lattice appropriately.^[36] Specific examples arise when A is the product of two elliptic curves E \times E', where the induced automorphism inherits mixing properties from the linear action on the tori if the defining lattices yield eigenvalues with modulus greater than 1.^[35]

Saddle Periodic Points

In higher-dimensional complex dynamics, particularly for holomorphic automorphisms of complex manifolds, a saddle periodic point p of period k for a map f is defined as a point where the differential Df^k(p) has eigenvalues with moduli both greater than 1 and less than 1, reflecting mixed expanding and contracting behavior in the tangent space.^[37] This contrasts with attracting or repelling points, where all eigenvalues have moduli less than 1 or greater than 1, respectively; the presence of both types ensures hyperbolic dynamics at p, with no eigenvalues of modulus exactly 1 in the purely hyperbolic case.^[38] The linearization Df^k(p) thus splits the tangent space into stable and unstable eigenspaces corresponding to these eigenvalue groups, quantifying the local expansion and contraction rates.^[39] The stable manifold W^s(p) of a saddle periodic point p comprises points q such that the distance d(f^n(q), f^n(p)) \to 0 as n \to \infty, capturing trajectories converging to the orbit of p under forward iteration.^[37] Conversely, the unstable manifold W^u(p) consists of points q where d(f^n(q), f^n(p)) \to 0 as n \to -\infty, describing backward convergence.^[37] In a complex manifold X of dimension m, the dimensions of these manifolds satisfy \dim W^s(p) + \dim W^u(p) = m, as they foliate the tangent space according to the eigenvalue splitting.^[39] For Hénon-type automorphisms of \mathbb{C}^k, the stable manifold has dimension k - p and the unstable has dimension p, where p (1 ≤ p ≤ k-1) indexes the number of expanding eigenvalues.^[39] Heteroclinic connections arise when the unstable manifold of one saddle p intersects the stable manifold of another q \neq p, i.e., W^u(p) \cap W^s(q) \neq \emptyset, linking distinct saddle orbits and contributing to the global complexity of the dynamics.^[37] In automorphisms with positive topological entropy, such connections are dense, enhancing the chaotic structure.^[38] For example, in Kummer automorphisms of Kummer surfaces—desingularizations of abelian surface quotients by finite groups—saddle fixed points emerge from torsion points of the underlying abelian variety, with exactly two such points on each exceptional curve resolving quotient singularities.^[40] Numerical simulations of Hénon-like maps in \mathbb{C}^2 visualize these manifolds as intertwined complex curves, revealing fractal boundaries and dense tangles that approximate the invariant sets. These features underpin positive entropy in automorphism theory by generating exponential growth in periodic orbits.^[38]

References

[1]
[PDF] a brief introduction to complex dynamics - UChicago Math
This paper discusses the theory of dynamical systems of a single variable on the complex plane. We begin with a brief overview of the general theory of ...
[2]
[PDF] Complex Dynamics
Complex dynamics is the study of dynamical systems whose state spaces are subsets of the complex plane C (or more generally Cn for n ≥ 1). Complex dynamics was ...
[3]
[PDF] Contents 5 Introduction to Complex Dynamics - Evan Dummit
In this chapter, our goal is to discuss complex dynamical systems in the complex plane. As we will discuss, much of the general theory of real-valued dynamical ...
[4]
[PDF] An introduction to complex dynamics * Walter Bergweiler
Contents. 1 Introduction. 2. 2 Preliminaries. 3. 3 The case where the iterates are normal. 6. 4 Fatou and Julia sets. 7. 5 Periodic points.
[5]
https://math.uchicago.edu/~may/REU2021/REUPapers/Wu-Yip%2CYannis.pdf
[6]
[PDF] Wu-Yip,Yannis.pdf - UChicago Math
Like complex dynamics, the overarching goal in arithmetic dynamics is to an- alyze and understand the iteration of self-maps but on a p-adic field such as Qp.
[7]
Complex and Arithmetic Dynamics - ICERM
The goal of this program is to bring together researchers in complex dynamics, arithmetic dynamics, and related fields.
[8]
A History of Complex Dynamics: From Schröder to Fatou and Julia
In late 1917 Pierre Fatou and Gaston Julia each announced several results regarding the iteration ofrational functions of a single complex variable.
[9]
Pierre Fatou (1878 - 1929) - Biography - MacTutor
In the same 31 December 1917 part of Comptes Rendus Georges Humbert has a letter reporting on Julia's papers. Almost certainly as a result of these letters ...
[10]
[PDF] A Century of Complex Dynamics - Boston University
Apr 1, 2014 · 1 Introduction. Like the MAA, the field of mathematics known as complex dynamics has been around for about one hundred years.<|control11|><|separator|>
[11]
One hundred years of complex dynamics - PMC - PubMed Central
Sullivan [7] adapted the argument to solve Fatou's conjecture in the negative, and in the process introduced the technique of quasi-conformal deformation into ...Missing: revival | Show results with:revival
[12]
Who Discovered the Mandelbrot Set? - Scientific American
Mar 13, 2009 · The set is named after Benoit B. Mandelbrot, a mathematician at the IBM Thomas J. Watson Research Center. He is best known for coining the ...
[13]
[PDF] Exploring the Mandelbrot set. The Orsay Notes. Adrien Douady John ...
is equipped with its primary structure defined by its topology, the cyclic order of the branches at the branching points, the dynamics on the points of bA ...
[14]
Quasiconformal homeomorphisms and dynamics I. Solution of the ...
Solution of the Fatou-Julia problem on wandering domains. Pages 401-418 from Volume 122 (1985), Issue 2 by Dennis Sullivan. No abstract available for this ...Missing: theorem | Show results with:theorem
[15]
Dynamics in Dimension Greater Than One | SpringerLink
Up to this point our primary focus has been on arithmetic dynamics of rational maps on ℙ1. In this chapter we take a look at dynamics in higher dimensions.
[16]
[PDF] The Arithmetic of Dynamical Systems - Brown Math
Dec 28, 2006 · This book combines Dynamical Systems and Number Theory, focusing on Arithmetic Dynamics, especially Diophantine equations and maps on the ...
[17]
[PDF] Conformal Geometry and Dynamics of Quadratic Polynomials, vol I-II ...
Page 1. Conformal Geometry and. Dynamics of Quadratic Polynomials, vol I-II. Mikhail Lyubich ... Complex and real quadratic family. 233. 19. Glossary of Dynamics.
[18]
Dynamics in one complex variable: introductory lectures - math - arXiv
Apr 20, 1990 · Authors:John W. Milnor. View a PDF of the paper titled Dynamics in one complex variable: introductory lectures, by John W. Milnor. View PDF.
[19]
https://link.springer.com/book/10.1007/978-1-4612-4364-9
[20]
Complex Dynamics | SpringerLink
Book Title · Complex Dynamics ; Authors · Lennart Carleson, Theodore W. Gamelin ; Series Title · Universitext ; DOI · https://doi.org/10.1007/978-1-4612-4364-9.
[21]
[PDF] AN INTRODUCTION TO JULIA AND FATOU SETS In this note, we ...
We give an elementary introduction to the holomorphic dynamics of mappings on the. Riemann sphere, with a focus on Julia and Fatou sets. Our main emphasis is on ...Missing: original | Show results with:original
[22]
[PDF] NOTES ON COMPLEX DYNAMICS Contents 1. Fatou and Julia Sets ...
Mar 9, 2022 · We say a periodic orbit is (1) superattracting if µ = 0 (equivalently if some zi in the orbit is critical for f); (2) attracting if 0 < |µ| < 1 ...
[23]
Connectedness of Julia Sets of Rational Functions
Mar 7, 2013 · For a polynomial P it is well known that its Julia set is connected if and only if the orbits of the finite critical points are bounded.<|control11|><|separator|>
[24]
[PDF] Dennis Parnell Sullivan Abel Prize Laureate 2022
Sullivan's proof of the no-wandering-domain theorem builds on deep insight into the geometry of the extended complex plane and functions defined on it. An ...
[25]
[PDF] Rational parameter rays of the Mandelbrot set - Numdam
Douady and Hubbard have shown that Julia sets and the Mandelbrot set can profitably be studied using external rays: for a compact connected and full set K c C ,.
[26]
[PDF] Six Lectures on Real and Complex Dynamics
Real and Complex Dynamics. Mikhail Lyubich. Page 2. Page 3. Contents. Introduction. 5. Notations and terminology. 7. Lecture 1. Julia sets and the Mandelbrot ...
[27]
[PDF] for holomorphic endomorphisms of complex projective spaces
The measures µ for which hµ(f) + ∫ φdµ = P(φ) are called equilibrium states for the potential φ. We prove the following. Theorem 1.1. For every holomorphic ...
[28]
https://arxiv.org/abs/math/0402147
[29]
[math/0402147] On Lattès Maps - arXiv
Feb 9, 2004 · This paper is an exposition of the 1918 paper of Lattès, together with its historical antecedents, and its modern formulations and applications.Missing: seminal | Show results with:seminal
[30]
[PDF] endomorphisms of projective spaces and polynomial-like mappings
Oct 5, 2008 · We establish the first properties and give several constructions for the Green currents. Tp and the equilibrium measure µ = Tk. The emphasis is ...
[31]
Equilibrium measures for holomorphic endomorphisms of complex ...
Let be a holomorphic endomorphism of a complex projective space , , and let be the Julia set of (the topological support of the unique maximal entropy measure).
[32]
[PDF] The Cremona group - Clay Mathematics Institute
Its spectral radius is the golden mean (1+. √. 5)/2. One obtains a birational transformation of the plane with dynamical degree (3+. √. 5)/2 (one easily checks ...
[33]
The group of Cremona transformations generated by linear maps ...
May 12, 2014 · This article studies the group generated by automorphisms of the projective space of dimension n and by the standard birational involution of degree n.
[34]
Hénon mappings in the complex domain I - Numdam
Hénon mappings in the complex domain I : the global topology of dynamical space. Publications Mathématiques de l'IHÉS, Tome 79 (1994), pp. 5-46.
[35]
[PDF] Dynamics on K3 surfaces: Salem numbers and Siegel disks
Jan 19, 2001 · In this paper we will be concerned with the dynamics of automor- phisms of complex K3 surfaces, f : X → X. Every automorphism preserves the ...
[36]
Kummer rigidity and measure of maximal entropy - arXiv
Oct 5, 2014 · We classify complex projective surfaces with an automorphism of positive entropy for which the unique invariant measure of maximal entropy is ...
[37]
[PDF] Complex dynamics in several variables - Purdue Math
That is, studying the behavior of f under iteration is equivalent to studying the behavior of φ at regularly spaced time intervals. Simplification 2: Set k = 2.<|control11|><|separator|>
[38]
[PDF] dynamics of automorphisms of compact complex surfaces
Saddle periodic points. Let p be a periodic point of the automorphism f and let k be its period. One says that p is a saddle (or hyperbolic) periodic point ...
[39]
None
Summary of each segment:
[40]
[PDF] finite orbits for large groups of automorphisms of projective surfaces
Nov 20, 2020 · Let X be a Kummer surface possessing both a Kummer automorphism f ... exactly two periodic points on each Ei, namely two saddle fixed points.