Showing 1–23 of 23 results for author: Smillie, J

Horospherical dynamics in invariant subvarieties

Authors: John Smillie, Peter Smillie, Barak Weiss, Florent Ygouf

Abstract: We consider the horospherical foliation on any invariant subvariety in the moduli space of translation surfaces. This foliation can be described dynamically as the strong unstable foliation for the geodesic flow on the invariant subvariety, and geometrically, it is induced by the canonical splitting of $\mathbb{C}$-valued cohomology into its real and imaginary parts. We define a natural volume for… ▽ More We consider the horospherical foliation on any invariant subvariety in the moduli space of translation surfaces. This foliation can be described dynamically as the strong unstable foliation for the geodesic flow on the invariant subvariety, and geometrically, it is induced by the canonical splitting of $\mathbb{C}$-valued cohomology into its real and imaginary parts. We define a natural volume form on the leaves of this foliation, and define horospherical measures as those measures whose conditional measures on leaves are given by the volume form. We show that the natural measures on invariant subvarieties, and in particular, the Masur-Veech measures on strata, are horospherical. We show that these measures are the unique horospherical measures giving zero mass to the set of surfaces with no horizontal saddle connections, extending work of Lindenstrauss-Mirzakhani and Hamenstaedt for principal strata. We describe all the leaf closures for the horospherical foliation. △ Less

Submitted 25 April, 2023; v1 submitted 13 March, 2023; originally announced March 2023.

Comments: Theorem 1.4 was added following a suggestion of Giovanni Forni. Expositional improvements were made throughout the paper

On the Space of Ergodic Measures for the Horocycle Flow on Strata of Abelian Differentials

Authors: Jon Chaika, Osama Khalil, John Smillie

Abstract: We study the horocycle flow on the stratum of translation surfaces $\mathcal{H}(2)$. We show that there is a sequence of horocycle ergodic measures, each supported on a periodic horocycle orbit, which weakly converges to an invariant, but non-ergodic, measure by $\mathrm{SL}_2(\mathbb{R})$. As a consequence, we show that there are points in $\mathcal{H}(2)$ whose horocycle flow orbits do not equid… ▽ More We study the horocycle flow on the stratum of translation surfaces $\mathcal{H}(2)$. We show that there is a sequence of horocycle ergodic measures, each supported on a periodic horocycle orbit, which weakly converges to an invariant, but non-ergodic, measure by $\mathrm{SL}_2(\mathbb{R})$. As a consequence, we show that there are points in $\mathcal{H}(2)$ whose horocycle flow orbits do not equidistribute towards any invariant measure. △ Less

Submitted 13 November, 2023; v1 submitted 1 April, 2021; originally announced April 2021.

Comments: Corrections based on referee reports, clarifications of statements of main results and of the arguments in Section 7, expanded and clarified some of the discussions in the introduction. Main results are not affected

Tremors and horocycle dynamics on the moduli space of translation surfaces

Authors: Jon Chaika, John Smillie, Barak Weiss

Abstract: We introduce a "tremor" deformation on strata of translation surfaces. Using it, we give new examples of behaviors of horocycle flow orbits in strata of translation surfaces. In the genus two stratum with two singular points, we find orbits which are generic for a measure whose support is strictly contained in the orbit and find orbits which are not generic for any measure. We also describe a horo… ▽ More We introduce a "tremor" deformation on strata of translation surfaces. Using it, we give new examples of behaviors of horocycle flow orbits in strata of translation surfaces. In the genus two stratum with two singular points, we find orbits which are generic for a measure whose support is strictly contained in the orbit and find orbits which are not generic for any measure. We also describe a horocycle orbit-closure whose Hausdorff dimension is not an integer. △ Less

Submitted 8 April, 2020; originally announced April 2020.

Horocycle dynamics: new invariants and eigenform loci in the stratum H(1,1)

Authors: Matt Bainbridge, John Smillie, Barak Weiss

