Resumen Técnico: Recuperación de la Geometría Riemanniana a partir de la Difusión

Planteamiento del Problema

El análisis geométrico tradicional suele comenzar con una estructura riemanniana preexistente (una variedad $M$, una métrica $g$ y una medida $\mu$) y estudia los procesos de difusión asociados, tales como el flujo de calor generado por el operador de Laplace–Beltrami. Este artículo invierte esa dirección ontológica. El problema central abordado es si la estructura geométrica completa de un espacio subyacente puede ser reconstruida intrínsecamente únicamente a partir de los datos de un semigrupo de difusión simétrico y fuertemente local $(P_t)_{t \geq 0}$, sin asumir ninguna métrica, sistema de coordenadas o representación del núcleo de calor previa.

El artículo postula que la estructura geométrica no es un dato de entrada a priori, sino una propiedad emergente codificada en el comportamiento infinitesimal de la difusión. Específicamente, se pregunta si los cálculos de difusión de primer y segundo orden son suficientes para recuperar el tensor métrico, la conexión de Levi–Civita, el tensor de curvatura y la medida de referencia.

Metodología

La reconstrucción procede a través del cálculo de Bakry–Émery $\Gamma$, utilizando los operadores intrínsecos asociados al semigrupo de difusión. La metodología se basa en la siguiente cadena lógica:
$$\text{Semigrupo de Difusión } (P_t) \longrightarrow \text{Cálculo de Bakry–Émery } (\Gamma, \Gamma_2) \longrightarrow \text{Geometría Riemanniana } (g, \nabla, \mu)$$

1. Supuestos Fundacionales

El artículo asume una variedad suave y conexa $M$ equipada con una medida de Borel $\sigma$-finita $\mu$ de soporte completo. La difusión se modela mediante un semigrupo de Markov $C_0$ conservativo y simétrico $(P_t)$ en $L^2(M, \mu)$ con un generador autoadjunto $L$.
Los axiomas clave incluyen:

• Localidad Fuerte: La forma de Dirichlet asociada $\mathcal{E}$ es fuertemente local.
• Suavidad: La difusión admite un cálculo de primer orden suave. Específicamente, el operador carré du champ $\Gamma$ está bien definido en un núcleo suave $C^\infty(M)$, es simétrico, bilineal, satisface la regla de Leibniz y depende solo de las jetas de primer orden.

2. Pasos de la Reconstrucción

El artículo construye los objetos geométricos en el siguiente orden:

• Recuperación de la Métrica ($g$):
  El carré du champ $\Gamma(f, g)$ se define intrínsecamente como el límite de la descorrelación del semigrupo:
  $$\Gamma(f, g) := \lim_{t \downarrow 0} \frac{1}{2t} \left( P_t(fg) - (P_t f)(P_t g) \right).$$
  El artículo demuestra que $\Gamma(f, g)(x)$ depende únicamente de los diferenciales $df(x)$y$dg(x)$. Esto permite la definición de una forma bilineal simétrica en el haz cotangente $T^*_x M$. Bajo una condición de no degeneración (positividad definida), esta forma define una cométrica $g^{-1}$. Su inversa produce una métrica riemanniana suave única $g$ tal que $\Gamma(f, g) = \langle df, dg \rangle_{g^{-1}}$.

• Recuperación de la Conexión ($\nabla$) y la Medida ($\mu$):
  Una vez establecida $g$, el artículo muestra que la simetría del semigrupo de difusión selecciona rígidamente la conexión de Levi–Civita. Se demuestra que el generador $L$ toma la forma de un Laplaciano pesado:
  $$L = \Delta_g + \langle \nabla \log \rho, \nabla \cdot \rangle_g,$$
  donde $\mu = \rho \, \text{vol}_g$. El término de deriva $\nabla \log \rho$ queda determinado unívocamente al comparar $L$ con el operador de Laplace–Beltrami estándar $\Delta_g$, recuperando así la medida de referencia $\mu$ salvo un constante multiplicativa global.

