---
abstract: 'Let $f$ be an holomorphic endomorphism of $\mathbb{C}\mathbb{P}^k$. We construct by using coding techniques a class of ergodic measures as limits of non-uniform probability measures on preimages of points. We show that they have large metric entropy, close to $\log d^k$. We establish for them strong stochastic properties and prove the positivity of their Lyapunov exponents. Since they have large entropy, those measures are supported in the support of the maximal entropy measure of $f$. They in particular provide lower bounds for the Hausdorff dimension of the Julia set.'
author:
- Christophe Dupont
date:  
title: 'Large entropy measures for endomorphisms of ${\mathbb {C}\mathbb {P}}^k$'
---

Introduction
============

This article concerns the dynamics of holomorphic endomorphisms of ${\mathbb {C}\mathbb {P}}^k$. Such a mapping is given by $k+1$ homogeneous polynomials of the same degree $d \geq 2$ without common zero. It defines a ramified covering of ${\mathbb {C}\mathbb {P}}^k$ of degree $d^k$. Its topological entropy is $h_{top}(f) =
\log d^k$, this is a consequence of [@G] and [@MP]. Remarkably, $f$ has a unique measure $\mu$ of maximal entropy [@BD2]. That measure is obtained by equidistributing preimages of generic points: there exists an algebraic subset $\EE \subset {\mathbb {C}\mathbb {P}}^k$ depending on $f$ such that for every $z \notin \EE$: $${1 \over d^{kn}} \sum_{f^n(y) = z}  \,\delta_y \to \mu ,$$ where $\delta_y$ denotes the Dirac mass at $y \in {\mathbb {C}\mathbb {P}}^k$ (see [@BD2], [@DS1]). Strong stochastic properties have been established for $\mu$: exponential decay of correlations, Central Limit Theorem, Almost Sure Invariance Principle and Large Deviations Theorem, at least for Hölder observables (see [@DNS], [@D1] and references therein). Moreover, we know that the Lyapunov exponents of $\mu$ are larger than or equal to ${1 \over 2} \log d$ [@BD1]. We refer to the survey article [@DS2] for more details concerning those properties.\
In the present article, we use coding techniques to construct for endomorphisms of ${\mathbb {C}\mathbb {P}}^k$ a class of ergodic measures with entropy close to $\log d^k$. Those measures are limits of non-uniform probability measures on $f^{-n}(z)$, and, as we shall see, their support is included in $\JJ := {{\rm supp \, }}\mu$. We prove for them the Almost Sure Invariance Principle (ASIP) for Hölder observables and the positivity of the Lyapunov exponents.

Let us note that coding techniques were introduced in [@PUZ] for rational fractions acting on ${\mathbb {C}\mathbb {P}}^1$. That allowed them to construct a class of ergodic measures containing $\mu$ and satisfying the ASIP for Hölder observables. That coding method was recently extended to ${\mathbb {C}\mathbb {P}}^k$ in order to study the maximal entropy measure $\mu$ [@D1]. Here we continue to develop the coding techniques in higher dimensions.\
Let us introduce notations related to coding. Let $\AA :=
\{ 1, \ldots, d^k\}$, $\Sigma := \AA^{{\mathbb {N}}}$ and $s$ be the left shift acting on $\Sigma$. We set $z$ outside the critical values of every $f^n$. A map $z_n$ will denote a bijection $\AA^n \to f^{-n}(z)$, extended to $\Sigma$ as a constant map on $n$-cylinders. We say that a sequence $(z_n)_n$ is *compatible* if $f \circ z_{n+1} = z_n \circ s$. Given an Hölder function $\varphi :
\Sigma \to {\mathbb {R}}$, let $\nu_\varphi$ denote its associated Gibbs measure on $\Sigma$. This is the unique $s$-invariant measure satisfying $P_\varphi =  \int \varphi \, d\nu_\varphi +
h_{\nu_\varphi}(s)$, where $P_\varphi$ and $h_{\nu_\varphi}(s)$ respectively denote the pressure of $\varphi$ and the entropy of $\nu_\varphi$ (see [@B], [@W]).\
We shall actually work with potentials $\varphi : \Sigma \to {\mathbb {R}}$ satisfying $\tau_{\theta}(\varphi) :=
P_\varphi - \abs {\varphi}_\infty - \log d^{k-\theta} > 0$ for small $\theta$’s, less than some $\theta_k$ specified in section \[state\]. The measure $\nu_\varphi$ can therefore be a product measure with weights close to $d^{-k}$ (see corollary 1). Observe that $\tau_{\theta}(\varphi) > 0$ combined with $h_{\nu_\varphi}(s) = P_\varphi - \int \varphi
\, d\nu_\varphi$ implies $h_{\nu_\varphi}(s) > \log
d^{k-\theta}$.\
Let us state our main theorem. We set $\nu_n := (z_n)_*\nu_\varphi$, that pushforward measure is supported on $f^{-n}(z)$ and satisfy $\nu_n (y) = \sum_{f(x) = y} \nu_{n+1}(x)$ by the compatible condition and the $s$-invariance of $\nu_\varphi$.

[:]{} For every $\theta < \theta_k$, there exists a zero volume subset $\FF_\theta \subset {\mathbb {C}\mathbb {P}}^k$ satisfying the following property. For every $z \notin \FF_\theta$, there exist compatible bijections $z_n : \AA^n \to f^{-n}(z)$ such that, for every Hölder function $\varphi : \Sigma \to {\mathbb {R}}$ satisfying $\tau_\theta(\varphi) >
0$:

1.  $\sum_{f^n(y)=z}
      \nu_n(y) \, \delta_y$ converges to a mixing $f$-invariant measure $\nu$ on ${\mathbb {C}\mathbb {P}}^k$.

2.  The metric entropy is preserved, i.e. $h_\nu(f) = h_{\nu_\varphi}(s)$.

3.  $\nu$ does not charge the algebraic subsets of ${\mathbb {C}\mathbb {P}}^k$ and ${{\rm supp \, }}\nu \subset \JJ = {{\rm supp \, }}\mu$.

4.  The Lyapunov exponents of $\nu$ are larger than or equal to ${1 \over 2}(h_\nu(f) - \log d^{k-1}) > 0$.

5.  The measure $\nu$ satisfies the exponential decay of correlations and the Almost Sure Invariance Principle for Hölder observables.

The proof relies on independent results which are stated in section \[state\]. Let us make some comments. Item [**(b)**]{} and condition $\tau_\theta(\varphi) > 0$ imply that $h_{\nu}(f) > \log
d^{k-\theta}$. That large entropy property is crucial for the proofs of [**(c)**]{} and [**(d)**]{}. We shall see that those assertions are actually more general, they hold for every ergodic measure with entropy larger than $\log d^{k-1}$. We observe also that [**(b)**]{} implies $h_\nu(f) < \log d^k$ once $\nu_\varphi$ is not the maximal entropy measure on $\Sigma$. This proves that $\nu$, whose support is included in $\JJ$ by [**(d)**]{}, is singular with respect to $\mu$ (these are different ergodic measures). Concerning [**(e)**]{}, we recall that an observable $\psi : {\mathbb {C}\mathbb {P}}^k \to {\mathbb {R}}$ satisfies the ASIP if the process defined by the Birkhoff sums of $\psi$ follows $\nu$-almost everywhere the trajectory of a Brownian motion. That strong stochastic property implies the Central Limit Theorem and the Law of Iterated Logarithm for $\nu$.\
The following corollary concerns the case when $\nu_\varphi$ is a product measure on $\Sigma$. We set for the first item $y =
z_n({\alpha}_0,\ldots,{\alpha}_{n-1}) \in {\mathbb {C}\mathbb {P}}^k$.

[ 1:]{} Let $\eta < \theta_k$ and $(w_{\alpha})_{{\alpha}\in \AA}$ satisfying $\sum w_{\alpha}=1$ and $w_{\alpha}\leq
d^{-k+\eta}$. For every $z$ outside a zero volume subset, there exist compatible bijections $z_n$ such that:

1.  $\sum_{f^n(y) = z} \Big(  \prod_{i=0}^{n-1} w_{{\alpha}_i} \Big) \delta_y $ converges to a mixing $f$-invariant measure $\nu$.

2.  The metric entropy of $\nu$ is equal to $h_\nu(f) =  - \sum w_{\alpha}\log w_{\alpha}$.

3.  The measure $\nu$ satisfies [**(c)**]{}, [**(d)**]{} and [**(e)**]{}.

