Positive Transversality via transfer operators and holomorphic motions with applications to monotonicity for interval maps

In this paper we will develop a general approach which shows that generalized"critical relations"of families of locally defined holomorphic maps on the complex plane unfold transversally. The main idea is to define a transfer operator, which is a local analogue of the Thurston pullback operator, using holomorphic motions. Assuming a so-called lifting property is satisfied, we obtain information about the spectrum of this transfer operator and thus about transversality. An important new feature of our method is that it is not global: the maps we consider are only required to be defined and holomorphic on a neighbourhood of some finite set. We will illustrate this method by obtaining transversality for a wide class of one-parameter families of interval and circle maps, for example for maps with flat critical points, but also for maps with complex analytic extensions such as certain polynomial-like maps. As in Tsujii's approach \cite{Tsu0,Tsu1}, for real maps we obtain {\em positive} transversality (where $>0$ holds instead of just $\ne 0$), and thus monotonicity of entropy for these families, and also (as an easy application) for the real quadratic family. This method additionally gives results for unimodal families of the form $x\mapsto |x|^\ell+c$ for $\ell>1$ not necessarily an even integer and $c$ real.


Introduction
This paper is about bifurcations in families of (real and complex) one dimensional dynamical systems. 1 For example, for real one-dimensional dynamical systems, we have a precise combinatorial description on the dynamics in terms of the so-called kneading sequences. One simple but very important question is how the kneading sequence varies in families of such systems. For the real quadratic family f a (x) = x 2 + a, it is known that the kneading sequence depends monotonically on the parameter a (with respect to the natural order defined for kneading sequences). Interestingly the proofs of this result, by Milnor-Thurston, Douady-Hubbard and Sullivan, make Date: 24 Jan 2019. 1 This paper is based on the preprint Monotonicity of entropy and positively oriented transversality for families of interval maps, see https://arxiv.org/abs/1611.10056 use of Teichmüller theory, uniqueness in Thurston's realisation theorem, or quasiconformal rigidity theory and that the map f a is quadratic, see [37,47] and also [11].
To answer the above monotonicity question it is enough to show that when f n a (0) = 0 for some a ∈ R, then there exists no other parameter a ∈ R for which f n a (0) = 0 and for which f a and f a also have the same (periodic) kneading sequence.
If d da f n a (0) | a=a = 0 (which is called transversality) then one has local uniqueness in the following sense: there exists > 0 so that the kneading invariant of f a for a ∈ (a − , a ), for a ∈ (a , a + ) and for a = a are all different. It turns out that global uniqueness and monotonicity follows from (which we call positive transversality). Tsujii gave an alternative proof of the above monotonicity for the quadratic family by showing that this inequality holds [48,49].
For general (complex) holomorphic families of maps with several critical points which all are eventually periodic there exists a similar expression Q. Again Q = 0 implies that the bifurcations are non-degenerate and hence the corresponding critical relations unfold transversally. In this paper we show that the inequality Q = 0 holds provided the spectrum of some operator A does not contain 1, and that Q > 0 holds if additionally the spectrum of A is contained in the closed unit disc and the family of maps is real.
We define this operator A by considering how the speed of a (holomorphic) motion of the orbits of critical points is lifted under the dynamics. The novelty of our method, described in Proposition 5.1 and Theorem 6.1, is to show if these holomorphic motions have the lifting property, i.e. can be lifted infinitely many times over the same domain, then the operator A has the above spectral properties.
It turns out that the lifting property makes minimal use of the global dynamics of the holomorphic extension of the dynamics. Thus we can obtain transversality properties of families f t of maps defined on open subsets of the complex plane so that f 0 has a finite invariant marked set, e.g., f 0 is 'critically finite'.
The methods developed in this paper give a new and simple proof of well-known results for families of polynomial maps, rational or entire maps, but also applies to many other families for which no techniques were available. For example we obtain monotonicity for the family of maps f c (x) = be −1/|x| + c having a flat critical point at 0. We also obtain partial monotonicity for the family f c (x) = |x| + c when is large.
As mentioned, the aim of this paper is to deal with families of maps which are only locally holomorphic. This means that the approach pioneered by Thurston, and developed by Douady and Hubbard in [13], cannot be applied. In Thurston's approach, when f is a globally defined holomorphic map, P is a finite f -forward invariant set containing the postcritical set and the Thurston map σ f : Teich( C\P ) → Teich( C\P ) is defined by pulling back an almost holomorphic structure. It turns out that σ f is contracting, see [13,Corollary 3.4]. In Thurston's result on the topological realisation of rational maps, Douady & Hubbard [13] use that the dual of the derivative of the Thurston map σ f is equal to the Thurston pushforward operator f * .
However if for example f : U → V is a polynomial-like map then each point in the boundary of V is a singular value, Teich(V \ P ) is infinite dimensional, Thurston's algorithm is only locally well-defined and it is not clear whether it is locally contracting.
The purpose of our paper is to bypass this issue, by going back to the original Milnor-Thurston approach. Milnor and Thurston [37] associated to the space of quadratic maps and the combinatorial information of a periodic orbit, a map which assigns to a q tuple of points a new q tuple of points, F : (z 1 , ...z q ) → (ẑ 1 , ...,ẑ q ) whereẑ q = 0 and f z 1 (ẑ i ) = z i+1 mod q where f c (z) ≡ z 2 + c. Since F is many-valued, Milnor & Thurston considered a liftF of this map to the universal cover and apply Teichmüller theory to show thatF is strictly contracting in the Teichmuller metric of the universal cover. We bypass this issue by rephrasing their approach locally (via holomorphic motions). This is done in the set-up of so-called marked maps (and their local deformations) which include particularly critically finite maps with any number of critical (singular) points. In the first part of the paper we prove general results, notably the Main Theorem, which show that under the assumption that some lifting property holds for the deformation, either some critical relation persists along some non-trivial manifold in parameter space or one has transversality, i.e. the critical relation unfolds transversally. Here the lifting property is an assumption that sequences of successive lifts of holomorphic motions are compact. In the second part of the paper, we then show that this lifting property holds not only in previously considered global cases but also for interesting classes of maps where the 'pushforward' approach breaks down.
More precisely, we define a transfer operator A by its action on infinitesimal holomorphic motions on P . It turns out that if the lifting property holds, then the spectrum of the operator A lies inside the unit disc. Moreover, if the operator A has no eigenvalue 1 then transversality holds; in the real case one has even positive transversality (the sign of some determinant is positive). One of the main steps in the proof of the Main Theorem is then to show that if the operator has an eigenvalue 1 then the critical relation persists along a non-trivial manifold in parameter space. It turns out that for globally defined critically finite maps f the transfer operator A can be identified with (dual of) f * .
By verifying the lifting property we recover previous results such as transversality for rational maps, but also obtain transversality for many interesting families of polynomial-like mappings and families of maps with essential singularities. For real local maps our approach gives the 'positive transversality' condition which first appeared in [48,49] and therefore monotonicity of entropy for certain families of real maps.
Remark 2.1. So P is a forward invariant set for g, and g is only required to be holomorphic (and defined) on a neighbourhood of P \ P 0 . A marked map g does not need to be defined in a neighbourhood of P 0 . In applications, points in P 0 will be where some extension of g has a critical point, an (essential) singularity or even where g has a discontinuity. In this sense marked maps correspond to a generalisation of the notion of critically finite maps.

