Un nuevo invariante de tipo volumen renormalizado

Información Básica

• ID del Artículo: 2309.12268
• Título: Un nuevo invariante de tipo volumen renormalizado
• Autor: Wu Jinyang
• Clasificación: math.DG (Geometría Diferencial), math.CV (Variable Compleja)
• Fecha de Presentación: 28 de septiembre de 2023 (versión revisada el 20 de diciembre de 2024)
• Enlace del Artículo: https://arxiv.org/abs/2309.12268

Resumen

En este artículo se define un nuevo invariante conforme en superficies hiperbólicas completas no compactas que pueden compactificarse conformemente como dominios acotados en $\mathbb{C}$. El autor estudia y calcula este invariante hasta el caso de superficies doblemente conexas. Los resultados de la investigación proporcionan nuevos criterios geométricos para la selección de representaciones estándar de dominios acotados en $\mathbb{C}$.

Antecedentes y Motivación de la Investigación

Contexto del Problema

1. Limitaciones de la Teoría Clásica: En el caso bidimensional, el volumen renormalizado de variedades hiperbólicas Einstein compactificadas conformemente (CCE) es un invariante topológico. De acuerdo con las referencias 14, Corolario 3.5 y 10, Apéndice A.1, el volumen renormalizado de una superficie hiperbólica conforme compacta $(M, g_M)$ es igual a $-2\pi\chi(M)$, lo que limita su aplicación en análisis geométrico.
2. Problema de Representación Estándar: Para superficies hiperbólicas completas no compactas que pueden compactificarse conformemente a dominios acotados en $\mathbb{C}$, existen múltiples opciones de compactificación equivalentes. Cómo seleccionar una representación geométrica estándar es un problema importante.
3. Limitaciones de la Clasificación Existente:
   • El Teorema de Riemann establece que todos los dominios simplemente conexos (excepto $\mathbb{C}$) son conformemente equivalentes al disco
   • Las regiones doblemente conexas son conformemente equivalentes al anillo $\{z \in \mathbb{C}: \beta < |z| < 1\}$, donde $0 \leq \beta < 1$
   • Para dominios múltiplemente conexos, aunque los resultados de clasificación existentes son completos, carecen de intuición geométrica

Motivación de la Investigación

Este artículo tiene como objetivo estudiar un nuevo método de representación estándar mediante consideraciones geométricas apropiadas, proporcionar un invariante alternativo al volumen renormalizado para el caso bidimensional, y utilizar el significado geométrico del siguiente término en la expansión de frontera (1.3) para su construcción.

Contribuciones Principales

1. Definición del Nuevo Invariante: Se define el invariante de tipo volumen renormalizado $\Lambda(M, g_M)$, que es conforme invariante y proporciona información geométrica más rica que el volumen renormalizado en el caso bidimensional.
2. Cálculo Completo: Para el caso doblemente conexo, se proporciona la fórmula exacta de $\Lambda(M, g_M)$: $\Lambda(M, g_M) = \frac{2\pi^2}{3}\left[\left(\frac{\pi}{\ln\beta}\right)^2 + 1\right]$
3. Teorema de Rigidez: Se demuestra que la condición necesaria y suficiente para la igualdad es que el dominio $\Omega$ sea la imagen de $B_1 - B_\beta$ bajo traslaciones y transformaciones de similitud.
4. Interpretación Geométrica: Se proporciona una nueva interpretación geométrica del exponente del módulo continuo $\beta$.
5. Resultado de Existencia: Se demuestra la existencia y unicidad de soluciones de la ecuación de Liouville en dominios con singularidades puntuales (Proposición 1.4).

Explicación Detallada de los Métodos

Definición de la Tarea

Se estudian superficies hiperbólicas completas no compactas $(M, g_M)$ que pueden compactificarse conformemente como dominios acotados $\Omega$ en $\mathbb{C}$. El objetivo es definir y calcular un nuevo invariante conforme para caracterizar las propiedades geométricas de tales superficies.

Construcción Principal

1. Configuración Básica

Sea $(M, g_M)$ una superficie hiperbólica completa no compacta, y $\Omega \subset \mathbb{C}$ su compactificación conforme. Existe una función suave $u$ tal que $(M, e^{-2u}g_M)$ es isométrica a $(\Omega, g_E)$, donde $g_E$ es la métrica euclidiana.

Sea $v = e^{-u}$, entonces $u$ y $v$ satisfacen las ecuaciones: