arXiv subjects

Alejo García-Sassi

Publications and source records attributed to Alejo García-Sassi.

5 recordsLinked to original sources

arXiv2026

Measures of maximal entropy for monotone factors of smooth surface diffeomorphisms

We prove that a transitive monotone factor of a smooth surface diffeomorphism has a unique measure of maximal entropy whenever its topological entropy is positive. Its entropy is the entropy of a single homoclinic class of the diffeomorphism, and the factor map is a measure-theoretic isomorphism on every ergodic measure with positive entropy of that class. The other homoclinic classes are mapped to periodic orbits. We give an application to the essential factor of a diffeomorphism isotopic to a pseudo-Anosov map ---possibly relative to a finite invariant set--- constructed by García-Sassi \& Tal: the essential factor has a unique measure of maximal entropy, which is Bernoulli and has full support.

math.DS↗

arXiv2026

Essential factors for surface homeomorphisms

Let $f$ be a homeomorphism of a closed orientable surface of genus at least one that is isotopic to a pseudo-Anosov homeomorphism, possibly relative to a finite invariant set. We construct an intrinsic monotone factor by collapsing the maximal continua whose iterates have uniformly bounded diameter in the universal cover. The quotient is homeomorphic to the original surface and the factor is isotopic to $f$ and has several strongly chaotic dynamical features. It is infinitely continuum-wise expansive, tight, and topologically mixing, and it has a dense family of rotational horseshoes, dense periodic points, and a single topological homoclinic class. The factor can be taken as an area-preserving homeomorphism. The quotient preserves stable translation length on the fine curve graph and the applicable homological rotation sets. When $f$ is $C^\infty$, a companion paper gives a unique measure of maximal entropy for the factor; it has full support and is Bernoulli.

math.DS↗

arXiv2026

Fully chaotic conservative models for some torus homeomorphisms

We study homotopic-to-the-identity torus homeomorphisms, whose rotation set has nonempty interior. We prove that any such map is monotonically semiconjugate to a homeomorphism that preserves the Lebesgue measure, and that has the same rotation set. Furthermore, the dynamics of the quotient map has several interesting chaotic traits: for instance, it is topologically mixing, has a dense set of periodic points and is continuum-wise expansive. In particular, this shows that a convex compact set of $\mathbb{R}^2$ with nonempty interior is the rotation set of the lift of a homeomorphism of $\mathbb{T}^2$ if and only if it is the rotation set of the lift of a conservative homeomorphism.

math.DS↗

arXiv2024

Geodesic tracking and the shape of ergodic rotation sets

We prove a structure theorem for ergodic homological rotation sets of homeomorphisms isotopic to the identity on a closed orientable hyperbolic surface: this set is made of a finite number of pieces that are either one-dimensional or almost convex. The latter ones give birth to horseshoes; in the case of a zero-entropy homeomorphism we show that there exists a geodesic lamination containing the directions in which generic orbits with respect to ergodic invariant probabilities turn around the surface under iterations of the homeomorphism. The proof is based on the idea of $\textit{geodesic tracking}$ of orbits that are typical for some invariant measure by geodesics on the surface, that allows to get links between the dynamics of such points and the one of the geodesic flow on some invariant subset of the unit tangent bundle of the surface.

math.DS↗

arXiv2019

Fixed points for branched covering maps of the plane

A well-known result from Brouwer states that any orientation preserving homeomorphism of the plane with no fixed points has an empty non-wandering set. In particular, an invariant compact set implies the existence of a fixed point. In this paper we give sufficient conditions for degree 2 branched covering maps of the plane to have a fixed point, namely: A totally invariant compact subset such that it does not separate the critical point from its image An invariant compact subset with a connected neighbourhood $U$, such that $\mathrm{Fill}(U \cup f(U))$ does not contain the critical point nor its image. An invariant continuum such that the critical point and its image belong to the same connected component of its complement.

math.DS↗