Abstract: We study dynamics of the horocycle flow on strata of translation surfaces, introduce new invariants for ergodic measures, and analyze the interaction of the horocycle flow and real Rel surgeries. We use this analysis to complete and extend results of Calta and Wortman classifying horocycle-invariant measures in the eigenform loci. We classify the orbit-closures and prove that every orbit is equidi… ▽ More We study dynamics of the horocycle flow on strata of translation surfaces, introduce new invariants for ergodic measures, and analyze the interaction of the horocycle flow and real Rel surgeries. We use this analysis to complete and extend results of Calta and Wortman classifying horocycle-invariant measures in the eigenform loci. We classify the orbit-closures and prove that every orbit is equidistributed in its orbit-closure. We also prove equidistribution statements regarding limits of sequences of measures, some of which have applications to counting problems. △ Less

Submitted 13 July, 2020; v1 submitted 2 March, 2016; originally announced March 2016.

Comments: 100 pages

MSC Class: 37A10

Hyperbolicity and Quasi-hyperbolicity in Polynomial Diffeomorphisms of ${\Bbb C}^2$

Authors: Eric Bedford, Lorenzo Guerini, John Smillie

Abstract: We consider complex Henon maps which are quasi-hyperbolic. We show that a quasi-hyperbolic map is uniformly hyperbolic if and only if there are no tangencies between stable and unstable manifolds. We consider complex Henon maps which are quasi-hyperbolic. We show that a quasi-hyperbolic map is uniformly hyperbolic if and only if there are no tangencies between stable and unstable manifolds. △ Less

Submitted 31 May, 2020; v1 submitted 23 January, 2016; originally announced January 2016.

MSC Class: 37C99 37F99 32H50

A Symbolic Characterization of the Horseshoe Locus in the Hénon Family

Authors: Eric Bedford, John Smillie

Abstract: We consider the family of quadratic Hénon diffeomorphisms of the plane ${\bf R}^2$. A map will be said to be a "horseshoe" if its restriction to the nonwandering set is hyperbolic and conjugate to the full 2-shift. We give a criterion for being a horseshoe based on an auxiliary coding which describes positions of points relative to the stable manifold of one of the fixed points. In addition we des… ▽ More We consider the family of quadratic Hénon diffeomorphisms of the plane ${\bf R}^2$. A map will be said to be a "horseshoe" if its restriction to the nonwandering set is hyperbolic and conjugate to the full 2-shift. We give a criterion for being a horseshoe based on an auxiliary coding which describes positions of points relative to the stable manifold of one of the fixed points. In addition we describe the topological conjugacy type of maps on the boundary of the horseshoe locus. We use complex techniques and we work with maps in a parameter region which is a 2-D analog of the familiar "${1\over 2}$-wake" for the quadratic family $p_c(z) = z^2$. △ Less

Submitted 7 May, 2014; originally announced May 2014.

MSC Class: 37C99 37F99 32H50

Parabolic Bifurcations in Complex Dimension 2

Authors: Eric Bedford, John Smillie, Tetsuo Ueda

Abstract: Parabolic bifurcations in one complex dimension demonstrate a wide variety of interesting dynamical phenomena. In this paper we consider parabolic bifurcations of families of diffeomorphisms in two complex dimensions. Specifically we consider a two variable family of diffeomorphisms $F_ε: M\to M$ given locally by $$F_ε(x,y) = (x + x^2 + ε^2+ ..., b_εy+...)$$ where $|b_ε|<1$, and the `$...$' terms… ▽ More Parabolic bifurcations in one complex dimension demonstrate a wide variety of interesting dynamical phenomena. In this paper we consider parabolic bifurcations of families of diffeomorphisms in two complex dimensions. Specifically we consider a two variable family of diffeomorphisms $F_ε: M\to M$ given locally by $$F_ε(x,y) = (x + x^2 + ε^2+ ..., b_εy+...)$$ where $|b_ε|<1$, and the `$...$' terms involve $x$, $y$ and $ε$. △ Less

Submitted 13 August, 2012; originally announced August 2012.

Comments: 25 pages, incl. references

Report number: Stony Brook IMS #2012/1

Geodesic flow on the Teichmueller disk of the regular octagon, cutting sequences and octagon continued fractions maps

Authors: John Smillie, Corinna Ulcigrai

