Attracting current and equilibrium measure for attractors on \(\mathbb P^k\) (Q883210)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Attracting current and equilibrium measure for attractors on \(\mathbb P^k\)
scientific article

    Statements

    Attracting current and equilibrium measure for attractors on \(\mathbb P^k\) (English)
    0 references
    0 references
    4 June 2007
    0 references
    The dynamics of an endomorphism \(f\) of \(\mathbb P ^k\) of algebraic degree \(d\geq 2\) is studied on some special attracting sets. A compact set \(A\) is attracting for \(f\) if there exists a neighborhood \(U\) of \(A\) such that \(f(U)\subset\subset U\) and \(A\) is the intersection of all iterations \(f^n (U)\), \(n\in \mathbb N .\) For two disjoint projective subspaces \(I\) and \(L\) of \(\mathbb P ^k\) with \(\dim I =p-1, \dim L =k-p, \;p\in [1,k-1]\) there exists a canonical projection \(\pi \mathbb P ^k \setminus I \to L\) with center \(I\). \(\pi (x)\) is defined as the intersection point of \(L\) and \(I(x)\), where \(I(x)\) is the subspace of dimension \(p\) containing \(I\) and \(x\in \mathbb P ^k \setminus I\). The attracting set is defined by \(U\) -- a neighborhood of \(L\) such that for any \(x\in L\) the set \(U\cap I(x)\) is starshaped at \(x.\) The main result of the paper states that for a mapping \(f\), the sets \(I, L, U\) as above, and a continuous, positive, closed current \(R\) of mass \(1\) and of compact support in \(U\) the sequence \(d^{-n(k-p)} (f^n )_{\ast } R\) converges weakly to a positive current \(\tau\) with support in \(A\) and mass equal \(1\). The limit is independent of \(R\), weakly laminar and invariant in the sense that \(f _{\ast } \tau =d^{k-p} \tau .\) It is also extremal in the cone of invariant positive closed \((p,p)\) currents with support in \(A\). Having \(\tau\) one can define the equilibrium measure associated to \(A\) by \( \nu =T^{k-p}\wedge \tau, \) where \(T\) is the Green current associated to \(f .\) The author shows that this measure has maximal entropy \((k-p)\log d\) on \(A\) and that it is mixing. In the proofs he uses the construction of currents from a paper by \textit{T.-C. Dinh} and \textit{N. Sibony} [Ann. Inst. Fourier 56, No.~2, 423--457 (2006; Zbl 1089.37036)] and a generalization (from dimension 2) of a result of \textit{H. de Thélin} [Math. Ann. 332, No. 3, 483--498 (2005; Zbl 1076.37037)].
    0 references
    complex dynamics
    0 references
    endomorphism
    0 references
    attracting currents
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references