Analysis on fibred cusp spaces

1. Introducción y Definición del Problema

El artículo aborda el análisis geométrico y espectral en una clase amplia de variedades riemannianas no compactas denominadas espacios de cúspides fibradas (fibred cusp spaces). Estos espacios generalizan estructuras que aparecen en contextos diversos, desde las partes regulares de espacios singulares con singularidades de cúspide incompletas hasta espacios completos con estructuras asintóticamente hiperbólicas o euclidianas en el infinito.

El problema central radica en extender herramientas clásicas de la geometría espectral y la teoría de índices (como el teorema de Atiyah-Singer, la torsión analítica y la teoría de problemas de valor en la frontera) a estas variedades que presentan singularidades o comportamientos asintóticos no estándar. En particular, el desafío es manejar la pérdida de compacidad y la naturaleza singular de la métrica cerca del "borde" (que puede ser una singularidad o el infinito).

Definición de los espacios:
Un espacio de cúspide fibrada se define sobre una variedad compacta con borde $X$ equipada con una fibración $\phi: \partial X \to B$ (donde $B$ es la base y $F$ la fibra). La métrica interna, llamada métrica $c-\phi$, tiene la forma local:
$$g_c = x^{2c} g_\phi$$
donde $x$ es una función de definición del borde ($x=0$), $c \in \mathbb{Z}$ es un parámetro que determina el tipo de comportamiento asintótico, y $g_\phi$ es una métrica $\phi$-típica construida sobre el fibrado tangente rescalado $\phi TX$.

• $c=0$: Métricas asintóticamente cónicas (scattering).
• $c=1$: Cúspides hiperbólicas (completas).
• $c=2$: Singularidades de cúspide incompletas.

2. Metodología: Cálculo $\phi$ y Análisis Microlocal

La metodología central del trabajo se basa en el análisis microlocal geométrico singular, desarrollado originalmente por R. Melrose. Los autores emplean el cálculo $\phi$ ($\phi$-calculus), un cálculo de operadores pseudodiferenciales adaptado a la estructura singular de estos espacios.

Herramientas clave:

1. Operadores Diferenciales $\phi$: Se definen mediante campos vectoriales que son tangentes al borde y a las fibras, satisfaciendo condiciones de orden específicas ($x^2\partial_x, x\partial_y, \partial_z$).
2. Espacio Doble $\phi$ ($X^2_\phi$): Para estudiar los núcleos de Schwartz de los operadores (como el resolvente o el núcleo de calor), se construye un espacio de "explosión" (blow-up) de $X \times X$. Este espacio resuelve las singularidades de la distancia y permite describir el comportamiento asintótico de los núcleos de manera polihomogénea.
   • Se realiza una explosión de la diagonal del borde y de la diagonal de las fibras.
3. Familia Normal: Se analiza el comportamiento de los operadores en las fibras mediante una "familia normal" de operadores en la fibra $F$, parametrizada por la base $B$ y variables duales. La invertibilidad de esta familia es crucial para establecer propiedades de Fredholm.
4. Resolvente y Núcleo de Calor: El análisis se centra en la construcción precisa del resolvente $(\Delta + \kappa^2)^{-1}$ (especialmente en baja energía, $\kappa \to 0$) y del núcleo de calor $e^{-t\Delta}$ (en tiempos grandes y cortos). Se utilizan espacios de explosión adicionales para el parámetro de energía o tiempo para capturar las singularidades.

3. Contribuciones Clave y Resultados Principales

El artículo ofrece una encuesta exhaustiva y resultados nuevos en varias áreas:

A. Torsión Analítica (Sección 5)

Los autores demuestran que es posible definir una torsión analítica renormalizada para variedades $\phi$ con métricas $c-\phi$ bajo ciertas condiciones espectrales (Teorema 9).

• Resultado: La torsión analítica renormalizada está bien definida y es invariante bajo perturbaciones de la métrica si la dimensión es impar.
• Propiedad de "Corte y Pegado": Se establece una fórmula de descomposición para la torsión en procesos de degeneración singular (Teorema 10). La torsión del espacio singular se relaciona con la torsión de las piezas que lo componen más un término de corrección que involucra la torsión analítica del espacio de cúspide.

