Resumo Técnico: Recuperando a Geometria Riemanniana a partir da Difusão

Enunciado do Problema

A análise geométrica tradicional tipicamente começa com uma estrutura Riemanniana pré-existente (uma variedade $M$, uma métrica $g$ e uma medida $\mu$) e estuda os processos de difusão associados, como o fluxo de calor gerado pelo operador de Laplace–Beltrami. Este artigo inverte essa direção ontológica. O problema central abordado é se a geometria Riemanniana completa de um espaço subjacente pode ser reconstruída intrinsecamente apenas a partir dos dados de um semigrupo de difusão simétrico e fortemente local $(P_t)_{t \geq 0}$, sem assumir qualquer métrica prévia, sistema de coordenadas ou representação do núcleo de calor.

O artigo postula que a estrutura geométrica não é um dado a priori, mas uma propriedade emergente codificada no comportamento infinitesimal da difusão. Especificamente, questiona-se se os cálculos de difusão de primeira e segunda ordem são suficientes para recuperar o tensor métrico, a conexão de Levi–Civita, o tensor de curvatura e a medida de referência.

Metodologia

A reconstrução procede através do cálculo de Bakry–Émery $\Gamma$, utilizando os operadores intrínsecos associados ao semigrupo de difusão. A metodologia baseia-se na seguinte cadeia lógica:
$$\text{Semigrupo de Difusão } (P_t) \longrightarrow \text{Cálculo de Bakry–Émery } (\Gamma, \Gamma_2) \longrightarrow \text{Geometria Riemanniana } (g, \nabla, \mu)$$

1. Pressupostos Fundamentais

O artigo assume uma variedade suave e conexa $M$ equipada com uma medida de Borel $\sigma$-finita $\mu$ de suporte total. A difusão é modelada por um semigrupo de Markov $C_0$ conservativo e simétrico $(P_t)$ em $L^2(M, \mu)$ com um gerador autoadjunto $L$.
Os axiomas principais incluem:

• Localidade Forte: A forma de Dirichlet $\mathcal{E}$ associada é fortemente local.
• Suavidade: A difusão admite um cálculo de primeira ordem suave. Especificamente, o operador carré du champ $\Gamma$ é bem definido em um núcleo suave $C^\infty(M)$, é simétrico, bilinear, satisfaz a regra de Leibniz e depende apenas de jatos de primeira ordem.

2. As Etapas de Reconstrução

O artigo constrói os objetos geométricos na seguinte ordem:

• Recuperando a Métrica ($g$):
  O carré du champ $\Gamma(f, g)$ é definido intrinsecamente como o limite da descorrelação do semigrupo:
  $$\Gamma(f, g) := \lim_{t \downarrow 0} \frac{1}{2t} \left( P_t(fg) - (P_t f)(P_t g) \right).$$
  O artigo demonstra que $\Gamma(f, g)(x)$ depende apenas dos diferenciais $df(x)$e$dg(x)$. Isso permite a definição de uma forma bilinear simétrica no fibrado cotangente $T^*_x M$. Sob uma condição de não-degenerescência (positividade definida), esta forma define uma contra-métrica $g^{-1}$. Sua inversa produz uma métrica Riemanniana suave única tal que $\Gamma(f, g) = \langle df, dg \rangle_{g^{-1}}$.

• Recuperando a Conexão ($\nabla$) e a Medida ($\mu$):
  Uma vez estabelecida $g$, o artigo mostra que a simetria do semigrupo de difusão seleciona rigidamente a conexão de Levi–Civita. O gerador $L$ é mostrado para assumir a forma de um Laplaciano ponderado:
  $$L = \Delta_g + \langle \nabla \log \rho, \nabla \cdot \rangle_g,$$
  onde $\mu = \rho \, \text{vol}_g$. O termo de deriva $\nabla \log \rho$ é unicamente determinado pela comparação de $L$ com o operador Laplace–Beltrami padrão $\Delta_g$, recuperando assim a medida de referência $\mu$ até uma constante multiplicativa global.

• Recuperando a Curvatura:
  O carré du champ iterado $\Gamma_2$ é definido via o gerador como $\Gamma_2(f) = \frac{1}{2}L\Gamma(f) - \Gamma(f, Lf)$. O artigo utiliza a identidade de Bochner para mostrar que $\Gamma_2$ codifica o 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).$$
  Ao escolher funções com Hessiano nulo em um ponto, o tensor de Ricci (e subsequentemente o tensor de curvatura de Riemann completo via a conexão) é recuperado pontualmente a partir de $\Gamma_2$.

Principais Contribuições e Resultados

1. Recuperação Intrínseca da Métrica: O artigo prova que um semigrupo de difusão simétrico, fortemente local e que satisfaz axiomas de suavidade determina uma métrica Riemanniana suave única $g$. Esta métrica é derivada puramente do cálculo de primeira ordem $\Gamma$, sem recurso a geodésicas ou assíntotas do núcleo de calor.
2. Unicidade da Conexão e da Medida: A simetria do semigrupo de difusão fixa unicamente a conexão de Levi–Civita e a medida de referência $\mu$. Qualquer outra conexão afim ou medida violaria as identidades fundamentais satisfeitas por $\Gamma$ e pela forma de Dirichlet.
3. Curvatura a partir de Dados de Segunda Ordem: Mostra-se que o carré du champ iterado $\Gamma_2$ codifica a curvatura de Ricci ponderada. Isso estabelece que a curvatura é uma propriedade intrínseca do comportamento de difusão de segunda ordem.
4. Determinação da Isometria Global: O artigo estabelece que o semigrupo de difusão determina unicamente a variedade Riemanniana ponderada global $(M, g, \mu)$ até isometria Riemanniana. Se dois sistemas de difusão forem "equivalentes por difusão" (conjugados via uma bijeção mensurável), suas geometrias reconstruídas são globalmente isométricas.
5. Perspectiva Teórico-Informacional: O trabalho fornece um arcabouço rigoroso onde a estrutura geométrica emerge do fluxo de informação. O cálculo de difusão serve como um invariante completo da classe de isometria Riemanniana.

Significância e Alegações

O artigo alega fornecer uma mudança fundamental na geometria diferencial ao demonstrar que a geometria pode ser vista como a estrutura que governa o fluxo de informação sob difusão.

• Sem Geometria A Priori: A reconstrução não requer métrica, coordenadas ou dados espectrais iniciais. A métrica é uma propriedade emergente do cálculo de difusão de primeira ordem.
• Rigidez: Os resultados mostram um alto grau de rigidez; os dados de difusão determinam unicamente o pacote geométrico $(g, \nabla, \text{Ric}, \mu)$.
• Escopo: O artigo afirma explicitamente que estes resultados se aplicam a variedades suaves com cálculos de difusão suaves. Não pretende resolver o problema da reconstrução para espaços não suaves, estruturas discretas ou análogos não-comutativos, embora sugira estes como potenciais direções para investigações futuras.
• Relação com Trabalhos Anteriores: O artigo baseia-se em trabalhos anteriores (citados como [1]) onde a própria estrutura da variedade suave foi recuperada a partir da entropia. Este artigo assume que a estrutura suave está disponível e foca em recuperar a estrutura Riemanniana (métrica, conexão, curvatura) a partir do semigrupo de difusão.

Em resumo, o artigo estabelece que o "comportamento intrínseco da difusão" contém todos os dados necessários para reconstruir a geometria Riemanniana ponderada completa do espaço subjacente, efetivamente revertendo o paradigma padrão de derivar a difusão a partir da geometria.