Holomorphic deformations.
A local holomorphic deformation of g is a triple (g, G, p) W with the following properties: (1) W is an open connected subset of C ν containing c 1 (g); (2) p = (p 1 , p 2 , . . . , p ν ) : W → C ν is a holomorphic map, so that p(c 1 ) = c 0 (g) (and so all coordinates of p(c 1 ) are distinct).
The simplest local holomorphic deformation of g is of course the trivial one: G w (z) = g(z), p(w) = c 0 , ∀w.
2.3. Transversal unfolding of critical relations. Let us fix (g, G, p) W as above. Since g(P ) ⊂ P and P is a finite set, for each j = 1, 2, . . . , ν, exactly one of the following critical relations holds: (a) There exists an integer q j > 0 and µ(j) ∈ {1, 2, . . . , ν} such that g q j (c 0,j ) = c 0,µ(j) and g k (c 0,j ) ∈ P 0 for each 1 ≤ k < q j ; (b) There exist integers 1 ≤ l j < q j such that g q j (c 0,j ) = g l j (c 0,j ) and g k (c 0,j ) ∈ P 0 for all 1 ≤ k ≤ q j . Relabelling these points c 0,j , we assume that there is r such that the first alternative happens for all 1 ≤ j ≤ r and the second alternative happens for r < j ≤ ν.
Define the map R = (R 1 , R 2 , . . . , R ν ) from a neighbourhood of c 1 ∈ C ν into C ν as follows: for 1 ≤ j ≤ r, and for r < j ≤ ν, We say that the holomorphic deformation (g, G, p) W of g satisfies the transversality property, if the Jacobian matrix DR(c 1 ) is invertible.
Example 2.4. (i) Assume that (g, G, p) W is a local holomorphic deformation so that for each w = (w 1 , . . . , w ν ) ∈ W , the critical values of G w are w 1 , . . . , w ν and p 1 (w), . . . , p ν (w) are the critical points of G w . Then These equations define the set of parameters w for which the corresponding 'critical relation' is satisfied within the family G w . (ii) In Example 2.6(ii) we will consider a holomorphic deformation (g, G, p) W of a map g so that G w is not defined (as an analytic map) in p j (w), but nevertheless the above interpretation is valid. (iii) If we take the trivial deformation G w (z) = g(z), p(w) = c 0 , ∀w ∈ W , then definitions (2.1) or (2.2) take the form R j (w) = g q j −1 (w j ) − c 0,j respectively R j (w) = g q j −1 (w j ) − g l j −1 (w j ). Then DR(c 1 ) is a diagonal matrix with entries Dg q j −1 (w j ) for 1 ≤ j ≤ r and Dg l j −1 (w j )[Dg q j −l j (g l j −1 (w j )) − 1] for r < j ≤ ν. So the matrix DR(c 1 ) is non-degenerate iff Dg q j −l j (g l j −1 (w j )) = 1 for r < j ≤ ν. It follows immediately that the holomorphic deformation (g, G, p) W satisfies the transversality property if and only if Dg q j −l j (g l j (c 0,j )) = 1 for r < j ≤ ν. We should emphasise that in this setting the condition R(w) = 0 has nothing to do with the presence of critical relations.

2.4.
Real marked maps and positive transversality. A marked map g is called real if P ⊂ R and for any z ∈ U we have z ∈ U and g(z) = g(z). Similarly, a local holomorphic deformation (g, G, p) W of a real marked map g is called real if for any w = (w 1 , w 2 , . . . , w ν ) ∈ W , z ∈ U and j = 1, 2, . . . , ν, we have w = (w 1 , w 2 , . . . , w ν ) ∈ W , G w (z) = G w (z), and p j (w) = p j (w). Definition 2.5. Let (g, G, p) W be a real local holomorphic deformation of a real marked map g. We say that the unfolding (g, G, p) W satisfies the 'positively oriented' transversality property if The sign in the previous inequality means that the intersection of the analytic sets R j = 0 j = 1, . . . , ν, is not only in general position (i.e. 'transversal'), but that the intersection pattern is everywhere 'positively oriented'.
2.5. The lifting property. Let X ⊂ C and Λ be a domain in C which contains 0. As usual, we say that h λ is a holomorphic motion of X over (Λ, 0), if h λ : X → C satisfies: Clearly such a lift exists, provided Λ 0 is contained in a sufficiently small neighbourhood of 0.
We say that the triple (g, G, p) W has the lifting property if for each holomorphic motion h (0) λ of g(P ) over (D, 0) there exist ε > 0 and a sequence of holomorphic motions h (k) λ , k = 1, 2, , . . . of g(P ) over (D ε , 0) such that for each k ≥ 0, λ (x)| ≤ M for all x ∈ g(P ) and all λ ∈ D ε . In the case (g, G, p) W is real, we say it has the real lifting property if the corresponding property holds for any real-symmetric holomorphic motions h Main Theorem. Assume that g does not have a parabolic periodic point in P \ P 0 and that (g, G, p) W satisfies the lifting property. Then exactly one of the following holds: (1) the holomorphic deformation (g, G, p) W of g satisfies the tranversality property; (2) there exists a neighborhood W of c 1 such that {w ∈ W : R(w) = 0} is a smooth complex manifold of positive dimension.
Moreover, if (g, G, p) W is real and satisfies the real lifting property then in (1) 'the transversality property' can be replaced by 'the 'positively oriented' transversality property'.
The statement of this theorem is a combination of the more detailed statements in Theorems 4.1 and 6.1.

