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.
Let $G$ be a non-elementary, finitely generated Kleinian group, $\Lambda(G)$ its limit set and $\Omega(G) = \overline {\mathbb C} \backslash \Lambda(G)$ its set of discontinuity. Let $\delta(G)$ be the critical exponent for the Poincarè series and let $\Lambda_c$ be the conical limit set of $G$. Suppose $\Omega_0$ is a simply connected component of $\Omega(G)$. We prove that
- $\delta(G) = \dim(\Lambda_c)$
- A simply connected component $\Omega$ is either a disk or $\dim(\partial \Omega)>1$
- $ \Lambda(G)$ is either totally disconnected, a circle or has dimension $>1$
- $G$ is geometrically infinite iff $\dim(\Lambda)=2$
- If $G_n \to G$ algebraically then $\dim(\Lambda)\leq \liminf \dim(\Lambda_n)$
- The Minkowski dimension of $\Lambda$ equals the Hausdorff dimension
- If $\text{area}(\Lambda)=0$ then $\delta(G) =\dim(\Lambda(G))$
The proof also shows that $\dim(\Lambda(G)) >1$ iff the conical limit set has dimension $>1$ iff the Poincarè exponent of the group is $>1$. Furthermore, a simply connected component of $\Omega(G)$ either is a disk or has non-differentiable boundary in the the sense that the (inner) tangent points of $\partial \Omega$ have zero $1$-dimensional measure. almost every point (with respect to harmonic measure) is a twist point.
Let $H^d$ be the set of all rational maps of degree $d\ge 2$ on the Riemann sphere which are expanding on Julia set. We prove that if $f\in H^d$ and all or all but one critical points (or values) are in the immediate basin of attraction to an attracting fixed point then there exists a polynomial in the component $H(f)$ of $H^d$ containing $f$. If all critical points are in the immediate basin of attraction to an attracting fixed point or parabolic fixed point then $f$ restricted to Julia set is conjugate to the shift on the one-sided shift space of $d$ symbols. We give exotic examples of maps of an arbitrary degree $d$ with a non-simply connected, completely invariant basin of attraction and arbitrary number $k\ge 2$ of critical points in the basin. For such a map $f\in H^d$ with $k < d$ there is no polynomial in $H(f)$. Finally we describe a computer experiment joining an exotic example to a Newton's method (for a polynomial) rational function with a 1-parameter family of rational maps.
We construct a diffeomorphism of the two-dimensional torus which is isotopic to the identity and whose rotation set is not a polygon.
Consider the two-parameter family of real analytic maps $F_{a,b}:x \mapsto x+ a+{b\over 2\pi} \sin(2\pi x)$ which are lifts of degree one endomorphisms of the circle. The purpose of this paper is to provide a proof that for any closed interval $I$, the set of maps $F_{a,b}$ whose rotation interval is $I$, form a contractible set.
Given a $C^{1+\gamma}$ hyperbolic Cantor set $C$, we study the sequence $C_{n,x}$ of Cantor subsets which nest down toward a point $x$ in $C$. We show that $C_{n,x}$ is asymptotically equal to an ergodic Cantor set valued process. The values of this process, called limit sets, are indexed by a H\"older continuous set-valued function defined on D. Sullivan's dual Cantor set. We show the limit sets are themselves $C^{k+\gamma}, C^\infty$ or $C^\omega$ hyperbolic Cantor sets, with the highest degree of smoothness which occurs in the $C^{1+\gamma}$ conjugacy class of $C$. The proof of this leads to the following rigidity theorem: if two $C^{k+\gamma}, C^\infty$ or $C^\omega$ hyperbolic Cantor sets are $C^1$-conjugate, then the conjugacy (with a different extension) is in fact already $C^{k+\gamma}, C^\infty$ or $C^\omega$. Within one $C^{1+\gamma}$ conjugacy class, each smoothness class is a Banach manifold, which is acted on by the semigroup given by rescaling subintervals. Conjugacy classes nest down, and contained in the intersection of them all is a compact set which is the attractor for the semigroup: the collection of limit sets. Convergence is exponentially fast, in the $C^1$ norm.
We establish necessary and sufficient conditions for the realization of mapping schemata as post-critically finite polynomials, or more generally, as post-critically finite polynomial maps from a finite union of copies of the complex numbers ${\textbf C}$ to itself which have degree two or more in each copy. As a consequence of these results we prove a transitivity relation between hyperbolic components in parameter space which was conjectured by Milnor.
We study the Teichmüller metric on the Teichmüller space of a surface of finite type, in regions where the injectivity radius of the surface is small. The main result is that in such regions the Teichmüller metric is approximated up to bounded additive distortion by the sup metric on a product of lower dimensional spaces. The main technical tool in the proof is the use of estimates of extremal lengths of curves in a surface based on the geometry of their hyperbolic geodesic representatives.
We introduce two models, the Fermi-Ulam model in an external field and a one dimensional system of bouncing balls in an external field above a periodically oscillating plate. For both models we investigate the possibility of unbounded motion. In a special case the two models are equivalent.
In this paper techniques of twist map theory are applied to the annulus maps arising from dual billiards on a strictly convex closed curve G in the plane. It is shown that there do not exist invariant circles near G when there is a point on G where the radius of curvature vanishes or is discontinuous. In addition, when the radius of curvature is not $C^1$ there are examples with orbits that converge to a point of G. If the derivative of the radius of curvature is bounded, such orbits cannot exist. The final section of the paper concerns an impact oscillator whose dynamics are the same as a dual billiards map. The appendix is a remark on the connection of the inverse problems for invariant circles in billiards and dual billiards.
A polygon is called rational if the angle between each pair of sides is a rational multiple of $\pi$. The main theorem we will prove is
Theorem 1: For rational polygons, periodic points of the billiard flow are dense in the phase space of the billiard flow. This is a strengthening of Masur's theorem, who has shown that any rational polygon has "many" periodic billiard trajectories; more precisely, the set of directions of the periodic trajectories are dense in the set of velocity directions $\textbf{S}^1$.
We will also prove some refinements of Theorem 1: the "well distribution" of periodic orbits in the polygon and the residuality of the points $q \in Q$ with a dense set of periodic directions.