That corollary follows by taking $\varphi({\alpha}_0,{\alpha}_1, \ldots) := \log w_{{\alpha}_0}$ in the main theorem. We have in that case $P_\varphi = 0$. Observe that the condition $\tau_{\theta}(\varphi) =  - \abs {\varphi}_\infty - \log d^{k-\theta} > 0$ is then satisfied for every $\theta \in ]\eta  , \theta_k[$.\
We deduce the following property, where $\MM$ is the set of $f$-invariant measures.

[ 2:]{} The image of the entropy function $h : \MM \to [0, \log d^k]$ contains a non trivial interval of the form $[\log d^k - {\epsilon}, \log d^k]$.

That follows from the continuity of $-\sum w_{\alpha}\log w_{\alpha}$ and the fact that the maximal value occurs exactly when $w_{\alpha}= d^{-k}$ for every ${\alpha}\in \AA$. We observe that, since $f$ is a $C^\infty$ mapping, the entropy function $h$ is upper semicontinuous [@N2]. That property ensures the existence of a maximal entropy measures for $f$, but does not provide corollary 2.\
The first part of item [**(c)**]{} is obviously related to the size of $\nu$. Concerning Hausdorff dimension, the article [@D2] yields for every ergodic measure with positive exponents a lower bound for the dimension of positive $\nu$-measure Borel sets. We therefore get:

[ 3:]{} Let $\nu$ be an ergodic measure provided by the main theorem. Let $\lambda_1 (\nu) \geq \ldots \geq
\lambda_k (\nu)$ denote its Lyapunov exponents (they are positive by [**(d)**]{}) and $A$ be a Borel subset of positive $\nu$-measure. Then the Hausdorff dimension of $A$ satisfies $$\label{mmj}
 \dim_\HH A \geq {\log d^{k-1} \over \lambda_1 (\nu)} + { h_\nu(f) -  \log d^{k-1} \over \lambda_k (\nu)}.$$

That estimate in particular holds for $A = \JJ$, hence the ergodic measures provided by the main theorem yield lower bounds for the Hausdorff dimension of $\JJ$. Let us notice that when $k=1$, the formula $\inf \, \{ \dim_\HH A \, , \, \nu(A) > 0 \}  = {h_\nu(f)  \over \lambda (\nu)}$ holds for every ergodic measure $\nu$ with positive entropy [@M]. The proof relies on the fact that rational fractions are conformal mappings. An analogous formula remains unknown in higher dimensions. We refer to the articles [@BDM], [@DD] and [@D2] for results concerning that problem. The article [@D2] in particular yields for the maximal entropy measure and for $k=2$ the bound $\inf \,  \{ \dim_\HH A \, , \, \mu(A) > 0 \}  \geq  {\log d \over \lambda_1(\mu) } + {  \log d \over \lambda_2(\mu)}$, which is half of the formula conjectured in [@BDM].\
Observe also that [**(d)**]{} ensures that the function $\log {{\rm Jac \,  }}f$, which is $-\infty$ on the critical set of $f$, belongs to $L^1(\nu)$. That follows from the classical formula $$\int_{{\mathbb {C}\mathbb {P}}^k} \log {{\rm Jac \,  }}f \, d\nu= 2(\lambda_1(\nu) + \ldots + \lambda_k(\nu)) .$$ We notice that the integrability of $\log {{\rm Jac \,  }}f$ for the equilibrium measure $\mu$ can be shown without using the exponents: this is proved in [@FS] and [@DS1] by using respectively the construction of $\mu$ from pluripotential theory and from pullbacks of volume forms.\
We finally note that the existence and unicity of equilibrium states was recently established for endomorphisms of ${\mathbb {C}\mathbb {P}}^k$ for a class of Hölder functions [@UZ]. The approach consists there in studying the Ruelle-Perron-Frobenius operator. It should be interesting to compare those equilibrium states with the measures constructed here.

Structure of the proof of the main theorem {#state}
==========================================

The main theorem follows from theorems A, B and C stated below. We denote by $d(\cdot,\cdot)$ the standard distance on ${\mathbb {C}\mathbb {P}}^k$ and we set $\theta_k := {2 \over 5(k-1)}$.

[ A:]{} For every $\theta < \theta_k$, there exists a zero volume subset $\SS_\theta \subset {\mathbb {C}\mathbb {P}}^k$ satisfying the following property. For every $z \notin \SS_\theta$, there exist compatible bijections $z_n : \AA^n \to f^{-n}(z)$, an increasing sequence of subsets $(\GG(n))_n \subset \Sigma$ and $\rho > 0$ such that, for every Hölder function $\varphi : \Sigma \to {\mathbb {R}}$ satisfying $\tau = \tau_\theta(\varphi) > 0$:

1.  $(z_n)_n$ converge $\nu_\varphi {\textrm{-a.e.}}$ to some limit map ${\omega}: \Sigma \to {\mathbb {C}\mathbb {P}}^k$.

2.  $\nu_\varphi(\GG(n)) \geq 1 -  c_\tau  \, e^{- n \tau}$ and $d( z_n({{\tilde \alpha}}), 
    {\omega}({{\tilde \alpha}}) ) \leq  c_\rho \, d^{-\rho n}$ for every ${{\tilde \alpha}}\in \GG(n)$.

3.  The pushforward measure ${\omega}_* \nu_\varphi$ is a mixing $f$-invariant measure satisfying the Almost Sure Invariance Principle and the exponential decay of correlations for Hölder observables.

The point 1 implies that $(z_n)_* \nu_\varphi$, which by definition is equal to $\sum_{f^n(y)=z}
  \nu_n(y)  \, \delta_y$, converges to ${\omega}_* \nu_\varphi$. It also implies the relation $f \circ
  {\omega}= {\omega}\circ s$ by using the compatible condition on $(z_n)_n$. In particular, since $\nu_\varphi$ is a mixing invariant measure, that property holds for ${\omega}_* \nu_\varphi$. That proves [**(a)**]{} of the main theorem for $\nu := {\omega}_*
  \nu_\varphi$. The point 2 of theorem A is crucial to show its point 3, which corresponds to [**(e)**]{}.

Theorem A was proved by Przytycki-Urbański-Zdunik for $k=1$ and every Hölder continuous function $\varphi$ (see [@PUZ], section 3), the proof relies there on Koebe distortion theorem. We use in the context $k \geq 2$ a quantitative version of the inverse branch Briend-Duval’s theorem established in [@D1]: that result allows to control the size of at least $(1 - d^{-n\theta})d^{kn}$ inverse branches of $f^n$. The value $\theta_k = {2 \over 5(k-1)}$ is due to the technique of the proof, which requires to work on complex lines and to estimate moduli of annuli.\
The following theorem yields [**(b)**]{} by setting $\FF_\theta := \SS_\theta \cup \HH$.

[ B:]{} There exists a zero volume subset $\HH \subset {\mathbb {C}\mathbb {P}}^k$ satisfying the following property. Let $\theta < \theta_k$ and $z \notin \SS_\theta \cup \HH$. Let $\varphi : \Sigma \to {\mathbb {R}}$ be an Hölder function satisfying $\tau_\theta(\varphi) > 0$ and let ${\omega}: \Sigma \to {\mathbb {C}\mathbb {P}}^k$ provided by theorem A. Then $h_{{\omega}_* \nu_\varphi} (f) = h_{\nu_\varphi}(s)$.

The proof consists in estimating the size of the fibers of ${\omega}$ and applying Abramov-Rohlin’s formula for the entropy of a skew product. A similar result was proved by Przytycki ([@P], section 2) in dimension $k=1$ for maps ${\omega}$ which are boundary extensions of Riemann mappings on the unit disc. Here we follow the same approach by showing that the fibers of ${\omega}$ are small for good choices of the root $z$, namely when the fibers $f^{-n}(z)$ are far enough from the critical set of $f$. The set $\HH$ is introduced in order to ensure that property.\
Theorem B, combined with $\tau_\theta(\varphi) > 0$, yields $h_\nu(f) = h_{\nu_\varphi}(s) > \log d^{k-\theta}$. Let us see how that implies [**(c)**]{}. We use for that purpose the relativized variational principle: if $\nu$ is ergodic and if $\nu(A)
> 0$, then $h_\nu(f)$ is less than or equal to $h_{top}(f,A)$, the topological entropy of $f$ relative to $A$ (see [@BD2], section 4). We deduce that $\nu$ does not charge the algebraic subsets of ${\mathbb {C}\mathbb {P}}^k$. We indeed have $h_{top}(f,A) \leq \log d^p$ for every $p$-dimensional algebraic subset $A$, that follows from Gromov’s argument [@G]. Concerning the inclusion ${{\rm supp \, }}\nu \subset \JJ$, Dinh [@D] proved that $h_{top}(f,A) \leq \log d^{k-1}$ for every compact set $A$ not intersecting $\JJ$. That completes the proof of [**(c)**]{}.\
The item [**(d)**]{} is provided by the following general result:

[ C:]{} Let $f$ be an holomorphic endomorphism of ${\mathbb {C}\mathbb {P}}^k$ of degree $d \geq 2$ and let $m$ be an ergodic $f$-invariant measure. If $h_m(f) > \log d^{k-1}$, then the Lyapunov exponents of $m$ are larger than or equal to ${1 \over 2} (h_m(f) - \log d^{k-1} ) > 0$.

The proof is a consequence of theorem D below (this is explained in section \[cetd\]). Let us denote by $\Lambda_1 > \ldots > \Lambda_q \geq
- \infty$ the exponents of $m$ and by $m_1 , \ldots , m_q$ their multiplicities. Recall that Margulis-Ruelle inequality [@R] states $h_m(f) \leq  2
m_1 \Lambda_1^+ + \ldots + 2 m_q \Lambda_q^+$, where $x^+ := \max \{  x, 0\}$. The next result extends that inequality.

[ D:]{} Assume that $q \geq 2$. Then for every $2 \leq j \leq q$: $$h_m(f) \leq \log d^{m_1 + \ldots + m_{j-1}}  + 2 m_j \Lambda_j^+ +
\ldots + 2 m_q \Lambda_q^+ .$$

Theorem D and its corollary theorem C were established by de Thélin [@dT] assuming $\Lambda_q >- \infty$, namely $\log {{\rm Jac \,  }}f \in L^1(m)$. Our aim is to extend it to $\Lambda_q = - \infty$. The proof of theorem D in [@dT] is based on the construction of *relative* almost stable manifolds and on volume estimates. De Thélin told us that it was possible to extend theorem D to the non-integrable case by using the same method, here we verify it.

The stable manifolds were obtained in [@dT] by composing forward graph transforms for $f^{-1}$ along $m$-generic orbits. In the non-integrable case, we obtain them by performing instead backward graph transforms for $f$ itself: we use for that purpose the method of Hirsch-Pugh-Shub [@HPS] which allows non-injective maps. The Oseledec-Pesin’s charts are provided in our context by Newhouse theorem [@N1]. Then, once the stable manifolds are constructed, volume estimates are obtained by slicing arguments as in [@dT]. It turns out that an occurence of multiplicities, due to a lack of injectivity, does not affect the bounds.

We thank de Thélin for several discussions concerning that problem of extension. Concerning this topic, we notice that Buzzi [@B] announced us an estimate similar to theorem D in a real setting, with the term $\log d^{m_1 + \ldots + m_{j-1}}$ being replaced by the topological entropy of embedded smooth discs of dimension $m_1 + \ldots + m_{j-1}$.\
The article is organized as follows. Classical facts concerning Gibbs measure are recalled in section 3. Theorems A, B and C-D are proved in sections 4, 5 and 6. In the sequel $c$ denotes a constant which may change from a line to another.

Gibbs measures on $(\Sigma,s)$ {#gibbs}
==============================

Our references are the classical books [@B], [@W]. Let ${{\tilde \alpha}}= ({\alpha}_i)_{i\geq
0}$ be the elements of $\Sigma = \AA^{\mathbb {N}}$. We denote by $\AA_n$ the $n$-cylinders of $\Sigma$, and by $[{\alpha}_0,\ldots,{\alpha}_{n-1}]$ a $n$-cylinder. Let also $\AA_{i,j} :=
s^{-i} \AA_{j-i}$ for $i \leq j$, observe that $\AA_n = \AA_{0,n}$. We endow $\Sigma$ with a product metric. Let $\varphi$ be an Hölder function $\Sigma \to {\mathbb {R}}$ and $\nu_\varphi$ be its associated equilibrium measure. This is the unique $s$-invariant measure on $\Sigma$ satisfying $P_\varphi = \int_\Sigma \varphi \, d\nu_\varphi +
h_{\nu_\varphi}(s)$, where $P_\varphi$ is the pressure of $\varphi$ and $h_{\nu_\varphi}(s)$ is the metric entropy of $\nu_\varphi$. This is also the unique $s$-invariant measure for which there exist $c_1, c_2 > 0$ satisfying for every ${{\tilde \alpha}}\in \Sigma$ and $n \geq 1$: $$\label{ggiibb}
  c_1 \,
  e^{\sum_{i=0}^{n-1} \varphi \circ s^i({{\tilde \alpha}}) - n P_\varphi}   \leq \nu_\varphi [{\alpha}_0,\ldots,{\alpha}_{n-1}]  \leq c_2 \,
  e^{\sum_{i=0}^{n-1} \varphi \circ s^i({{\tilde \alpha}}) - n P_\varphi} .$$ It turns out that $\nu_\varphi$ satisfies the following exponential mixing property (see [@B], Proposition 1.14): there exists $c, \delta > 0$ such that for every $i \leq j < k \leq l$, $$\label{ibbs}
  \forall E \in \AA_{i,j} \, , \, \forall F \in \AA_{k,l} \ , \ \abs{ \nu_\varphi(E \cap F) - \nu_\varphi(E) \, \nu_\varphi(F) }  \leq c \, \nu_\varphi(E) \,  \nu_\varphi(F) \,  e^{-\delta(k-j)}.$$ That property implies that $\nu_\varphi$ is mixing in the usual sense. We shall need (\[ibbs\]) for theorems \[exdecay\] and \[philstout\] below. We say that an observable $\chi : \Sigma \to {\mathbb {R}}$ is $\nu_\varphi$-centered if $\int_\Sigma \chi \, d\nu_\varphi = 0$. We denote by ${\mathbb {E}}(\chi \vert \AA_n)$ the conditional expectation of $\chi \in L^1(\nu_\varphi)$ with respect to the partition $\AA_n$. Let us introduce the following definition.

\[ddee\] We say that an observable $\chi : \Sigma \to {\mathbb {R}}$ is *$L^p(\nu_\varphi)$-cylinder* ($p \geq 1$) if $$\chi \in L^p(\nu_\varphi) \ \ \textrm{ and } \ \ \abs{  \chi -
  {\mathbb {E}}(\chi \vert  \AA_n)  }_p \leq c \, e^{-{\gamma}n} \textrm{ for some }
\gamma > 0.$$

The next result states the exponential decay of correlations for those observables.

\[exdecay\] Let $\chi_1,\chi_2 : \Sigma \to {\mathbb {R}}$ be bounded $\nu_\varphi$-centered observables which are $L^1(\nu_\varphi)$-cylinder. Then $\left \vert \int_{\Sigma} \chi_1 \cdot
\chi_2 \circ s^n \, d\nu_\varphi \right \vert \leq  c \,
e^{-n\lambda}$ for some $\lambda > 0$.

[ [<span style="font-variant:small-caps;">Proof:</span> ]{}]{}Let $\chi_{j,m} := {\mathbb {E}}(\chi_j \vert
\AA_m)$ and write: $$\chi_1 \cdot \chi_2 \circ s^n = (\chi_1 - \chi_{1,m}) \cdot \chi_2
\circ s^n
 + \chi_{1,m} \cdot ( \chi_2 \circ s^n - \chi_{2,m} \circ s^n ) + \chi_{1,m} \cdot \chi_{2,m} \circ s^n  .$$ Using the $s$-invariance of $\nu_\varphi$, we get that $\left \vert  \int_{\Sigma} \chi_1 \cdot \chi_2 \circ s^n \,
 d\nu_\varphi \right \vert$ is less than or equal to $$\label{indp}
  \abs{\chi_1 -
 \chi_{1,m}}_1 \, \abs{\chi_{2}}_\infty  + \abs{\chi_1}_\infty \, \abs{\chi_2 -
 \chi_{2,m}}_1 + \big \vert {\int_{\Sigma} \chi_{1,m} \cdot \chi_{2,m} \circ s^n \, d\nu_\varphi } \big \vert .$$ Exponential estimates for $\abs{\chi_j -
 \chi_{j,m}}_1$ come from the $L^1(\nu_\varphi)$-cylinder assumption. We now focus on the last integral. Denoting $\chi_{j,m} := \sum_{C \in \AA_m} a_{j,C} 1_C$, we have $$\big \vert {\int_{\Sigma} \chi_{1,m} \cdot \chi_{2,m} \circ s^n \, d\nu_\varphi } \big \vert \leq \sum_{C,C' \in \AA_m} \abs {a_{1,C}} \abs {a_{2,C'}} \abs{  \nu_\varphi(C \cap s^{-n}C') - \nu_\varphi (C) \nu_{\varphi}(C')  } .$$ Now we use $\abs {a_{j,C}} \leq \abs{\chi_j}_\infty$ and sum (\[ibbs\]) over $(E,F) \in \AA_m \times s^{-n} \AA_m = \AA_{0,m} \times \AA_{n,m+n}$. By specifying $m = [ n/2 ]$, we obtain $\left
\vert {\int_{\Sigma} \chi_{1,m} \cdot \chi_{2,m} \circ s^n \,
  d\nu_\varphi } \right \vert \leq c \abs{\chi_1}_\infty
\abs{\chi_2}_\infty e^{- \delta n /2}$. [\
]{}

The following result is due to Philipp-Stout (see [@PS], Section 7). Given an observable $\chi$, we set $S_n(\chi) := \sum_{j = 0}^{n-1} \chi \circ s^j$.

\[philstout\] Let $\chi : \Sigma \to {\mathbb {R}}$ be $\nu_\varphi$-centered and $L^p(\nu_\varphi)$-cylinder for some $p > 2$. Then we have:

1.  ${1 \over \sqrt n} \abs{S_n(\chi)}_2$ converges to some ${\sigma}\geq 0$.

2.  If ${\sigma}> 0$, then $\chi$ satisfies the Almost Sure Invariance Principle (ASIP).

The later means that there exist a sequence of random variables $(\SS_n)_n$ and a Brownian motion $\WW$ with variance ${\sigma}$ defined on a probability space $(\Omega , {\mathbb {P}})$ such that:

- $(\SS_0,\ldots, \SS_{n-1})$ and $(S_0(\chi) ,\ldots, S_{n-1}(\chi) )$ have the same distribution for $n \geq 1$,

- there exists $c > 0$ such that $\SS_n =  \WW(n) + o(n^{1/2 -
  c})$ ${\mathbb {P}}$-almost surely.\
The proof of theorem \[philstout\] consists in approximating $(S_n(\chi))_n$ by a martingale difference sequence. Property (\[ibbs\]) provides a sufficient amount of mixing which ensures that approximation. We note that the ASIP implies several stochastic properties related to Brownian motion, like the Central Limit Theorem and the Law of Iterated Logarithm (see [@PS], section 1).

Proof of theorem A {#cocod}
==================

We obtain theorem A by using a coding tree technique. Let us recall the construction. Let $\CC_f$ denote the critical set of $f$ and $\VV:= \cup_{i = 0}^\infty
f^i(\CC_f)$. Let $z \notin \VV$ and $\{ w_{\alpha}\, , \, {\alpha}\in \AA
\}$ be an enumeration of $f^{-1}(z)$. Assume that $({\gamma}_{\alpha})_{{\alpha}\in \AA}$ is a collection of paths $[0,1] \to {\mathbb {C}\mathbb {P}}^k$ satisfying ${\gamma}_{\alpha}(0) = z$, ${\gamma}_{\alpha}(1) = w_{\alpha}$ and ${\gamma}_{\alpha}[0,1] \cap \VV = \emptyset$ (theorem \[good\] below will provide such paths). For $\tilde {\alpha}\in
\Sigma$ and $n \geq 1$ we define paths ${\gamma}_n({{\tilde \alpha}})$ and points $z_n({{\tilde \alpha}})$ as follows. First we set ${\gamma}_1 ({{\tilde \alpha}}) := {\gamma}_{{\alpha}_0}$ and $z_1 ({{\tilde \alpha}}) := w_{{\alpha}_0}$. Now, assuming that ${\gamma}_j ({{\tilde \alpha}})$ and $z_j
({{\tilde \alpha}})$ have been defined for $1 \leq j \leq n$, we set ${\gamma}_{n+1}(\tilde {\alpha})$ to be the lift of ${\gamma}_{{\alpha}_n}$ by $f^{n+1}$ with starting point $z_n ({{\tilde \alpha}})$, and $z_{n+1}
({{\tilde \alpha}}) :=  {\gamma}_{n+1} ({{\tilde \alpha}})(1)$. We observe that ${\gamma}_n({{\tilde \alpha}})$ and $z_n({{\tilde \alpha}})$ only depend on $[{\alpha}_0,\ldots,{\alpha}_{n-1}]$. We also note that $z_n : \AA_n \to f^{-n}(z)$ is a bijection and that $f \circ z_{n+1} = z_n \circ s$ holds for every $n \geq 1$.\
The next result is theorem 3.2 of [@D1] with the bound $\theta_k$ specified (see below). That result allows to use the coding tree method and to prove the existence of coding maps ${\omega}= \lim_n z_n$. Let $L_{z,w}$ denote the complex line in ${\mathbb {C}\mathbb {P}}^k$ joining $z$ and $w$.

\[good\] Let $\theta < \theta_k = {2 \over 5(k-1)}$. There exist a zero volume subset $\DD_\theta \subset {\mathbb {C}\mathbb {P}}^k$ and $\rho = \rho_\theta > 0$ satisfying the following properties. For every distinct points $(z,w) \in {\mathbb {C}\mathbb {P}}^k \setminus \DD_\theta \cup \VV$, there exist an injective smooth path ${\gamma}:
[0,1] \to L_{z,w} \setminus \VV$ joining $(z,w)$, and decreasing topological discs $(\Delta_n)_n \subset L_{z,w}$ such that for every $n \geq n_{z,w}$:

1.  ${\gamma}[0,1] \subset \Delta_n$,

2.  there exist $(1-d^{-\theta n }) d^{kn}$ inverse branches of $f^n$ on $\Delta_n$,

3.  these branches satisfy ${\textsf {diam }}g_n (\Delta_n)  \leq  c \, d^{- \rho n }$.

That theorem precisely holds for $\theta$’s satisfying $\theta < 2\zeta$, $\theta + \zeta'' < 1$ and $(k-1)\theta < \zeta'' -\zeta'$ for some $0 < \zeta < \zeta' < \zeta'' <1$, those estimates come from section 3.2 of [@D1] (replace $d$ by $d^{k-1}$ in the definition of $\tau_{\theta_n}$ to fix a slip there). One can check that the value $\theta_k = {2 \over 5(k-1)}$ is consistent with the above conditions.\
Let us now prove theorem A. For $\theta < \theta_k$ we set $\SS_\theta := \DD_\theta \cup f(\DD_\theta) \cup \VV
\cup {{\textsf {Per}  }}$, where $\DD_\theta$ is provided by theorem \[good\] and ${{\textsf {Per}  }}$ is the set of periodic points. That set has zero volume. We now use the coding tree method. Given $z \notin \SS_\theta$ we fix an enumeration $f^{-1}(z) = \{ w_{\alpha}\}$ as before. We have $w_{\alpha}\notin \VV \cup \DD_\theta \cup \{ z \}$ by definition of $\SS_\theta$. Let $({\gamma}_{\alpha})_{{\alpha}\in \AA}$ be a collection of smooth paths joining $(z, w_{\alpha})$ given by theorem \[good\], and let $n_z:= \max n_{z,w_{\alpha}}$. Following the construction described above, theorem \[good\] asserts that for every ${\alpha}\in \AA$ and $n \geq
n_z$, there exist at least $(1-d^{-\theta n})d^{kn}$ cylinders $[{\alpha}_0,\ldots,{\alpha}_{n-1}]$ satisfying: $$\label{decr}
{\textsf {diam }}{\gamma}_{n+1} [{\alpha}_0,\ldots,{\alpha}_{n-1},{\alpha}]  \leq  c \, d^{- \rho n }.$$ We define $\BB_n \subset \AA_{n+1}$ as $\BB_n := \{ {\textsf {diam }}{\gamma}_{n+1}[{\alpha}_0,\ldots,{\alpha}_n] > c \, d^{-\rho
  n} \}$. Let $\BB(n) := \bigcup_{p \geq n} \BB_p$ and $\GG(n) := \Sigma \setminus \BB(n)$. We recall that $d(.,.)$ denotes the standard distance on ${\mathbb {C}\mathbb {P}}^k$.

\[cdi\] For every $n \geq n_z$, we have:

1.  ${\textsf {Card }}\BB_n \leq d^{k(n+1)} d^{-\theta n}$.

2.  $d(z_n({{\tilde \alpha}}) ,   z_{n+1} ({{\tilde \alpha}})
      ) \leq c \,  d^{- \rho n}$ for every ${{\tilde \alpha}}\in \GG(n)$.

[ [<span style="font-variant:small-caps;">Proof:</span> ]{}]{}Let $\BB_n^{\alpha}$ be the set of $(n+1)$-cylinders in $\BB_n$ whose last coordinate is equal to ${\alpha}$. Then (\[decr\]) and the definition of $\BB_n$ yield ${\textsf {Card }}\BB_n^{\alpha}\leq d^{-\theta n} d^{kn}$. Hence ${\textsf {Card }}\BB_n \leq d^{-\theta n}
d^{k(n+1)}$, which is the point 1. Now let ${{\tilde \alpha}}\in \GG(n)$. The point 2 follows from ${{\tilde \alpha}}\notin \BB_n$ and the observation $d(z_n({{\tilde \alpha}}),z_{n+1} ({{\tilde \alpha}}) ) \leq {\textsf {diam }}{\gamma}_{n+1}({{\tilde \alpha}}) = {\textsf {diam }}{\gamma}_{n+1}[{\alpha}_0,\ldots,{\alpha}_n]$. [\
]{}

Using that $(\GG(n))_n$ is an increasing sequence of subsets, the point 2 of lemma \[cdi\] yields $d(z_m({{\tilde \alpha}}) ,   z_{m+1} ({{\tilde \alpha}})
  ) \leq c \,  d^{- \rho m}$ for every ${{\tilde \alpha}}\in \GG(n)$ and $m \geq n$. We deduce that ${\omega}({{\tilde \alpha}})
:= \lim_{m} z_m({{\tilde \alpha}})$ exists for every ${{\tilde \alpha}}\in \GG(n)$ and that $$\label{starun}
\forall n \geq n_z \ , \ \forall {{\tilde \alpha}}\in \GG(n) \ , \ d( z_n({{\tilde \alpha}}),
{\omega}({{\tilde \alpha}}) ) \leq  c_\rho \, d^{-\rho n}.$$ Now let $\varphi : \Sigma \to {\mathbb {R}}$ be an Hölder function such that $\tau_\theta (\varphi) = P_\varphi - \abs
{\varphi}_\infty - \log d^{k-\theta} > 0$ (we simply set $\tau = \tau_\theta (\varphi)$ in the sequel).

\[jxx\] For every $n \geq n_z$, we have $\nu_\varphi(\BB_n) \leq  c \, e^{-n \tau}$.

[ [<span style="font-variant:small-caps;">Proof:</span> ]{}]{}Using (\[ggiibb\]) in section \[gibbs\] and the definition of $\tau$, we obtain the following bound for the $\nu_\varphi$-measure of $(n+1)$-cylinders: $$\label{cdeux}
\nu_\varphi [{\alpha}_0,\ldots,{\alpha}_n]   \leq  c_2  \,  e^{(n+1) (\abs{\varphi}_\infty - P_\varphi)} = c_2  \, d^{-(n+1)(k-\theta)} \, e^{-(n+1) \tau } .$$ We deduce $\nu_\varphi(\BB_n) \leq {\textsf {Card }}\BB_n \cdot c_2 \, 
d^{-(n+1)(k-\theta)} \, e^{-(n+1) \tau}$, which is less than $(c_2 \, d^\theta \, e^{-\tau}) e^{-n \tau}$ by lemma \[cdi\](1). [\
]{}

We deduce from lemma \[jxx\] and $\GG(n) = \Sigma \setminus \bigcup_{p \geq n} \BB_p$ that $$\label{stardeux}
\forall n \geq n_z \ , \ \nu_\varphi(\GG(n)) \geq 1 -  c_\tau  \, e^{- n
  \tau}.$$ Now (\[starun\]) and (\[stardeux\]) immediately yield the points 1 and 2 of theorem A. Proposition \[exp\] below yields the ASIP and the exponential decay of correlation (point 3 of theorem A) for Hölder observables $\psi : {\mathbb {C}\mathbb {P}}^k \to {\mathbb {R}}$. To see that, combine proposition \[exp\] with theorems \[exdecay\] and \[philstout\] taking into account $\chi := \psi \circ {\omega}$ and $f \circ {\omega}= {\omega}\circ s$.

\[exp\] Let $\psi : {\mathbb {C}\mathbb {P}}^k \to {\mathbb {R}}$ be a ${\omega}_* \nu_\varphi$-centered Hölder observable. Then $\chi := \psi \circ {\omega}: \Sigma \to {\mathbb {R}}$ is a bounded $L^p(\nu_\varphi)$-cylinder observable for every $p \geq 1$.

[ [<span style="font-variant:small-caps;">Proof:</span> ]{}]{}We obviously have $\chi \in L^p(\nu_\varphi)$, since $\psi$ is bounded. Now let us show that $\abs { \chi  - {\mathbb {E}}( \chi \vert
  \AA_n  )  }_p \leq c \, e^{-n{\gamma}}$ holds for some ${\gamma}>0$. The proof consists in making an analysis on $\GG(n)$ and $\BB(n) = \Sigma \setminus \GG(n)$ (see [@D1], subsection 5.1.1). For any Borel set $A \subset \Sigma$, we set $\chi_A :=  \chi \cdot 1_A$. First observe that Jensen’s inequality and (\[stardeux\]) yield $$\abs { \chi_{\BB(n)}   - {\mathbb {E}}( \chi_{\BB(n)} \vert \AA_n  )
  }_p \leq 2 \abs{\chi}_\infty  \, \nu_\varphi (\BB(n))^{1/p}   \leq 2 \abs{\chi}_\infty  \, \left( c_\tau   \, e^{- n  \tau}
\right)^{1/p}.$$ It remains to prove the following estimate for some $\lambda > 0$: $$\label{esb2}
\abs { \chi_{\GG(n)} - {\mathbb {E}}( \chi_{\GG(n)} \vert \AA_n  )
  }_p \leq c \, e^{-n \lambda}.$$ We set $\phi:= \chi_{\GG(n)} - {\mathbb {E}}( \chi_{\GG(n)} \vert
\AA_n)$ and estimate $\abs
   {\phi_{\BB(n)}}_p$ and $\abs{\phi_{\GG(n)}}_p$. Observing that $\phi_{\BB(n)} =  - {\mathbb {E}}( \chi_{\GG(n)} \vert
\AA_n)$ on $\BB(n)$ and zero elsewhere, we deduce from (\[stardeux\]): $$\label{raz}
 \abs{\phi_{\BB(n)}}_p \leq \abs { {\mathbb {E}}( \chi_{\GG(n)} \vert
\AA_n)  }_{2p} \cdot \nu(\BB(n)) ^{1/2p} \leq \abs{\chi}_{2p} \cdot \left( c_\tau \, e^{- n  \tau} \right)^{1/2p}.$$ Concerning $\abs{\phi_{\GG(n)}}_p$, we have for every ${{\tilde \alpha}}\in
\GG(n)$: $$\label{lki}
  \phi_{\GG(n)}({{\tilde \alpha}}) = \int_{[{{\tilde \alpha}}]_n \cap \GG(n)} \left( \chi({{\tilde \alpha}})
-\chi ({{\tilde \beta}}) \right)  d\nu_{{\tilde \alpha}}({{\tilde \beta}})  + \chi({{\tilde \alpha}}) \cdot  \nu_{{\tilde \alpha}}([{{\tilde \alpha}}]_n \cap \BB(n)),$$ where $[{{\tilde \alpha}}]_n := [{\alpha}_0,\ldots,{\alpha}_{n-1}]$ and $\nu_{{\tilde \alpha}}$ is the conditional measure of $\nu_\varphi$ on $[{{\tilde \alpha}}]_n$. We deduce from $\chi =  \psi \circ {\omega}$, (\[starun\]) and the fact that $\psi$ is Hölder (say of exponent $h$): $$\forall {{\tilde \alpha}}\in \GG(n) \ , \ \abs{\phi_{\GG(n)}({{\tilde \alpha}})} \leq \left( 2 \, 
 c_\rho \, d^{-\rho n} \right)^h  + \abs{\chi}_\infty \cdot  \nu_{{\tilde \alpha}}([{{\tilde \alpha}}]_n \cap \BB(n)).$$ Integrating over $\GG(n)$ and using (\[stardeux\]), we obtain $\abs{\phi_{\GG(n)}}_p^p \leq d^{- \rho n h p} +  \abs{\chi}^p_\infty  \cdot  c_\tau \, e^{- n
 \tau}$ up to a multiplicative constant. Combining (\[raz\]) with that estimate, we get (\[esb2\]) as desired.

Proof of theorem B {#P1}
==================

Given $\theta < \theta_k$, theorem A yields a zero volume subset $\SS_\theta$ providing coding maps ${\omega}: \Sigma \to {\mathbb {C}\mathbb {P}}^k$ and invariant measures $\nu = {\omega}_* \nu_\varphi$ on ${\mathbb {C}\mathbb {P}}^k$. Now our aim is to show the

[ B:]{} There exists a zero volume subset $\HH \subset {\mathbb {C}\mathbb {P}}^k$ satisfying the following property. Let $\theta < \theta_k$ and $z \notin \SS_\theta \cup \HH$. Let $\varphi : \Sigma \to {\mathbb {R}}$ be an Hölder function satisfying $\tau_\theta(\varphi) > 0$ and ${\omega}: \Sigma \to {\mathbb {C}\mathbb {P}}^k$ provided by theorem A. Then $h_{{\omega}_* \nu_\varphi} (f) = h_{\nu_\varphi}(s)$.

We shall use the following Abramov-Rohlin’s formula [@AR]. We refer also to the article of Ledrappier-Walters [@LW], lemma 3.1. The statement written here is adapted to our context, the results in [@AR] and [@LW] are more general.

\[aroh\] Let ${\omega}: \Sigma \to {\mathbb {C}\mathbb {P}}^k$ be a measurable map satisfying $f \circ
 {\omega}= {\omega}\circ s$ and $\nu_\varphi$ be a Gibbs measure on $\Sigma$. Then the $f$-invariant measure $\nu = {\omega}_*\nu_\varphi$ satisfies: $$h_{\nu_\varphi}(s)= h_{\nu}(f) +  \lim_{n \to \infty} {1 \over n}
  \, H_{\nu_\varphi} (\AA_n {\, \vert \,}{\omega}^{-1}{\epsilon}) .$$

Let us specify the notations. Given a measurable partition $\xi$, we denote $H_{\nu_\varphi} (\AA_n
{\, \vert \,}\xi) = \int_{\Sigma} \, H_{\xi({{\tilde \alpha}})} (\AA_n) \, d \nu_\varphi
({{\tilde \alpha}})$, this is the conditional entropy of $\AA_n$ with respect to $\xi$. We recall that $H_{\xi({{\tilde \alpha}})} (\AA_n) = - \sum_{
C \in \AA_n}   \log
\nu_{\xi({{\tilde \alpha}})} (C) \, \nu_{\xi({{\tilde \alpha}})}(C)$, where $\xi({{\tilde \alpha}})$ is the atom of $\xi$ containing ${{\tilde \alpha}}$ and $\nu_{\xi({{\tilde \alpha}})}$ is the conditional measure of $\nu_\varphi$ on $\xi({{\tilde \alpha}})$. Finally, in the statement of theorem \[aroh\], ${\epsilon}$ stands for the partition of ${\mathbb {C}\mathbb {P}}^k$ into points.\
In view of theorem \[aroh\], theorem B can be reformulated as follows:

[ B’:]{} There exists a zero volume subset $\HH \subset {\mathbb {C}\mathbb {P}}^k$ satisfying the following property. Let $z \notin  \SS_\theta \cup  \HH$ and $\varphi : \Sigma \to {\mathbb {R}}$ be an Hölder function satisfying $\tau_\theta(\varphi) > 0$. Let ${\omega}: \Sigma \to {\mathbb {C}\mathbb {P}}^k$ provided by theorem A. Then $\lim_{n \to \infty} {1 \over n} \, H_{\nu_\varphi}(\AA_n {\, \vert \,}{\omega}^{-1}{\epsilon}) = 0$.

We follow for the proof the approach of Przytycki [@P] employed for ${\omega}$ boundary extensions of Riemann mappings defined on the unit disc in ${\mathbb {C}}$.

Preliminaries {#prel}
-------------

We deal in this subsection with lemmas related to Misiurewicz-Przytycki’s inequality [@MP]. We shall work with an iterate $g : = f^q$. The first lemma concerns the tree of preimages of points. Let $w \in {\mathbb {C}\mathbb {P}}^k$ and $G_m \subset g^{-m}(w)$. Our aim is to estimate the cardinal of $G_m$ in terms of a branching condition. For $1
\leq j \leq m$ we set $G_{m-j}  := g^j (G_m)$ and say that $p \in G_{m-j}$ is *branching* if ${\textsf {Card }}g^{-1}(p) \cap G_{m-j+1}   \geq 2$. Let also $$\forall y \in G_m \ , \  \TT_m(y) := \{  \, 0 \leq j \leq m-1 \, , \, g^{j+1} (y) \textrm{ is branching}  \, \} .$$

\[trr\] If ${\textsf {Card }}\TT_m(y) \leq s$ for every $y \in G_m$, then ${\textsf {Card }}G_m \leq d^{qks}$.

[ [<span style="font-variant:small-caps;">Proof:</span> ]{}]{}We proceed by induction on $m$. The lemma is clear when $m=1$, since $s \leq 1$ in that case. Assume now that the assertion holds for some $m \geq 1$. Let $G_{m+1}
\subset g^{-(m+1)}(w)$ satisfying ${\textsf {Card }}\TT_{m+1}(y) \leq s$ for every $y \in G_{m+1}$. We distinguish two cases. If $w$ is not branching, then ${\textsf {Card }}\TT_{m}(y) =  {\textsf {Card }}\TT_{m+1}(y) \leq s$ for every $y \in G_{m+1}$, hence ${\textsf {Card }}G_{m+1} \leq d^{qks}$ by induction. If $w$ is branching, let $\{ w_1, \ldots , w_r \} := g^{-1}(w) \cap G_1$ (with $2 \leq r \leq
d^{qk}$) and $G_m^i := \{ y \in G_{m+1} \, , \,  g^m(y) = w_i
\}$. Observing that ${\textsf {Card }}\TT_{m}(y) \leq s-1$ for every $y \in
G_m^i$ and using the induction, we get ${\textsf {Card }}G_m^i \leq d^{qk(s-1)}$. That implies ${\textsf {Card }}G_{m+1} \leq r d^{qk(s-1)} \leq d^{qks}$ as desired. [\
]{}

We shall need two other lemmas. Let ${{\rm Jac \,  }}g$ be the smooth function ${\mathbb {C}\mathbb {P}}^k \to {\mathbb {R}}^+$ satisfying $g^*{\omega}^k = {{\rm Jac \,  }}g \cdot {\omega}^k$, where ${\omega}^k$ denotes the standard volume form of ${\mathbb {C}\mathbb {P}}^k$. Note that $\{ {{\rm Jac \,  }}g = 0 \}$ coincides with the critical set $\CC_g$ of $g$. For every $\delta > 0$, let $\CC_g(\delta) := \{ {{\rm Jac \,  }}g \leq \delta \}$. We set $L := \abs{{{\rm Jac \,  }}g}_\infty + 1$, $L' := \abs { d \, {{\rm Jac \,  }}g}_\infty + 1$, $a < 1$ and ${\gamma}< 1$.\
Let $\delta_{\gamma}:= \left( {a \over L} \right)
 ^{1/{\gamma}}$, and for every $y \in {\mathbb {C}\mathbb {P}}^k$, $$\HH_m(y) := \left \{ \, 0 \leq i \leq m-1 \, , \, g^i(y) \in
 \CC_g(\delta_{\gamma}) \, \right\}  .$$ Let $\HH_m[{\gamma}] := \left \{  \, y \in {\mathbb {C}\mathbb {P}}^k \, , \,   {\textsf {Card}}\, \HH_m(y)
 > m {\gamma}\,  \right \}$ and $\HH[{\gamma}] := \limsup_m g^m(\HH_m[{\gamma}])$. We shall write $\HH^q[{\gamma}]$ for $\HH[{\gamma}]$ to insist on the dependence on $q$.

\[fiber1\] We have ${\textsf {vol}}\ \HH^q[{\gamma}]  = 0$.

[ [<span style="font-variant:small-caps;">Proof:</span> ]{}]{}For every $y \in
\HH_m[{\gamma}]$, we get ${{\rm Jac \,  }}g^m (y) \leq (\delta_{\gamma}) ^{{\gamma}m}
L^{(1-{\gamma})m}  \leq (\delta_{\gamma}) ^{{\gamma}m} L^m = a^m$. That implies ${\textsf {vol}}\ g^m(\HH_m[{\gamma}]) \leq  a^m \, {\textsf {vol}}\
\HH_m[{\gamma}]  \leq a^m$. Hence ${\textsf {vol}}\ \HH^q[{\gamma}] \leq c \,  a^m$ for every $m \geq 1$, that completes the proof of the lemma. [\
]{}

The next lemma follows from the compacity of ${\mathbb {C}\mathbb {P}}^k$:

\[fifiber\] There exists $\kappa({\gamma}) = \kappa({\gamma},q) < {\delta_{\gamma}} / 2L'$ satisfying: $$\label{sep}
 \forall (y , y') \in {\mathbb {C}\mathbb {P}}^k \setminus \CC_g(\delta_{\gamma}/2) \ , \   d(y,y') \leq \kappa({\gamma}) \,  \textrm{ and } \, y \neq y' \, \Longrightarrow \, g(y) \neq g(y').$$

Using that definition of $\kappa({\gamma})$, we define for every $y \in {\mathbb {C}\mathbb {P}}^k$: $$\FF_m(y) :=  \left \{   0 \leq i \leq m-1 \, , \, \exists h \in {\mathbb {C}\mathbb {P}}^k \, , \,
d(g^i(y),h) \leq \kappa({\gamma}) \, , \,   g^i(y) \neq h    \textrm{ and }
g^{i+1}(y) = g(h) \right \} .$$

\[fiber\] For every $z \notin \HH^q[{\gamma}]$ there exists $m({\gamma}) = m({\gamma},q,z)\geq 1$ such that $$\forall m \geq m({\gamma}) \ , \ \forall y \in g^{-m}(z) \ , \ {\textsf {Card }}\FF_m(y) \leq {\gamma}m .$$

[ [<span style="font-variant:small-caps;">Proof:</span> ]{}]{}Let $m({\gamma}) \geq 1$ be such that $z \notin g^m(\HH_m[{\gamma}])$ for every $m \geq m({\gamma})$. By definition of $\HH_m[{\gamma}]$, we have ${\textsf {Card }}\HH_m(y) \leq {\gamma}m$ for every $m \geq m({\gamma})$ and $y \in g^{-m}(z)$. Hence it suffices to prove $\FF_m(y) \subset
\HH_m(y)$ to complete the proof of the lemma.

Let $i \in \FF_m(y)$. From the definition of $\kappa({\gamma})$, either $g^i(y)$ or $h$ is in $\CC_g(\delta_{\gamma}/2)$. That implies that $g^i(y)$ and $h$ are both in $\CC_g(\delta_{\gamma})$, because $\abs{ {{\rm Jac \,  }}g( g^i(y) ) - {{\rm Jac \,  }}g ( h ) } \leq L' d
(g^i(y),h) \leq L' \kappa({\gamma}) \leq {\delta_{\gamma}} /2$. Hence $i \in
\HH_m(y)$ as desired.

Proof of theorem B’ {#proof-of-theorem-b}
-------------------

Let $({\gamma}_p)_{p \geq 1}$ satisfying $\lim_p {\gamma}_p = 0$ and let $\HH := \cup_{p,q \geq 1} \HH^q[{\gamma}_p]$. That subset has zero volume by lemma \[fiber1\]. Let $\theta < \theta_k$ and fix $z \notin   \SS_\theta \cup  \HH$. Let $\varphi : \Sigma \to {\mathbb {R}}$ be an Hölder function satisfying $\tau_\theta(\varphi) > 0$ and ${\omega}= \lim_n z_n : \Sigma \to {\mathbb {C}\mathbb {P}}^k$ be a coding map given by theorem A. Let also $n_z$ provided by that theorem. We establish in this subsection: $$\label{larss}
\forall p, q \geq 1 \ , \ \limsup_{n \to + \infty} {1 \over n} \, H_{\nu_\varphi}(\AA_n {\, \vert \,}{\omega}^{-1}{\epsilon})
\leq 6 {\gamma}_p \log d^k + {1 \over q} \log 2.$$ That implies $\lim_n {1 \over n} \, H_{\nu_\varphi}(\AA_n
{\, \vert \,}{\omega}^{-1}{\epsilon}) = 0$ as desired.\
Let us fix $p,q \geq 1$. We consider $\kappa({\gamma}_p)$ and $m({\gamma}_p)$ given by lemmas \[fifiber\] and \[fiber\] (they depend on $q$ and $z$). Let $n_1 \geq n_z$ be such that (see (\[starun\]) and (\[stardeux\])): $$\label{vco} 
 \nu_\varphi(\GG(n_1)) > 1 - {\gamma}_p \ \textrm{ and } \  \forall n \geq n_1 \ , \ \forall {{\tilde \alpha}}\in \GG(n_1)   \ , \  d(z_n({{\tilde \alpha}}) , {\omega}({{\tilde \alpha}})) < \kappa({\gamma}_p) / 4 .$$ By Birkhoff’s theorem, there exist $E \subset \Sigma$, $m_1 \geq 1$ such that $\nu_\varphi(E) > 1 - {\gamma}_p$ and $$\label{pmmk} 
\forall {{\tilde \alpha}}\in E \ , \ \forall m \geq m_1 \, , \,  {\textsf {Card }}\{  \, 0 \leq i \leq m-1 \, , \, s^{qi} ({{\tilde \alpha}}) \in
\GG(n_1)   \, \}  > (1 - 2{\gamma}_p)m .$$ We set $n_{p,q} := n_1 + q m_1 + q  m({\gamma}_p)$.\
We introduce the partitions $\QQ := \{  E , E^c  \}$ and $\PP := {\omega}^{-1}{\epsilon}\vee  \QQ$. The next lemma allows to replace $H(\AA_n {\, \vert \,}{\omega}^{-1}{\epsilon})$ by $H(\AA_n {\, \vert \,}\PP)$ for the proof of (\[larss\]) (we denote $H$ for $H_{\nu_\varphi}$).

\[low\] $H(\AA_n {\, \vert \,}{\omega}^{-1}{\epsilon}) \leq H ( \QQ  ) + H (\AA_n  {\, \vert \,}\PP )$.

[ [<span style="font-variant:small-caps;">Proof:</span> ]{}]{}We use twice $H(\zeta \vee \xi {\, \vert \,}\xi') = H(\zeta {\, \vert \,}\xi')
+ H( \xi  {\, \vert \,}\xi' \vee \zeta )$ ([@KH], section 4.3) to get: $$H ( \AA_n \vee  \QQ {\, \vert \,}{\omega}^{-1}{\epsilon})   =     H (  \AA_n {\, \vert \,}{\omega}^{-1}{\epsilon})  + H  (\QQ  {\, \vert \,}{\omega}^{-1}{\epsilon}\vee  \AA_n   )  
                                            =     H ( \QQ  {\, \vert \,}{\omega}^{-1}{\epsilon}) + H (\AA_n {\, \vert \,}\PP ).$$ We deduce $H (  \AA_n {\, \vert \,}{\omega}^{-1}{\epsilon}) \leq  H ( \QQ {\, \vert \,}{\omega}^{-1}{\epsilon}) +  H (\AA_n {\, \vert \,}\PP ) \leq H ( \QQ  ) + H (\AA_n  {\, \vert \,}\PP )$.[\
]{}

We now write $$\label{hen}
 H (\AA_n {\, \vert \,}\PP )  =   \int_{E}   \, H_{\PP({{\tilde \alpha}})} (\AA_n) \, d
 \nu_\varphi ({{\tilde \alpha}}) + \int_{E^c}   \, H_{\PP({{\tilde \alpha}})} (\AA_n) \, d
 \nu_\varphi ({{\tilde \alpha}})$$ and estimate those integrals.

\[hen1\] For every $n \geq 0$, $\int_{E^c} \, H_{\PP({{\tilde \alpha}})} (\AA_n) \, d
\nu_\varphi ({{\tilde \alpha}}) \leq {\gamma}_p  \log d^{kn}$.

The proof comes from $H_{\PP({{\tilde \alpha}})} (\AA_n) \leq \log {\textsf {Card }}\AA_n = \log d^{kn}$ and $\nu_\varphi(E^c)\leq {\gamma}_p$. The integral over $E$ is more delicate. We shall prove in next subsection:

\[hen2\] For every $n \geq n_{p,q}$, $\int_{E} \, H_{\PP({{\tilde \alpha}})} (\AA_n) \, d
\nu_\varphi ({{\tilde \alpha}}) \leq \log d^{k(5{{\gamma}_p} n + 2n_1 + q)} + {n \over q} \log 2$.

For now, the three previous lemmas and (\[hen\]) imply: $$\forall n \geq n_{p,q} \ , \  H (\AA_n {\, \vert \,}{\omega}^{-1}{\epsilon}) \leq
H ( \QQ  ) +   {\gamma}_p  \log d^{kn} + \log d^{k(5{{\gamma}_p} n + 2 n_1 + q)}  + {n \over q} \log 2  .$$ That yields $\limsup_{n \to \infty} {1 \over n} \, H(\AA_n {\, \vert \,}{\omega}^{-1}{\epsilon}) \leq  6 {{\gamma}_p} \log d^k + {1 \over q} \log 2$, which is (\[larss\]).

Proof of lemma \[hen2\] {#P2}
-----------------------

We recall that ${\omega}= \lim_n z_n$ and $\PP =
{\omega}^{-1}{\epsilon}\vee  \{  E , E^c \}$. The proof of lemma \[hen2\] consists in studying the size of the fibers of ${\omega}$. For every $x \in
{\mathbb {C}\mathbb {P}}^k$, we set $E(x) :=  {\omega}^{-1} \{ x \}  \cap E$. Let $\AA_n(x)  := \pi_n  \big (
E(x)  \big)$, where $\pi_n : \Sigma \to \AA_n$ denotes the projection $\pi_n({{\tilde \alpha}}) := [{\alpha}_0, \ldots , {\alpha}_{n-1}]$. For every $C \in
\AA_{n_1}$ and $n \geq n_1$, we set $\AA_n^C(x) := \AA_n(x) \cap \pi_{n_1}^{-1} (C)$.\
We claim that lemma \[hen2\] is a consequence of the following proposition.

\[SN\] $\forall x \in {\mathbb {C}\mathbb {P}}^k \, , \, \forall n \geq n_{p,q}  \, , \, {\textsf {Card }}\AA_n(x) \leq  d^{k(5{{\gamma}_p} n + 2 n_1 + q)} \cdot 2^{n/q}$.

Observe indeed that ${\textsf {Card }}\AA_n(x)$ is the cardinal of the partition of $E(x)$ induced by the set of $n$-cylinders $\AA_n$. Proposition \[SN\] therefore implies $H_{E(x)} (\AA_n) \leq \log d^{k(5 {{\gamma}_p} n +  2 n_1 + q )} + {n
 \over q} \log 2$. Lemma \[hen2\] then follows from (note that $\PP({{\tilde \alpha}}) = E(x)$ for every ${{\tilde \alpha}}\in E(x)$): $$\int_{E} \, H_{\PP({{\tilde \alpha}})} (\AA_n) \, d \nu_\varphi ({{\tilde \alpha}}) = \int_{{\mathbb {C}\mathbb {P}}^k} \, \left[ \, \int_{E(x)} \, H_{E(x)} (\AA_n) \, d \nu_{E(x)} ({{\tilde \alpha}}) \, \right] \, d ({\omega}_*\nu_\varphi) (x)$$ and the fact that $\nu_{E(x)}$ and ${\omega}_*\nu_\varphi$ are probability measures on $E(x)$ and ${\mathbb {C}\mathbb {P}}^k$ respectively.\
Now we show proposition \[SN\]. We shall need lemmas \[hhh\] and \[hgt\] below. We recall that $g = f^q$ and $n_{p,q} = n_1 + q m_1 + q  m({\gamma}_p)$. For every $n \geq
  n_{p,q}$ we set $m := [(n-n_1)/q]$. We therefore have $n = m q + n_1 + r$ for some $0 \leq r \leq
  q-1$, and $m \geq \max \{ m_1 , m({\gamma}_p) \}$. We fix $x \in {\mathbb {C}\mathbb {P}}^k$ and define for every $(a,b) \in \AA_n(x) = \pi_n(E(x))$: $$\LL_m(a,b) := \{ \,  0 \leq i \leq m-1 \, , \, d( g^i ( z_n (a) )  , g^i ( z_n (b) )  ) > \kappa({\gamma}_p) / 2  \,  \}.$$ The next lemma is established in subsection \[prooo\]. The introduction of the iterates of $f$ (namely the definition of $E$, see (\[pmmk\])) will be crucial for the proof.

\[hhh\] For every $n \geq n_{p,q}$ and $(a,b)  \in \AA_n(x)$, ${\textsf {Card }}\LL_m(a,b) \leq 4 {\gamma}_p m$.

We fix for the sequel $C \in \AA_{n_1}$ and $a = [a_0, \ldots , a_{n-1}] \in \AA_n^C(x)$ (if not empty). We also fix $\Delta \subset \{ 0 , \ldots , m-1 \}$ satisfying ${\textsf {Card }}\Delta \leq 4 {\gamma}_p m$. Note that by setting $$\AA_n^C(x,\Delta) := \big \{ \ b  \in \AA_n^C(x) \, , \, \LL_m(a,b)  \subset \Delta \ \big \} ,$$ we have $\AA_n^C(x) = \bigcup_{{\textsf {Card }}\Delta \leq 4 {\gamma}_p m} \, \AA_n^C(x,\Delta)$ (see lemma \[hhh\]). That decomposition will be useful at the end of this subsection.\
Let us observe that $z_n(\AA_n^C(x,\Delta)) \subset f^{-n}(z)$ and $n=mq + n_1 + r$. That implies $$g^m (   z_n  (  \AA_n^C(x,\Delta) )   ) \subset  f^{-(n_1+r)}(z).$$ Given $w \in f^{-(n_1+r)}(z)$, we define $G_m(w) := z_n(\AA_n^C(x,\Delta))  \cap g^{-m}(w)$. Our aim is to prove ${\textsf {Card }}G_m(w)  \leq d^{k \cdot 5
  {\gamma}_p n}$.\
We apply for that purpose lemma \[trr\] with $G_m = G_m(w)$. Let us recall the definitions: $G_{m-i}(w)  := g^i ( G_m (w))$ for $1 \leq i \leq m$ and we say that $p \in G_{m-i}(w)$ is branching if ${\textsf {Card }}g^{-1}(p) \cap G_{m-i+1}(w)  \geq 2$. For $y \in G_m(w)$, we define the subsets of $\{  0 , \ldots , m-1\}$: $$\FF_m(y) =  \left \{    \exists h \in {\mathbb {C}\mathbb {P}}^k \, , \,
d(g^i(y),h) \leq  \kappa({\gamma}_p) \, , \,   g^i(y) \neq h    \textrm{ and }
g^{i+1}(y) = g(h) \right \}  ,$$ $$\TT_m(y) = \{   g^{i+1}(y) \textrm{ is
  branching} \} .$$ The next lemma will be proved in subsection \[prooo\].

\[hgt\] For $n \geq n_{p,q}$ and $y \in G_m(w)$, we have $\TT_m(y) \subset \Delta \cup \FF_m(y)$.

Now let us deduce the desired estimate for ${\textsf {Card }}G_m(w)$. Since $z \notin \HH^q({\gamma}_p)$ and $m \geq m({\gamma}_p)$, lemma \[fiber\] yields ${\textsf {Card }}\FF_m(y) \leq {{\gamma}_p} m$. We therefore obtain ${\textsf {Card }}\TT_m(y) \leq  5 {\gamma}_p m$ from lemma \[hgt\]. Finally, by applying lemma \[trr\] with $s=5{\gamma}_p m$, we get ${\textsf {Card }}G_m(w) \leq d^{qk \cdot 5 {\gamma}_p m} \leq d^{k \cdot 5   {\gamma}_p n}$.\
Let us complete the proof of proposition \[SN\]. From the observation $$\AA_n^C(x,\Delta) = \bigcup_{w \in f^{-(n_1+r)}(z)} G_m(w) \,  ,$$ we get ${\textsf {Card }}\AA_n^C(x,\Delta)    \leq d^{k \cdot (5
  {\gamma}_p n + n_1 + q)}$. Hence ${\textsf {Card }}\AA_n(x) \leq  d^{k \cdot (5 {\gamma}_p n + n_1 + q )}  d^{k
  n_1} 2^m$ by taking different $C$ and $\Delta$. The desired upper bound follows using $m \leq n / q$.

Proof of lemmas \[hhh\] and \[hgt\] {#prooo}
-----------------------------------

Let us begin with the <span style="font-variant:small-caps;">proof of lemma \[hhh\]</span>. Let $n \geq n_{p,q}$ and $(a,b) \in \AA_n(x)=\pi_n(E(x))$. We want to prove ${\textsf {Card }}\LL_m(a,b) \leq 4 {\gamma}_p m$. Assume to the contrary that ${\textsf {Card }}\LL_m(a,b) > 4 {\gamma}_p m$. Let $({{\tilde \alpha}}, {{\tilde \beta}}) \in E(x)$ such that $\pi_n({{\tilde \alpha}}) = a$ and $\pi_n({{\tilde \beta}}) = b$. Using (\[pmmk\]), the definition of $\LL_m(a,b)$ and ${\textsf {Card }}\LL_m(a,b) > 4 {\gamma}_p m$, there exists $0 \leq i \leq m-1$ satisfying: $$\label{znh} 
 \delta_n := d( g^i ( z_n ({{\tilde \alpha}}) )  , g^i ( z_n ({{\tilde \beta}}) )  ) > \kappa({\gamma}_p) / 2  \ \textrm{ and }  \ s^{qi}({{\tilde \alpha}}) , s^{qi}({{\tilde \beta}}) \in \GG(n_1).$$ Now let us fix $l \geq 1$. We have (use $g^i \circ z_n = z_{n-qi} \circ
s^{qi}$ for the second line): $$\delta_n \leq d( g^i ( z_n ({{\tilde \alpha}}) )  , g^i ( z_{l+qi} ({{\tilde \alpha}}) )  ) + d( g^i (
z_{l+qi} ({{\tilde \alpha}}) )  , g^i ( z_{l+qi} ({{\tilde \beta}}) )  ) + d( g^i ( z_{l+qi}
({{\tilde \beta}}) )  , g^i ( z_n ({{\tilde \beta}}) )  )$$ $$= d( z_{n-qi} (  s^{qi}({{\tilde \alpha}}) )  ,  z_l (s^{qi } ({{\tilde \alpha}}) )  ) + d(
g^i ( z_{l+qi} ({{\tilde \alpha}}) )  , g^i ( z_{l+qi} ({{\tilde \beta}}) )  ) + d( z_l
(s^{qi}({{\tilde \beta}}) )  ,  z_{n-qi} ( s^{qi} ({{\tilde \beta}}) )  )  .$$ Now letting $l \to + \infty$, we obtain $$\delta_n \leq d( z_{n-qi} (  s^{qi}({{\tilde \alpha}}) )  ,  {\omega}(s^{qi } ({{\tilde \alpha}}) )  ) + d( g^i ( {\omega}({{\tilde \alpha}}) )  , g^i ( {\omega}({{\tilde \beta}}) )  ) + d( {\omega}(s^{qi}({{\tilde \beta}}) )  ,  z_{n-qi} ( s^{qi} ({{\tilde \beta}}) )  )  .$$ But the middle term vanishes since ${\omega}({{\tilde \alpha}}) = {\omega}({{\tilde \beta}})$ equal to $x$. Hence $$\delta_n \leq  d( z_{n-qi} (  s^{qi}({{\tilde \alpha}}) )  ,  {\omega}(s^{qi } ({{\tilde \alpha}}) )  ) + d( {\omega}(s^{qi}({{\tilde \beta}}) )  ,  z_{n-qi} ( s^{qi} ({{\tilde \beta}}) )  )  .$$ We now use (\[vco\]) with $s^{qi}({{\tilde \alpha}}) , s^{qi}({{\tilde \beta}}) \in \GG(n_1)$ (note that $n-qi \geq n-qm \geq  n_1$) to get $$\delta_n \leq  \kappa({\gamma}_p) / 4 + \kappa({\gamma}_p) /4 = \kappa({\gamma}_p) / 2.$$ That contradicts the first part of (\[znh\]) and proves lemma \[hhh\].\
We now deal with the <span style="font-variant:small-caps;">proof of lemma \[hgt\]</span>. Let $w \in f^{-(n_1+r)}(z)$ and $y \in G_m(w)$. Let also $i \in \TT_m(y)$: that means that $g^{i+1}(y)$ is branching. Hence there exists $y' \in G_m(w)$ such that $g^i(y) \neq  g^i(y')$ and $g^{i+1}(y) = g^{i+1}(y')$. Let $(b,b') \in \AA_n^C(x,\Delta)$ such that $y = z_n(b)$ and $y' =
z_n(b')$. Now we assume that $i \notin \Delta$ and we prove that $i \in \FF_m(y)$. Let us write (recall that some $a \in \AA_n^C(x)$ has been fixed at this stage): $$d( g^i (y) , g^i (y') ) \leq   d \left( g^i(z_n (b)) , g^i (z_n(a)) \right)  + d \left ( g^i(z_n(a)) , g^i (z_n (b')) \right) .$$ Using $\LL_m(a,b)  , \LL_m(a,b')  \subset \Delta$ (from $(b,b') \in \AA_n^C(x,\Delta)$) and $i \notin \Delta$, we obtain that $d( g^i (y) , g^i (y') ) \leq   \kappa({\gamma}_p)$. We finally get $i \in \FF_m(y)$ by taking $h = g^i(y')$ in the definition of $\FF_m(y)$. That completes the proof of lemma \[hgt\].

Proofs of theorems C and D {#cetd}
==========================

We prove in this section the following result (we set $x^+ := \max \{  x, 0\}$).

[ D:]{} Let $f$ be an holomorphic endomorphism of ${\mathbb {C}\mathbb {P}}^k$ of degree $d \geq 2$ and $m$ be an ergodic $f$-invariant measure. Let $\Lambda_1 > \ldots >
\Lambda_q \geq - \infty$ denote the distinct Lyapunov exponents of $m$ and $(m_i)_{1 \leq i \leq q}$ their multiplicities. We assume that $q \geq 2$. Then for every $2 \leq j \leq q$, the metric entropy of $m$ satisfies $$h_m  \leq \log d^{m_1 + \ldots + m_{j-1}}  + 2 m_j \Lambda_j^+ +
\ldots + 2 m_q \Lambda_q^+ .$$

That result extends Margulis-Ruelle’s inequality $h_m \leq  2
m_1 \Lambda_1^+ + \ldots + 2 m_q \Lambda_q^+$. We recall that theorem D was proved by de Thélin [@dT] assuming $\Lambda_q > -\infty$. Here we extend it to $\Lambda_q \geq -
\infty$. Let us see before how theorem D implies the

[ C:]{} If $h_m > \log d^{k-1}$, then $\Lambda_1 > \ldots >
\Lambda_q \geq {1 \over 2} (h_m - \log d^{k-1} )$.

When $m$ has $q \geq 2$ different exponents, theorem C follows from the inequality $\Lambda_q^+ \geq
  {1 \over 2 m_q}(h_m - \log d^{k-m_q})$ given by theorem D, and from the observation $$(1-{1 \over  m_q})h_m \leq  (1-{1 \over  m_q})\log d^k = \log
  d^{k-1} - {1 \over m_q}\log d^{k-m_q} ,$$ which implies ${1 \over  m_q} (h_m - \log d^{k-m_q}) \geq h_m - \log d^{k-1}$. When $m$ has a single exponent $\Lambda$, we use the inequality $\Lambda^+ \geq {1 \over 2k} h_m$, given by Margulis-Ruelle’s inequality, and the observation $(1-{1 \over  k}) h_m \leq  \log
  d^{k-1}$ (take the preceding estimate with $m_q = k$).

Preliminaries {#ospe}
-------------

Let us set $\Lambda_q = - \infty$ to fix the ideas. We can assume that $\Lambda_1 > 0$, otherwise $h_m = 0$ by Margulis-Ruelle’s inequality, and theorem D is obvious. We fix $1 \leq u \leq q-1$ such that $\Lambda_1 >
  \ldots > \Lambda_u > 0 \geq \Lambda_{u+1} > \ldots >
  \Lambda_q$. It clearly suffices to establish theorem D for $2 \leq j \leq u+1$. Let $p := m_{u+1} + \ldots +
m_q$ and $q_j := m_{j} + \ldots + m_u$ for $1 \leq j \leq u$.\
Let $(\tau_x)_{x \in {\mathbb {C}\mathbb {P}}^k}$ be a family of charts satisfying $\tau_x : {\mathbb {D}}^k(\rho_0) \to {\mathbb {C}\mathbb {P}}^k$, $\tau_x(0)=x$ and such that $\tau_x^{\pm 1}$ have bounded derivatives. Let $f_x :=
\tau_{f(x)}^{-1} \circ f \circ \tau_x$ and $f_x^n := f_{f^{n-1}(x)}
\circ \ldots \circ f_x$. These mappings are defined on a neighbourhood of the origin in ${\mathbb {C}}^k$.

Let ${\textsf {O}}:= \{ \hat x = (x_n)_{n \in {\mathbb {Z}}} \,
   , \, x_{n+1} = f(x_n) \}$ be the set of orbits and $\hat f$ be the left shift acting on ${\textsf {O}}$. We let $\pi(\hat x) :=
   x_0$ and $\hat m$ be the $\hat f$-invariant measure on ${\textsf {O}}$ satisfying $\hat m (\pi^{-1}A) = m(A)$ for every borel set $A \subset {\mathbb {C}\mathbb {P}}^k$. We set $\hat x_n :=
   {\hat f}^n (\hat x)$ for every $n \in {\mathbb {Z}}$ and $\hat x_0 = \hat x$. We say that $\varphi_{\epsilon}: {\textsf {O}}\to [1, +\infty[$ is ${\epsilon}$-tempered if $e^{-{\epsilon}} \varphi_{\epsilon}\leq \varphi_{\epsilon}\circ \hat f  \leq   e^{{\epsilon}} \varphi_{\epsilon}$.\
The following result is due to Newhouse (see [@N1], theorem 2.3). It is adapted to our context since it provides an Oseledec-Pesin’s theorem in the case $\Lambda_q = -
\infty$. The statement we give here focus on the non negative part of the spectrum: analog properties hold for the negative part, but we shall not need them. For a linear subspace $E \subset
{\mathbb {C}}^k$, we denote $E^* := E \setminus \{ 0 \}$. In what follows, $i$ ranges $\{ 1, \ldots , u \}$.

\[newhouse\] For $\hat m
  {\textrm{-a.e.}}$ $\hat x$, there exist splittings ${\mathbb {C}}^k
  = \oplus_{i=1}^{u}  E_i(\hat x) \oplus E_{u+1}(\hat x)$ such that:

1.  $d_0 f_x : E_i(\hat x) \to E_i(\hat x_1)$ is invertible and $d_0 f_x (E_{u+1}(\hat x)) \subset E_{u+1}(\hat x_1)$.

2.  $\forall v \in E_i(\hat x) ^*$, $\lim {1 \over n} \log \abs{d_0 f_x^n(v)} = \Lambda_i$, and $\forall v \in E_{u+1}(\hat x) ^*$, $\lim {1 \over n} \log \abs{d_0 f_x^n(v)} \leq 0$.

There exist $C : {\textsf {O}}\to GL_k({\mathbb {C}})$ and an ${\epsilon}$-tempered function $\varphi_{\epsilon}$ such that:

1.  $C_{\hat x}$ sends $\oplus_{i=1}^{u} {\mathbb {C}}^{m_i} \oplus {\mathbb {C}}^p$ to $\oplus_{i=1}^u E_i(\hat x) \oplus E_{u+1}(\hat x)$ and $\abs v \leq \abs {C_{\hat x}(v)} \leq \varphi_{\epsilon}(\hat x) \abs{v}$.

2.  $D_{\hat x} := C_{\hat f (\hat x)} \circ d_0 f_x \circ C_{\hat x}^{-1}$ is a block diagonal map $(D_{\hat x}^1 , \ldots , D_{\hat x}^{u+1} )$.

3.  $\forall v \in {\mathbb {C}}^{m_i}$, $e^{\Lambda_i - {\epsilon}} \abs{v} \leq \abs {D_{\hat x}^i (v)} \leq  e^{\Lambda_i + {\epsilon}} \abs{v}$ and $\forall v \in {\mathbb {C}}^p$, $\abs{D_{\hat x}^{u+1} (v)} \leq
      e^{ {\epsilon}} \abs{v}$.

We set $\zeta_{\hat x} := \tau_{x_0} \circ C_{\hat
  x}^{-1}$ and $g_{\hat x} := \zeta_{\hat x_1}^{-1} \circ f \circ \zeta_{\hat
  x}$. Observe that $\zeta_{\hat x} : {\mathbb {D}}^k(\rho_0) \to
  {\mathbb {C}\mathbb {P}}^k$ and $g_{\hat x}(0) = 0$, $d_0 g_{\hat x} =
D_{\hat x}$. The following lemma holds up to multiply $\varphi_{\epsilon}$ and divide $\rho_0$ by a multiple of $1 + \abs {d f}_\infty
  + \abs {d^2 f}_\infty$ depending on the derivatives of the $\tau_x^{\pm 1}$’s.

\[poli\] For every $r \leq \rho_0$, we have:

1.  $\forall (u,v) \in {\mathbb {D}}^k(r)$, $\varphi_{\epsilon}^{-1}(\hat x) \abs{u-v} \leq d(\zeta_{\hat x}(u),\zeta_{\hat x}(v)) \leq  2 \abs{u-v}$.

2.  The map $g_{\hat x}$ is well defined from ${\mathbb {D}}^k(r)$ to ${\mathbb {D}}^k(r \varphi_{\epsilon}(\hat x_1))$.

3.  $\forall w \in {\mathbb {D}}^k(r)$, $\abs{ d_w g_{\hat x} - d_0 g_{\hat x} } \leq r \varphi_{\epsilon}(\hat x_1) $.

The proof of that lemma is left to the reader. We set for the sequel $\varphi_0 \geq 1$ such that $\widehat \Omega := \{ \varphi_{\epsilon}\leq
 \varphi_0 \}$ satisfies $\hat m (\widehat \Omega) \geq 9/10$. Now our aim is to introduce the entropy of $m$. Let $d_n$ be the distance on ${\mathbb {C}\mathbb {P}}^k$ defined by $d_n(x,y) := \max_{0 \leq j \leq n-1} d(f^j(x),f^j(y))$ and let $B_n(x,r) := \{ y \in {\mathbb {C}\mathbb {P}}^k \, , \,  d_n(x,y)  <  r  \}$. Brin-Katok’s theorem [@BK] asserts that for $m$-a.e. $x\in {\mathbb {C}\mathbb {P}}^k$, we have: $$\sup_{r > 0} \,  \liminf_{n \to +\infty} \,  - {1 \over n} \log m (B_n(x,r)) = h_m .$$ We shall only need: there exist $r_{\epsilon}(x) > 0$ and $n_{\epsilon}(x) \geq 0$ satisfying $$\label{entbk}
\forall  r \leq  r_{\epsilon}(x) \, , \, \forall  n \geq n_{\epsilon}(x) \, , \,
m(B_n(x,r)) \leq e^{-n(h_m - {\epsilon})} .$$ We set $r_0 > 0$ and $n_0 \geq 1$ such that $\BB := \{ r_{\epsilon}\geq r_0 \, , \, n_{\epsilon}\leq n_0  \} $ satisfies $m(\BB) > 9/10$. For every $n \geq
n_0$, we fix a maximal $r_0$-separated subset $\EE_n$ (for the distance $d_n$) in $\pi(\widehat \Omega) \cap
\BB$. We have ${\textsf {Card }}\EE_n \geq e^{n(h_m-2{\epsilon})}$ by using (\[entbk\]).

Proof of theorem D
------------------

The proof relies on the following proposition (we set $q_{u+1} := 0$). We recall that it suffices to establish theorem D for $2 \leq j \leq u+1$.

\[danm\] Let $n \geq n_0$, $x \in \EE_n$ and ${\gamma}_0 \leq 1$. For every $2 \leq j \leq u+1$, there exists a neighbourhood $U_x^j$ of the origin in ${\mathbb {D}}^{p+q_j}$ and a mapping $\Psi^j_x : U_x^j \to {\mathbb {C}\mathbb {P}}^k$ (depending on $n$) which satisfies the following properties:

1.  $\Psi^j_x(0) = x$ and ${{\rm Lip \, }}\Psi^j_x \leq {\gamma}_0$.

2.  ${\textsf {diam }}f^i
      (\Psi^j_x) \leq e^{-n{\epsilon}}$ for every $0 \leq i \leq n-1$.

3.  ${\textsf {vol}}\ \Psi^j_x \geq e^{- n(2m_{j} \Lambda_{j} + \ldots +
      2m_u \Lambda_u)} e^{-8 k n {\epsilon}}$ for $2 \leq j \leq u$, and ${\textsf {vol}}\ \Psi^{u+1}_x \geq e^{-8 k n {\epsilon}}$.

Let us assume proposition \[danm\] and complete the proof of theorem D. The following arguments were employed in [@dT], we give them for reader’s convenience. Let $2 \leq j \leq u+1$ and $\Psi^j := \cup_{x
  \in \EE_n}  \Psi_x^j$. Taking affine charts, we can work on ${\mathbb {C}}^k$ and assume that the $\Psi^j_x$’s are graphs above $\PP = 
{\mathbb {C}}^{p+q_j}$. Let ${\sigma}: {\mathbb {C}}^k \to \PP$ be the orthogonal projection and ${\sigma}_a := {\sigma}^{-1}\{ a\}$. Let ${\omega}$ be the Fubini-Study form on ${\mathbb {C}\mathbb {P}}^k$ and endow $ {\mathbb {C}\mathbb {P}}^k \times \ldots \times {\mathbb {C}\mathbb {P}}^k$ ($n$ times) with the metric ${\omega}_n := \sum_{i=1}^n
p_i^* {\omega}$, where the $p_i$’s denote the projections to the factors. Denoting ${\Gamma}_n(a) := \{ (
z , f(z) , \ldots , f^{n-1}(z)  ) \, , \, z \in {\sigma}_a \}$, we have ${\textsf {vol}}\, {\Gamma}_n(a)  = \int_{{\Gamma}_n(a)} {\omega}_n^{k-p-q_j}$. The crucial observation is that ${\textsf {vol}}\ {\Gamma}_n(a) \geq {\textsf {Card }}\Psi^j \cap
{\sigma}_a$ for every $a \in \AA$. This is a consequence of Lelong’s inequality (the holomorphic context is crucial here) and the fact that $\Psi^j
 \cap {\sigma}_a$ is $r_0/2$-separated for the distance $d_n$ (that follows from the fact that $\EE_n$ is $r_0$-separated and from ${\textsf {diam }}f^i
  (\Psi^j_x) \leq e^{-n{\epsilon}}$ provided by proposition \[danm\](2)). That observation implies after an integration over $a \in \PP$:

$$\label{volpro}
  \int_{a \in \PP} {\textsf {vol}}\, {\Gamma}_n(a) \, da \geq \int_{a \in \PP} {\textsf {Card }}\Psi^j \cap {\sigma}_a \, da = {\textsf {vol}}\,
 {\sigma}(\Psi^j).$$

Using proposition \[danm\](3), we deduce $(\star)$: ${\textsf {vol}}\, {\sigma}(\Psi^j)  \geq   e^{n (h_m - 2{\epsilon})}  e^{- n (2m_{j} \Lambda_{j} + \ldots +
  2m_u \Lambda_u)} e^{-8kn{\epsilon}}$ (we deal with $2 \leq j \leq u$). We now focus on the upper bound. Let $[{\sigma}_a]$ be the current of integration on ${\sigma}_a \simeq {\mathbb {C}}^{k-p-q_j}$ and $\Omega := \int_{a \in \PP}  [{\sigma}_a] \, da$. We have by definition of ${\omega}_n$: $$\int_{a \in \PP}  {\textsf {vol}}\, {\Gamma}_n(a) \, da  =  \sum \ \int_{{\mathbb {C}\mathbb {P}}^k}
\Omega \wedge {f^{n_1}}^* {\omega}\wedge \ldots \wedge
   {f^{n_{k-p-q_j}}}^* {\omega},$$ where the sum runs over $0 \leq n_1, \ldots, n_{k-p-q_j} \leq n-1$. Since $\Omega \leq {\omega}^{p+q_j}$, we get: $$\int_{a \in \PP}  {\textsf {vol}}\, {\Gamma}_n(a) \, da  \leq \sum \ \int_{{\mathbb {C}\mathbb {P}}^k}
{\omega}^{p+q_j} \wedge {f^{n_1}}^* {\omega}\wedge \ldots \wedge
   {f^{n_{k-p-q_j}}}^* {\omega}.$$ Now the inner integral is equal to $d^{n_1 + \ldots + n_{k-p-q_j}}$ since ${f^n}^*{\omega}$ is cohomologous to $d^n {\omega}$ (see [@DS2], section 1.2). We deduce $(\star \star)$: $\int_{a
   \in \PP}  {\textsf {vol}}\, {\Gamma}_n(a) \, da \leq n^{k-p-q_j} d^{n(k-p-q_j)}$. Combining (\[volpro\]), $(\star)$ and $(\star \star)$, we finally obtain: $$\log d^{ k-p-q_j } +  n^{-1} \log n^{k-p-q_j}  \geq   h_m   -  (2m_j\Lambda_j + \ldots +
  2m_u \Lambda_u) -(8k+2) {\epsilon}.$$ Theorem D then follows by taking limits and observing $k-p-q_j = m_1 + \ldots + m_{j-1}$.

Proof of proposition \[danm\]
-----------------------------

We shall work in the charts $\zeta_{\hat x} : {\mathbb {D}}^k(\rho_0) \to {\mathbb {C}\mathbb {P}}^k$ (see subsection \[ospe\]), that is with the local maps $g_{\hat x} = \zeta_{\hat x_1}^{-1} \circ f \circ \zeta_{\hat
  x}$. Let us prove the following assertions for every $\hat x \in \widehat
\Omega$. In what follows $i$ ranges $\{  0, \ldots , n-1\}$ and the $\psi_i^j$’s depend on $n$.

1.  Let $2 \leq j \leq u$. There exist $\psi_i^j :
    U_i \subset {\mathbb {D}}^{p+q_j}(e^{-3n{\epsilon}})\to {\mathbb {C}}^{k-p-q_j}$ such that:

    - $\psi_i^j(0)=0$ and ${{\rm Lip \, }}\psi_i^j \leq {\gamma}_0$,

    - $g_{\hat x_i} ({{\textsf {graph}  \, }}\psi_i^j) \subset {{\textsf {graph}  \, }}\psi_{i+1}^j$,

    - ${\textsf {vol}}\ \psi_0^j \, \geq  \, e^{- n(2m_{j} \Lambda_{j} + \ldots +
      2m_u \Lambda_u)} e^{-8kn{\epsilon}}$.

2.  The same properties hold for $j=u+1$, with $\psi_i^{u+1} : {\mathbb {D}}^p(e^{-3n {\epsilon}- (n-i){\epsilon}})
      \to {\mathbb {C}}^{k-p}$ and the last item being replaced by ${\textsf {vol}}\ \psi_0^{u+1}  \, \geq  \, e^{-8kn {\epsilon}}$.

Proposition \[danm\] follows from (${\alpha}$) and ($\beta$) by setting $\Psi^j_x :=
 \zeta_{\hat x} \circ \psi_0^j$ and using $\varphi_0^{-1} \abs{u-v} \leq d(\zeta_{\hat x}(u),\zeta_{\hat x}(v)) \leq  2 \abs{u-v}$ (see lemma \[poli\]). The points 1 and 3 of that proposition are clear up to multiplicative constants. The point 2 is a consequence of $f^i(\Psi^j_x) =  \zeta_{\hat
 x_i} ({{\textsf {graph}  \, }}\psi_i^j)$, $U_i \subset {\mathbb {D}}^{p+q_j}(e^{-3n{\epsilon}})$ and ${{\rm Lip \, }}\psi_i^j  \leq 1$.\
The proofs of (${\alpha}$) and ($\beta$) rely onbackward graph transforms for possible non injective maps $g$ (see theorem \[bgt1\] below, the partial derivative $B$ can be zero). We will successively apply it for $g_{\hat x_i}$ from $i = n-1$ to $i=0$. Observe that theorem \[newhouse\](6) ensures to satisfy conditions (a)-(b) for $A^l_{\hat x} := (D_{\hat x}^1,\ldots, D_{\hat
 x}^l)$, $B^l_{\hat x} := (D_{\hat x}^{l+1},\ldots, D_{\hat
 x}^{u+1})$, $1 \leq l \leq u$, and conditions (c)-(d) for $(A^{u}_{\hat x}$, $B^{u}_{\hat x})$. Moreover, given a small $\delta < {\epsilon}$ and setting $R_0 = e^{-3n{\epsilon}}$, $R_1 = e^{-3n{\epsilon}}\varphi_{\epsilon}(\hat x_{i+1})$, lemma \[poli\](3) ensures that $g_{\hat x_i} : {\mathbb {D}}^k(R_0) \to {\mathbb {D}}^k(R_1)$ satisfies $\abs{ d_w g_{\hat x_i} - d_0 g_{\hat x_i} }
 \leq  \delta$: we indeed have $\abs{ d_w g_{\hat x_i} - d_0 g_{\hat x_i} }
 \leq e^{-3n{\epsilon}} \varphi_0 e^{(i+1){\epsilon}}  \leq \varphi_0
 e^{-2n_0{\epsilon}}$ for every $0 \leq i \leq n-1$ and $n \geq n_0$. The backward graph transform is stated as follow, the proof is postponed to subsection \[pbgt\].

\[bgt1\] Let $(k_1 , k_2)$ be positive integers such that $k = k_1
  + k_2$, and $A : {\mathbb {C}}^{k_1} \to {\mathbb {C}}^{k_1}$, $B : {\mathbb {C}}^{k_2} \to {\mathbb {C}}^{k_2}$ be linear maps. Assume that $A$ is invertible and that $\abs B < \abs{ {A}^{-1} }^{-1}$. We denote ${\gamma}:= 1 -
  \abs B \abs {A^{-1}} \in ]0,1]$. Let $0 \leq {\gamma}_0 \leq
  1$ and $\delta < {\epsilon}$ be such that

1.  ${\gamma}_0(1-{\gamma}) + 2 \delta(1+{\gamma}_0) \abs {A^{-1}} \leq 1$,

2.  $\left( {\gamma}_0 \abs B + \delta (1+{\gamma}_0) \right) \left( \abs
      {A^{-1}}^{-1} - \delta (1+{\gamma}_0) \right)^{-1} \leq {\gamma}_0$.

Let $g : {\mathbb {D}}^k(R_0) \to {\mathbb {D}}^k(R_1)$ be an holomorphic mapping such that $R_0 \leq R_1$, $g(0)=0$, $d_0 g = (A,B)$ and $\abs{d_w g - d_0 g} \leq \delta$ on ${\mathbb {D}}^k(R_0)$.

1.  If $\phi : V \subset {\mathbb {D}}^{k_2}(R_1) \to {\mathbb {C}}^{k_1}$ satisfies $\phi(0) = 0$ and ${{\rm Lip \, }}\phi \leq {\gamma}_0$, then there exists $\psi : U \subset
    {\mathbb {D}}^{k_2}(R_0) \to {\mathbb {C}}^{k_1}$ such that $$\label{incc}  
    {{\rm Lip \, }}\psi \leq {\gamma}_0 \ \textrm{  and } \   g  ({{\textsf {graph}  \, }}\psi)  \subset {{\textsf {graph}  \, }}\phi.$$

2.  Assume (c): $\abs B + 2\delta \leq
      e^{{\epsilon}}$. If $\phi : {\mathbb {D}}^{k_2}(R)  \to {\mathbb {C}}^{k_1}$ satisfies $\phi(0) = 0$ and ${{\rm Lip \, }}\phi \leq {\gamma}_0$ for some $R \leq R_0$, then there exists $\psi : {\mathbb {D}}^{k_2}(R e^{-{\epsilon}}) \to {\mathbb {C}}^{k_1}$ satisfying (\[incc\]).

3.  Assume (d): $$(\abs B + 2\delta) e^{-{\epsilon}}  + \delta \leq 1  \ \ \textrm{and} \ \ \delta (1 + {\gamma}_0)  \leq   \min \{   ( \abs {A^{-1}}^{-1} - {\gamma}_0 \abs B)  / 2,  \abs {A^{-1}}^{-1} - 1 \} .$$ If $\phi : {\mathbb {D}}^{k_2}(R) \to {\mathbb {C}}^{k_1}$ satisfies $\abs {\phi(0)} \leq
    R$ and ${{\rm Lip \, }}\phi \leq {\gamma}_0$ for some $R \leq R_0/2$, then there exists $\psi : {\mathbb {D}}^{k_2}(Re ^{-{\epsilon}}) \to {\mathbb {C}}^{k_1}$ satisfying $\abs {\psi(0)} \leq R$ and (\[incc\]).

In order to prove $(\beta)$, we apply theorem \[bgt1\](2) starting with $\phi := \psi_n : {\mathbb {D}}^p(e^{-3n{\epsilon}}) \to
{\mathbb {C}}^{k-p}$ equal to zero and splitting along the orbit according to $(A^{u}_{\hat x_{i}}, B^{u}_{\hat x_{i}})$. We obtain mappings $\psi_i :
{\mathbb {D}}^p(e^{-3n{\epsilon}-(n-i){\epsilon}}) \to {\mathbb {C}}^{k-p}$ such that ${{\rm Lip \, }}\psi_i \leq {\gamma}_0$ and $g_{\hat x_i} ({{\textsf {graph}  \, }}\psi_i)  \subset {{\textsf {graph}  \, }}\psi_{i+1}$. We obviously have in that case ${\textsf {vol}}\, \psi_0  \geq e^{-8kn {\epsilon}}$ since $\psi_0$ is defined on ${\mathbb {D}}^p(e^{-4n{\epsilon}})$.\
For ($\alpha$), we apply theorem \[bgt1\](1) starting with $\psi_n : {\mathbb {D}}^{p+q_j}(e^{-3n{\epsilon}}) \to
{\mathbb {C}}^{k - p - q_j}$ equal to zero and splitting according to $(A^{j-1}_{\hat x_i},B^{j-1}_{\hat x_i})$. We obtain mappings $\psi_i :
U_i \subset {\mathbb {D}}^{p+q_j}(e^{-3n{\epsilon}}) \to {\mathbb {C}}^{k-p-q_j}$ such that ${{\rm Lip \, }}\psi_i \leq {\gamma}_0$ and $g_{\hat x_i} ({{\textsf {graph}  \, }}\psi_i)  \subset {{\textsf {graph}  \, }}\psi_{i+1}$.

It remains to estimate the volume of $\psi_0$. We use for that purpose the slicing argument of [@dT], the idea is to control the size of the $U_i$’s. Let us write $\psi_n = \cup_{a \in {\mathbb {D}}^{q_j}(e^{-3n{\epsilon}})} \,  \psi_{a,n}$, where $\psi_{a,n} : {\mathbb {D}}^p(e^{-3n{\epsilon}}) \to
{\mathbb {C}}^{k - p}$ is equal to $\{ 0 \}^{k-p-q_j} \times \{ a
\}$. Now apply theorem \[bgt1\](3) starting with $\phi =
\psi_{a,n}$ and $R = e^{-3n{\epsilon}}$, $R_0 = e^{-2n{\epsilon}}$. We obtain mappings $\psi_{a,i} :
{\mathbb {D}}^{p}(e^{-3n {\epsilon}- (n-i) {\epsilon}}) \to {\mathbb {C}}^{k-p}$ satisfying $\psi_i
= \cup_a \psi_{a,i}$. In particular, $\psi_0$ is foliated by graphs above ${\mathbb {D}}^p(e^{-4n{\epsilon}})$.

Let $\psi_0^b :=
\psi_0 \cap ( {\mathbb {D}}^{k-p}
\times \{ b \})$ for $b \in {\mathbb {D}}^p(e^{-4n{\epsilon}})$, and let $\psi_i^b := g_{\hat x_{i-1}} \circ \ldots \circ g_{\hat
  x} (\psi_0^b)$. Since $\psi_n^b$ intersects every $\psi_{a,n}$, we have ${\textsf {vol}}\, \psi_n^b \geq e^{-6 q_j n
  {\epsilon}}$. The next step is to show: $$\label{abn} \forall b \in {\mathbb {D}}^p(e^{-4n{\epsilon}}) \ ,  \ {\textsf {vol}}\, \psi_0^b \ e^{n( 2m_{j} \Lambda_{j} +
    \ldots + 2m_u \Lambda_u)  + 2q_j n  {\epsilon}} \geq {\textsf {vol}}\, \psi_n^b.$$ This can be done inductively by checking $\abs { \wedge^{q_j}   {d_z
    g_{\hat x_i}}} \leq e^{2m_{j} \Lambda_{j} +
    \ldots + 2m_u \Lambda_u + 2q_j {\epsilon}}$ on $\psi_i^b$, we refer to [@dT] for the details. We observe that the estimate (\[abn\]) holds even if multiplicities occur for the jacobians. Finally, the combination of the coarea formula ${\textsf {vol}}\, \psi_0 = \int_{{\mathbb {D}}^p(e^{-4n{\epsilon}})} \, {\textsf {vol}}\, \psi_0^b \ db$, (\[abn\]) and ${\textsf {vol}}\, \psi_n^b \geq e^{-6 q_j n
  {\epsilon}}$ yields item ($\alpha$).

Proof of the backward graph transform {#pbgt}
-------------------------------------

We follow the method of Hirsch-Pugh-Shub (see [@HPS], section 5). We denote by $(x,y)$ the elements of ${\mathbb {C}}^{k_1} \times  {\mathbb {C}}^{k_2}$ and $g = (g_1,g_2)$. Let us prove the point 1. Let $\phi : V \subset {\mathbb {D}}^{k_2}(R_1) \to {\mathbb {C}}^{k_1}$ satisfying $\phi(0) = 0$ and ${{\rm Lip \, }}\phi \leq {\gamma}_0$. For any $y \in {\mathbb {D}}^{k_2}(R_0)$, let $L(y) := \{ (x,y) \, , \, \abs x
\leq \abs {y} \} \subset {\mathbb {D}}^k(R_0)$ and $$U:= \{ y \in {\mathbb {D}}^{k_2}(R_0)
\, , \,  g_2(L(y)) \subset V \}.$$ We fix $y \in U$ and find $(x,y) \in L(y)$ such that $\phi (g_2(x,y)) = g_1(x,y)$. This is equivalent to find $(x,y) \in L (y)$ such that: $$\Lambda_{y}(x) := A^{-1} \left[  \phi(g_2(x,y)) - (g_1(x,y) - Ax)  \right] = x .$$ First let us verify that $\Lambda_{y} : \bar {\mathbb {D}}^{k_1}(\abs{y}) \to
\bar {\mathbb {D}}^{k_1}(\abs{y})$. Using $g(0) = 0$, $\abs{d_w g - d_0 g} \leq \delta$ and $d_0 g = (A,B)$ on one hand, and $\phi(0)=0$, ${{\rm Lip \, }}\phi \leq {\gamma}_0$ on the other hand, we obtain $$\begin{array}{rcl}
 \abs {\Lambda_{y}(x) }  & \leq  &  \abs{A^{-1}} \big[ \abs { \phi
    (g_2(x,y)) - \phi(0) } + \abs{ g_1(x,y) - Ax
    }   \big]       \\
                                                    & \leq & \abs{A^{-1}} \big[ {\gamma}_0 (\delta
    \abs x +  (\abs B + \delta)\abs{y} ) + \delta \abs x + \delta \abs{y}  \big]  .
\end{array}$$ Using $\abs x \leq \abs{y}$, we have $\abs {\Lambda_{y}(x) } \leq
\abs{A^{-1}} \big[ {\gamma}_0 \abs B +   2\delta (1+{\gamma}_0)  \big ]
\abs{y}$. From $\abs {A^{-1}} \abs B = 1 -{\gamma}$ and condition (a), we obtain $\Lambda_y : \bar {\mathbb {D}}^{k_1}(\abs{y}) \to \bar {\mathbb {D}}^{k_1}(\abs{y})$. Let us now prove that $\Lambda_{y}$ is contracting. The difference $\abs {\Lambda_{y}(x) - \Lambda_{y}(x') }$ is less than or equal to $$\begin{array}{rcl}
 & \abs{A^{-1}}
\Big[ \abs { \phi(g_2(x,y)) -  \phi(g_2(x',y)) }  +  \abs{
    (g_1(x,y) - Ax) - (g_1(x',y) - Ax' )}  \Big] &  \\
         & \leq \abs{A^{-1}}
\Large[ {\gamma}_0 \delta \abs{x-x'}  + \delta \abs{x-x'} \Large] . &  
\end{array}$$ The contraction property then follows from (a) (it implies $\delta (1+{\gamma}_0) \abs {A^{-1}} \leq 1/2$). For every $y \in U$, we denote by $\psi(y)$ the unique fixed point of $\Lambda_{y}$. Let us show that ${{\rm Lip \, }}\psi \leq {\gamma}_0$. For every $(y,y') \in U$, we have $\abs{\psi(y) - \psi(y')} = \abs{\Lambda_y (\psi(y) )
- \Lambda_{y'} (\psi(y') )}$. Hence $\abs{\psi(y) - \psi(y')} \leq  \abs{A^{-1}} (I + J)$, where $$I :=  \abs { \phi
    (g_2(\psi(y),y)) - \phi
    (g_2(\psi(y'),y')) } \leq {\gamma}_0 \left[ \delta \abs{\psi(y) - \psi(y')}
    + (\abs B + \delta)\abs{y-y'} \right],$$ $$J := \abs{ \left[ g_1(\psi(y),y) - A(\psi(y)) \right] - \left[ g_1(\psi(y'),y') -
    A(\psi(y')) \right] } \leq \delta \abs{\psi(y) - \psi(y')} +
    \delta \abs{y-y'}   .$$ We deduce: $$\abs{\psi(y) - \psi(y')} \leq { {\gamma}_0 \abs B +
    \delta (1+{\gamma}_0)  \over  \abs
  {A^{-1}}^{-1} - \delta (1+{\gamma}_0)  }   \abs{y-y'},$$ which is less than ${\gamma}_0 \abs{y-y'}$ by using (b). That proves the point 1. For the point 2, observe that for every $y \in {\mathbb {D}}^k(R e^{-{\epsilon}})$ and $(x,y) \in L(y)$ (use (c)): $$\abs{g_2(x,y)} \leq \delta \abs x + (\abs B + \delta)\abs {y}
\leq   (\abs B + 2 \delta) \abs{y} < R .$$ That implies ${\mathbb {D}}^{k_2}(R e^{-{\epsilon}}) \subset U := \{ g_2(L(y)) \subset {\mathbb {D}}^{k_2}(R) \}$. The point 2 then follows by repeating the same arguments than for the point 1. Now the point 3. Let $y \in {\mathbb {D}}^{k_2}(R e^{-{\epsilon}})$ and $L_R(y) := \{ (x,y) \, , \, \abs x
\leq \abs {y} + R \}$. Observe that $L_R(y) \subset {\mathbb {D}}^k(R_0)$, because $R e^{-{\epsilon}} + R \leq 2R \leq R_0$. As before we look for $(x,y) \in L_R(y)$ such that $\phi (g_2(x,y)) = g_1(x,y)$. Observe that for every $(x,y) \in L_R(y)$ (use (d) for the last estimate): $$\abs{g_2(x,y)} \leq \delta \abs x + (\abs B + \delta)\abs {y}
\leq (\abs B + 2 \delta) \abs{y} + \delta R <  [ (\abs B + 2 \delta)  e^{-{\epsilon}} + \delta] R \leq R .$$ That yields ${\mathbb {D}}^{k_2}(R e^{-{\epsilon}}) \subset U$. Let us show that $\Lambda_{y} : \bar {\mathbb {D}}^{k_1}(\abs{y}+R) \to
\bar {\mathbb {D}}^{k_1}(\abs{y}+R)$. Recalling that $\Lambda_{y}(x) = A^{-1} \left[
   \phi (g_2(x,y))  - ( g_1(x,y) - Ax ) \right]$, we have: $$\begin{array}{rcl}
 \abs {\Lambda_{y}(x) }  & \leq  &  \abs{A^{-1}} \big[ \abs { \phi
    (g_2(x,y)) - \phi(0) } + \abs{\phi(0)} + \abs{ g_1(x,y) - Ax
    }   \big]          \\
                                                    & \leq & \abs{A^{-1}} \big[ {\gamma}_0 \Large( \delta
    \abs x + ( \abs B + \delta ) \abs{y} \Large)  + R + ( \delta \abs x
    + \delta \abs{y})  \big]  .
\end{array}$$ We deduce using $\abs x \leq \abs{y} + R$: $$\abs {\Lambda_{y}(x) } \leq  \abs{A^{-1}} [  {\gamma}_0 \abs B + 2 \delta (1+{\gamma}_0)  ] \abs{y}      +  \abs{A^{-1}}   ( 1 + \delta (1+{\gamma}_0)) R.$$ It follows from (d) that $\abs {\Lambda_{y}(x) } \leq
\abs{y} + R$. The same arguments as before give the contraction property for $\Lambda_{y}$ and the Lipschitz property of $\psi$ ($\phi(0)$ is not involved here). Observe finally that $\abs{\psi(0)} \leq R$, because $\Lambda_0 : \bar {\mathbb {D}}^{k_1}(R) \to \bar {\mathbb {D}}^{k_1}(R)$.

[&lt;100&gt;]{}

L.M. Abramov, V.A. Rohlin, *[Entropy of a skew product of mappings with invariant measure]{}, Vestnik Leningrad. Univ., **[17]{} (1962), no. 7, 5-13 and Amer. Math. Soc. Transl. (2) **[48]{} (1966), 255-265.*****

I. Binder, L. DeMarco, *[Dimension of pluriharmonic measure and polynomial endomorphisms of ${\bf C}^n$]{}, Int. Math. Res. Not., [**11**]{} (2003), 613-625.*

R. Bowen, *[Equilibrium states and the ergodic theory of Anosov diffeomorphisms]{}, Lecture Notes in Math., **[470]{}, (1975).***

J.Y. Briend, J. Duval, *[Exposants de Liapounoff et distribution des points périodiques d’un endomorphisme de ${\mathbb {C}\mathbb {P}}^k$]{}, Acta Math., **[182]{} (1999), no. 2, 143-157.***

J.Y. Briend, J. Duval, *[Deux caractérisations de la mesure d’équilibre d’un endomorphisme de ${\mathbb {C}\mathbb {P}}^k$]{}, Publ. Math. Inst. Hautes Études Sci., **[93]{} (2001), 145-159, and erratum in **[109]{} (2009), 295-296.*****

M. Brin, A. Katok, *[On local entropy]{}, Lecture Notes in Math., **[1007]{}, (1983).***

J. Buzzi, *[Hyperbolicity from entropies]{}, Saint-Flour Lecture Notes, in preparation.*

H. de Thélin, *[Sur les exposants de Lyapounov des applications méromorphes]{}, Invent. Math. **[172]{} (2008), no. 1, 89–116.***

T.-C. Dinh, *[Attracting current and equilibrium measure for attractors on $\Bbb P\sp k$]{}, J. Geom. Anal. **[17]{} (2007), no. 2, 227-244.***

T.-C. Dinh, C. Dupont, *[Dimension de la mesure d’équilibre d’applications méromorphes]{}, J. Geom. Anal., **[14]{} (2004), no. 4, 613-627.***

T.-C. Dinh, V.A. Nguyen, N. Sibony, *[Exponential estimates for plurisubharmonic functions and stochastic dynamics]{}, arXiv 0801.1983.*

T.-C. Dinh, N. Sibony, *[Dynamique des applications d’allure polynomiale]{}, J. Math. Pures Appl. (9) **[82]{} (2003), no. 4, 367–423.***

T.-C. Dinh, N. Sibony, *[Dynamics in several complex variables: endomorphisms of projective spaces and polynomial-like mappings]{}, arXiv 0810.0811.*

C. Dupont, [*Bernoulli coding map and almost sure invariance principle for endomorphisms of ${\mathbb {C}\mathbb {P}}^k$*]{}, Probab. Theory Related Fields, to appear.

C. Dupont, [*On the dimension of invariant measures of endomorphisms of ${\mathbb {C}\mathbb {P}}^k$*]{}, preprint (2009).

J.E. Fornaess, N. Sibony, *[Complex dynamics in higher dimensions]{}, NATO Adv. Sci. Inst. Ser. C Math. Phys. Sci., 439, Complex potential theory (Montreal, PQ, 1993), 131-186, Kluwer Acad. Publ., Dordrecht, 1994.*

M. Gromov, *[On the entropy of holomorphic maps]{}, Enseign. Math. (2) **[49]{} (2003), no. 3-4, 217–235.***

M. W. Hirsch, C. C. Pugh, M. Shub, *[Invariant manifolds]{}, Lecture Notes in Math., **[583]{}, (1977).***

A. Katok, B. Hasselblatt, *[Introduction to the modern theory of dynamical systems]{}, Cambridge Univ. Press, 1995.*

F. Ledrappier, P. Walters, *[A relativised variational principle for continuous transformations]{}, J. London Math. Soc. (2) **[16]{} (1977), no. 3, 568–576.***

R. Mañé, *[The Hausdorff dimension of invariant probabilities of rational maps]{}, Lecture Notes in Math., **[1331]{}, (1988).***

M. Misiurewicz, F. Przytycki, *[Topological entropy and degree of smooth mappings]{}, Bull. Acad. Polon. Sci. Sér. Sci. Math. Astronom. Phys. **[25]{} (1977), no. 6, 573–574.***

S. E. Newhouse, *[Entropy and volume]{}, Ergodic Theory Dynamical Systems 8$\sp *$ (1988), 283–299.*

S. E. Newhouse, *[Continuity properties of entropy]{}, Ann. of Math. (2) **[129]{} (1989), no. 2, 215–235.***

W. Philipp, W. Stout, *[Almost sure invariance principles for partial sums of weakly dependent random variables]{}, Mem. Amer. Math. Soc. 2 (1975), issue 2, no. 161.*

F. Przytycki, *[Hausdorff dimension of harmonic measure on the boundary of an attractive basin for a holomorphic map]{}, Invent. Math. **[80]{} (1985), no. 1, 161-179.***

F. Przytycki, M. Urbański, A. Zdunik, *[Harmonic, Gibbs and Hausdorff measures on repellers for holomorphic maps. I]{}, Ann. of Math. (2) **[130]{} (1989), no. 1, 1-40.***

D. Ruelle, *[An inequality for the entropy of differentiable maps]{}, Bol. Soc. Brasil Mat., **[9]{} (1978), no. 1, 83-87.***

M. Urbański, A. Zdunik, *[Ergodic theory for holomorphic endomorphisms of complex projective spaces]{}, preprint (2009).*

P. Walters, *[An introduction to ergodic theory]{}, Springer, 1982.*

[C. Dupont]{}\
[Université Paris XI]{}\
[CNRS UMR 8628]{}\
[Mathématiques, Bâtiment 425]{}\
[F-91405 Orsay Cedex, France]{}\
[christophe.dupont@math.u-psud.fr]{}
