Horizontal curvatures of surfaces in 3D contact sub-Riemannian Lie groups

Este artículo estudia las curvaturas horizontales de superficies en grupos de Lie sub-riemannianos de contacto tridimensionales mediante un esquema de aproximación riemanniana, derivando fórmulas explícitas para la curvatura gaussiana y media horizontales, así como la distorsión simpléctica, y clasificando las superficies de revolución con curvaturas constantes en los grupos de Heisenberg y afín-aditivo.

Lo esencial

Imagina que el mundo que conocemos es como una hoja de papel plana y suave. En esa hoja, si dibujas una curva, puedes medir fácilmente qué tan "torcida" o "redonda" es. Eso es lo que hacen los matemáticos clásicos: miden la curvatura de las superficies.

Pero, ¿qué pasa si el mundo no es una hoja de papel, sino un laberinto con reglas estrictas?

Este paper (artículo científico) de Bubani, Pinamonti, Platis y Tsolis explora exactamente eso. Imagina que vives en un universo donde solo puedes moverte hacia adelante, hacia atrás, a la izquierda o a la derecha, pero nunca hacia arriba o hacia abajo directamente. Si quieres subir, tienes que hacer un zigzag muy complicado. A este tipo de universo se le llama geometría sub-riemanniana.

Aquí tienes la explicación de su investigación, traducida a un lenguaje cotidiano con analogías:

1. El Problema: ¿Cómo medir la curvatura en un laberinto?

En nuestro mundo normal (Riemanniano), si tienes una pelota, sabes que es redonda porque puedes medir su curvatura en todas direcciones. Pero en estos universos "prohibidos" (como el Grupo de Heisenberg o el Grupo Afín-Aditivo), las reglas del juego cambian.

• La analogía del coche: Imagina un coche que no tiene dirección. Solo puede ir en línea recta o girar sobre su eje, pero no puede moverse lateralmente. Si intentas dibujar una línea curva con este coche, la línea se ve diferente a como la verías si pudieras moverte libremente.
• El desafío: Los matemáticos querían saber: "Si dibujamos una superficie en este mundo de reglas estrictas, ¿cómo de 'curva' es realmente?". Las fórmulas antiguas no funcionaban porque dependían de poder moverse en todas direcciones, algo imposible aquí.

2. La Solución: El "Truco" de la Aproximación

Los autores no intentaron adivinar la respuesta directamente. Usaron un truco brillante llamado esquema de aproximación riemanniana.

• La analogía del "Zoom": Imagina que tienes una foto borrosa de una montaña. No puedes ver los detalles. Para entender la montaña, tomas una cámara y haces zoom muy, muy cerca (como si pudieras moverte libremente en todas direcciones). Mides la curvatura con esa cámara de alta resolución.
• El proceso: Luego, van alejando la cámara poco a poco (haciendo el "zoom" menos intenso) hasta volver a la foto borrosa original.
• El resultado: Al observar cómo cambian los números mientras se alejan, encuentran un límite. Ese límite es la "verdadera" curvatura en el mundo de reglas estrictas. Lo llaman curvatura horizontal.

3. Las Tres Medidas Mágicas

En lugar de una sola medida de "curvatura", descubrieron que en estos mundos extraños necesitamos tres conceptos diferentes para entender la forma de las superficies:

1. Curvatura Media Horizontal (La "Gordura" de la superficie):

   • Analogía: Imagina que la superficie es una capa de jabón. La curvatura media te dice si la capa de jabón está tensa o relajada. Si es cero, la superficie es "minimal" (como una burbuja de jabón perfecta que no gasta energía).
   • En el paper: Calculan exactamente cuándo una superficie en estos grupos es "minimal" (como una burbuja de jabón en un laberinto).

2. Curvatura Gaussiana Horizontal (La "Redondez" intrínseca):

   • Analogía: Imagina que eres un hormiguero caminando sobre una superficie. Si caminas en círculo y vuelves a tu punto de partida, ¿te has sentido girado? Si la superficie es plana (como una hoja), no. Si es una esfera, sí. Esta medida te dice si la superficie es intrínsecamente redonda o plana, sin importar cómo se vea desde fuera.
   • En el paper: Descubrieron fórmulas para superficies que son "perfectamente redondas" o "perfectamente planas" dentro de las reglas del laberinto.

3. Distorsión Simétrica (El "Twist" o giro):

   • Analogía: Imagina que tienes una hoja de papel y la retuerces como si fuera una toalla. Esta medida captura cuánto se ha "retorcido" la superficie respecto a la estructura del universo. Es como medir el "efecto de tornillo" que tiene el espacio sobre la superficie.

4. Los Dos Ejemplos Principales (Los "Mundos" de Prueba)

