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 consider polynomial maps $f:C\to C$ of degree $d\ge 2$, or more generally polynomial maps from a finite union of copies of $C$ to itself which have degree two or more on each copy. In any space $\mathcal{p}^{S}$ of suitably normalized maps of this type, the post-critically bounded maps form a compact subset $\mathcal{C}^{S}$ called the connectedness locus, and the hyperbolic maps in $\mathcal{C}^{S}$ form an open set $\mathcal{H}^{S}$ called the hyperbolic connectedness locus. The various connected components $H_\alpha\subset \mathcal{H}^{S}$ are called hyperbolic components. It is shown that each hyperbolic component is a topological cell, containing a unique post-critically finite map which is called its center point. These hyperbolic components can be separated into finitely many distinct "types", each of which is characterized by a suitable reduced mapping schema $S(f)$. This is a rather crude invariant, which depends only on the topology of $f$ restricted to the complement of the Julia set. Any two components with the same reduced mapping schema are canonically biholomorphic to each other. There are similar statements for real polynomial maps, or for maps with marked critical points.
Circle maps with a flat spot are studied which are differentiable, even on the boundary of the flat spot. Estimates on the Lebesgue measure and the Hausdorff dimension of the non-wandering set are obtained. Also, a sharp transition is found from degenerate geometry similar to what was found earlier for non-differentiable maps with a flat spot to bounded geometry as in critical maps without a flat spot.
A general construction for $\sigma-$finite absolutely continuous invariant measure will be presented. It will be shown that the local bounded distortion of the Radon-Nykodym derivatives of $f^n_*(\lambda)$ will imply the existence of a $\sigma-$finite invariant measure for the map $f$ which is absolutely continuous with respect to $\lambda$, a measure on the phase space describing the sets of measure zero.
Furthermore we will discuss sufficient conditions for the existence of $\sigma-$finite invariant absolutely continuous measures for real 1-dimensional dynamical systems.
In this paper, we assume that $G$ is a finitely generated torsion free non-elementary Kleinian group with $\Omega(G)$ nonempty. We show that the maximal number of elements of $G$ that can be pinched is precisely the maximal number of rank 1 parabolic subgroups that any group isomorphic to $G$ may contain. A group with this largest number of rank 1 maximal parabolic subgroups is called maximally parabolic. We show such groups exist. We state our main theorems concisely here.
Theorem I. The limit set of a maximally parabolic group is a circle packing; that is, every component of its regular set is a round disc.
Theorem II. A maximally parabolic group is geometrically finite.
Theorem III. A maximally parabolic pinched function group is determined up to conjugacy in $PSL(2,{\bf C})$ by its abstract isomorphism class and its parabolic elements.
Let $K$ be a compact subset of $\bar{\textbf{C}} ={\textbf{R}}^2$ and let $K^c$ denote its complement. We say $K\in HR$, $K$ is holomorphically removable, if whenever $F:\bar{\textbf{C}} \to\bar{\textbf{C}}$ is a homeomorphism and $F$ is holomorphic off $K$, then $F$ is a Möbius transformation. By composing with a Möbius transform, we may assume $F(\infty )=\infty$. The contribution of this paper is to show that a large class of sets are $HR$. Our motivation for these results is that these sets occur naturally (e.g. as certain Julia sets) in dynamical systems, and the property of being $HR$ plays an important role in the Douady-Hubbard description of their structure.
We prove the existence of at least $cl(M)$ periodic orbits for certain time dependant Hamiltonian systems on the cotangent bundle of an arbitrary compact manifold $M$. These Hamiltonians are not necessarily convex but they satisfy a certain boundary condition given by a Riemannian metric on $M$. We discretize the variational problem by decomposing the time 1 map into a product of "symplectic twist maps". A second theorem deals with homotopically non trivial orbits in manifolds of negative curvature.
We establish that every formal critical portrait (as defined by Goldberg and Milnor), can be realized by a postcritically finite polynomial.
We use the upper and lower potential functions and Bowen's formula estimating the Hausdorff dimension of the limit set of a regular semigroup generated by finitely many $C^{1+\alpha}$-contracting mappings. This result is an application of the geometric distortion lemma in the first paper at this series.
A semigroup (dynamical system) generated by $C^{1+\alpha}$-contracting mappings is considered. We call a such semigroup regular if the maximum $K$ of the conformal dilatations of generators, the maximum $l$ of the norms of the derivatives of generators and the smoothness $\alpha$ of the generators satisfy a compatibility condition $K< 1/l^{\alpha}$. We prove the {\em geometric distortion lemma} for a regular semigroup generated by $C^{1+\alpha}$-contracting mappings.
In this paper we consider maps on the plane which are similar to quadratic maps in that they are degree 2 branched covers of the plane. In fact, consider for $\alpha$ fixed, maps $f_c$ which have the following form (in polar coordinates): $$f_c(r\,e^{i\theta})\;=\;r^{2\alpha}\,e^{2i\theta}\,+\,c$$ When $\alpha=1$, these maps are quadratic ($z \mapsto z^2 + c$), and their dynamics and bifurcation theory are to some degree understood. When $\alpha$ is different from one, the dynamics is no longer conformal. In particular, the dynamics is not completely determined by the orbit of the critical point. Nevertheless, for many values of the parameter c, the dynamics has strong similarities to that of the quadratic family. For other parameter values the dynamics is dominated by 2 dimensional behavior: saddles and the like. The objects of study are Julia sets, filled-in Julia sets and the connectedness locus. These are defined in analogy to the conformal case. The main drive in this study is to see to what extent the results in the conformal case generalize to that of maps which are topologically like quadratic maps (and when $\alpha$ is close to one, close to being quadratic).