Green currents for quasi-algebraically stable meromorphic self-maps of P^k

Iteration of holomorphic maps, fixed points of holomorphic maps and related problems for several complex variables (32H50) Currents (32U40) Dynamics of complex polynomials, rational maps, entire and meromorphic functions; Fatou and Julia sets (37F10) Small divisors, rotation domains and linearization in holomorphic dynamics (37F50)

Abstract: We construct a canonical Green current T_f for every quasi-algebraically stable meromorphic self-map f of CP^k such that its first dynamical degree lambda_1(f) is a simple root of its characteristic polynomial and that lambda_1(f) > 1. We establish a functional equation for T_f and show that the support of T_f is contained in the Julia set of f, which is thus non empty.

Review text

Let \(f: \mathbb P^k \to \mathbb P^k\) be a dominant meromorphic map. The map \(f\) is algebraically stable if the algebraic degree of \(f^{\circ n}\) equals the algebraic degree of \(f\), \(d(f)\), to the power \(n\). For algebraically stable maps many things are known. For instance Sibony proved that if \(f\) is algebraically stable and \(d(f)>1\), then there exists a unique current \(T\), called the Green current of \(f\), which satisfies \(f^\ast(T)=d(f)T\) and essentially describes the dynamics of \(f\). For non-algebraically stable mappings, not much is known. Some classes of non algebraically stable maps have been studied by Bonifant and Fornæss, while Diller and Favre, and Favre, Jonsson and later together with Boucksom, have studied non algebraically stable maps in dimension two (references are in the bibliography). Other particular cases are studied by Hasselblatt and Propp and by Bedford and Kim.NEWLINENEWLINEIn the paper under review the author studies a new class of non algebraically stable maps: the class of ``quasi-algebraically stable maps. A map is quasi-algebraically stable provided there exist an integer \(n_0\geq 1\), a homogeneous polynomial \(H\) and a sequence \(\{F_n\}\) of liftings to \(\mathbb C^{k+1}\) of the sequence of iterates \(\{f^{\circ n}\}\) of \(f\) such that \(F_n=F_1\circ F_{n-1}\) for \(n\leq n_0\) and \(F_n=F_1\circ F_{n-1}/H\circ F_{n-n_0-1}\) for \(n>n_0\).NEWLINENEWLINELet \(f\) be quasi-algebraically stable. Let \(\lambda\) denote the first dynamical degree of \(f\) and let \(h\) be the degree of \(H\). It is known that \(\lambda\) is a root of the polynomial \(P(t)= t^{n_0+1}-dt^{n_0}+h\). Assume that \(\lambda\) is a simple root of \(P(t)\) and \(\lambda>1\). Then the main result of the paper is the following: the upper semicontinuous regularization of \(\limsup_{n\to\infty}\log\|F_n\|/d(f^n)\) exists and defines a plurisubharmonic function \(u\) on \(\mathbb C^{k+1}\). The positive closed \((1,1)\)-current \(T\) on \(\mathbb P^k\) defined by \(u\) satisfies the functional equation \(f^\ast(T)=\lambda T+(d(f)-\lambda)/h\cdot [H=0]\). Moreover, the support of \(T\) is contained in the Julia set of \(f\), which is thus not empty.NEWLINENEWLINEThe paper ends with a sufficient criterion for a map to be quasi-algebraically stable in terms of degree lowering hypersurfaces, and with the construction of a new family of such maps.

Recommendations

Cited in

(12)

This page was built for publication: Green currents for quasi-algebraically stable meromorphic self-maps of \(\mathbb{P}^k\)

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q433391)