Abstract: In this paper we give a geometric interpretation of the renormalization algorithm and of the continued fraction map that we introduced in arxiv:0905.0871 to give a characterization of symbolic sequences for linear flows in the regular octagon. We interpret this algorithm as renormalization on the Teichmueller disk of the octagon and explain the relation with Teichmueller geodesic flow. This conne… ▽ More In this paper we give a geometric interpretation of the renormalization algorithm and of the continued fraction map that we introduced in arxiv:0905.0871 to give a characterization of symbolic sequences for linear flows in the regular octagon. We interpret this algorithm as renormalization on the Teichmueller disk of the octagon and explain the relation with Teichmueller geodesic flow. This connection is analogous to the classical relation between Sturmian sequences, continued fractions and geodesic flow on the modular surface. We use this connection to construct the natural extension and the invariant measure for the continued fraction map. We also define an acceleration of the continued fraction map which has a finite invariant measure. △ Less

Submitted 13 April, 2010; originally announced April 2010.

Symbolic coding for linear trajectories in the regular octagon

Authors: John Smillie, Corinna Ulcigrai

Abstract: We consider a symbolic coding of linear trajectories in the regular octagon with opposite sides identified (and more generally in regular 2n-gons). Each infinite trajectory gives a cutting sequence corresponding to the sequence of sides hit. We give an explicit characterization of these cutting sequences. The cutting sequences for the square are the well studied Sturmian sequences which can be a… ▽ More We consider a symbolic coding of linear trajectories in the regular octagon with opposite sides identified (and more generally in regular 2n-gons). Each infinite trajectory gives a cutting sequence corresponding to the sequence of sides hit. We give an explicit characterization of these cutting sequences. The cutting sequences for the square are the well studied Sturmian sequences which can be analyzed in terms of the continued fraction expansion of the slope. We introduce an analogous continued fraction algorithm which we use to connect the cutting sequence of a trajectory with its slope. Our continued fraction expansion of the slope gives an explicit sequence of substitution operations which generate the cutting sequences of trajectories with that slope. Our algorithm can be understood in terms of renormalization of the octagon translation surface by elements of the Veech group. △ Less

Submitted 6 May, 2009; originally announced May 2009.

Characterizations of lattice surfaces

Authors: John Smillie, Barak Weiss

Abstract: We answer a question of Vorobets by showing that the lattice property for flat surfaces is equivalent to the existence of a positive lower bound for the areas of affine triangles. We show that the set of affine equivalence classes of lattice surfaces with a fixed positive lower bound for the areas of triangles is finite and we obtain explicit bounds on its cardinality. We deduce several other ch… ▽ More We answer a question of Vorobets by showing that the lattice property for flat surfaces is equivalent to the existence of a positive lower bound for the areas of affine triangles. We show that the set of affine equivalence classes of lattice surfaces with a fixed positive lower bound for the areas of triangles is finite and we obtain explicit bounds on its cardinality. We deduce several other characterizations of the lattice property. △ Less

Submitted 22 September, 2008; originally announced September 2008.

Homotopy shadowing

Authors: Yutaka Ishii, John Smillie

Abstract: Michael Shub proved in 1969 that the topological conjugacy class of an expanding endomorphism on a compact manifold is determined by its homotopy type. In this article we generalize this result in two directions. In one direction we consider certain expanding maps on metric spaces. In a second direction we consider maps which are hyperbolic with respect to product cone fields on a product manifold… ▽ More Michael Shub proved in 1969 that the topological conjugacy class of an expanding endomorphism on a compact manifold is determined by its homotopy type. In this article we generalize this result in two directions. In one direction we consider certain expanding maps on metric spaces. In a second direction we consider maps which are hyperbolic with respect to product cone fields on a product manifold. A key step in the proof is to establish a shadowing theorem for pseudo--orbits with some additional homotopy information. △ Less

Submitted 23 July, 2010; v1 submitted 25 April, 2008; originally announced April 2008.

Comments: 42 pages, 17 figures. This version contains a corrected proof of Proposition 5.11

MSC Class: 37D20

Finiteness results for flat surfaces: large cusps and short geodesics

Authors: John Smillie, Barak Weiss