2.7.
Classical settings where the lifting property holds. In many cases it is easy to check that the lifting property holds, and therefore the previous theorem applies. Indeed, it is easy to see that this holds in the setting of polynomial or rational maps, see Section C.
2.8. Transversality for new families of maps corresponding to classes F, E, E o . In this subsection we will discuss two new settings where the current approach can be applied to obtain transversality.
Let us first consider families of maps f c (z) = f (z) + c. Here f is contained in the space F of holomorphic maps f : Examples of such families are Example 2.6.
(i) f c (z) = z d + c, where U, V are suitably large balls and c ∈ U .
are topological disks symmetric w.r.t. the real axis and V is a punctured disc. That f 0 ∈ F is proved in Corollary 7.3.
• if (g, G, p) W is real, then positive transversality holds.
Our methods also apply to families of the form f w (z) = wf (z) where f is contained in the spaces E and E o defined as follows. Consider holomorphic maps f : D → V such that: (e) f is odd, f : D → V has no singular values in V \ {0, ±1} and c > 0 is minimal such that f has a positive local maximum at c and f (c) = 1. Here, as usual, we say that v ∈ C is a singular value of a holomorphic map f : D → C if it is a critical value, or an asymptotic value where the latter means the existence of a path γ : [0, 1) → D so that γ(t) → ∂D and f (γ(t)) → v as t ↑ 1. Note that we do not require here that V ⊃ D.
Classes E and E o are rich even in the case D = C. See [19] for a general method of constructing entire (or meromorphic) functions with prescribed asymptotic and critical values. These classes are also non-empty when V = C and the domain D is a topological disk or even if D not simply-connected [17]. V can also be a bounded subset of C, see example (v) below.
Concrete examples of functions f of the class E are, where in (i)-(iv) we have D = V = C, Theorem 2.2. Let f ∈ E ∪ E o and for each w ∈ W := D + define G w (z) = w · f (z) and p(w) = c. Take c 1 ∈ D, g = G c 1 and assume that there exists q so that c n = g n−1 (c 1 ) ∈ D for all n ≤ q and either c q = c or c q ∈ {c 1 , . . . , c q−1 }. Moreover, assume c n / ∈ {c 0 , c 1 , . . . , c n−1 } for 0 < n < q. Then • (g, G, p) W satisfies the lifting property and transversality holds.
• if (g, G, p) W is real, then positive transversality holds.
2.9. Applications to monotonicity of topological entropy of interval maps.
Corollary 2.7. Take f ∈ F and consider the family f c = f + c, c ∈ J = U ∩ R. Then the kneading sequence K(f c ) is monotone increasing in c ∈ J. Moreover, whenever c * ∈ J is so that f q c * (0) = 0 and f k c * (0) = 0 for all 1 ≤ k < q the following positive transversality condition holds and the topological entropy of f c is decreasing in c ∈ J.
The same statement holds for f c = c · f for f ∈ E ∪ E 0 , except in this case we consider the topological entropy of the unimodal map f Monotonicity of entropy was proved in the case f c (x) = x 2 + c in the 1980s as a major result in unimodal dynamics. By now there are several proofs, see [37,47,11,48,49]. All these proofs use complex analytic methods and rely on the fact that f c extends to a holomorphic map on the complex plane. These methods work well for f c (x) = |x| + c when is a positive even integer but break down for general > 1 and also for other families of non-analytic unimodal maps. No approach using purely real-analytic method has so far been successful in proving monotonicity for any > 1. The approach to prove monotonicity via the inequality (2.4) was also previously used by Tsujii [48,49] for real maps of the form z → z 2 + c, c ∈ R.
Remark 2.8. Let U denote the collection of unimodal maps f : R → R which are strictly decreasing in (−∞, 0] and strictly increasing in [0, ∞). The Milnor-Thurston kneading sequence of f ∈ U is defined as a word K(f ) = i 1 i 2 · · · ∈ {1, 0, −1} Z + , where For g ∈ U with K(g) = j 1 j 2 · · · , we say that K(f ) ≺ K(g) if there is some n ≥ 1 such that i k = j k for all 1 ≤ k < n and n k=1 i k < n k=1 j k . Remark 2.9 (Positive transversality and topological entropy). Because f has a minimum at 0, x → f q c * (x) has a local maximum (minimum) at 0 if Df q−1 c * (f c * (0)) < 0 (resp. > 0). Hence Equation (2.4) implies that if 0 has (precisely) period q at some parameter c * , then  When f c (x) = |x| + c, and is not an integer, we have not been able able to prove the lifting property. The next theorem, which will be proved in Appendix A, gives monotonicity when is a large real number (not necessarily an integer), but only if not too many points in the critical orbit are in the orientation reversing branch.
For any integer L ≥ 1 there exists 0 > 1 so that for any q ≥ 1 and any periodic sequence and any pair − , + ≥ 0 there is at most one c ∈ R for which the kneading sequence of f c is equal to i. Moreover, if i is realisable (i.e. if c = c * exists) and i has minimal period q then positive transversality holds The proof of this theorem uses delicate geometric arguments, see Appendix A. Note that there is an elegant algebraic proof of transversality for critically finite quadratic polynomials in [12,Chapter 19]. This proof also works for x → |x| 2n+1 + c provided n is a positive integer, but it does not give the sign, so no monotonicity for this family can be deduced.

2.10.
Monotonicity along curves with one free critical point. The above results require that all critical points are eventually periodic. Nevertheless, they also give information about the bifurcations that occur for example along a curve L * in parameter space corresponding to (ν − 1)-critical relations. The results in Section 8 informally state: Informal Statement of Theorem 8.1. Critical relations unfold everywhere in the same direction along L * .
This makes it possible to obtain information about monotonicity of entropy along the bone curves considered in [38, Figure 11] and [40, Figure 8]. Indeed we obtain an alternative proof for one of the main technical steps in [38] in Theorem 8.2. Could such a simplification be made in the case with at least three critical points?
Indeed, it would be interesting to know whether the sign in (2.3) makes it possible to simplify the existing proofs of Milnor's conjecture. This conjecture is about the space of real polynomials with only real critical points, all of which non-degenerate, and asks whether the level sets of constant topological entropy are connected. The proof of this conjecture in [38] in the cubic case and in [5] for the general case relies on quasi-symmetric rigidity, but does having a positive sign in (2.3) everywhere allow for a simplification of the proof of this conjecture? 2.11. Other applications. Our approach can also be applied to many other settings, such as families of Arnol'd maps, families of piecewise linear maps and to families of intervals maps with discontinuities (i.e. Lorenz maps), see [23,24].
Even though we deal with the polynomial and rational case in Appendix C, since it is so important, in a separate paper [22] we have given a very elementary proof of transversality and related results in that setting, but without the sign in (2.6) and (2.3). In that paper the postcritical set is allowed to be infinite. See [16] for an alternative discussion on transversality for maps of finite type, and [6] when the postcritical set is finite. the support of ERC AdG grant no: 339523 RGDD. We would also like to thank the referee for some very useful suggestions.

Organisation of this paper and outline of the proof
In this paper we consider holomorphic maps g : U → C where U is an open subset of the complex plane, together with a finite forward invariant marked set P , for example the postcritical set. These maps do not necessarily have to be rational or transcendental. The aim is to show that critical relations of such a marked map unfold transversally under a holomorphic deformation G of g. We do this as follows. First, in Section 4, we associate a linear operator A : C #g(P ) → C #g(P ) by the action of G induced by lifting holomorphic motions on g(P ) and show More precisely, it is shown in Theorem 4.1 that the dimension of kernel of DR(c 1 ) is equal to the geometric multiplicity of the eigenvalue 1 of A. In Section 5 we then show Then in Section 6 we show that provided the lifting property holds, {w; R(w) = 0} is locally a smooth submanifold whose dimension is equal to the geometric multiplicity of the eigenvalue 1 of A. In applications, it is usually quite easy to show that the parameter set {w; R(w) = 0} cannot be a manifold of dimension > 0, and therefore that 1 ∈ spec(A) and so transversality holds.
It follows that transversality essentially follows from the lifting property. In Section C we show that the lifting property holds in some classical settings. In Sections 7 we will show the lifting property holds for polynomial-like mappings from a separation property, and for maps from the classes E, E o . In this way, we derive transversality for many families of interval maps, for example for a wide class of one-parameter families of the form f λ (x) = f (x)+λ and f λ (x) = λf (x). As an easy application, we will recover known transversality results for the family of quadratic maps, and address some conjectures from the 1980's about families of interval maps of this type.
In Appendix A we will study the family x → |x| + c. When is not an even integer, we have not been able to prove the lifting property in general. Nevertheless we will obtain the lifting property under additional assumptions.
In Appendix B we give some examples for both transversality and the lifting property fails to hold.
In a companion paper we show that the methods developed in this paper also apply to other families, including some for which separation property does not hold, such as the Arnol'd family.
We also obtain positively oriented transversality for piecewise linear interval maps and interval maps with discontinuities (i.e. Lorenz maps), see also [23] 4. The spectrum of a transfer operator A and transversality In this section we define a transfer operator A associated to the analytic deformation of a marked map, and show that if 1 is not an eigenvalue of A then transversality holds. If the spectrum of A is inside the closed unit circle, we will obtain additional information about transversality, see Section 4.3.

4.1.
A transfer operator associated to a deformation of a marked map. In §2.5, we defined lift of holomorphic motions of g(P ) associated to (g, G, p) W . Obviously there is a linear map A : C #g(P ) → C #g(P ) such that wheneverĥ λ is a lift of h λ , we have .
We will call A the transfer operator associated to the holomorphic deformation (g, G, p) W of g.
If both g and (g, G, p) W are real, then A(R ν ) ⊂ R ν . In this case, we shall often consider real holomorphic motions, i.e. Λ 0 is symmetric with respect to R and h λ (x) ∈ R for each x ∈ g(P ) and λ ∈ Λ ∩ R. Clearly, a lift of a real holomorphic motion is again real.
So if the spectrum of A is contained in the open unit disc and L i , D i are real, then (4.1) is strictly positive for all ρ ∈ [−1, 1]. Note that when G w (z) = g(z) + (w − c 1 ), the expression (4.1) agrees with (2.4) for ρ = 1.

4.2.
Relating the transfer operator with transversality. It turns out that transversality is closely related to the eigenvalues of A: Theorem 4.1. Assume the following holds: for any r < j ≤ ν, Dg q j −l j (c l j ,j ) = 1. Then the following statements are equivalent: (1) 1 is an eigenvalue of A; (2) DR(c 1 ) is degenerate. More precisely, the dimension of kernel of DR(c 1 ) is equal to the dimension of the eigenspace of A associated with eigenvalue 1.
Proof. We first show that (1) implies (2), even without the assumption. So suppose that 1 is an eigenvalue of A and let v = (v(x)) x∈g(P ) be an eigenvector associated with 1.
and for each x = c 0,j ∈ g(P ) ∩ P 0 , we have For each 1 ≤ j ≤ ν, and each 1 ≤ k < q j , applying (4.2) repeatedly, we obtain Together with (4.3), this implies that holds for all 1 ≤ j ≤ ν. It remains to show w (0) = 0. Indeed, otherwise, by (4.4), it would follow that v(g k (c 1,j )) = (g k ) (c 1,j )v(c 1,j ) = 0 for each 1 ≤ j ≤ ν and 1 ≤ k < q j , and hence v(x) = 0 for all x ∈ g(P ), which is absurd. We completed the proof that (1) implies (2). Now let us prove that (2) implies (1) under the assumption of the lemma. Suppose that DR(c 1 ) is degenerate. Then there exists a non-zero vector If r < j ≤ ν then r < j ≤ ν andl j =l j ,q j =q j where we define for any r < j ≤ ν the integersl j <q j minimal so that gq j (c 0,j ) = gl j (c 0,j ). By the chain rule it follows that Thus we obtain If such j and j exist then c l j ,j is a hyperbolic periodic point, hence Dgq j −1 (c l j ,j ) = Dgl j −1 (c l j ,j ). It follows that w 0 j = w 0 j . Thus the Claim is proved. To obtain an eigenvector for A with eigenvalue 1, does not depend on the choice of j and s. (This can be proved similarly as the claim.) The above argument builds an isomorphism between {v ∈ C ν : DR(c 1 , v) = 0} and the eigenspace of A associated with eigenvalue 1. So these two spaces have the same dimension.
We say that ρ ∈ C is an exceptional value if there exists r < j ≤ ν such that Dg q j −l j (c l j ,j ) = ρ q j −l j .

4.4.
Positive transversality in the real case. To illustrate the power of the previous proposition we state: Corollary 4.3 (Positive transversality). Let (g, G, p) W be a real local holomorphic deformation of a real marked map g. Assume that one has |Dg q j −l j (c l j ,j )| > 1 for all r < j ≤ ν. Assume furthermore that all the eigenvalues of A lie in the set {|ρ| ≤ 1, ρ = 1}. Then the 'positively oriented' transversality condition holds.

