A variational principle for holomorphic correspondences

Este artículo establece un principio variacional para correspondencias holomorfas en la esfera de Riemann definiendo la entropía y la presión de funciones continuas en este contexto dinámico.

Lo esencial

Imagina que el universo de las matemáticas es como un gran tablero de juego. Normalmente, cuando estudiamos cómo se mueven las cosas en este tablero (dinámica), usamos reglas muy estrictas: si pones una ficha en un punto, la regla te dice exactamente a dónde va a saltar. Es como un juego de ajedrez donde cada pieza tiene un movimiento único y predecible.

Pero, en este artículo, los autores (Subith Gopinathan y Shrihari Sridharan) están jugando con un juego mucho más loco y fascinante: las correspondencias holomorfas.

1. El Juego de las "Fichas Mágicas" (Correspondencias)

En lugar de una regla que diga "de A vas a B", imagina una regla que diga: "Si estás en A, puedes ir a B, C o D, y cada camino tiene una probabilidad o un peso diferente".

• La Analogía: Piensa en un árbol. Si estás en una rama (el punto de partida), no hay un solo camino hacia abajo; hay muchas ramas que se bifurcan. Una "correspondencia holomorfa" es como ese árbol mágico donde cada punto en la esfera (nuestro tablero, que es como la superficie de una bola) puede conectarse con varios otros puntos a la vez.
• El Reto: Como hay muchas opciones, es difícil predecir dónde terminará la ficha después de muchos saltos. El sistema es "caótico" y "set-valued" (de conjunto de valores), no lineal.

2. El Termómetro del Caos (Entropía y Presión)

En física, cuando estudiamos gases o calor, usamos conceptos como "entropía" (cuánto desorden hay) y "presión" (cuánta energía empuja al sistema). En matemáticas, hacemos algo similar para entender el comportamiento de estos sistemas caóticos.

• Entropía (El Desorden): Imagina que quieres medir qué tan "confuso" es el juego. Si tienes muchas rutas posibles y todas son igualmente probables, el juego es muy caótico (alta entropía). Si solo hay un camino, es aburrido y predecible (baja entropía). Los autores definen una forma de medir este "desorden" para sus árboles mágicos.
• Presión (La Energía): Imagina que tienes un mapa de calor. Algunas zonas del tablero son más "cálidas" (más atractivas) que otras. La "presión" es una medida que combina el desorden (entropía) con cuánto "calor" (valor) tiene cada zona. Es como decir: "¿Qué tan eficiente es este sistema para mezclar las cosas mientras aprovecha las zonas más valiosas?"

3. El Gran Principio de Equilibrio (El Principio Variacional)

Aquí es donde entra la joya del artículo: El Principio Variacional.

Imagina que eres un arquitecto que quiere diseñar la ciudad perfecta. Tienes dos formas de medir qué tan buena es tu ciudad:

1. Desde arriba (Topología): Miras el mapa completo y cuentas cuántas rutas posibles hay. Calculas la "presión" mirando todas las posibilidades teóricas.
2. Desde abajo (Medida): Miras a los habitantes reales (las probabilidades). Ves cómo se mueven realmente y calculas el desorden y el valor que ellos experimentan.

El descubrimiento de los autores: ¡Ambas formas dan el mismo resultado!
Ellos demuestran que la "presión" máxima que puedes obtener mirando el mapa completo es exactamente igual a la suma del "desorden" más el "valor" que obtienes al observar el mejor comportamiento posible de los habitantes.

• La Metáfora: Es como si dijeras: "La cantidad máxima de ruido que puede hacer una orquesta (presión) es exactamente igual a la suma de la creatividad de los músicos (entropía) más la belleza de la música que tocan (integral del valor), cuando tocan en su mejor momento".

4. El Operador Ruelle: El Director de Orquesta

Para probar todo esto, usan una herramienta llamada Operador Ruelle.

• La Analogía: Imagina que el Operador Ruelle es un director de orquesta muy estricto. Él toma una partitura (una función matemática) y le dice a cada músico (cada punto del sistema) cómo debe sonar.
• Los autores muestran que, si el sistema es "expansivo" (es decir, si las notas se separan rápidamente y no se quedan pegadas), este director de orquesta siempre encontrará una "nota maestra" (un valor propio) y una "melodía perfecta" (un vector propio) que describe el comportamiento final del sistema.
• Esto les permite encontrar una medida única (una forma de distribuir a los habitantes en el tablero) que es la más estable y predecible posible, incluso en medio del caos.