Abstract: For fixed g and T we show that finiteness of the set of affine equivalence classes of flat surfaces of genus g whose Veech groups contain a cusp of hyperbolic co-area less than T. We obtain new restrictions on Veech groups: we show that any non-elementary Veech group can appear only finitely many times in a fixed stratum, that any non-elementary Veech group is of finite index in its normalizer,… ▽ More For fixed g and T we show that finiteness of the set of affine equivalence classes of flat surfaces of genus g whose Veech groups contain a cusp of hyperbolic co-area less than T. We obtain new restrictions on Veech groups: we show that any non-elementary Veech group can appear only finitely many times in a fixed stratum, that any non-elementary Veech group is of finite index in its normalizer, and that the quotient of the upper half plane by a non-lattice Veech group contains arbitrarily large embedded disks. These are proved using the finiteness of the set of affine equivalence classes of flat surfaces of genus g whose Veech group contains a hyperbolic element with eigenvalue less than T. △ Less

Submitted 7 February, 2008; originally announced February 2008.

Algebraically periodic translation surfaces

Authors: Kariane Calta, John Smillie

Abstract: Algebraically periodic directions on translation surfaces were introduced by Calta in her study of genus two translation surfaces. We say that a translation surface with three or more algebraically periodic directions is an algebraically periodic surface. We show that for an algebraically periodic surface the slopes of the algebraically periodic directions are given by a number field which we ca… ▽ More Algebraically periodic directions on translation surfaces were introduced by Calta in her study of genus two translation surfaces. We say that a translation surface with three or more algebraically periodic directions is an algebraically periodic surface. We show that for an algebraically periodic surface the slopes of the algebraically periodic directions are given by a number field which we call the periodic direction field. We show that translation surfaces with pseudo-Anosov automorphisms provide examples. In this case the periodic direction field is the holonomy field. We show that every algebraic field arises as the periodic direction field of a translation surface arising from a right-angled billiard table. The J-invariant of a translation surface was introduced by Kenyon and Smillie. We analyze the $J$ invariants of algebraically periodic surfaces and show that in some cases they are determined by the periodic direction field. We give explicit formulas for $J$ invariants in these cases. The Homological Affine Group was introduced by McMullen in his study of translation surfaces in genus two. We calculate this group for many algebraically periodic surfaces and relate it to the automorphism group of the J-invariant. We show that surfaces which admit certain decompositions into squares have totally real periodic direction field. This is related to a result of Hubert and Lanneau. △ Less

Submitted 24 October, 2007; v1 submitted 19 March, 2007; originally announced March 2007.

Comments: typos and errors corrected

MSC Class: 37D50; 57M50

The Henon Family: The Complex Horseshoe Locus and Real Parameter Space

Authors: Eric Bedford, John Smillie

Abstract: We consider the complexification of the Henon family of quadratic diffeomorphisms of the plane, and the region of parameter space corresponding to complex horseshoes. We discuss some conjectures about the global topology of the complex horseshoe locus. We consider the complexification of the Henon family of quadratic diffeomorphisms of the plane, and the region of parameter space corresponding to complex horseshoes. We discuss some conjectures about the global topology of the complex horseshoe locus. △ Less

Submitted 26 January, 2005; originally announced January 2005.

Real Polynomial Diffeomorphisms with Maximal Entropy: II. Small Jacobian

Authors: Eric Bedford, John Smillie

Abstract: This paper concerns the Henon family of diffeomorphisms of the plane for which the absolute value of the jacobian parameter is bounded by .08. We describe the parameter locus for which the mapping is a horseshoe. This paper concerns the Henon family of diffeomorphisms of the plane for which the absolute value of the jacobian parameter is bounded by .08. We describe the parameter locus for which the mapping is a horseshoe. △ Less

Submitted 23 February, 2004; originally announced February 2004.

Dynamics in two complex dimensions

Authors: John Smillie

Abstract: We describe results on the dynamics of polynomial diffeomorphisms of ${\bf C^2}$ and draw connections with the dynamics of polynomial maps of ${\bf C}$ and the dynamics of polynomial diffeomorphisms of ${\bf R^2}$ such as the Hénon family. We describe results on the dynamics of polynomial diffeomorphisms of ${\bf C^2}$ and draw connections with the dynamics of polynomial maps of ${\bf C}$ and the dynamics of polynomial diffeomorphisms of ${\bf R^2}$ such as the Hénon family. △ Less