The lifting property and the spectrum of A
The next proposition shows that the lifting property implies that the spectrum of A is in the closed unit disc.
Proposition 5.1. If (g, G, p) W has the lifting property, then the spectral radius of the associated transfer operator A is at most 1 and every eigenvalue of A of modulus one is semisimple (i.e. its algebraic multiplicity coincides with its geometric multiplicity). Moreover, for (g, G, p) W real, we only need to assume that the lifting property with respect to real holomorphic motions.
Proof. For any v = (v(x)) x∈g(P ) , construct a holomorphic motion h for every k > 0. By Cauchy's integral formula, there exists λ (x) | λ=0 | ≤ C holds for all x ∈ g(P ) and all k. It follows that for any v ∈ C #g(P ) , A k (v) is a bounded sequence. Thus the spectral radius of A is at most one and every eigenvalue of A of modulus one is semisimple.
Suppose (g, G, p) W is real. Then for any v ∈ R #g(P ) , the holomorphic motion h (0) λ can be chosen to be real. Thus if (g, G, p) W has the real lifting property, then {A k (v)} ∞ k=0 is bounded for each v ∈ R #g(P ) . The conclusion follows.
To obtain that the radius is strictly smaller than one, we shall apply the argument to a suitable perturbation of the map g. For example, we have the following: Proposition 5.2 (Robust spectral property). Let (g, G, p) W be as above. Let Q be a polynomial such that Q(c 0,j ) = 0 for 1 ≤ j ≤ ν and Q(x) = 0, Q (x) = 1 for every x ∈ g(P ). Let ϕ ξ (z) = z − ξQ(z) and for ξ ∈ (0, 1) let ψ ξ (w) = (ϕ −1 ξ (w 1 ), · · · , ϕ −1 ξ (w ν )) be a map from a neighbourhood of c 1 into a neighbourhood of c 1 . Suppose that there exists ξ ∈ (0, 1) such that the triple (ϕ ξ • g, ϕ ξ • G, p • ψ ξ ) has the lifting property. Then the spectral radius of A is at most 1 − ξ.
Proof. Note thatg := ϕ ξ • g is a marked map with the same sets P 0 ⊂ P . Furthermore, . Therefore, the operator which is associated to the triple (ϕ ξ • g, ϕ ξ • G, p • ψ ξ ) is equal to (1 − ξ) −1 A, Since the latter triple has the lifting property, by Proposition 5.1, the spectral radius of (1 − ξ) −1 A is at most 1.
For completeness we include: Lemma 5.3. Assume that the spectrum radius of A is strictly less than 1. Then the lifting property holds.
Proof. Let Φ(Z) = (ϕ x (Z)) x∈g(P ) be the holomorphic map defined from a neighbourhood V of the point z := g(P ) ∈ C #g(P ) by So the derivative of Φ at z is equal to A, and hence z is a hyperbolic attracting fixed point of Φ. Therefore, there exist N > 0 and a neighborhood U of z such that Φ N is well-defined on U and such that Φ N (U) is compactly contained in U 0 . It follow Φ n converges uniformly to the constant z in U.
Let us prove that (g, G, p) W has the lifting property. Indeed, if h λ is a holomorphic motion of g(P ) over (D, 0), then there exists ε > 0 such that h λ := (h λ (x)) x∈g(P ) ∈ U, so that h (k) λ is a holomorphic motion of g(P ) over (D ε , 0) and h (k+1) λ is the lift of h (k) λ .

The lifting property and persistence of critical relations
The main technical result in this paper is the following theorem: Theorem 6.1. Assume that either the triple (g, G, p) W has the lifting property or (g, G, p) W is real and has the real lifting property. Assume also that for all r < j ≤ ν, Dg q j −l j (c l j ,j ) = 1.

Then
(1) All eigenvalues of A are contained in D.
(2) There is a neighborhood W of c 1 in W such that is a smooth submanifold of W , and its dimension is equal to the geometric multiplicity of the eigenvalue 1 of A.
The second statement is useful to conclude that DR is non-degenerate at c 1 , or equivalently, that 1 is not an eigenvalue of A. Indeed, if ν = 1 and if 1 is an eigenvalue of A, the manifold (6.1) must contain a neighbourhood of c 1 and hence R(w) = 0 holds for every w ∈ C near c 1 ∈ C, which only happens for trivial family (g, G, p) W . It is also possible to apply this statement in a more subtle way, see [24].
Let Λ be a domain in C which contains 0. A holomorphic motion h λ (x) of g(P ) over (Λ, 0) is called asymptotically invariant of order m (with respect to (g, G, p) W ) if there is a subdomain Λ 0 ⊂ Λ which contains 0 and a holomorphic motion h λ (x) which is the lift of h λ over (Λ 0 , 0), such that Obviously, Lemma 6.1. 1 is an eigenvalue of A if and only if there is a non-degenerate holomorphic motion which is invariant of order 1.
Then there is a non-degenerate holomorphic motion H λ of g(P ) over some (Λ, 0) which is asymptotically invariant of order m + 1.
for all x ∈ g(P ). (2) Assume (g, G, p) W is real and has the real lifting property. Suppose that there is a real holomorphic motion h λ of g(P ) over (Λ, 0) which is asymptotically invariant of order m for some m ≥ 1. Then there is a non-degenerate real holomorphic motion H λ of g(P ) over some (Λ, 0) which is asymptotically invariant of order m + 1. Besides, H λ (x) − h λ (x) = O(λ m+1 ) as λ → 0 for all x ∈ g(P ).
Proof. We shall only prove the first statement as the proof of the second is the same with obvious change of terminology. Let h λ be a non-degenerate holomorphic motion of g(P ) over (Λ, 0) which is asymptotically invariant of order m. By assumption that (g, G, p) W has the lifting property , there exists a smaller domain Λ 0 ⊂ Λ and holomorphic motions h By shrinking Λ 0 , we may assume that there exists k n → ∞, such that ψ (kn) λ (x) converges uniformly in λ ∈ Λ 0 as k n → ∞ to a holomorphic function H λ (x). Shrinking Λ 0 furthermore if necessary, H λ defines a holomorphic motion of g(P ) over (Λ 0 , 0). Clearly, ϕ (kn) λ (x) converges uniformly to H λ (x) as well.

By the construction of h
Since all the functions h λ (x) have the same derivatives up to order m at λ = 0, applying Fact 6.2, we obtain as λ → 0. Summing over i = 0, 1, · · · , k − 1 and using the definition of ψ λ (x) we obtain Together with (6.3), this implies the equality in (i).
If d = 0, i.e., L = {0}, then DR(c 1 ) is invertible, so R is a local diffeomorphism, and for a small neighborhood W of c 1 , the set in (6.1) consists of a single point c 1 . Now assume d = ν, i.e., L = C ν . We claim that R(w) ≡ 0. Otherwise, there exists m ≥ 1 such that R(w) = ∞ k=m P k (w−c 1 ) in a neighborhood of c 1 , where P k (u) is a homogeneous polynomial in u of degree k and P m (u) ≡ 0. Therefore, there exists v ∈ C d such that P m (λv) = Aλ m for some A = 0. By the argument above, there is holomorphic curve λ → w(λ) passing through c 1 and tangent to v at λ = 0, such that |R(w(λ))| = O(λ m+1 ). However, The case 0 < d < ν can be done similarly. To be definite, let us assume that and t = Φ(u) is the only solution of R j (t, u) = 0, 1 ≤ j ≤ d , in a fixed neighborhood of (c 1,1 , c 1,2 , · · · , c 1,d ). It suffices to prove that R j (Φ(u), u) = 0 for u close to u 0 , d < j ≤ ν.

