Welcome to the preprint server of the Institute for Mathematical Sciences at Stony Brook University.
The IMS preprints are also available from the mathematics section of the arXiv e-print server, which offers them in several additional formats. To find the IMS preprints at the arXiv, search for Stony Brook IMS in the report name.
PREPRINTS IN THIS SERIES, IN PDF FORMAT.
* Starred papers have appeared in the journal cited.
We give a presentation for the baseleaf preserving mapping class group $Mod(\mathcal{H})$ of the punctured solenoid $\mathcal{H}$. The generators for our presentation were introduced previously, and several relations among them were derived. In addition, we show that $Mod(\mathcal{H})$ has no non-trivial central elements. Our main tool is a new complex of triangulations of the disk upon which $Mod(\mathcal{H})$ acts.
We present a moduli space for all hyperbolic basic sets of diffeomorphisms on surfaces that have an invariant measure that is absolutely continuous with respect to Hausdorff measure. To do this we introduce two new invariants: the measure solenoid function and the cocycle-gap pair. We extend the eigenvalue formula of A. N. Livsic and Ja. G. Sinai for Anosov diffeomorphisms which preserve an absolutely continuous measure to hyperbolic basic sets on surfaces which possess an invariant measure absolutely continuous with respect to Hausdorff measure. We characterise the Lipschitz conjugacy classes of such hyperbolic systems in a number of ways, for example, in terms of eigenvalues of periodic points and Gibbs measures.
We show that the set of points in the Teichmüller space of the universal hyperbolic solenoid which do not have a Teichmüller extremal representative is generic (that is, its complement is the set of the first kind in the sense of Baire). This is in sharp contrast with the Teichmüller space of a Riemann surface where at least an open, dense subset has Teichmüller extremal representatives. In addition, we provide a sufficient criteria for the existence of Teichmüller extremal representatives in the given homotopy class. These results indicate that there is an interesting theory of extremal (and uniquely extremal) quasiconformal mappings on hyperbolic solenoids.
A study of rational maps of the real or complex projective plane of degree two or more, concentrating on those which map an elliptic curve onto itself, necessarily by an expanding map. We describe relatively simple examples with a rich variety of exotic dynamical behaviors which are perhaps familiar to the applied dynamics community but not to specialists in several complex variables. For example, we describe smooth attractors with riddled or intermingled attracting basins, and we observe "blowout" bifurcations when the transverse Lyapunov exponent for the invariant curve changes sign. In the complex case, the elliptic curve (a topological torus) can never have a trapping neighborhood, yet it can have an attracting basin of large measure (perhaps even of full measure). We also describe examples where there appear to be Herman rings (that is topological cylinders mapped to themselves with irrational rotation number) with open attracting basin. In some cases we provide proofs, but in other cases the discussion is empirical, based on numerical computation.
In this paper geometric properties of infinitely renormalizable real Hénon-like maps $F$ in $\mathbb{R}^2$ are studied. It is shown that the appropriately defined renormalizations $R^n F$ converge exponentially to the one-dimensional renormalization fixed point. The convergence to one-dimensional systems is at a super-exponential rate controlled by the average Jacobian and a universal function $a(x)$. It is also shown that the attracting Cantor set of such a map has Hausdorff dimension less than 1, but contrary to the one-dimensional intuition, it is not rigid, does not lie on a smooth curve, and generically has unbounded geometry.
The punctured solenoid $\mathcal{H}$ is an initial object for the category of punctured surfaces with morphisms given by finite covers branched only over the punctures. The (decorated) Teichmüller space of $\mathcal{H}$ is introduced, studied, and found to be parametrized by certain coordinates on a fixed triangulation of $\mathcal{H}$. Furthermore, a point in the decorated Teichmüller space induces a polygonal decomposition of $\mathcal{H}$ giving a combinatorial description of its decorated Teichmüller space itself. This is used to obtain a non-trivial set of generators of the modular group of $\mathcal{H}$, which is presumably the main result of this paper. Moreover, each word in these generators admits a normal form, and the natural equivalence relation on normal forms is described. There is furthermore a non-degenerate modular group invariant two form on the Teichmüller space of $\mathcal{H}$. All of this structure is in perfect analogy with that of the decorated Teichmüller space of a punctured surface of finite type.
We prove that any unicritical polynomial $f_c:z\mapsto z^d+c$ which is at most finitely renormalizable and has only repelling periodic points is combinatorially rigid. It implies that the connectedness locus (the "Multibrot set") is locally connected at the corresponding parameter values. It generalizes Yoccoz's Theorem for quadratics to the higher degree case.
This note is a shortened version of my dissertation thesis, defended at Stony Brook University in December 2004. It illustrates how dynamic complexity of a system evolves under deformations. The objects I considered are quartic polynomial maps of the interval that are compositions of two logistic maps. In the parameter space $P^{Q}$ of such maps, I considered the algebraic curves corresponding to the parameters for which critical orbits are periodic, and I called such curves left and right bones. Using quasiconformal surgery methods and rigidity I showed that the bones are simple smooth arcs that join two boundary points. I also analyzed in detail, using kneading theory, how the combinatorics of the maps evolves along the bones. The behavior of the topological entropy function of the polynomials in my family is closely related to the structure of the bone-skeleton. The main conclusion of the paper is that the entropy level-sets in the parameter space that was studied are connected.
We prove that the Julia set $J(f)$ of at most finitely renormalizable unicritical polynomial $f:z\mapsto z^d+c$ with all periodic points repelling is locally connected. (For $d=2$ it was proved by Yoccoz around 1990.) It follows from a priori bounds in a modified Principle Nest of puzzle pieces. The proof of a priori bounds makes use of new analytic tools developed in IMS Preprint #2005/02 that give control of moduli of annuli under maps of high degree.
We consider a Riemann surface $S$ of finite type containing a family of $N$ disjoint disks $D_i$, and prove the following Quasi-Additivity Law: If the total extremal width $\sum \mathcal{W}(S\smallsetminus D_i)$ is big enough (depending on $N$) then it is comparable with the extremal width $\mathcal{W} (S,\cup D_i)$ (under a certain ``separation assumption'') . We also consider a branched covering $f: U\rightarrow V$ of degree $N$ between two disks that restricts to a map $\Lambda\rightarrow B$ of degree $d$ on some disk $\Lambda \Subset U$. We derive from the Quasi-Additivity Law that if $\mod(U\smallsetminus \Lambda)$ is sufficiently small, then (under a ``collar assumption'') the modulus is quasi-invariant under $f$, namely $\mod(V\smallsetminus B)$ is comparable with $d^2 \mod(U\smallsetminus \Lambda)$. This Covering Lemma has important consequences in holomorphic dynamics which will be addressed in the forthcoming notes.