Raimi's theorem for manifolds with circle symmetry

Resumen Técnico: El Teorema de Raimi para Variedades con Simetría Circular

Enunciado del Problema
El artículo aborda la extensión del teorema clásico de Raimi, desde los números naturales y el grupo circular, hacia una clase más amplia de superficies geométricas que no son grupos. El teorema original de Raimi establece la existencia de una partición de los números naturales $\mathbb{N}$ que es "inevitable" bajo coloraciones y traslaciones finitas. Específicamente, para cualquier partición finita de $\mathbb{N}$, existe una clase de color y una traslación tales que la clase trasladada interseca infinitamente ambas partes de la partición de Raimi.

Trabajos recientes de Kang, Koh y el autor extendieron este fenómeno al grupo circular $\mathbb{T} = \mathbb{R}/\mathbb{Z}$, demostrando la existencia de una partición medible del círculo tal que toda cubierta medible finita admite una rotación que interseca cada elemento de la partición en medida positiva. El problema central de este artículo es determinar si este fenómeno de "inevitabilidad" se extiende más allá de los grupos abelianos compactos hacia superficies geométricas que carecen de estructura de grupo pero poseen una simetría unidimensional oculta (acción circular). El artículo se centra específicamente en tres familias de superficies: la esfera unitaria $S^{n-1}$, superficies de potencia rotacional (incluyendo conos y paraboloides) y superficies cilíndricas circulares.

Metodología
El artículo emplea un enfoque estructural unificado basado en la teoría de fibrados circulares y la desintegración de medidas. La estrategia central consiste en elevar la partición conocida de Raimi desde el círculo base $\mathbb{T}$ hasta la variedad de dimensión superior $X$, aprovechando una estructura de producto medible.

1. Marco de Fibrado Circular: Los autores establecen un teorema general (Teorema 2.1) para un espacio de probabilidad $(X, \mu)$ equipado con una acción circular que preserva la medida $\{R_\theta\}_{\theta \in \mathbb{T}}$. El teorema requiere la existencia de:

   • Un conjunto nulo $N \subset X$ donde la acción degenera.
   • Una biyección medible $\Phi: \mathbb{T} \times Y \to X \setminus N$ que entrelaza la acción circular con la traslación en el primer factor (equivarianza).
   • Una propiedad de desintegración de producto: La medida superficial $\mu$ debe descomponerse de tal manera que las medidas condicionales en las fibras (órbitas circulares) coincidan con la medida de Haar normalizada (medida de Lebesgue) en $\mathbb{T}$.

2. Desintegración de Rokhlin: El motor analítico de la prueba es el teorema de desintegración de Rokhlin. Los autores argumentan que, dado que la medida superficial es invariante bajo la acción circular, las medidas condicionales en casi toda fibra deben ser la única medida de probabilidad invariante bajo traslaciones en el círculo (medida de Haar). Esto reduce el problema geométrico a uno combinatorio en el círculo base.

3. Mecanismo de Elevación:

   • Dada una cubierta medible finita de la variedad $X$, los autores la llevan al espacio producto $\mathbb{T} \times Y$.
   • Utilizando un principio del palomar en el círculo base $Y$, construyen una partición medible del círculo base.
   • Aplican el teorema conocido de Raimi en el círculo $\mathbb{T}$ para encontrar una rotación que interseca cada parte de la partición base en medida positiva.
   • Mediante la integración sobre las fibras y utilizando la equivarianza del mapa $\Phi$, demuestran que esta rotación fuerza al elemento original de la cubierta a intersecar cada componente de la partición elevada de $X$ en medida positiva.

Contribuciones y Resultados Clave
El artículo proporciona tres aplicaciones específicas del teorema general de fibrados circulares, estableciendo la existencia de particiones medibles "inevitables" para las siguientes superficies equipadas con sus medidas superficiales naturales:

1. La Esfera Unitaria ($S^{n-1}$): Para $n \ge 3$, el artículo construye una partición de la esfera tal que cualquier cubierta medible finita admite una rotación en el plano $(x_1, x_2)$ que interseca cada elemento de la partición en medida positiva. El conjunto singular $N$ corresponde a los polos donde $x_1 = x_2 = 0$.
2. Superficies de Potencia Rotacional: Esta clase incluye superficies definidas por $x_n = |x'|^k$ (donde $x' = (x_1, \dots, x_{n-1})$) para $k > 0$. Casos especiales incluyen conos ($k=1$) y paraboloides ($k=2$). El resultado se mantiene para estas superficies dentro de un radio acotado $R$, con el eje singular eliminado.
3. Superficies Cilíndricas Circulares: Definidas como $x_1^2 + x_2^2 = R^2$ con las coordenadas restantes en un conjunto de Borel acotado $\Omega$. Dado que estas superficies no tienen un eje singular, el conjunto nulo $N$ es vacío.

En todos los casos, la partición construida $\{E_i\}_{i=1}^r$ satisface la propiedad de que para cualquier cubierta medible finita $\{F_m\}_{m=1}^t$, existe un índice $m_0$ y una rotación $R_{\theta_0}$ tales que $\mu(R_{\theta_0}(F_{m_0}) \cap E_i) > 0$ para todo $i$.

Significado y Afirmaciones
El artículo afirma que la extensión del teorema de Raimi a estas superficies geométricas está impulsada por una simetría unidimensional "oculta" en lugar de una estructura de grupo completa. Los autores enfatizan que, aunque el problema se formula geométricamente, el mecanismo esencial es combinatorio. La contribución analítica se limita a la descomposición estructural de la medida (mediante el teorema de Rokhlin) para asegurar que las medidas condicionales en las fibras sean medidas de Haar.

El artículo responde explícitamente a una pregunta planteada en trabajos anteriores [5] respecto a la extensión desde el círculo hasta la esfera unitaria. Plantea que el fenómeno de "inevitabilidad" es robusto en cualquier variedad que admita una acción circular que preserve la medida y una trivialización medible como fibrado circular. Los autores concluyen señalando una pregunta abierta: si tales particiones existen para superficies hiperbólicas compactas, las cuales carecen de acciones circulares y, por tanto, quedan fuera del marco actual de fibrados circulares. El artículo no afirma resolver esta pregunta abierta ni propone nuevas aplicaciones más allá de la extensión teórica de fenómenos tipo Ramsey a estos entornos geométricos específicos.