7.
Families of the form f λ (x) = f (x) + λ and f λ (x) = λf (x) In this section we will apply these techniques to show that one has monotonicity and the transversality properties (2.4) and (2.3) within certain families of real maps of the form f λ (x) = f (x) + λ and f λ (x) = λ · f (x) where x → f (x) has one critical value (and is unimodal -possibly on a subset R) or satisfy symmetries. There are quite a few papers giving examples for which one has non-monotonicity for such families, see for example [4,21,39,50]. In this section we will prove several theorems which show monotonicity for a fairly wide class of such families.
In Subsection 7.1 we show that the methods we developed in the previous section apply if one has something like a polynomial-like map f : U → V with sufficiently 'big complex bounds'.
This gives yet another proof for monotonicity for real families of the form z + c, c ∈ R in the setting when is an even integer. We also apply this method to a family of maps with a flat critical point in Subsection 7.2. In Subsection 7.3 we show how to obtain the lifting property in the setting of one parameter families of the form f a (x) = af (x) with f in some rather general class of maps.

7.1.
Families of the form f λ (x) = f (x) + λ with a single critical point. Let f : U → V be a map from the class F defined in Subsection 2.8. Consider a marked map g with g = f + g(0) for some f ∈ F from a finite set P into itself with P ⊃ P 0 = {0}, P \ P 0 ⊂ U . In other words, g extends to a holomorphic map g : Next define a local holomorphic deformation (g, G, p) W of g as follows: G w (z) = g(z)+(w−g(0)) and p(w) = 0 for all w ∈ W := C.
Theorem 7.1. Let (g, G, p) W be as above. Then (1) (g, G, p) W satisfies the lifting property; (2) the spectrum of the operator A is contained in D \ {1}.
If, in addition, the robust separation property V g ⊃ B(c 1 ; diam(U g )) ⊃ U g holds, then the spectral radius of A is strictly smaller than 1 and holds for all |ρ| ≤ 1. In particular, if g, G are real then q−1 Claim. Let ∆ 0 be a simply connected domain in C. Then any holomorphic motion h λ in M ∆ has a lift h λ which is again in the class M ∆ .
For any holomorphic motion h λ of g(P ) over (Λ, 0) with h λ (0) = 0, there is a simply connected sub-domain ∆ 0 such that the restriction of h λ to ∆ belongs to the class M ∆ . It follows that (g, G, p) W has the lifting property.
Therefore the assumptions of the Main Theorem are satisfied. The operator A cannot have an eigenvalue 1 because otherwise for all parameters w ∈ W the G w would have the same dynamics. Hence, (2) in the conclusion of the theorem follows.
If the robust separation property V g ⊃ B(c 1 ; diam(U g )) ⊃ U g holds, then Proposition 5.2 applies and therefore the spectral radius of A is strictly smaller than 1. As in Example 4.1 the conclusion follows.

7.2.
A unimodal family map f ∈ F with a flat critical point. Fix ≥ 1, b > 2(e ) 1/ and consider Note that R + x → 2xe 1/x has a unique critical point at x = 1/ corresponding to a minimum value 2( e) 1/ . Therefore the assumption on b implies that b = 2xe 1/x has a unique solution x = β ∈ (0, 1/ ). This implies in particular that the map f −β has the Chebeshev combinatorics: Therefore, there exists For a bounded open interval J ⊂ R, let D * (J) denote the Euclidean disk with J as a diameter. This set corresponds to the set of points for which the distance to J w.r.t. the Poincaré metric is the open disc with radius R and centre at x.
It is straightforward to check that F 0 maps U + (resp. U − ) onto B * (0, R) as an un-branched covering.   For which interval maps f , has one monotonicity of the entropy for the family x → f a (x), a ∈ R? This question is subtle, as the counter examples to various conjectures show, see [39,21,4,50]. In this section we will obtain monotonicity and transversality for such families provided f is (e) f is odd, f : D → V has no singular values in V \ {0, ±1} and c > 0 is minimal such that f has a positive local maximum at c and f (c) = 1. Here, as usual, we say that v ∈ C is a singular value of a holomorphic map f : D → C if it is a critical value, or an asymptotic value where the latter means the existence of a path γ : [0, 1) → D so that γ(t) → ∂D and f (γ(t)) → v as t ↑ 1. Note that we do not require here that V ⊃ D.
Using qs-rigidity, it was already shown in [41] that the topological entropy of R x → af (x) is monotone a, where f (x) = sin(x) or more generally f is real, unimodal and entire on the complex plane and satisfies a certain sector condition. Here we strengthen and generalise this result as follows: Theorem 7.2. Let f be either in E or in E o . Assume that the local maximum c > 0 is periodic for f a (x) = af (x) where 0 < a < b. Then the following 'positive-oriented' transversality property holds: (A similar statement holds when c is pre-periodic for f a .) In particular, the kneading sequence of the family f a (x) : J → R is monotone increasing.
Proof. , f a maps (0, b) into itself, and so P ⊂ (0, b). We may also assume that g(c) > c because otherwise q = 1 and the result is again trivial. By the assumptions, g is a holomorphic map g : D → V a , g(P ) ⊂ P and Dg(x) = 0 for any x ∈ P \ P 0 . In particular, g is a real marked map. For each w ∈ W : Then (g, G, p) W is a local holomorphic deformation of g. It suffices to prove that (g, G, p) W has the lifting property so that the Main Theorem applies. Indeed, if 1 is an eigenvalue of A then by the Main Theorem {R(w) = 0} is an open set and therefore this critical relation holds for all parameters, which clearly is not possible. Let us first consider the case f ∈ E. In this case, w is the only critical or singular value of G w . Given a simply connected domain ∆ 0 in C, let M ∆ denote the collection of all holomorphic motions h λ of g(P ) over (∆, 0) with the following property that for all λ ∈ ∆ we have h λ (x) ∈ U for all x ∈ g(P ) \ {c} and h λ (c) = c. Given such a holomorphic motion, for each x ∈ g(P ) there is a holomorphic map λ → h λ (x), λ ∈ ∆, with h 0 (x) = x and such that f ( h λ (x)) = h λ (g(x))/h λ (g(c)). Indeed, for x = c, take h λ (x) ≡ c and for x ∈ g(P ) \ {c}, we have by property (c) that h λ (g(x))/h λ (g(c)) ∈ V \ {0, 1}. Note that we use here that g(c) ∈ D + since c < g(c) < b. So the existence of h λ follows from the fact that f : is an unbranched covering. Clearly, h λ is a holomorphic motion in M ∆ and it is a lift of h λ over ∆. It follows that (g, G, p) W has the lifting property. Indeed, if h λ is a holomorphic motion of g(P ) over (Λ, 0) for some domain Λ 0 in C, then we can take a small disk ∆ 0 such that the restriction of h λ on (∆, 0) is in the class M ∆ . Therefore, there exists a sequence of holomorphic motions h (k) λ (x) avoids values 0 and c. Restricting to a small disk, we conclude by Montel's theorem that λ → h (k) λ (x) is bounded. The case f ∈ E o is similar. In this case, G w has two critical or singular values w and −w, but it has additional symmetry being an odd function. Given a simply connected domain ∆ 0 in C, let M o ∆ denote the collection of all holomorphic motions h λ of g(P ) over (∆, 0) with the following properties: for each λ ∈ ∆, • h λ (x) ∈ U for all x ∈ g(P ) \ {c} and h λ (c) = c; • h λ (x) = −h λ (y) for x, y ∈ g(P ) and x = y. Then similar as above, we show that each h λ in M o ∆ has a lift which is again in the class M o ∆ . It follows that (g, G, p) W has the lifting property.
Then z → exp(z) maps this half-plane onto the punctured disc B * (0, exp(−2 )) centered at 0 and with radius exp(−2 ) (and with a puncture at 0). Applying the translation z → exp(−2 ) to this punctured disc we obtain the punctured disc centered at B * (exp(−2 ), exp(−2 )). Then multiplying this disc by exp (2 ) shows that f maps U − , U + onto B * (1, 1). (Note that this final punctured disc touches the imaginary axis.) Since 0 is a repelling fixed point of f with multiplier > 2, and U − , U + are close to the intervals (0, 1/2) and (1/2, 1) when is large, we can enlarge the domain and range, and obtain a map as in (a)-(d).

Application to families with one free critical point
Let us apply the method along a curve in parameter space corresponding to where some ν-parameter family of maps G w has ν − 1 critical relationships.
Choose for each j = 1, . . . , ν − 1 either µ(j) ∈ {1, 2, . . . , ν} or 1 ≤ l j < q j . Given this choice, let L be the set of w = (w 1 , · · · , w ν ) ∈ W for which the following hold: (w j ) = p µ(j) (w) and G k w (w j ) ∈ P 0,w for each 1 ≤ k < q j ; (6) if l j is defined then G q j −1 w (w j ) = G l j −1 w (w j ) and G k w (w j ) ∈ P 0,w for all 0 ≤ k ≤ q j − 1. Relabelling these points w 1 , . . . , w ν−1 , we assume that there is r such that the first alternative happens for all 1 ≤ j ≤ r and the second alternative happens for r < j ≤ ν − 1.
Remark 8.1. So for each w ∈ L, G w has ν−1 critical relations which start with p 1 (w), . . . , p ν−1 (w). Hence the terminology of partially marked family of maps.
Define for w ∈ W , for 1 ≤ j ≤ r, and for r < j ≤ ν − 1, where w = (w j ) ν j=1 . Then L is precisely the set Let L * be a maximal connected subset of L ∩ R ν such that for each w ∈ L * , the ν × (ν − 1) matrix has rank ν − 1.
Here ∇R i (w) is the gradient of R i . By the implicit function theorem, L * is a real analytic curve. Now, let us assume that for some c 1 = (c 1,1 , . . . , c 1,ν ) ∈ L * , G c 1 has an additional critical relation starting with p ν (w), i.e., g = G c 1 is a marked map and G extends to a local holomorphic deformation of g: there is a neighborhood • if l ν exists then g qν c 1 (p ν (c 1 )) = g lν (p ν (c 1 )) and g k (w ν ) ∈ P 0,c 1 for all 1 ≤ k ≤ q ν , then we define Notice that R ν is only defined in a small neighbourhood W c 1 of c 1 .
The following theorem gives a condition implying that along the curve L * all bifurcations are in the same direction.
Theorem 8.1. For each w ∈ L * , define E w ∈ T w C ν to be the unique unit vector in R ν orthogonal to the range of the matrix V w and so that det 1 Then • E w is a tangent vector to L * at w and L * w → E w is real analytic. In particular, E w defines an orientation on the entire curve L * which we will call 'positive'. • If for some c 1 ∈ L * the corresponding map g = G c 1 is a marked map as above and the positively oriented transversality property (2.3) holds for the local holomorphic deformation (g, G, p) Wc 1 , then 1 where Dg qν −1 (c 1,ν ) is the spatial derivative, and ∇ E R ν (c 1 ) is the derivative in the direction of the tangent vector E = E c 1 of L * at c 1 .
By [22], the corresponding 2×1 matrix (8.3) has rank one and hence L q = L q * is a simple smooth curve. In fact, the positively oriented transversality property holds for any critically-finite f a,b ; this follows similar to the proof of Theorem 7.1 of the next Section (see [24] for a general result though). By Theorem 8.1 we have a positive orientation on L q = L * q and the entropy increases or decreases along this curve as mentioned in Remark 8.2.
For q > 0 consider a connected component Γ q of the set {(a, b) ∈ Σ : f q a,b (a) = a} which was called a bone in [37]. The next theorem proves a crucial property of this set, which was derived in [37] using global considerations (including Thurston rigidity for postcriticallly finite maps). Here we will derive this property from positive transversality. Theorem 8.2 (Properties of bones). Assume that for some (ã,b) ∈ Γ q the integer q > 0 is minimal so that f q a,b (ã) =ã. Then for all (a, b) ∈ Γ q one has that f i a,b (a) = a for all 0 < i < q. Moreover, (1) there exists at most one (a * , b * ) ∈ Γ q so that f i a * ,b * (a * ) = −a * for some 0 ≤ i ≤ q. (2) the kneading sequence of f a,b is monotone on each of the components of Γ q \ {(a * , b * )}; more precisely, it is non-decreasing on one component and non-increasing on the other component.
Proof. That f i a,b (a) = a for all 0 < i < q, (a, b) ∈ Γ q follows from the implicit function theorem because the multiplier of this q-periodic orbit is not equal to 1. It is well known that Γ q is a smooth curve (this also follows for example from [22]). The curve Γ q is a component of the zero set ofR (a, b) = f q a,b (a) − a. As remarked, the critical values w = (w 1 , w 2 ) are local parameters along the curve Γ q and we define a direction on the curve Γ q by the tangent vector V (a,b) = (− ∂R ∂w 2 , ∂R ∂w 1 ).
Assume that for some (a * , b * ) ∈ Γ q the orbit of a * contains the other critical point, i.e. assume that f i a * ,b * (a * ) = −a * for some 0 < i < q. The idea of the proof below is as follows. We will show that as the point (a, b) ∈ Γ q passes through (a * , b * ), the point −a crosses f i a,b (a) in a direction which depends only on the sign of ∆ i (a * , b * ) where ). Now as (a, b) moves further along Γ q , on the one hand (for the same reason) −a cannot cross f i a,b (a) in the opposite direction, and on the other hand −a cannot cross a neighbour f j a,b (a) of f i a,b (a) at some other (a • , b • ) ∈ Γ q because ∆ i (a * , b * ) and ∆ j (a • , b • ) have opposite signs. Let us explain this in more detail.
Since the map f a * ,b * is critically finite, one has positive transversality at this parameter. More precisely, define Hence the positive transversality condition can be written as As in the proof of Theorem 8.1 we obtain where D V (a * ,b * ) stands for the directional derivative of R 1 in the direction V (a * ,b * ) . To be definite, let us consider the case that This implies that and so the derivative of is negative at (a * , b * ). By contradiction, assume that there exists another parameter (a • , b • ) ∈ Γ q which is the nearest to the right of (a * , b * ) for which there exists 0 < j < q so that f j a•,b• (a • ) = −a • . In what follows we use that the ordering of the points a, . . . , f q−1 a,b (a) in R does not change along the curve Γ q . Let Γ • q be the open arc between (a * , b * ) and (a • , b • ). Notice that because of (8.6) (8.9) Observe that j = i because when j = i then (8.9) holds on the closure of Γ • q and so D V (a•,b•) R 1 (a • , b • ) < 0. Therefore (8.8) also holds at (a • , b • ) which is clearly a contradiction. Therefore, j = i and along the open arc Γ • q and there are no points of the orbit of a between f i a,b (a), f j a,b (a). The sign of .
Because of (8.9) we therefore have .
The key point is that the sign of the ratio in the r.h.s. of this expression is negative because −a is a folding critical point and because of (8.10). It follows that ∆ j (a • , b • ) > 0 and so arguing as before the derivative of But by (8.10) we have that f j a,b (a) − (−a) > 0 on Γ • q . This and (8.12) imply that f j a•,b• (a • ) − (−a • ) > 0 which is a contradiction.
The 2nd assertion follows immediately from Theorem 8.1 and Remark 8.2.
Remark 8.3. The proof of the previous theorem can also be applied to the setting of polynomials of higher degrees.
Appendix A. The family f c (x) = |x| ± + c with ± > 1 large In this section we obtain monotonicity for unimodal (not necessary symmetric!) maps in the presence of critical points of large non-integer order, but only if not too many points in the critical orbit are in the orientation reversing branch.
For any integer L ≥ 1 there exists 0 > 1 so that for any q ≥ 1 and any periodic kneading sequence i = i 1 i 2 · · · ∈ {−1, 0, 1} Z + of period q so that #{0 ≤ j < q; i j = −1} ≤ L, and any pair − , + ≥ 0 there is at most one c ∈ R for which the kneading sequence of f c is equal to i. Moreover, Notations. As usual, for any three distinct point o, a, b ∈ C, let ∠aob denote the angle in [0, π] which is formed by the rays oa and ob. We shall often use the following obvious relation: for any distinct four points o, a, b, c, ∠aob + ∠boc ≥ ∠aoc.
Main Lemma. There is 0 depending only on the number L such that for any ≥ 0 and each θ small enough, the following holds: If #{0 ≤ j < q; i j = −1} ≤ L and if a θ-regular motion can be successively lifted q − 1 times and all these successive lifts are θ-regular, then the q-th lift of the holomorphic motion is θ/2-regular.
Proof of Theorem A.1. Given L, choose 0 as in the Main Lemma. It is enough to prove (A.1) provided ≥ 0 . Consider a local holomorphic deformation (f c , f w , p) W where W ⊂ C is a small neighbourhood of c, f w = f c + (w − c) and p = 0. Let h λ be a holomorphic motion of P over (∆, 0). Let us fix θ > 0 small enough. Restricting h λ to a smaller domain ∆ ε , we may assume that h λ is θ-regular and that h λ can be lifted successively for q times. Therefore by the Main Lemma, we obtain a sequence of holomorphic motions h  Alternatively, the uniqueness of c follows directly from the Main Lemma. Indeed, letf = fc be a map with the same kneading sequence as f c . Then one can define a real holomorphic motion h λ over some domain Ω 0, 1 such that h λ (f n (0)) =f n (0) for λ = 1. As above, for i > 0 let h Lemma A.2. For any θ ∈ (0, π) and 0 < t < 1, if z ∈ D θ then z t ∈ D θ .
Proof. This is a well-known consequence of the Schwarz lemma, due to Sullivan.
When ∠01z is much smaller than ∠10z, we have the following improved estimate.
Proof. Note that 0xy is the image of c λ u λ v λ under an appropriate branch of z → (z − c λ ) t . Since ∠xoy < 8θ/ , an upper bound on ∠oyx implies a lower bound on ∠oxy.
(2) In this case, Thus by Lemma A.2, the conclusion (i) follows; (ii) is similar.
So the conclusion follows from Lemma A.3.

