Let $f$ be a transcendental meromorphic function with at least one direct tract. In this note, we investigate the structure of the escaping set which is in the same direct tract. We also give a theorem about the slow escaping set.

It is known that the Fatou set of the map exp(z)/z defined on the punctured plane ℂ* is empty. We consider the M-set of λ exp(z)/z consisting of all parameters λ for which the Fatou set of λexp(z)/z is empty. We prove that the M-set of λexp(z)/z has infinite area. In particular, the Hausdorff dimension of the M-set is 2. We also discuss the area of complement of the M-set.

We study the geometry of the space of measures of a compact ultrametric space $X$, endowed with the $L^{p}$ Wasserstein distance from optimal transportation. We show that the power $p$ of this distance makes this Wasserstein space affinely isometric to a convex subset of $\ell ^{1}$. As a consequence, it is connected by $1/p$-Hölder arcs, but any ${\it\alpha}$-Hölder arc with ${\it\alpha}>1/p$ must be constant. This result is obtained via a reformulation of the distance between two measures which is very specific to the case when $X$ is ultrametric; however, thanks to the Mendel–Naor ultrametric skeleton it has consequences even when $X$ is a general compact metric space. More precisely, we use it to estimate the size of Wasserstein spaces, measured by an analogue of Hausdorff dimension that is adapted to (some) infinite-dimensional spaces. The result we get generalizes greatly our previous estimate, which needed a strong rectifiability assumption. The proof of this estimate involves a structural theorem of independent interest: every ultrametric space contains large co-Lipschitz images of regular ultrametric spaces, i.e. spaces of the form $\{1,\dots ,k\}^{\mathbb{N}}$ with a natural ultrametric. We are also led to an example of independent interest: a space of positive lower Minkowski dimension, all of whose proper closed subsets have vanishing lower Minkowski dimension.

We show that the weak limit of the maximal measures for any degenerating sequence of rational maps on the Riemann sphere ${\hat{{\mathbb{C}}}} $ must be a countable sum of atoms. For a one-parameter family $f_t$ of rational maps, we refine this result by showing that the measures of maximal entropy have a unique limit on $\hat{{\mathbb{C}}}$ as the family degenerates. The family $f_t$ may be viewed as a single rational function on the Berkovich projective line $\mathbf{P}^1_{\mathbb{L}}$ over the completion of the field of formal Puiseux series in $t$, and the limiting measure on $\hat{{\mathbb{C}}}$ is the ‘residual measure’ associated with the equilibrium measure on $\mathbf{P}^1_{\mathbb{L}}$. For the proof, we introduce a new technique for quantizing measures on the Berkovich projective line and demonstrate the uniqueness of solutions to a quantized version of the pullback formula for the equilibrium measure on $\mathbf{P}^1_{\mathbb{L}}$.

We study the postcritically finite maps within the moduli space of complex polynomial dynamical systems. We characterize rational curves in the moduli space containing an infinite number of postcritically finite maps, in terms of critical orbit relations, in two settings: (1) rational curves that are polynomially parameterized; and (2) cubic polynomials defined by a given fixed point multiplier. We offer a conjecture on the general form of algebraic subvarieties in the moduli space of rational maps on ${ \mathbb{P} }^{1} $ containing a Zariski-dense subset of postcritically finite maps.

Consider a pseudogroup on $( \mathbb{C} , 0)$ generated by two local diffeomorphisms having analytic conjugacy classes a priori fixed in $\mathrm{Diff} \hspace{0.167em} ( \mathbb{C} , 0)$. We show that a generic pseudogroup as above is such that every point has a (possibly trivial) cyclic stabilizer. It also follows that these generic groups possess infinitely many hyperbolic orbits. This result possesses several applications to the topology of leaves of foliations, and we shall explicitly describe the case of nilpotent foliations associated to Arnold’s singularities of type ${A}^{2n+ 1} $.

We show that generically a pseudogroup generated by holomorphic diffeomorphisms defined about $0\in \mathbb{C} $ is free in the sense of pseudogroups even if the class of conjugacy of the generators is fixed. This result has a number of consequences on the topology of leaves for a (singular) holomorphic foliation defined on a neighborhood of an invariant curve. In particular, in the classical and simplest case arising from local nilpotent foliations possessing a unique separatrix which is given by a cusp of the form $\{ {y}^{2} - {x}^{2n+ 1} = 0\} $, our results allow us to settle the problem of showing that a generic foliation possesses only countably many non-simply connected leaves.

