We prove that for each characteristic direction $[v]$ of a tangent to the identity diffeomorphism of order $k+1$ in $(\mathbb{C}^{2},0)$ there exist either an analytic curve of fixed points tangent to $[v]$ or $k$ parabolic manifolds where all the orbits are tangent to $[v]$, and that at least one of these parabolic manifolds is or contains a parabolic curve.

We consider a certain two-parameter family of automorphisms of the affine plane over a complete, locally compact non-Archimedean field. Each of these automorphisms admits a chaotic attractor on which it is topologically conjugate to a full two-sided shift map, and the attractor supports a unit Borel measure which describes the distribution of the forward orbit of Haar-almost all points in the basin of attraction. We also compute the Hausdorff dimension of the attractor, which is non-integral.

Let $X$ be a nonempty set and ${\mathcal{P}}(X)$ the power set of $X$. The aim of this paper is to identify the unital subrings of ${\mathcal{P}}(X)$ and to compute its cardinality when it is finite. It is proved that any topology $\unicode[STIX]{x1D70F}$ on $X$ such that $\unicode[STIX]{x1D70F}=\unicode[STIX]{x1D70F}^{c}$, where $\unicode[STIX]{x1D70F}^{c}=\{U^{c}\mid U\in \unicode[STIX]{x1D70F}\}$, is a unital subring of ${\mathcal{P}}(X)$. It is also shown that $X$ is finite if and only if any unital subring of ${\mathcal{P}}(X)$ is a topology $\unicode[STIX]{x1D70F}$ on $X$ such that $\unicode[STIX]{x1D70F}=\unicode[STIX]{x1D70F}^{c}$ if and only if the set of unital subrings of ${\mathcal{P}}(X)$ is finite. As a consequence, if $X$ is finite with cardinality $n\geq 2$, then the number of unital subrings of ${\mathcal{P}}(X)$ is equal to the $n$th Bell number and the supremum of the lengths of chains of unital subalgebras of ${\mathcal{P}}(X)$ is equal to $n-1$.

We show that for any quasimeromorphic mapping with an essential singularity at infinity, there exist points whose iterates tend to infinity arbitrarily slowly. This extends a result by Nicks for quasiregular mappings, and Rippon and Stallard for transcendental meromorphic functions on the complex plane. We further establish a new result for the growth rate of quasiregular mappings near an essential singularity, and briefly extend some results regarding the bounded orbit set and the bungee set to the quasimeromorphic setting.

We study topological properties of the escaping endpoints and fast escaping endpoints of the Julia set of complex exponential $\exp (z)+a$ when $a\in (-\infty ,-1)$ . We show neither space is homeomorphic to the whole set of endpoints. This follows from a general result stating that for every transcendental entire function $f$ , the escaping Julia set $I(f)\cap J(f)$ is first category.

We discuss the relation between the existence of fixed points of the Ruelle operator acting on different Banach spaces, and Sullivan’s conjecture in holomorphic dynamics.

We study the iteration of transcendental self-maps of $\mathcal{C}^*:\=\mathcal{C}\{0}$, that is, holomorphic functions $\fnof:\mathcal{C}^*:\rarr\mathcal{C}^*$ for which both zero and infinity are essential singularities. We use approximation theory to construct functions in this class with escaping Fatou components, both wandering domains and Baker domains, that accumulate to $\{0},\infin$ in any possible way under iteration. We also give the first explicit examples of transcendental self-maps of $\mathcal{C}^*$ with Baker domains and with wandering domains. In doing so, we developed a sufficient condition for a function to have a simply connected escaping wandering domain. Finally, we remark that our results also provide new examples of entire functions with escaping Fatou components.

We develop some foundational results in a higher-dimensional foliated Mori theory, and show how these results can be used to prove a structure theorem for the Kleiman–Mori cone of curves in terms of the numerical properties of $K_{{\mathcal{F}}}$ for rank 2 foliations on threefolds. We also make progress toward realizing a minimal model program (MMP) for rank 2 foliations on threefolds.

We prove that all transcendental entire functions have infinite topological entropy.

Let $f$ be an $n$ -dimensional holomorphic map defined in a neighborhood of the origin such that the origin is an isolated fixed point of all of its iterates, and let ${\mathcal{N}}_{M}(f)$ denote the number of periodic orbits of $f$ of period $M$ hidden at the origin. Gorbovickis gives an efficient way of computing ${\mathcal{N}}_{M}(f)$ for a large class of holomorphic maps. Inspired by Gorbovickis’ work, we establish a similar method for computing ${\mathcal{N}}_{M}(f)$ for a much larger class of holomorphic germs, in particular, having arbitrary Jordan matrices as their linear parts. Moreover, we also give another proof of the result of Gorbovickis [On multi-dimensional Fatou bifurcation. Bull. Sci. Math.138(3)(2014) 356–375] using our method.

Let $B$ be a rational function of degree at least two that is neither a Lattès map nor conjugate to $z^{\pm n}$ or $\pm T_{n}$. We provide a method for describing the set $C_{B}$ consisting of all rational functions commuting with $B$. Specifically, we define an equivalence relation $\underset{B}{{\sim}}$ on $C_{B}$ such that the quotient $C_{B}/\underset{B}{{\sim}}$ possesses the structure of a finite group $G_{B}$, and describe generators of $G_{B}$ in terms of the fundamental group of a special graph associated with $B$.

We prove several results concerning the relative position of points in the postsingular set P(f) of a meromorphic map f and the boundary of a Baker domain or the successive iterates of a wandering component. For Baker domains we answer a question of Mihaljević-Brandt and Rempe-Gillen. For wandering domains we show that if the iterates Un of such a domain have uniformly bounded diameter, then there exists a sequence of postsingular values pn such that ${\rm dist} (p_n, U_n)\to 0$ as $n\to \infty $. We also prove that if $U_n \cap P(f)=\emptyset $ and the postsingular set of f lies at a positive distance from the Julia set (in ℂ), then the sequence of iterates of any wandering domain must contain arbitrarily large disks. This allows to exclude the existence of wandering domains for some meromorphic maps with infinitely many poles and unbounded set of singular values.

Let $f$ be a holomorphic endomorphism of $\mathbb{P}^{2}$ of degree $d\geq 2$. We estimate the local directional dimensions of closed positive currents $S$ with respect to ergodic dilating measures $\unicode[STIX]{x1D708}$. We infer several applications. The first one is an upper bound for the lower pointwise dimension of the equilibrium measure, towards a Binder–DeMarco’s formula for this dimension. The second one shows that every current $S$ containing a measure of entropy $h_{\unicode[STIX]{x1D708}}>\log d$ has a directional dimension ${>}2$, which answers a question of de Thélin–Vigny in a directional way. The last one estimates the dimensions of the Green current of Dujardin’s semi-extremal endomorphisms.

The study of the dynamics of an holomorphic map near a fixed point is a central topic in complex dynamical systems. In this paper, we will consider the corresponding random setting: given a probability measure $\unicode[STIX]{x1D708}$ with compact support on the space of germs of holomorphic maps fixing the origin, we study the compositions $f_{n}\circ \cdots \circ f_{1}$, where each $f_{i}$ is chosen independently with probability $\unicode[STIX]{x1D708}$. As in the deterministic case, the stability of the family of the random iterates is mostly determined by the linear part of the germs in the support of the measure. A particularly interesting case occurs when all Lyapunov exponents vanish, in which case stability implies simultaneous linearizability of all germs in $\text{supp}(\unicode[STIX]{x1D708})$.

Let $\unicode[STIX]{x1D719}$ be a post-critically finite branched covering of a two-sphere. By work of Koch, the Thurston pullback map induced by $\unicode[STIX]{x1D719}$ on Teichmüller space descends to a multivalued self-map—a Hurwitz correspondence ${\mathcal{H}}_{\unicode[STIX]{x1D719}}$—of the moduli space ${\mathcal{M}}_{0,\mathbf{P}}$. We study the dynamics of Hurwitz correspondences via numerical invariants called dynamical degrees. We show that the sequence of dynamical degrees of ${\mathcal{H}}_{\unicode[STIX]{x1D719}}$ is always non-increasing and that the behavior of this sequence is constrained by the behavior of $\unicode[STIX]{x1D719}$ at and near points of its post-critical set.

