We study cocycles of homeomorphisms of $\T$ in the isotopy class of the identity over shift spaces, using as a tool a novel definition of rotation sets inspired in the classical work of Miziurewicz and Zieman. We discuss different notions of rotation sets, for the full cocyle as well as for measures invariant by the shift dynamics on the base. We present some initial results on the shape of rotation sets, continuity of rotation sets for shift-invariant measures, and bounded displacements for irrotational cocyles, as well as a few interesting examples in an attempt to motive the development of the topic.
- ID del Artículo: 2510.11989
- Título: Rotation sets for random compositions of T² homeomorphisms
- Autores: C. Freijo, F.A. Tal
- Clasificación: math.DS (Sistemas Dinámicos)
- Fecha de Publicación: 13 de octubre de 2025 (preimpresión en arXiv)
- Enlace del Artículo: https://arxiv.org/abs/2510.11989
Este artículo estudia cociclos sobre espacios de desplazamiento de homeomorfismos del toro bidimensional T² que pertenecen a la clase de homotopía de la identidad. Los autores utilizan como herramienta una definición recientemente propuesta de conjuntos de rotación, inspirada en el trabajo clásico de Misiurewicz y Ziemian, para discutir cociclos completos y diferentes conceptos de conjuntos de rotación para medidas invariantes bajo el desplazamiento dinámico. El artículo presenta resultados preliminares sobre la forma de los conjuntos de rotación, la continuidad de los conjuntos de rotación de medidas invariantes bajo el desplazamiento, y el desplazamiento acotado de cociclos sin rotación, proporcionando ejemplos interesantes que impulsan el desarrollo del tema.
- Limitaciones de la teoría clásica de rotación: La teoría tradicional de conjuntos de rotación se enfoca principalmente en homeomorfismos individuales del toro. Misiurewicz y Ziemian demostraron que para un homeomorfismo del toro g : T² → T² homotópico a la identidad, el conjunto de rotación ρ(g̃) de su levantamiento g̃ : R² → R² siempre es un subconjunto compacto, convexo y no vacío de R².
- Necesidad de composiciones aleatorias: Las aplicaciones prácticas frecuentemente encuentran homeomorfismos del toro compuestos aleatoriamente, pero la teoría existente carece de un estudio sistemático de este caso.
- Necesidad de extensión teórica: Es necesario extender la teoría clásica de rotación al contexto de cociclos, particularmente cuando la dinámica de fibra está dada por homeomorfismos del toro en la clase de homotopía de la identidad.
- Perfeccionamiento teórico: Llena el vacío en la teoría de sistemas dinámicos respecto a la teoría de rotación de composiciones aleatorias de homeomorfismos del toro
- Innovación metodológica: Introduce múltiples definiciones de conjuntos de rotación, proporcionando nuevas herramientas para estudiar tales sistemas
- Valor aplicado: Proporciona fundamentos teóricos para comprender el comportamiento a largo plazo de sistemas dinámicos complejos
- Nuevas definiciones de conjuntos de rotación: Se introducen múltiples conceptos de conjuntos de rotación para cociclos, incluyendo conjuntos de rotación tipo Misiurewicz-Ziemian, puntual y de medida
- Demostración de propiedades estructurales: Se prueba que los conjuntos de rotación tipo Misiurewicz-Ziemian siempre son no vacíos, compactos y conexos (Teorema 1.1)
- Teoría de puntos esenciales: Se establece el concepto de puntos esenciales y no esenciales en la dinámica de cociclos, probando la propiedad de desplazamiento acotado (Teorema 1.2)
- Condiciones de convexidad: Se prueba que los conjuntos de rotación de pseudórbitas ε son convexos en el caso conservativo o cuando el conjunto de rotación clásico tiene interior no vacío (Teorema 1.3)
- Análisis de continuidad: Se estudian las propiedades de continuidad de los conjuntos de rotación respecto a medidas invariantes bajo el desplazamiento
Se estudian las propiedades de rotación de composiciones aleatorias de homeomorfismos del toro (RCTH), donde:
- Espacio base: Producto infinito Σ = X^Z de un espacio métrico compacto X
- Aplicación de desplazamiento: σ : Σ → Σ, σ((x_n){n∈Z}) = (x{n+1})_{n∈Z}
- Cociclo: F : Σ × T² → Σ × T², F(x,p) = (σ(x), f_x(p))
Para el cociclo F y su levantamiento F̃, se define la función de desplazamiento:
ρ1(x,p):M→T2, donde ρ1(x,p)=f~x(p~)−p~
Desplazamiento promediado en n pasos:
ρn(x,p)=n1∑i=0n−1ρ1(F~i(x,p))=nf~xn(p~)−p~
Conjunto de rotación puntual:
- ρ(x,p,F~):={puntos de acumulacioˊn de (ρn(x,p))n∈N}
- ρpoint(F~):=⋃(x,p)∈Mρ(x,p,F~)
Conjunto de rotación tipo Misiurewicz-Ziemian:
ρmz(F~):=limsupn→∞Dn=⋂N∈N⋃n≥NDn
donde Dn:={ρn(x,p)∣(x,p)∈M}
Conjunto de rotación de medida:
- Para medida m invariante bajo F: ρ(F~,m)=∫ρ1(x,p)dm
- Para medida μ invariante bajo σ: ρμ(F~)={ρ(F~,m)∣m∈Mμ(F)}
- Marco unificado: Extiende la teoría de rotación de homeomorfismos individuales al caso de composiciones aleatorias, estableciendo un marco teórico unificado
- Análisis multinivel: Analiza las propiedades de los conjuntos de rotación desde tres niveles: puntual, de medida y global
- Concepto de esencialidad: Introduce el concepto de puntos esenciales y no esenciales, en analogía con conceptos relacionados en la teoría clásica
- Demostración de conexidad: Prueba la conexidad del conjunto de rotación mediante métodos constructivos, incluso en casos no convexos
Para un cociclo F̃ sobre el desplazamiento completo Σ = {0,1}^Z, el conjunto de rotación tipo Misiurewicz-Ziemian ρ_(F̃) siempre es un subconjunto no vacío, compacto y conexo de R².
Esquema de la demostración:
- Compacidad: Se prueba mediante acotación y cerradura
- Conexidad: Por contradicción, la desconexión llevaría a una contradicción
Para un cociclo F̃ localmente constante y que preserva el área, si el conjunto de puntos fijos es no esencial y el conjunto de rotación es trivial, entonces o bien el conjunto de puntos esenciales es un subconjunto esencial de R², o bien F̃ tiene desplazamiento uniformemente acotado.
Si g es conservativa, o si el conjunto de rotación del levantamiento g̃ tiene interior no vacío, entonces su conjunto de rotación de pseudórbitas ε es convexo.
Puntos clave de la demostración:
- Caso conservativo: Se utiliza la conservatividad para garantizar la existencia de pseudórbitas de longitud acotada conectando puntos arbitrarios
- Caso de interior no vacío: Se utiliza la esencialidad total para construir órbitas periódicas aproximantes
Proposición 4.2 (Semicontinuidad): Si una sucesión de medidas (μ_k) converge a μ en la topología débil* y la sucesión de vectores de rotación converge, entonces el límite pertenece al conjunto de rotación de μ.
Contraejemplo 4.1: Se proporciona un ejemplo de discontinuidad, mostrando que la continuidad no se cumple en general.
Lema 5.6: Bajo la hipótesis de conjunto de rotación trivial, existe una estimación de desplazamiento uniformemente acotada cerca de puntos no esenciales.
Lema 6.4: Para aplicaciones conservativas, existe una constante unificada tal que dos puntos arbitrarios pueden conectarse mediante una pseudórbita de longitud acotada.
- Aproximación por órbitas periódicas: Se utilizan vectores de rotación de órbitas periódicas para aproximar los de órbitas generales
- Métodos topológicos: Se utilizan propiedades topológicas de conjuntos esenciales y no esenciales
- Métodos de teoría de medida: Se utilizan argumentos de Krylov-Boguliubov y teoría ergódica
- Métodos constructivos: Se prueban resultados de existencia mediante construcción explícita de órbitas especiales
El artículo se basa en los siguientes trabajos clásicos:
- Misiurewicz & Ziemian 8: Establecen la teoría fundamental de conjuntos de rotación para homeomorfismos individuales del toro
- Franks 2: Prueba la existencia de infinitos puntos periódicos cuando el conjunto de rotación tiene interior no vacío
- Koropecki & Tal 5,6: Desarrollan la teoría de puntos esenciales
- Llibre & MacKay 7: Estudian la relación entre vectores de rotación y entropía
- Los conjuntos de rotación de composiciones aleatorias de homeomorfismos del toro mantienen la conexidad, pero pueden perder la convexidad
- La teoría de puntos esenciales puede extenderse efectivamente al contexto de cociclos
- Bajo condiciones específicas (conservatividad o interior no vacío), los conjuntos de rotación mantienen la convexidad
- Restricción a lo localmente constante: Muchos resultados se aplican solo a cociclos localmente constantes
- Hipótesis técnicas: Se requieren hipótesis técnicas fuertes como la propiedad de preservación de área
- Problemas abiertos: Se plantean múltiples problemas sin resolver, como las Preguntas 3.3, 3.7, 3.8, etc.
- Estudiar las propiedades de conjuntos de rotación en casos no localmente constantes
- Explorar la relación entre conjuntos de rotación y entropía topológica
- Desarrollar una teoría de puntos esenciales más general
- Innovación teórica: Extiende exitosamente la teoría clásica de rotación a un nuevo contexto
- Diversidad metodológica: Combina métodos de topología, teoría de medida y sistemas dinámicos
- Profundidad de resultados: Los teoremas principales tienen significado teórico importante
- Claridad expositiva: Definiciones precisas y demostraciones detalladas
- Aplicabilidad limitada: Principalmente resultados teóricos, con valor aplicado aún por desarrollar
- Hipótesis fuertes: Muchos resultados requieren hipótesis técnicas fuertes
- Ejemplos insuficientes: Faltan más ejemplos concretos con cálculos explícitos
- Contribución teórica: Abre nuevas direcciones de investigación en teoría de sistemas dinámicos
- Valor metodológico: Las técnicas proporcionadas pueden aplicarse a otros problemas relacionados
- Significado inspirador: Los problemas planteados señalan direcciones para investigaciones futuras
- Análisis teórico de sistemas dinámicos aleatorios
- Investigación de dinámicas complejas en el toro
- Desarrollo adicional de la teoría de rotación
El artículo cita 8 referencias clave que abarcan los avances principales en teoría de homeomorfismos del toro, teoría de conjuntos de rotación y teoría de puntos esenciales, proporcionando una base teórica sólida para esta investigación.