En Resumen

Este paper es como un manual de instrucciones para entender el caos en sistemas matemáticos complejos.

1. Definen el juego: Un sistema donde un punto puede ir a muchos lugares a la vez (correspondencias).
2. Crean las reglas de medición: Inventan formas de medir el "desorden" (entropía) y la "fuerza" (presión) en este juego.
3. Demuestran la magia: Proban que la visión global (topológica) y la visión local (probabilística) son dos caras de la misma moneda.
4. Encuentran el equilibrio: Usan un "director de orquesta" matemático para encontrar la configuración perfecta y única donde el sistema se asienta.

Es un trabajo que conecta la geometría, la probabilidad y la física, demostrando que incluso en un mundo donde las reglas son borrosas y múltiples, existe un orden profundo y elegante que podemos medir y predecir.

Resumen técnico

Aquí presento un resumen técnico detallado del artículo "A variational principle for holomorphic correspondences" (Un principio variacional para correspondencias holomorfas) de Subith Gopinathan y Shrihari Sridharan.

1. Planteamiento del Problema

El artículo aborda la extensión de la teoría ergódica y termodinámica, tradicionalmente desarrollada para mapas continuos en espacios métricos compactos, al contexto más general de correspondencias holomorfas en la esfera de Riemann ($\hat{\mathbb{C}}$).

• Contexto: En la dinámica clásica de mapas, el principio variacional establece que la presión topológica de una función continua $f$ es igual al supremo de la suma de la entropía métrica y la integral de $f$ respecto a todas las medidas de probabilidad invariantes.
• El Desafío: Las correspondencias holomorfas son aplicaciones de conjunto a conjunto (multivaluadas), definidas como combinaciones lineales formales de subvariedades analíticas complejas irreducibles. A diferencia de los mapas, la dinámica no es unívoca, lo que complica la definición directa de entropía y presión.
• Objetivo: Definir rigurosamente la entropía métrica para una correspondencia holomorfa y establecer un principio variacional que relacione la presión topológica con esta entropía, análogo al caso de los mapas.

2. Metodología

Los autores emplean una construcción basada en el espacio de trayectorias (órbitas) y la teoría de medidas, siguiendo los siguientes pasos metodológicos:

1. Definición de Correspondencias: Se define una correspondencia holomorfa $\Gamma \subset \hat{\mathbb{C}} \times \hat{\mathbb{C}}$ mediante sus grados topológicos ($d_{top}$) y forward ($d_{fwd}$). Se asume que la dinámica ocurre sobre la esfera de Riemann.
2. Espacio de Trayectorias: Para manejar la multivaluación, se construye el espacio de todas las trayectorias permitidas de iteración infinita, denotado como $P_\Gamma(\hat{\mathbb{C}})$. Este espacio se equipa con una métrica adecuada ($\Delta$) que lo convierte en un espacio métrico compacto.
3. Mapa de Desplazamiento (Shift): Se define un mapa de desplazamiento $\sigma_\Gamma$ sobre el espacio de trayectorias $P_\Gamma(\hat{\mathbb{C}})$. Este mapa es continuo y permite trasladar la dinámica de la correspondencia (que es multivaluada en el espacio base) a un sistema dinámico de un solo valor (el shift) en el espacio de trayectorias.
4. Proyección de Medidas: Se introduce la noción de medida empujada hacia adelante (push-forward). Dada una medida invariante $\mu$ bajo el shift $\sigma_\Gamma$ en el espacio de trayectorias, su proyección $\nu = (\Pi_0)_* \mu$ es una medida en la esfera de Riemann. El conjunto de tales medidas proyectadas se denota como $S_\Gamma$.
5. Entropía Intermedia: Se define una "entropía intermedia" $h_{(\nu, \mu)}(\Gamma)$ para un par ordenado de medidas $(\nu, \mu)$, donde $\nu$ es la proyección de $\mu$. Esta entropía se demuestra que es igual a la entropía métrica del mapa de desplazamiento $\sigma_\Gamma$ respecto a $\mu$.
6. Entropía Métrica de la Correspondencia: La entropía métrica de la correspondencia $\Gamma$ respecto a una medida $\nu \in S_\Gamma$ se define como el supremo de las entropías intermedias sobre todas las medidas $\mu$ que proyectan a $\nu$.