• Recuperación de la Curvatura:
  El carré du champ iterado $\Gamma_2$ se define mediante el generador como $\Gamma_2(f) = \frac{1}{2}L\Gamma(f) - \Gamma(f, Lf)$. El artículo utiliza la identidad de Bochner para mostrar que $\Gamma_2$ codifica el tensor de Ricci de Bakry–Émery:
  $$\Gamma_2(f) = \|\nabla^2 f\|_{HS, g}^2 + (\text{Ric}_g + \nabla^2 \log \rho)(\nabla f, \nabla f).$$
  Al elegir funciones con Hessiano nulo en un punto, el tensor de Ricci (y posteriormente el tensor de curvatura de Riemann completo vía la conexión) se recupera puntualmente a partir de $\Gamma_2$.

Contribuciones Clave y Resultados

1. Recuperación Intrínseca de la Métrica: El artículo prueba que un semigrupo de difusión simétrico y fuertemente local que satisfaga los axiomas de suavidad determina una métrica riemanniana suave única $g$. Esta métrica se deriva puramente del cálculo de primer orden $\Gamma$, sin recurrir a geodésicas o asíntotas del núcleo de calor.
2. Unicidad de la Conexión y la Medida: La simetría del semigrupo de difusión fija unívocamente la conexión de Levi–Civita y la medida de referencia $\mu$. Cualquier otra conexión afín o medida violaría las identidades fundamentales satisfechas por $\Gamma$ y la forma de Dirichlet.
3. Curvatura a partir de Datos de Segundo Orden: Se demuestra que el carré du champ iterado $\Gamma_2$ codifica la curvatura de Ricci ponderada. Esto establece que la curvatura es una propiedad intrínseca del comportamiento de difusión de segundo orden.
4. Determinación de la Isometría Global: El artículo establece que el semigrupo de difusión determina la variedad riemanniana ponderada global $(M, g, \mu)$ de forma única hasta isometría riemanniana. Si dos sistemas de difusión son "equivalentes por difusión" (conjugados mediante una biyección medible), sus geometrías reconstruidas son globalmente isométricas.
5. Perspectiva Teórico-Informacional: El trabajo proporciona un marco riguroso donde la estructura geométrica emerge del flujo de información. El cálculo de difusión sirve como un invariante completo de la clase de isometría riemanniana.

Significado y Pretensiones

El artículo pretende ofrecer un cambio fundacional en la geometría diferencial al demostrar que la geometría puede verse como la estructura que gobierna el flujo de información bajo la difusión.

• Sin Geometría A Priori: La reconstrucción no requiere métrica, coordenadas o datos espectrales iniciales. La métrica es una propiedad emergente del cálculo de difusión de primer orden.
• Rigidez: Los resultados muestran un alto grado de rigidez; los datos de difusión determinan unívocamente el paquete geométrico $(g, \nabla, \text{Ric}, \mu)$.
• Alcance: El artículo establece explícitamente que estos resultados se aplican a variedades suaves con cálculos de difusión suaves. No pretende resolver el problema de reconstrucción para espacios no suaves, estructuras discretas o análogos no conmutativos, aunque sugiere estas como posibles direcciones para investigaciones futuras.
• Relación con Trabajos Previos: El artículo se construye sobre un trabajo anterior (citado como [1]) donde la estructura de la variedad suave misma fue recuperada a partir de la entropía. Este artículo asume que la estructura suave está disponible y se enfoca en recuperar la estructura riemanniana (métrica, conexión, curvatura) a partir del semigrupo de difusión.

En resumen, el artículo establece que el "comportamiento intrínseco de la difusión" contiene todos los datos necesarios para reconstruir la geometría riemanniana ponderada completa del espacio subyacente, revirtiendo efectivamente el paradigma estándar de derivar la difusión a partir de la geometría.