Topological pressure for holomorphic correspondences using open covers

Este artículo define la presión topológica para correspondencias holomorfas utilizando recubrimientos abiertos de la esfera de Riemann y demuestra que esta definición coincide con la existente basada en familias separadas y de cobertura de órbitas.

Lo esencial

Imagina que el universo matemático es como una ciudad gigante y caótica llamada la Esfera de Riemann. En esta ciudad, no hay un solo camino que te lleve de un punto A a un punto B. En su lugar, imagina que eres un viajero con un mapa mágico que, en lugar de decirte "ve hacia el norte", te dice: "puedes ir al norte, al este, o tal vez al sur, y cada opción tiene varias rutas diferentes".

A esto los matemáticos le llaman correspondencia holomorfa. Es como un sistema de transporte donde un solo viaje puede desdoblarse en múltiples destinos posibles, creando una red de caminos infinita y compleja.

El autor de este artículo, Subith Gopinathan, quiere responder a una pregunta fundamental: ¿Qué tan "compleja" o "caótica" es esta ciudad de caminos infinitos?

Para medir esta complejidad, los matemáticos usan dos herramientas principales:

1. Entropía: Una medida de cuánta "sorpresa" o desorden hay en el sistema.
2. Presión Topológica: Una forma de medir la complejidad cuando añadimos un "peso" o un "valor" a cada camino (como si cada ruta tuviera un costo o una recompensa).

El Problema: Dos formas de contar

Hasta ahora, los matemáticos medían esta complejidad usando un método muy específico: imaginaban que lanzaban una red de puntos separados por una distancia fija (como si lanzaras canicas al suelo y contaras cuántas caen lejos unas de otras). Esto se llama usar "familias separadas". Funciona bien, pero es como intentar medir la temperatura de una habitación usando solo un termómetro en una esquina: es preciso, pero un poco rígido.

La Solución de Subith: Usar "Redes" (Recubrimientos Abiertos)

En este artículo, Subith propone una forma más flexible y elegante de medir la complejidad. En lugar de usar puntos fijos, propone usar redes o telas (llamadas "recubrimientos abiertos").

La analogía de la manta:
Imagina que quieres cubrir toda la ciudad (la Esfera de Riemann) con mantas.

• El método antiguo: Contabas cuántas canicas necesitabas para cubrir la ciudad si las canicas no podían tocarse.
• El método de Subith: Imagina que tienes mantas de diferentes tamaños. Quieres cubrir toda la ciudad usando la menor cantidad de mantas posible.
  • Si usas mantas muy grandes, necesitas pocas, pero no ves los detalles.
  • Si usas mantas muy pequeñas (como si fueran parches diminutos), necesitas miles, pero ves cada rincón de la ciudad.

Subith demuestra que, si usas mantas cada vez más pequeñas (haciendo que el tamaño de los parches tienda a cero), el número de mantas que necesitas para cubrir los caminos posibles te da exactamente la misma medida de complejidad que el método antiguo de las canicas.

¿Por qué es importante esto?

1. Flexibilidad: Usar "redes" (recubrimientos) es a menudo más fácil de trabajar en matemáticas puras porque se adapta mejor a la forma de los objetos, en lugar de forzarlos a encajar en una cuadrícula rígida.
2. Confirmación: El autor demuestra que su nuevo método da exactamente el mismo resultado que el método antiguo. Es como si dos personas midieran la altura de una montaña: una con un láser y otra con un barómetro. Si ambos dan el mismo número, sabemos que la medida es correcta y sólida.
3. Nuevas fórmulas: Al usar este enfoque, Subith obtiene nuevas fórmulas para calcular la entropía y la presión, lo que abre la puerta a resolver problemas más difíciles en el futuro.

En resumen

