Searcharxiv⌕ Search

arXiv subjects

Andres Koropecki

Publications and source records attributed to Andres Koropecki.

At least 19 recordsLinked to original sources
arXiv2022

Homotopically unbounded disks for generic surface diffeomorphisms

In this paper we consider closed orientable surfaces $S$ of positive genus and $C^r$-diffeomorphisms $f:S\rightarrow S$ isotopic to the identity ($r\geq 1)$. The main objective is to study periodic open topological disks which are homotopically unbounded (i.e. which lift to unbounded connected sets in the universal covering). We show that these disks are not uncommon, and are related to important dynamical phenomena. We also study the dynamics on these disks under certain generic conditions. Our first main result implies that for the torus (or for arbitrary surfaces, with an additional condition) if the rotation set of a map has nonempty interior and is not locally constant, then the map is $C^r$-accumulated by diffeomorphisms exhibiting periodic homotopically unbounded disks. Our second result shows that $C^r$-generically, if the rotation set has nonempty interior (plus an additional hypothesis if the genus of $S$ is greater than $1$) a maximal periodic disk which is unbounded and has a rational prime ends rotation number must be the basin of some compact attractor or repeller contained in the disk. As a byproduct we obtain results describing certain periodic components of the complement of the closure of stable or unstable manifolds of a periodic orbit in the $C^r$-generic setting.

math.DS↗
arXiv2020

On the onset of diffusion in the kicked Harper model

We study a standard two-parameter family of area-preserving torus diffeomorphisms, known in theoretical physics as the kicked Harper model, by a combination of topological arguments and KAM-theory. We concentrate on the structure of the parameter sets where the rotation set has empty and non-empty interior, respectively, and describe their qualitative properties and scaling behaviour both for small and large parameters. This confirms numerical observations about the onset of diffusion in the physics literature. As a byproduct, we obtain the continuity of the rotation set within the class of Hamiltonian torus homeomorphisms.

math.DS↗
arXiv2018

A Poincaré-Bendixson theorem for translation lines and applications to prime ends

For an orientation-preserving homeomorphism of the sphere, we prove that if a translation line does not accumulate in a fixed point, then it necessarily spirals towards a topological attractor. This is in analogy with the description of flow lines given by Poincaré-Bendixson theorem. We then apply this result to the study of invariant continua without fixed points, in particular to circloids and boundaries of simply connected open sets. Among the applications, we show that if the prime ends rotation number of such an open set $U$ vanishes, then either there is a fixed point in the boundary, or the boundary of $U$ is contained in the basin of a finite family of topological "rotational" attractors. This description strongly improves a previous result by Cartwright and Littlewood, by passing from the prime ends compactification to the ambient space. Moreover, the dynamics in a neighborhood of the boundary is semiconjugate to a very simple model dynamics on a planar graph. Other applications involve the decomposability of invariant continua, and realization of rotation numbers by periodic points on circloids.

math.DS↗
arXiv2018

A triple boundary lemma for surface homeomorphisms

Given an orientation-preserving and area-preserving homeomorphism $f$ of the sphere, we prove that every point which is in the common boundary of three pairwise disjoint invariant open topological disks must be a fixed point. As an application, if $K$ is an invariant Wada type continuum, then $f^n|_K$ is the identity for some $n>0$. Another application is an elementary proof of the fact that invariant disks for a nonwandering homeomorphisms homotopic to the identity in an arbitrary surface are homotopically bounded if the fixed point set is inessential. The main results in this article are self-contained.

math.DS↗
arXiv2017

Stability of the rotation set of area-preserving toral homeomorphisms

We show that if the rotation set of a homeomorphism of the torus is stable under small perturbations of the dynamics, then it is a convex polygon with rational vertices. We also show that such homeomorphisms are $C^0$-generic and have bounded rotational deviations (even for pseudo-orbits). The results hold both in the area-preserving setting and in the general setting. When the rotation set is stable, we give explicit estimates on the type of rationals that may appear as vertices of rotation sets in terms of the stability constants.

math.DS↗
arXiv2016