B. Teoría de Índices y Núcleo de Calor (Sección 6)

Se desarrolla una versión del Teorema del Índice de Atiyah-Singer para operadores de Dirac en estos espacios.

• Método de McKean-Singer: Se utiliza el límite del supertrazado del núcleo de calor ($\lim_{t \to \infty} \text{Str}(e^{-t\hat{P}^2})$) para calcular el índice.
• Contribuciones por caras: Se identifican las contribuciones de diferentes caras del espacio de explosión del calor al índice:
  • Tiempo corto ($t \to 0$): Contribuye el término topológico clásico (integrandos de $\hat{A}$ y Chern).
  • Tiempo largo ($t \to \infty$) y energía baja: Contribuyen términos de borde, específicamente invariantes $\eta$ asociados a la familia de operadores de Dirac en las fibras y en la base.
• Resultados específicos:
  • Para $c=1$ (cúspides hiperbólicas), se recupera el resultado de Vaillant (Teorema 11), que incluye un término de invariante $\eta$ de la familia vertical y otro de la familia horizontal.
  • Para $c=0$ (scattering), se discute el trabajo de Leichtnam-Mazzeo-Piazza (Teorema 12), asumiendo condiciones de Witt geométricas.
  • Para $c=2$ (incompleto), se discuten las condiciones de autoadjunción (condición de Witt) y se espera que el índice sea bien definido bajo condiciones de autoadjunción única.

C. Proyectores de Calderón y Operadores Dirichlet-Neumann (Sección 7)

El artículo extiende la teoría de problemas de valor en la frontera a espacios donde el borde puede tener singularidades (variedades $\phi$-bc).

• Proyector de Calderón: Se demuestra la existencia de un proyector de Calderón $\phi$-pseudodiferencial para operadores elípticos en estos espacios (Teorema 13). Esto permite reducir problemas de valor en la frontera a problemas en el borde.
• Operador Dirichlet-Neumann: Se prueba que el operador Dirichlet-Neumann para el Laplaciano en estos espacios está bien definido y pertenece a la clase $x^{-c}\Psi^1_\phi$.
• Espectro: Se menciona un resultado notable (en trabajos futuros citados) de que el espectro del operador Dirichlet-Neumann en cúspides incompletas ($c=2$) no es discreto, a diferencia del caso de dominios con borde suave, y se caracteriza el espectro esencial.

4. Significado e Impacto

Este trabajo es fundamental por varias razones:

1. Unificación de Contextos: Proporciona un marco unificado que abarca desde geometría asintóticamente euclídea/hiperbólica hasta singularidades algebraicas y físicas (como instantones gravitacionales o métricas en variedades de Calabi-Yau no compactas).
2. Avance en Análisis Singular: Refina las técnicas de análisis microlocal (cálculo de Melrose) para manejar la interacción entre la geometría de la base y la fibra en el borde, lo cual es esencial para entender la espectroscopía de operadores en espacios no compactos.
3. Aplicaciones Topológicas y Físicas:
   • La torsión analítica renormalizada es crucial en teoría de cuerdas y gravedad cuántica (invariantes topológicos).
   • Los teoremas de índice generalizados permiten estudiar obstrucciones a métricas de curvatura escalar positiva en variedades singulares.
   • El estudio del operador Dirichlet-Neumann tiene implicaciones en la física de la materia condensada y la teoría de ondas en dominios con bordes irregulares.
4. Herramientas para Futuras Investigaciones: El artículo no solo resume resultados existentes, sino que identifica problemas abiertos, como la extensión a espacios de cúspides iteradas, operadores de Dirac-Schrödinger y el estudio detallado del flujo geodésico en estas singularidades.

En resumen, el artículo consolida y expande la teoría analítica de variedades con bordes fibrados, proporcionando las herramientas necesarias para realizar cálculos espectrales precisos en geometrías que son fundamentales tanto en matemáticas puras como en física teórica moderna.