Este artículo es como un puente. Conecta una forma antigua y rígida de medir el caos matemático (usando puntos separados) con una forma más moderna y fluida (usando redes o mantas). Subith nos dice: "No importa si usas puntos o redes; si las redes son lo suficientemente pequeñas, ambas te contarán la misma historia sobre cuán complejo es el sistema".

Es un trabajo elegante que refuerza nuestra comprensión de cómo funciona el caos en el mundo de las matemáticas complejas, demostrando que diferentes caminos pueden llevar al mismo destino de verdad.

Resumen técnico

A continuación presento un resumen técnico detallado del artículo "Topological pressure for holomorphic correspondences using open covers" (Presión topológica para correspondencias holomorfas usando recubrimientos abiertos) de Subith Gopinathan.

1. Planteamiento del Problema

El formalismo termodinámico es una herramienta fundamental para entender la complejidad de los sistemas dinámicos, proporcionando conceptos como entropía, presión y el operador de Ruelle. Mientras que estos conceptos están bien establecidos para mapas (funciones), su extensión a las correspondencias holomorfas (generalizaciones naturales de las aplicaciones racionales en dinámica compleja) es más reciente y menos explorada.

Hasta la fecha, la definición de presión topológica para correspondencias holomorfas, introducida en trabajos previos (como [7] en la bibliografía del artículo), se basaba en el uso de familias de órbitas separadas y cobertoras (spanning families) en el espacio de trayectorias permitidas.

El problema central abordado en este trabajo es la necesidad de definir la presión topológica utilizando una metodología alternativa: recubrimientos abiertos del espacio subyacente (la esfera de Riemann, $\mathbb{P}^1$). El objetivo es demostrar que esta nueva definición, basada en la topología del espacio y no solo en métricas de órbitas discretas, es equivalente a la definición existente, ofreciendo así una perspectiva diferente y robusta para el cálculo de la entropía y la presión.

2. Metodología

El autor desarrolla un marco teórico que adapta la definición clásica de presión topológica (típicamente asociada a la entropía de Bowen-Misiurewicz vía recubrimientos) al contexto de correspondencias holomorfas.

• Definición de Correspondencia: Se considera una correspondencia holomorfa $F$ sobre la esfera de Riemann $\mathbb{P}^1$, definida como una combinación lineal formal de subvariedades irreducibles $\Gamma_t \subset \mathbb{P}^1 \times \mathbb{P}^1$.
• Espacio de Órbitas: Se define el conjunto de órbitas forward permitidas de longitud $k$, denotado como $\mathcal{P}^F_k(\mathbb{P}^1)$, que incluye tanto la trayectoria de puntos como la secuencia de ramas (palabras) tomadas en la correspondencia.
• Recubrimientos Abiertos: En lugar de contar puntos separados métricamente, el autor utiliza un recubrimiento abierto $\mathcal{U}$ de $\mathbb{P}^1$. Se construye un recubrimiento inducido en el espacio de órbitas $\mathcal{P}^F_k(\mathbb{P}^1)$ mediante preimágenes de proyecciones $\Pi_i$ y proyecciones de índices $\text{proj}_i$.
• Nuevas Cantidades: Se definen dos cantidades clave basadas en el recubrimiento $\mathcal{U}$ y una función continua $g: \mathbb{P}^1 \to \mathbb{R}$:
  • $M^F_k(g, \mathcal{U})$: El ínfimo de la suma de los pesos exponenciales sobre sub-recubrimientos finitos, tomando el ínfimo de la función $g$ dentro de cada elemento del recubrimiento.
  • $N^F_k(g, \mathcal{U})$: Similar a la anterior, pero tomando el supremo de la función $g$ dentro de cada elemento.
• Límites y Propiedades: Se demuestra que la secuencia $\log N^F_k(g, \mathcal{U})$ es subaditiva, lo que garantiza la existencia del límite $\lim_{k \to \infty} \frac{1}{k} \log N^F_k(g, \mathcal{U})$.

3. Contribuciones Clave

1. Definición Alternativa de Presión: Se introduce una definición formal de presión topológica para correspondencias holomorfas basada exclusivamente en recubrimientos abiertos de la esfera de Riemann, evitando la dependencia directa de las definiciones de conjuntos separados/cobertores en el espacio de trayectorias.
2. Equivalencia de Definiciones: El resultado más importante es la demostración de que la presión definida mediante recubrimientos abiertos coincide exactamente con la presión definida previamente mediante familias separadas y cobertoras.
3. Nueva Fórmula para la Entropía: Se obtiene una nueva expresión para la entropía topológica de una correspondencia holomorfa, expresada como el límite de la tasa de crecimiento del número mínimo de elementos en un sub-recubrimiento finito de las órbitas inducidas.
4. Propiedades de Subaditividad: Se establece rigurosamente la propiedad de subaditividad para las cantidades definidas por recubrimientos, lo cual es crucial para la existencia de los límites asintóticos.

4. Resultados Principales

El teorema central del artículo (Teorema 3.4) establece que para una correspondencia holomorfa $F$ y una función continua $g$, la presión topológica $P(g, F)$ satisface:

$$P(g, F) = \lim_{\delta \to 0} \sup_{\mathcal{U}} \lim_{k \to \infty} \frac{1}{k} \log N^F_k(g, \mathcal{U}) = \lim_{\delta \to 0} \sup_{\mathcal{U}} \lim_{k \to \infty} \frac{1}{k} \log M^F_k(g, \mathcal{U})$$

Donde el supremo se toma sobre todos los recubrimientos abiertos $\mathcal{U}$ de $\mathbb{P}^1$ con diámetro menor que $\delta$.

Corolario para la Entropía Topológica:
Al tomar $g = 0$, se recupera la entropía topológica $h_{top}(F)$:
$$h_{top}(F) = \lim_{\delta \to 0} \sup_{\mathcal{U}} \lim_{k \to \infty} \frac{1}{k} \log (\text{número mínimo de elementos en un sub-recubrimiento finito de } \mathcal{U}^F_k)$$

Prueba de Equivalencia:
El autor utiliza el número de Lebesgue para conectar las definiciones métricas (separadas/spanning) con las topológicas (recubrimientos).

• Se demuestra que un recubrimiento con diámetro pequeño acota las cantidades de separación ($S^F_k$) y cobertura ($R^F_k$).
• Se utiliza un argumento de "sandwich" (teorema del emparedado) mostrando que la diferencia entre las definiciones de $N^F_k$ y $M^F_k$ se desvanece asintóticamente cuando el diámetro del recubrimiento tiende a cero, debido a la continuidad uniforme de $g$.

5. Significado e Impacto

Este trabajo es significativo por varias razones:

• Unificación Teórica: Valida que el formalismo termodinámico para correspondencias holomorfas es robusto y no depende de la elección específica de la herramienta de medición (métrica de órbitas vs. topología de recubrimientos).
• Herramientas para Futuras Investigaciones: La definición basada en recubrimientos abiertos puede ser más manejable en ciertos contextos teóricos o computacionales donde trabajar con familias separadas es difícil, especialmente en espacios no compactos o con estructuras geométricas complejas.
• Generalización de la Entropía: Proporciona una nueva fórmula para calcular la entropía topológica, lo que podría facilitar el estudio de propiedades espectrales del operador de Ruelle y la distribución de medidas de equilibrio en el contexto de correspondencias.
• Fundamento para el Principio Variacional: Al establecer la equivalencia con la definición existente, se refuerza la base para aplicar el principio variacional (relación entre presión, entropía y medida de probabilidad) en este contexto generalizado.

En resumen, el artículo cierra una brecha metodológica al demostrar que la presión topológica en correspondencias holomorfas puede definirse puramente desde la topología del espacio base, ofreciendo una perspectiva complementaria y equivalente a la aproximación métrica tradicional.