3. Contribuciones Clave

El artículo aporta las siguientes contribuciones teóricas fundamentales:

• Definición de Entropía Métrica para Correspondencias: Se establece una definición rigurosa de entropía métrica $h_\nu(\Gamma)$ para correspondencias holomorfas, superando la ambigüedad de la multivaluación mediante el uso del espacio de trayectorias y el mapa de desplazamiento.
• Principio Variacional Generalizado: Se prueba el teorema principal (Teorema 5.2), que establece que para cualquier función continua $f$ en la esfera de Riemann, la presión topológica $P(\Gamma, f)$ satisface:
  $$P(\Gamma, f) = \sup_{\nu \in S_\Gamma} \left\{ h_\nu(\Gamma) + \int f \, d\nu \right\}$$
  Esto generaliza el principio variacional clásico de Ruelle y Bowen al contexto de correspondencias.
• Caracterización de la Entropía Topológica: Se demuestra que la entropía topológica de la correspondencia es el supremo de las entropías métricas sobre el conjunto de medidas proyectadas $S_\Gamma$.
• Continuidad Superior Semicontinua: Se analiza la semicontinuidad superior del mapa de entropía, una propiedad crucial para la existencia de medidas de equilibrio.
• Operador de Ruelle y Medidas de Equilibrio: En la sección final, se restringe la dinámica al soporte de la medida de Dinh-Sibony ($\Omega_{DS}$), asumiendo que la correspondencia es expansiva en este conjunto. Se define un operador de Ruelle $L_f$ y se demuestra la existencia de un único medida de equilibrio (medida de Gibbs) que satisface propiedades de convergencia espectral específicas.

4. Resultados Principales

• Teorema 4.1: Establece la igualdad entre la entropía intermedia de la correspondencia y la entropía métrica del sistema de desplazamiento asociado: $h_{(\nu, \mu)}(\Gamma) = h_\mu(\sigma_\Gamma)$.
• Teorema 5.2 (Principio Variacional): Confirma que la presión topológica se maximiza sobre el conjunto de medidas proyectadas $S_\Gamma$, vinculando la dinámica termodinámica de la correspondencia con la de su lift en el espacio de trayectorias.
• Teorema 6.4: Bajo la hipótesis de que la correspondencia es expansiva en el soporte de la medida de Dinh-Sibony ($\Omega_{DS}$) y que $d_{top} > d_{fwd}$, se prueba la existencia y unicidad de una medida $\nu \in S_\Gamma$ que es la proyección de la medida de equilibrio del operador de Ruelle normalizado. Esta medida satisface la convergencia:
  $$\frac{1}{\Lambda^n} L_f^n(g) \to h \int g \, d\nu$$
  donde $\Lambda$ es el autovalor principal y $h$ la autofunción correspondiente.

5. Significancia e Impacto

Este trabajo es significativo por varias razones:

1. Unificación Teórica: Cierra una brecha importante en la teoría de sistemas dinámicos complejos al proporcionar un marco termodinámico completo para correspondencias holomorfas, unificando resultados previos parciales (como el "principio variacional parcial" o estimaciones de cotas superiores).
2. Herramientas para el Análisis: La introducción del espacio de trayectorias y la proyección de medidas ofrece una metodología robusta para estudiar sistemas multivaluados, permitiendo aplicar herramientas potentes de la teoría ergódica de mapas continuos a correspondencias.
3. Aplicabilidad en Dinámica Compleja: Las correspondencias holomorfas generalizan a los mapas racionales. Los resultados sobre el operador de Ruelle y la medida de Dinh-Sibony son cruciales para entender la distribución de puntos periódicos, la estabilidad estructural y las propiedades espectrales en sistemas generados por semigrupos racionales o dinámicas de conjuntos.
4. Fundamento para Futuras Investigaciones: Al establecer la existencia de medidas de equilibrio únicas bajo condiciones de expansividad, el artículo sienta las bases para el estudio de la estadística de estos sistemas (leyes de grandes números, teoremas del límite central) en el contexto de correspondencias.

En resumen, el artículo logra formular y probar un principio variacional sólido para correspondencias holomorfas, utilizando una ingeniería de espacios de trayectorias para traducir problemas multivaluados a problemas de mapas continuos, y demostrando la existencia de medidas de equilibrio únicas mediante el análisis espectral del operador de Ruelle.