Related papers: Thurston equivalence to a rational map is decidabl…

We prove the No Invariant Line Fields conjecture for a class of generalized postcritically-finite branched covers on higher-dimensional Riemannian manifolds. Moreover, we establish a quasisymmetric uniformization theorem for this class of…

We prove that for a given deterministic top-down transducer with look-ahead it is decidable whether or not its translation is definable (1)~by a linear top-down tree transducer or (2)~by a tree homomorphism. We present algorithms that…

We answer Hubbard's question on determining the Thurston equivalence class of ``twisted rabbits'', i.e. images of the ``rabbit'' polynomial under n-th powers of the Dehn twists about its ears. The answer is expressed in terms of the 4-adic…

If $R$ is a rational map, the Main Result is a uniformization Theorem for the space of decompositions of the iterates of $R$. Secondly, we show that Fatou conjecture holds for decomposable rational maps.

In this paper, we give an explicit criterion when a rational holomorphic map between balls is equivalent to a polynomial holomorphic map. Making use of this criterion, we show that any proper rational holomorphic map from B^2 into B^N of…

This research report outlines work, partially joint with Jeremy Kahn and Kevin Pilgrim, which gives parallel theories of elastic graphs and conformal surfaces with boundary. One one hand, this lets us tell when one rubber band network is…

We prove the undecidability of determining whether a Turing machine yields an eventually periodic trajectory. From this, we deduce the undecidability of orbit finiteness in the polynomial dynamical system on infinite tuples of integers.

In this paper, we study CTP maps, that is, marked rational maps with constant Thurston pullback mapping. We prove that all the regular or mixing CTP polynomials satisfy McMullen's condition. Additionally, we construct a new class of…

In this paper, we introduce cosine Thurston maps. In particular, we construct postsingularly finite topological cosine maps and focus on such maps with strictly preperiodic critical points. We use the techniques of Hubbard, Schleicher, and…

Renormalizations can be considered as building blocks of complex dynamical systems. This phenomenon has been widely studied for iterations of polynomials of one complex variable. Concerning non-polynomial hyperbolic rational maps, a recent…

Let X and Y be curves over a finite field. In this article we explore methods to determine whether there is a rational map from Y to X by considering L-functions of certain covers of X and Y and propose a specific family of covers to…

In the present paper, we show that many combinatorial and topological objects, such as maps, hypermaps, three-dimensional pavings, constellations and branched coverings of the two--sphere admit any given finite automorphism group. This…

Topological classification of the 4-manifolds bridges computation theory and physics. A proof of the undecidability of the homeomorphy problem for 4-manifolds is outlined here in a clarifying way. It is shown that an arbitrary Turing…

Let f: P^1 \to P^1 be a rational map with finite postcritical set P_f. Thurston showed that f induces a holomorphic map \sigma_f of the Teichmueller space T modelled on P_f to itself fixing the basepoint corresponding to the identity map…

We prove that every postsingularly finite entire map $g$ can be approximated by a sequence of postcritically finite complex polynomials $(g_n)$ such that their postsingular dynamics $g|P_g$ and $g_n|P_{g_n}$ are conjugate for every $n \in…

The notion of a tamely ramified covering is canonical only for curves. Several notions of tameness for coverings of higher dimensional schemes have been used in the literature. We show that all these definitions are essentially equivalent.…

We consider postcritically finite rational maps $f\colon \widehat{\mathbb{C}} \to \widehat{\mathbb{C}}$ whose Julia set is the whole Riemann sphere $\widehat{\mathbb{C}}$. We call such a map an expanding rational Thurston map. Identifying…

Let $f:(\mathbb{P}^1,P)\to(\mathbb{P}^1,P)$ be a postcritically finite rational map with postcritical set $P$. William Thurston showed that $f$ induces a holomorphic pullback map $\sigma_f:\mathcal{T}_P\to\mathcal{T}_P$ on the Teichm\"uller…

In this paper, we use the thermodynamical formalism to show that there exists a unique equilibrium state $\mu_\phi$ for each expanding Thurston map $f: S^2\rightarrow S^2$ together with a real-valued H\"older continuous potential $\phi$.…

We introduce and study a class of Thurston maps from the 2-sphere to itself which we call nearly Euclidean Thurston (NET) maps. These are simple generalizations of Euclidean Thurston maps.