Attracting current and equilibrium measure for attractors on \(\mathbb P^k\) (Q883210)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
scientific article; zbMATH DE number 5160937
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Attracting current and equilibrium measure for attractors on \(\mathbb P^k\) |
scientific article; zbMATH DE number 5160937 |
Statements
Attracting current and equilibrium measure for attractors on \(\mathbb P^k\) (English)
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.8629714250564575
0 references
0.8485073447227478
0 references
0.8467749953269958
0 references
0.8426690697669983
0 references
0.8204370141029358
0 references