Submitted 28 April, 2003; originally announced April 2003.

MSC Class: 37F99

Journal ref: Proceedings of the ICM, Beijing 2002, vol. 3, 373--382

Real Polynomial Diffeomorphisms with Maximal Entropy: Tangencies

Authors: Eric Bedford, John Smillie

Abstract: In this paper we use complex techniques to study the structure of real Henon diffeomorphisms of maximal topological entropy. In this paper we use complex techniques to study the structure of real Henon diffeomorphisms of maximal topological entropy. △ Less

Submitted 6 March, 2001; originally announced March 2001.

Comments: 22 pages, 9 figures

MSC Class: 37E30; 37F99

Polynomial Diffeomorphisms of $\C^2$. VIII: Quasi-Expansion

Authors: Eric Bedford, John Smillie

Abstract: This paper continues our investigation of the dynamics of polynomial diffeomorphisms of C^2. We introduce a dynamical property of polynomial diffeomorphisms that generalizes hyperbolicity in the way that semi-hyperbolicity generalizes hyperbolicity for polynomial maps of the complex plane. This paper continues our investigation of the dynamics of polynomial diffeomorphisms of C^2. We introduce a dynamical property of polynomial diffeomorphisms that generalizes hyperbolicity in the way that semi-hyperbolicity generalizes hyperbolicity for polynomial maps of the complex plane. △ Less

Submitted 6 March, 2001; originally announced March 2001.

Comments: 43 pages, 2 figures

MSC Class: 37F99

Polynomial Diffeomorphisms of C^2: VI. Connectivity of J

Authors: Eric Bedford, John Smillie

Abstract: Given a polynomial diffeomorphism f: C^2 -> C^2 there is a set $J_f\subset{\bf C}^2$ which we call the Julia set of f. The set $J_f\subset C^2$ plays the role of the Julia set $J\subset{\bf C}$ for a polynomial map of C. In the study of polynomial maps of C a great deal of attention has been paid to the connectivity of the Julia set. The focus of this paper is to investigate the J-connected/J-… ▽ More Given a polynomial diffeomorphism f: C^2 -> C^2 there is a set $J_f\subset{\bf C}^2$ which we call the Julia set of f. The set $J_f\subset C^2$ plays the role of the Julia set $J\subset{\bf C}$ for a polynomial map of C. In the study of polynomial maps of C a great deal of attention has been paid to the connectivity of the Julia set. The focus of this paper is to investigate the J-connected/J-disconnected dichotomy in the case of polynomial diffeomorphisms of C^2. The Jacobian determinant of f is constant. We make the standing assumption that $|det\ Df|\le 1$ (this can always be achieved by replacing f by $f^{-1}$ if necessary). The set $J^-$ is the set of points with bounded backward orbits. The set $U^+$ is the set of points with unbounded forward orbits. Let p be a periodic saddle point and let $W^u(p)$ be its unstable manifold. The set $W^u(p)$ will be a Riemann surface conformally equivalent to C. Theorem 1. The following are equivalent: 1. For some periodic saddle point p, some component of $W^u(p)\cap U^+$ is simply connected. 2. The set $J^-\cap U^+$ has a lamination by simply connected leaves so that for any periodic saddle point p each component of $W^u(p)\cap U^+$ is a leaf of this lamination. 3. For any periodic saddle point p, each component of $W^u(p)\cap U^+$ is simply connected. If f satisfies one of these conditions we say that f is unstably connected. Theorem 2. The set J is connected if and only if f is unstably connected. These results imply that we can determine the connectivity of J by considering the forward orbits of points in a single unstable manifold. These results open the door to computer exploration of the topology of two dimensional Julia sets and the connectivity locus in the parameter space. △ Less

Submitted 18 December, 1996; originally announced December 1996.

Report number: Dynamical Systems 12/18/96 MSC Class: 32

Polynomial diffeomorphisms of C^2: V. Critical points and Lyapunov exponents

Authors: Eric Bedford, John Smillie