It was recently shown in Gaidashev and Yampolsky [Golden mean Siegel disk universality and renormalization. Preprint, 2016, arXiv:1604.00717] that appropriately defined renormalizations of a sufficiently dissipative golden-mean semi-Siegel Hénon map converge super-exponentially fast to a one-dimensional renormalization fixed point. In this paper, we show that the asymptotic two-dimensional form of these renormalizations is universal and is parameterized by the average Jacobian. This is similar to the limit behavior of period-doubling renormalizations in the Hénon family considered in de Carvalho et al [Renormalization in the Hénon family, I: universality but non-rigidity. J. Stat. Phys.121 (5/6) (2006), 611–669]. As an application of our result, we prove that the boundary of the golden-mean Siegel disk of a dissipative Hénon map is non-smoothly rigid.

We construct a renormalization operator which acts on analytic circle maps whose critical exponent $\unicode[STIX]{x1D6FC}$ is not necessarily an odd integer $2n+1$, $n\in \mathbb{N}$. When $\unicode[STIX]{x1D6FC}=2n+1$, our definition generalizes cylinder renormalization of analytic critical circle maps by Yampolsky [Hyperbolicity of renormalization of critical circle maps. Publ. Math. Inst. Hautes Études Sci.96 (2002), 1–41]. In the case when $\unicode[STIX]{x1D6FC}$ is close to an odd integer, we prove hyperbolicity of renormalization for maps of bounded type. We use it to prove universality and $C^{1+\unicode[STIX]{x1D6FC}}$-rigidity for such maps.

We consider a meromorphic family of endomorphisms of degree at least 2 of a complex projective space that is parameterized by the unit disk. We prove that the measure of maximal entropy of these endomorphisms converges to the equilibrium measure of the associated non-Archimedean dynamical system when the system degenerates. The convergence holds in the hybrid space constructed by Berkovich and further studied by Boucksom and Jonsson. We also infer from our analysis an estimate for the blow-up of the Lyapunov exponent near a pole in one-dimensional families of endomorphisms.

We prove that one-parameter families of real germs of conformal diffeomorphisms tangent to the involution x ↦−x are rigid in the parameter. We establish a connection between the dynamics in the Poincaré and Siegel domains. Although repeatedly employed in the literature, the dynamics in the Siegel domain does not explain the intrinsic real properties of these germs. Rather, these properties are fully elucidated in the Poincaré domain, where the fixed points are linearizable. However, a detailed study of the dynamics in the Siegel domain is of crucial importance. We relate both points of view on the intersection of the Siegel normalization domains.

In this paper, we investigate the two-dimensional shrinking target problem in beta-dynamical systems. Let $\unicode[STIX]{x1D6FD}>1$ be a real number and define the $\unicode[STIX]{x1D6FD}$ -transformation on $[0,1]$ by $T_{\unicode[STIX]{x1D6FD}}:x\rightarrow \unicode[STIX]{x1D6FD}x\;\text{mod}\;1$ . Let $\unicode[STIX]{x1D6F9}_{i}$ ( $i=1,2$ ) be two positive functions on $\mathbb{N}$ such that $\unicode[STIX]{x1D6F9}_{i}\rightarrow 0$ when $n\rightarrow \infty$ . We determine the Lebesgue measure and Hausdorff dimension for the $\limsup$ set

$$\begin{eqnarray}W(T_{\unicode[STIX]{x1D6FD}},\unicode[STIX]{x1D6F9}_{1},\unicode[STIX]{x1D6F9}_{2})=\{(x,y)\in [0,1]^{2}:|T_{\unicode[STIX]{x1D6FD}}^{n}x-x_{0}|<\unicode[STIX]{x1D6F9}_{1}(n),|T_{\unicode[STIX]{x1D6FD}}^{n}y-y_{0}|<\unicode[STIX]{x1D6F9}_{2}(n)\text{ for infinitely many }n\in \mathbb{N}\}\end{eqnarray}$$

$x_{0},y_{0}\in [0,1]$