Fully essential dynamics for area-preserving surface homeomorphisms

We study the interplay between the dynamics of area-preserving surface homeomorphisms homotopic to the identity and the topology of the surface. We define fully essential dynamics and generalize the results previously obtained on strictly toral dynamics to surfaces of higher genus. Non-fully essential dynamics are, in a way, reducible to surfaces of lower genus, while in the fully essential case the dynamics is decomposed into a disjoint union of periodic bounded disks and a complementary invariant externally transitive continuum $C$. When the Misiurewicz-Ziemian rotation set has non-empty interior the dynamics is fully essential, and the set $C$ is (externally) sensitive on initial conditions and realizes all the rotational dynamics. As a fundamental tool we introduce the notion of homotopically bounded sets and we prove a general boundedness result for invariant open sets when the fixed point set is inessential.

math.DS↗
arXiv2016

Poincaré theory for decomposable cofrontiers

We extend Poincaré's theory of orientation-preserving homeomorphisms from the circle to circloids with decomposable boundary. As special cases, this includes both decomposable cofrontiers and decomposable cobasin boundaries. More precisely, we show that if the rotation number on an invariant circloid $A$ of a surface homeomorphism is irrational and the boundary of $A$ is decomposable, then the dynamics are monotonically semiconjugate to the respective irrational rotation. This complements classical results by Barge and Gillette on the equivalence between rational rotation numbers and the existence of periodic orbits and yields a direct analogue to the Poincaré Classification Theorem for circle homeomorphisms. Moreover, we show that the semiconjugacy can be obtained as the composition of a monotone circle map with a `universal factor map', only depending on the topological structure of the circloid. This implies, in particular, that the monotone semiconjugacy is unique up to post-composition with a rotation. If, in addition, $A$ is a minimal set, then the semiconjugacy is almost one-to-one if and only if there exists a biaccessible point. In this case, the dynamics on $A$ are almost automorphic. Conversely, we use the Anosov-Katok method to build a $C^\infty$-example where all fibres of the semiconjugacy are non-trivial.

math.DS↗
arXiv2016

The Franks-Misiurewicz conjecture for extensions of irrational rotations

We show that a toral homeomorphism which is homotopic to the identity and topologically semiconjugate to an irrational rotation of the circle is always a pseudo-rotation (i.e. its rotation set is a single point). In combination with recent results, this allows us to complete the study of the Franks-Misiurewicz conjecture in the minimal case.

math.DS↗
arXiv2016

Realizing rotation numbers on annular continua

An annular continuum is a compact connected set $K$ which separates a closed annulus $A$ into exactly two connected components, one containing each boundary component. The topology of such continua can be very intricate (for instance, non-locally connected). We adapt a result proved by Handel in the case where $K=A$, showing that if $K$ is an invariant annular continuum of a homeomorphism of $A$ isotopic to the identity, then the rotation set in $K$ is closed. Moreover, every element of the rotation set is realized by an ergodic measure supported in $K$ (and by a periodic orbit if the rotation number is rational) and most elements are realized by a compact invariant set. Our second result shows that if the continuum $K$ is minimal with the property of being annular (what we call a circloid), then every rational number between the extrema of the rotation set in $K$ is realized by a periodic orbit in $K$. As a consequence, the rotation set is a closed interval, and every number in this interval (rational or not) is realized by an orbit (moreover, by an ergodic measure) in $K$. This improves a previous result of Barge and Gillette.

math.DS↗
arXiv2014

Bounded and unbounded behavior for area-preserving rational pseudo-rotations

A rational pseudo-rotation $f$ of the torus is a homeomorphism homotopic to the identity with a rotation set consisting of a single vector $v$ of rational coordinates. We give a classification for rational pseudo-rotations with an invariant measure of full support, in terms of the deviations from the constant rotation $x\mapsto x+v$ in the universal covering. For the simpler case that $v=(0,0)$, it states that either every orbit by the lifted dynamics is bounded, or the displacement in some rational direction is uniformly bounded (implying that the dynamics is annular) or the set of fixed points of $f$ contains a large continuum which is the complement of a disjoint union of disks (i.e. a fully essential continuum). In the analytic setting, the latter case is ruled out. In order to prove this classification, we introduce tools that are of independent interest and can be applied in a more general setting: in particular, a geometric result about the quasi-convexity and existence of asymptotic directions for certain chains of disks, and a Poincaré recurrence theorem on the universal covering for irrotational measures.