Abstract: In this paper we continue our study of polynomial diffeomorphisms of C^2. Let us recall that there is an invariant measure $μ$, which is the pluri-complex version of the harmonic measure of the Julia set for polynomial maps of C. In this paper we give an integral formula for the Lyapunov exponents of a polynomial automorphism with respect to $μ$ analogous to the Brolin-Manning formula polynomial… ▽ More In this paper we continue our study of polynomial diffeomorphisms of C^2. Let us recall that there is an invariant measure $μ$, which is the pluri-complex version of the harmonic measure of the Julia set for polynomial maps of C. In this paper we give an integral formula for the Lyapunov exponents of a polynomial automorphism with respect to $μ$ analogous to the Brolin-Manning formula polynomial maps of C. Our formula relates the Lyapunov exponents to the value of a Green function at a type of critical point which we define in this paper. We show that these critical points have a very natural dynamical interpretation. △ Less

Submitted 3 July, 1996; originally announced June 1996.

Report number: Dynamical Systems 7/11/96 MSC Class: 32

Complex dynamics in several variables

Authors: John Smillie, Gregery T. Buzzard

Abstract: These notes are the outgrowth of a series of lectures given at MSRI in January 1995 at the beginning of the special semester in complex dynamics and hyperbolic geometry. In these notes, the primary aim is to motivate the study of complex dynamics in two variables and to introduce the major ideas in the field. Hence the treatment of the subject is mostly expository. These notes are the outgrowth of a series of lectures given at MSRI in January 1995 at the beginning of the special semester in complex dynamics and hyperbolic geometry. In these notes, the primary aim is to motivate the study of complex dynamics in two variables and to introduce the major ideas in the field. Hence the treatment of the subject is mostly expository. △ Less

Submitted 7 February, 1996; originally announced February 1996.

Report number: MSRI 1996-011

Distribution of periodic points of polynomial diffeomorphisms of C^2

Authors: Eric Bedford, Mikhail Lyubich, John Smillie

Abstract: This paper deals with the dynamics of a simple family of holomorphic diffeomorphisms of $\C^2$: the polynomial automorphisms. This family of maps has been studied by a number of authors. We refer to [BLS] for a general introduction to this class of dynamical systems. An interesting object from the point of view of potential theory is the equilibrium measure $μ$ of the set $K$ of points with boun… ▽ More This paper deals with the dynamics of a simple family of holomorphic diffeomorphisms of $\C^2$: the polynomial automorphisms. This family of maps has been studied by a number of authors. We refer to [BLS] for a general introduction to this class of dynamical systems. An interesting object from the point of view of potential theory is the equilibrium measure $μ$ of the set $K$ of points with bounded orbits. In [BLS] $μ$ is also characterized dynamically as the unique measure of maximal entropy. Thus $μ$ is also an equilibrium measure from the point of view of the thermodynamical formalism. In the present paper we give another dynamical interpretation of $μ$ as the limit distribution of the periodic points of $f$. △ Less

Submitted 22 January, 1993; originally announced January 1993.

Report number: Stony Brook IMS 1993/1

Polynomial diffeomorphisms of C^2, IV: The measure of maximal entropy and laminar currents

Authors: Eric Bedford, Mikhail Lyubich, John Smillie

Abstract: This paper concerns the dynamics of polynomial automorphisms of ${\bf C}^2$. One can associate to such an automorphism two currents $μ^\pm$ and the equilibrium measure $μ=μ^+\wedgeμ^-$. In this paper we study some geometric and dynamical properties of these objects. First, we characterize $μ$ as the unique measure of maximal entropy. Then we show that the measure $μ$ has a local product structur… ▽ More This paper concerns the dynamics of polynomial automorphisms of ${\bf C}^2$. One can associate to such an automorphism two currents $μ^\pm$ and the equilibrium measure $μ=μ^+\wedgeμ^-$. In this paper we study some geometric and dynamical properties of these objects. First, we characterize $μ$ as the unique measure of maximal entropy. Then we show that the measure $μ$ has a local product structure and that the currents $μ^\pm$ have a laminar structure. This allows us to deduce information about periodic points and heteroclinic intersections. For example, we prove that the support of $μ$ coincides with the closure of the set of saddle points. The methods used combine the pluripotential theory with the theory of non-uniformly hyperbolic dynamical systems. △ Less

Submitted 27 May, 1992; originally announced May 1992.

Report number: Stony Brook IMS 1992/8