We investigate when the boundary of a multiply connected wandering domain of an entire function is uniformly perfect. We give a general criterion implying that it is not uniformly perfect. This criterion applies in particular to examples of multiply connected wandering domains given by Baker. We also provide examples of infinitely connected wandering domains whose boundary is uniformly perfect.

In this paper we study the classification of holomorphic flows on Stein spaces of dimension two. We assume that the flow has periodic orbits, not necessarily with a same period. Then we prove a linearization result for the flow, under some natural conditions on the surface.

Let f1,…,fg∈ℂ(z) be rational functions, let Φ=(f1,…,fg) denote their coordinate-wise action on (ℙ1)g, let V ⊂(ℙ1)g be a proper subvariety, and let P be a point in (ℙ1)g(ℂ). We show that if 𝒮={n≥0:Φn(P)∈V (ℂ)} does not contain any infinite arithmetic progressions, then 𝒮 must be a very sparse set of integers. In particular, for any k and any sufficiently large N, the number of n≤N such that Φn(P)∈V (ℂ) is less than log kN, where log k denotes the kth iterate of the logfunction. This result can be interpreted as an analogue of the gap principle of Davenport–Roth and Mumford.

A foliation on a non-singular projective variety is algebraically integrable if all leaves are algebraic subvarieties. A non-singular hypersurface X in a non-singular projective variety M equipped with a symplectic form has a naturally defined foliation, called the characteristic foliation on X. We show that if X is of general type and dim M≥4, then the characteristic foliation on X cannot be algebraically integrable. This is a consequence of a more general result on Iitaka dimensions of certain invertible sheaves associated with algebraically integrable foliations by curves. The latter is proved using the positivity of direct image sheaves associated to families of curves.

It is shown that a rational map of degree at least 2 admits a meromorphic invariant line field if and only if it is conformally conjugate to either an integral Lattès map, a power map, or a Chebyshev polynomial.

It is shown that the dnth Chebyshev polynomials on the Julia set JP, and on the equipotential curve ΓP(R), of the polynomial P(z)=zd−c, are identical and exactly equal to the nth iteration of P(z) itself. As an application, the capacity of the Julia set JP is deduced, a result that was first obtained by Brolin.

Let F(z) be a rational map with degree at least three. Suppose that there exists an annulus such that (1) H separates two critical points of F, and (2) F:H→F(H) is a homeomorphism. Our goal in this paper is to show how to construct a rational map G by twisting F on H such that G has the same degree as F and, moreover, G has a Herman ring with any given Diophantine type rotation number.

Lattès and Kummer examples are rational transformations of compact kähler manifolds that are covered by an affine transformation of a compact torus. We present a few ergodic characteristic properties of these examples. The main results concern the case of surfaces.

We prove a dynamical version of the Mordell–Lang conjecture in the context of Drinfeld modules. We use analytic methods similar to those employed by Skolem, Chabauty, and Coleman for studying diophantine equations.

Let f and g be two permutable transcendental entire functions. Assume that f is a solution of a linear differential equation with polynomial coefficients. We prove that, under some restrictions on the coefficients and the growth of f and g, there exist two non-constant rational functions R1 and R2 such that R1 (f) = R(g). As a corollary, we show that f and g have the same Julia set: J(f) = J(g). As an application, we study a function f which is a combination of exponential functions with polynomial coefficients. This research addresses an open question due to Baker.

We show that the group of conformal homeomorphisms of the boundary of a rank one symmetric space (except the hyperbolic plane) of noncompact type acts as a maximal convergence group. Moreover, we show that any family of uniformly quasiconformal homeomorphisms has the convergence property. Our theorems generalize results of Gehring and Martin in the real hyperbolic case for Möbius groups. As a consequence, this shows that the maximal convergence subgroups of the group of self homeomorphisms of the d–sphere are not unique up to conjugacy. Finally, we discuss some implications of maximality.

The concept of loosely Markov dynamical systems is introduced. We show that for these systems the recurrence rates and pointwise dimensions coincide. The systems generated by hyperbolic exponential maps, arbitrary rational functions of the Riemann sphere, and measurable dynamical systems generated by infinite conformal iterated function systems are all checked to be loosely Markov.

We consider a meromorphic function of finite lower order that has ∞ as its deficient value or as its Borel exceptional value. We prove that the set of limiting directions of its Julia set must have a definite range of measure.