Para probar sus fórmulas, usaron dos universos de juguete muy famosos en matemáticas:

• El Grupo de Heisenberg: Es como un mundo donde el tiempo y el espacio están mezclados de forma extraña. Es el "ejemplo de libro de texto" para estos problemas. Aquí encontraron formas de "burbujas" y "esferas" que tienen una curvatura constante.
• El Grupo Afín-Aditivo: Imagina un mundo donde las escalas cambian (como un zoom constante) mientras te mueves. Es más exótico. Aquí clasificaron superficies que giran alrededor de un eje, encontrando formas que se asemejan a "flascos" o botellas extrañas.

5. ¿Por qué es importante esto?

Puede parecer muy abstracto, pero tiene aplicaciones reales:

• Física: Ayuda a entender cómo se mueven las partículas en campos magnéticos fuertes o en sistemas cuánticos donde el movimiento está restringido.
• Robótica: Si programas un robot que solo puede moverse en ciertas direcciones (como un dron que no puede subir verticalmente), estas fórmulas ayudan a calcular la ruta más eficiente.
• Teoría de la Información: Ayuda a entender cómo se "dobla" la información en espacios complejos.

En resumen

Los autores de este paper construyeron un nuevo "metro" y un nuevo "compás" para medir formas en universos donde las reglas de movimiento son estrictas. Usaron un truco de "zoom" matemático para traducir las reglas del mundo normal a este mundo prohibido, y luego clasificaron todas las formas posibles de "burbujas" y "esferas" que pueden existir allí.

Es como si hubieran descubierto que, aunque en un laberinto no puedes ir en línea recta, todavía puedes dibujar círculos perfectos, solo que esos círculos se ven y se sienten muy diferentes a los de nuestro mundo normal.

Resumen técnico

1. Planteamiento del Problema

El estudio de la geometría de superficies y sus curvaturas es fundamental en el análisis geométrico y la teoría de la medida. Sin embargo, en el contexto de los espacios sub-Riemannianos, las definiciones clásicas de curvatura (Gaussiana y media) de la geometría Riemanniana no son directamente aplicables.

• La limitación: En un espacio sub-Riemanniano, la métrica está definida únicamente en un sub-bundle horizontal $H$ (distribución no integrable), y no en todo el espacio tangente. Esto impide el uso directo de la conexión de Levi-Civita y la métrica ambiental completa.
• El desafío: Desarrollar nociones intrínsecas de curvatura para superficies embebidas que:
  1. Coincidan con las definiciones Riemannianas cuando la estructura sub-Riemanniana es inducida por una métrica Riemanniana.
  2. Sean invariantes bajo el grupo de isometrías naturales del espacio (traslaciones izquierdas).
  3. Tengan en cuenta las restricciones no holonómicas de la distribución horizontal.
  4. Reduzcan a expresiones conocidas en espacios modelo como el Grupo de Heisenberg.
• Puntos críticos: La definición debe manejar adecuadamente los puntos característicos, donde el plano tangente de la superficie coincide con la distribución horizontal y la normal horizontal degenera.

2. Metodología

Los autores emplean un esquema de aproximación Riemanniana combinado con el método de marcos móviles de Cartan.

1. Aproximación Riemanniana:

   • Se introduce una familia de métricas Riemannianas $(g_\epsilon)_{\epsilon > 0}$ en el grupo de Lie $G$.
   • Se escala el campo vectorial de Reeb $T$ a $T_\epsilon = \epsilon T$, de modo que el marco $\{X, Y, T_\epsilon\}$ sea ortonormal.
   • A medida que $\epsilon \to 0^+$, el espacio métrico $(G, d_\epsilon)$ converge en el sentido de Gromov-Hausdorff al espacio sub-Riemanniano original $(G, d_{CC})$.

2. Cálculo de Curvaturas en la Aproximación:

   • Se utiliza un marco ortonormal adaptado $\{E_1, E_2, n_\Sigma\}$ a una superficie $\Sigma$ definida por $u=0$.
   • Mediante las ecuaciones estructurales de Cartan, se calculan las formas de conexión y las curvaturas seccionales del espacio ambiente y la segunda forma fundamental de la superficie en la métrica $g_\epsilon$.

3. Límite Asintótico:

   • Se realiza un análisis asintótico cuidadoso de las cantidades calculadas (curvatura media $H^\epsilon_\Sigma$, curvatura Gaussiana $K^\epsilon_\Sigma$ y distorsión simpléctica $Q^\epsilon_\Sigma$) cuando $\epsilon \to 0$.
   • Este límite define las curvaturas horizontales intrínsecas:
     • Curvatura Media Horizontal ($H^h_\Sigma$).
     • Curvatura Gaussiana Horizontal ($K^h_\Sigma$).
     • Distorsión Simpléctica ($Q^h_\Sigma$).

