Complex dynamics
Complex dynamics, or holomorphic dynamics, is the study of dynamical systems obtained by iterating a complex analytic mapping. This article focuses on the case of algebraic dynamics, where a polynomial or rational function is iterated. In geometric terms, that amounts to iterating a mapping from some algebraic variety to itself. The related theory of arithmetic dynamics studies iteration over the rational numbers or the p-adic numbers instead of the complex numbers.
Dynamics in complex dimension 1
A simple example that shows some of the main issues in complex dynamics is the mapping from the complex numbers C to itself. It is helpful to view this as a map from the complex projective line to itself, by adding a point to the complex numbers. The basic question is: given a point in, how does its orbitbehave, qualitatively? The answer is: if the absolute value |z| is less than 1, then the orbit converges to 0, in fact more than exponentially fast. If |z| is greater than 1, then the orbit converges to the point in, again more than exponentially fast.
On the other hand, suppose that, meaning that z is on the unit circle in C. At these points, the dynamics of f is chaotic, in various ways. For example, for almost all points z on the circle in terms of measure theory, the forward orbit of z is dense in the circle, and in fact uniformly distributed on the circle. There are also infinitely many periodic points on the circle, meaning points with for some positive integer r. Even at periodic points z on the circle, the dynamics of f can be considered chaotic, since points near z diverge exponentially fast from z upon iterating f.
Pierre Fatou and Gaston Julia showed in the late 1910s that much of this story extends to any complex algebraic map from to itself of degree greater than 1. Namely, there is always a compact subset of, the Julia set, on which the dynamics of f is chaotic. For the mapping, the Julia set is the unit circle. For other polynomial mappings, the Julia set is often highly irregular, for example a fractal in the sense that its Hausdorff dimension is not an integer. This occurs even for mappings as simple as for a constant. The Mandelbrot set is the set of complex numbers c such that the Julia set of is connected.
There is a rather complete classification of the possible dynamics of a rational function in the Fatou set, the complement of the Julia set, where the dynamics is "tame". Namely, Dennis Sullivan showed that each connected component U of the Fatou set is pre-periodic, meaning that there are natural numbers such that. Therefore, to analyze the dynamics on a component U, one can assume after replacing f by an iterate that. Then either U contains an attracting fixed point for f; U is parabolic in the sense that all points in U approach a fixed point in the boundary of U; U is a Siegel disk, meaning that the action of f on U is conjugate to an irrational rotation of the open unit disk; or U is a Herman ring, meaning that the action of f on U is conjugate to an irrational rotation of an open annulus.
The equilibrium measure of an endomorphism
Complex dynamics has been effectively developed in any dimension. This section focuses on the mappings from complex projective space to itself, the richest source of examples. The main results for have been extended to a class of rational maps from any projective variety to itself. Note, however, that many varieties have no interesting self-maps.Let f be an endomorphism of, meaning a morphism of algebraic varieties from to itself, for a positive integer n. Such a mapping is given in homogeneous coordinates by
for some homogeneous polynomials of the same degree d that have no common zeros in. Assume that d is greater than 1; then the degree of the mapping f is, which is also greater than 1.
Then there is a unique probability measure on, the equilibrium measure of f, that describes the most chaotic part of the dynamics of f. This measure was defined by Hans Brolin for polynomials in one variable, by Alexandre Freire, Artur Lopes, Ricardo Mañé, and Mikhail Lyubich for , and by John Hubbard, Peter Papadopol, John Fornaess, and Nessim Sibony in any dimension. The small Julia set is the support of the equilibrium measure in ; this is simply the Julia set when.
Examples
- For the mapping on, the equilibrium measure is the Haar measure on the unit circle.
- More generally, for an integer, let be the mapping
Characterizations of the equilibrium measure
One striking characterization of the equilibrium measure is that it describes the asymptotics of almost every point in when followed backward in time, by Jean-Yves Briend, Julien Duval, Tien-Cuong Dinh, and Sibony. Namely, for a point z in and a positive integer r, consider the probability measure which is evenly distributed on the points w with. Then there is a Zariski closed subset such that for all points z not in E, the measures just defined converge weakly to the equilibrium measure as r goes to infinity. In more detail: only finitely many closed complex subspaces of are totally invariant under f, and one can take the exceptional set ''E to be the unique largest totally invariant closed complex subspace not equal to.
Another characterization of the equilibrium measure is as follows. For each positive integer r'', the number of periodic points of period r, counted with multiplicity, is, which is roughly. Consider the probability measure which is evenly distributed on the points of period r. Then these measures also converge to the equilibrium measure as r goes to infinity. Moreover, most periodic points are repelling and lie in, and so one gets the same limit measure by averaging only over the repelling periodic points in. There may also be repelling periodic points outside.
The equilibrium measure gives zero mass to any closed complex subspace of that is not the whole space. Since the periodic points in are dense in, it follows that the periodic points of f are Zariski dense in. A more algebraic proof of this Zariski density was given by Najmuddin Fakhruddin. Another consequence of giving zero mass to closed complex subspaces not equal to is that each point has zero mass. As a result, the support of has no isolated points, and so it is a perfect set.
The support of the equilibrium measure is not too small, in the sense that its Hausdorff dimension is always greater than zero. In that sense, an endomorphism of complex projective space with degree greater than 1 always behaves chaotically at least on part of the space. Another way to make precise that f has some chaotic behavior is that the topological entropy of f is always greater than zero, in fact equal to, by Mikhail Gromov, Michał Misiurewicz, and Feliks Przytycki.
For any continuous endomorphism f of a compact metric space X, the topological entropy of f is equal to the maximum of the measure-theoretic entropy of all f-invariant measures on X. For a holomorphic endomorphism f of, the equilibrium measure is the unique invariant measure of maximal entropy, by Briend and Duval. This is another way to say that the most chaotic behavior of f is concentrated on the support of the equilibrium measure.
Finally, one can say more about the dynamics of f on the support of the equilibrium measure: f is ergodic and, more strongly, mixing with respect to that measure, by Fornaess and Sibony. It follows, for example, that for almost every point with respect to, its forward orbit is uniformly distributed with respect to.
Lattès maps
A Lattès map is an endomorphism f of obtained from an endomorphism of an abelian variety by dividing by a finite group. In this case, the equilibrium measure of f is absolutely continuous with respect to Lebesgue measure on. Conversely, by Anna Zdunik, François Berteloot, and Christophe Dupont, the only endomorphisms of whose equilibrium measure is absolutely continuous with respect to Lebesgue measure are the Lattès examples. That is, for all non-Lattès endomorphisms, assigns its full mass 1 to some Borel set of Lebesgue measure 0.In dimension 1, more is known about the "irregularity" of the equilibrium measure. Namely, define the Hausdorff dimension of a probability measure on by
where denotes the Hausdorff dimension of a Borel set Y. For an endomorphism f of of degree greater than 1, Zdunik showed that the dimension of is equal to the Hausdorff dimension of its support if and only if f is conjugate to a Lattès map, a Chebyshev polynomial, or a power map with. Thus, outside those special cases, the equilibrium measure is highly irregular, assigning positive mass to some closed subsets of the Julia set with smaller Hausdorff dimension than the whole Julia set.
Automorphisms of projective varieties
More generally, complex dynamics seeks to describe the behavior of rational maps under iteration. One case that has been studied with some success is that of automorphisms of a smooth complex projective variety X, meaning isomorphisms f from X to itself. The case of main interest is where f acts nontrivially on the singular cohomology.Gromov and Yosef Yomdin showed that the topological entropy of an endomorphism of a smooth complex projective variety is determined by its action on cohomology. Explicitly, for X of complex dimension n and, let be the spectral radius of f acting by pullback on the Hodge cohomology group. Then the topological entropy of f is
Thus f has some chaotic behavior, in the sense that its topological entropy is greater than zero, if and only if it acts on some cohomology group with an eigenvalue of absolute value greater than 1. Many projective varieties do not have such automorphisms, but many rational surfaces and K3 surfaces do have such automorphisms.
Let X be a compact Kähler manifold, which includes the case of a smooth complex projective variety. Say that an automorphism f of X has simple action on cohomology if: there is only one number p such that takes its maximum value, the action of f on has only one eigenvalue with absolute value, and this is a simple eigenvalue. For example, Serge Cantat showed that every automorphism of a compact Kähler surface with positive topological entropy has simple action on cohomology.
For an automorphism f with simple action on cohomology, some of the goals of complex dynamics have been achieved. Dinh, Sibony, and Henry de Thélin showed that there is a unique invariant probability measure of maximal entropy for f, called the equilibrium measure. The support of is called the small Julia set. Informally: f has some chaotic behavior, and the most chaotic behavior is concentrated on the small Julia set. At least when X is projective, has positive Hausdorff dimension.