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.

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.

In this paper we give the definition of a meromorphic function which is geometrically finite and investigate some properties of geometrically finite meromorphic functions and the Lebesgue measure of their Julia sets.

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.

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.