4. Invarianza: Se demuestra que estas definiciones son invariantes bajo el grupo de isometrías CC (isometrías sub-Riemannianas).

3. Contribuciones Clave y Resultados Principales

El artículo proporciona fórmulas explícitas y resultados de clasificación para dos grupos de Lie de contacto en 3D: el Grupo de Heisenberg ($\mathbb{H}$) y el Grupo Afín-Aditivo ($AA$).

A. Definiciones Generales

Se establecen fórmulas generales para $H^h_\Sigma$, $K^h_\Sigma$ y $Q^h_\Sigma$ en términos de las derivadas horizontales de la función definidora $u$ y los coeficientes de estructura del grupo (conmutadores de los campos vectoriales).

• Se introduce la Distorsión Simpléctica $Q^h_\Sigma$, que captura cómo la geometría de la superficie se "tuerce" respecto a la estructura de contacto ambiental.
• Se prueba un Teorema Egregium Horizontal: La curvatura Gaussiana horizontal depende solo de las derivadas horizontales de la función definidora, análogo al teorema clásico de Gauss.

B. Aplicación al Grupo de Heisenberg ($\mathbb{H}$)

• Fórmulas Específicas: Se derivan expresiones explícitas para superficies generales, cilindros, gráficos y superficies de revolución.
• Clasificación de Superficies de Revolución: Se clasifican completamente las superficies de revolución con curvaturas constantes:
  • Curvatura Gaussiana Horizontal Constante ($K^h_\Sigma = k$): Se resuelven las EDOs correspondientes. Para $k=0$, se obtienen superficies definidas por integrales elementales; para $k \neq 0$, las soluciones involucran integrales elípticas.
  • Curvatura Media Horizontal Constante ($H^h_\Sigma = h$): Se identifican familias de superficies, incluyendo hiperboloides para $h=0$ y superficies definidas por integrales elípticas para $h \neq 0$.
  • Distorsión Simpléctica Constante: Se caracterizan las superficies con $Q^h_\Sigma = q$.
• Ejemplos Notables:
  • Se analizan la Esfera de Korányi, la Esfera CC (Carnot-Carathéodory) y el Conjunto Burbuja (Bubble set), calculando sus curvaturas horizontales explícitamente.
  • Se demuestra una desigualdad aguda: $(H^h_\Sigma)^2 - K^h_\Sigma > 0$ para superficies de revolución en $\mathbb{H}$.

C. Aplicación al Grupo Afín-Aditivo ($AA$)

• Este grupo modela el semiplano derecho hiperbólico extendido.
• Se definen superficies de revolución basadas en subgrupos uniparamétricos (cilindros sobre curvas en el plano hiperbólico).
• Clasificación: Similar al caso de Heisenberg, se clasifican las superficies de revolución con curvaturas constantes.
  • Se encuentra que las superficies con curvatura media horizontal cero ($H^h_\Sigma = 0$) tienen curvatura Gaussiana horizontal constante igual a $-4$.
  • Se presentan soluciones en términos de funciones elementales y logaritmos para diferentes valores de curvatura.
• Nuevos Objetos Geométricos: Se discuten la Esfera CC y el Frasco (Flask) en este grupo, mostrando que sus curvaturas no son constantes, pero su curvatura media horizontal es constante (igual a la curvatura de un círculo hiperbólico).

4. Significado e Impacto

1. Unificación Teórica: El trabajo proporciona un marco unificado y sistemático para definir curvaturas en variedades de contacto sub-Riemannianas, superando la dependencia de métricas Riemannianas completas.
2. Herramientas para Problemas Geométricos: Las fórmulas explícitas obtenidas son herramientas esenciales para abordar problemas de geometría isoperimétrica y la clasificación de superficies con curvatura constante en estos espacios no euclidianos.
3. Extensión de Resultados Clásicos: Extiende investigaciones previas limitadas principalmente al Grupo de Heisenberg a una clase más amplia de grupos de Lie de contacto, demostrando la robustez del método de aproximación Riemanniana.
4. Conexión con EDPs: Dado que las curvaturas horizontales están relacionadas con operadores sub-ellípticos (como el operador de Laplace sub-Riemanniano), estos resultados tienen implicaciones directas para el estudio de EDPs sub-ellípticas y problemas variacionales en geometría sub-Riemanniana.

En resumen, el artículo establece las bases analíticas y geométricas necesarias para el estudio profundo de la geometría intrínseca de superficies en entornos sub-Riemannianos, ofreciendo tanto teoría fundamental como clasificaciones concretas en modelos matemáticos relevantes.