math.DS↗
arXiv2013

Strictly Toral Dynamics

This article deals with nonwandering (e.g. area-preserving) homeomorphisms of the torus $\mathbb{T}^2$ which are homotopic to the identity and strictly toral, in the sense that they exhibit dynamical properties that are not present in homeomorphisms of the annulus or the plane. This includes all homeomorphisms which have a rotation set with nonempty interior. We define two types of points: inessential and essential. The set of inessential points $ine(f)$ is shown to be a disjoint union of periodic topological disks ("elliptic islands"), while the set of essential points $ess(f)$ is an essential continuum, with typically rich dynamics (the "chaotic region"). This generalizes and improves a similar description by Jäger. The key result is boundedness of these "elliptic islands", which allows, among other things, to obtain sharp (uniform) bounds of the diffusion rates. We also show that the dynamics in $ess(f)$ is as rich as in $\mathbb{T}^2$ from the rotational viewpoint, and we obtain results relating the existence of large invariant topological disks to the abundance of fixed points.

math.DS↗
arXiv2012

Some Consequences of the Shadowing Property in Low Dimensions

We consider low-dimensional systems with the shadowing property. In dimension two, we show that the shadowing property for a homeomorphism implies the existence of periodic orbits in every $ε$-transitive class, and in contrast we provide an example of a $C^\infty$ Kupka-Smale diffeomorphism with the shadowing property exhibiting an aperiodic transitive class. Finally we consider the case of transitive endomorphisms of the circle, and we prove that the $α$-Hölder shadowing property with $α>1/2$ implies that the system is conjugate to an expanding map.

math.DS↗
arXiv2012

A characterization of annularity for area-preserving toral homeomorphisms

We prove that if an area-preserving homeomorphism of the torus in the homotopy class of the identity has a rotation set which is a nondegenerate vertical segment containing the origin, then there exists an essential invariant annulus. In particular, some lift to the universal covering has uniformly bounded displacement in the horizontal direction.

math.DS↗
arXiv2012

Prime ends rotation numbers and periodic points

We study the problem of existence of a periodic point in the boundary of an invariant domain for a surface homeomorphism. In the area-preserving setting, a complete classification is given in terms of rationality of Carathéordory's prime ends rotation number, similar to Poincaré's theory for circle homeomorphisms. In particular, we prove the converse of a classic result of Cartwright and Littlewood. This has a number of consequences for generic area preserving surface diffeomorphisms. For instance, we extend previous results of J. Mather on the boundary of invariant open sets for $C^r$-generic area preserving diffeomorphisms. Most results are proved in a general context, for homeomorphisms of arbitrary surfaces with a weak nonwandering-type hypothesis. This allows us to prove a conjecture of R. Walker about co-basin boundaries, and it also has applications in holomorphic dynamics.

math.DS↗
arXiv2012

Area-preserving irrotational diffeomorphisms of the torus with sublinear diffusion

We construct a $C^\infty$ area-preserving diffeomorphism of the two-dimensional torus which is Bernoulli (in particular, ergodic) with respect to Lebesgue measure, homotopic to the identity, and has a lift to the universal covering whose rotation set is $\{(0,0)\}$, which in addition has the property that almost every orbit by the lifted dynamics is unbounded and accumulates in every direction of the circle at infinity.

math.DS↗
arXiv2009

Aperiodic invariant continua for surface homeomorphisms

We prove that if a homeomorphism of a closed orientable surface S has no wandering points and leaves invariant a compact, connected set K which contains no periodic points, then either K=S and S is a torus, or $K$ is the intersection of a decreasing sequence of annuli. A version for non-orientable surfaces is given.

math.DS↗