Appendix B. Families without the lifting property
In this appendix we will give a few examples of families for which the lifting property does not hold.
B.1. Remark on the lifting property for the flat family. Using the notations of Section 7.2 let b = 2(e ) 1/ , c = −β = − 1/ and f = F c so that 0 → c → β → β by f . By Remark 7.4 the transversality fails for (f, F, p). (It can be also checked directly that the function R(w) = F 2 w (w) − F w (w) vanished at w = c, not identically zero but R (c) = 0.) Therefore, by the Main Theorem, this triple does not have the lifting property.
B.2. Spectrum of the transfer operator and linear coordinate changes of the quadratic family. Consider the standard holomorphic deformation of a critically finite quadratic map (g, G, p), that is, p(w) = 0, G w (z) = z 2 + w and g = G c 1 is so that 0 is periodic for g of period q ≥ 2.
We have to varify the following identity: Let us indicate its proof. We have: (g n ν ) (v 1 ) = (g n ) (c 1 ), v n = c n /ϕ(c 1 ) (in particular, ϕ(c 1 ) = c 1 /v 1 , and ) | v=v 1 v 2 n + 1. Then the above identity turns out to be equivalent to the following one: which is checked directly using c n+1 − c 2 n = c 1 for 1 ≤ n ≤ q − 2 and −c 2 q−1 = c 1 .