Krein's Formula for Conic Laplacians on Compact Riemann Surfaces

Resumo Técnico: Fórmula de Krein para Laplacianos Cônicos em Superfícies de Riemann Compactas

Enunciado do Problema
Este artigo aborda a teoria espectral de Laplacianos cônicos em superfícies de Riemann compactas com um conjunto finito de singularidades cônicas $S$. Especificamente, investiga as extensões autoadjuntas da Laplaciana mínima $\Delta_{min}$ definida em $L^2(X \setminus S)$. Na presença de singularidades cônicas, o domínio da Laplaciana máxima $\Delta_{max}$ contém estritamente o domínio mínimo $\Delta_{min}$. O espaço quociente $D_{max}(\Delta)/D_{min}(\Delta)$ é de dimensão finita e carrega uma estrutura simplética natural. O problema central é caracterizar essas extensões autoadjuntas, derivar uma fórmula de diferença de resolvente (fórmula de Krein) entre quaisquer duas dessas extensões e utilizar isso para estabelecer uma fórmula de comparação para seus determinantes zeta, contabilizando as contribuições de autovalores negativos e modos nulos.

Metodologia
O autor emprega uma abordagem direta baseada em expansões de Fourier locais nos pontos cônicos, evitando a dependência de cálculo de pseudodiferenciais de cones gerais ou da teoria abstrata de trios de contorno.

1. Espaço Simplético de Contorno: O artigo constrói um espaço simplético de dimensão finita $V_S = \bigoplus_{p \in S} V_p$, onde $V_p$ é o "espaço assintótico crítico" em um ponto cônico $p$ com índice $n_p$. Este espaço é gerado por termos assintóticos críticos da forma $1, \log|z|, z^k, \bar{z}^k$ para $1 \le |k| \le n_p - 1$. O quociente $D_{max}(\Delta)/D_{min}(\Delta)$ é identificado com $V_S$.
2. Forma de Green e Condições Lagrangianas: Uma forma sesquilinear antissimétrica (a forma de Green) $q$ é definida em $D_{max}(\Delta)$. Mostra-se que $q$ desce para uma forma simplética não degenerada $\omega$ em $V_S$. As extensões autoadjuntas de $\Delta_{min}$ são parametrizadas por subespaços lagrangianos $V \subset V_S$ (subespaços isotrópicos máximos).
3. Funções de Weyl: Para um dado subespaço lagrangiano $V$ e um subespaço lagrangiano complementar $V^\#$, o autor define uma função de Weyl $M_{V,V^\#}(\lambda): V^\# \to V$. Este operador atua como um análogo de dimensão finita do mapa de Dirichlet-para-Neumann, codificando os dados de contorno de soluções formais para $(\Delta - \lambda)u = 0$.
4. Diferença de Resolvente: Ao analisar a diferença entre resolventes $R_V(\lambda)$ e $R_W(\lambda)$ de duas extensões, o autor deriva uma fórmula do tipo Krein expressando essa diferença em termos da função de Weyl e das projeções simpléticas associadas aos pares lagrangianos.
5. Identidade de Traço e Determinantes Zeta: O traço da diferença de resolventes é computado, resultando em uma identidade de traço envolvendo a derivada logarítmica de uma função determinante de contorno $d_{V,W}(\lambda)$. Esta identidade é então integrada para comparar os determinantes zeta de espectro positivo de diferentes extensões.

Contribuições Principais e Resultados

• Parametrização de Extensões: O artigo estabelece rigorosamente uma correspondência um-para-um entre as extensões autoadjuntas da Laplaciana cônica e o Grassmanniano lagrangiano do espaço simplético de contorno $V_S$.

• Fórmula de Krein (Teorema 4.2): Uma fórmula precisa é derivada para a diferença de resolventes $R_V(\lambda) - R_W(\lambda)$. A fórmula demonstra que a diferença é um operador de posto finito inteiramente determinado pelos dados de contorno e pela função de Weyl $M_{W,W^\#}(\lambda)$.

• Identidade de Traço (Teorema 4.4): O traço da diferença de resolventes é mostrado como igual à derivada logarítmica de uma função determinante construída a partir da função de Weyl:
  $$\text{Tr}(R_V(\lambda) - R_W(\lambda)) = \frac{d}{d\lambda} \log \det \left( C_V^\dagger M_{W,W^\#}(\lambda) + A_V^\dagger \right)$$

• Comparação de Determinante Zeta (Teorema 5.2 & Corolário 5.3): O artigo deriva uma fórmula de comparação para os determinantes zeta de duas extensões autoadjuntas $\Delta_V$ e $\Delta_W$. Diferente das fórmulas de colagem padrão, este resultado contabiliza explicitamente a convenção de "espectro positivo" (omitindo autovalores não positivos da definição da função zeta) e inclui termos de correção para:

  • O espectro negativo (via o termo $E_{V,W}(\mu)$).
  • Modos nulos (via a ordem do polo do determinante de contorno em zero).

  A fórmula de comparação final em $\mu=0$ é:
  $$\frac{\text{Det}_\zeta(\Delta_V)}{\text{Det}_\zeta(\Delta_W)} = C_{V,W} (-1)^r \frac{d^{\text{red}}_{V,W}(0)}{\prod_{\lambda_\ell^V < 0} (\lambda_\ell^V)^{m(\lambda_\ell^V)} / \prod_{\lambda_\ell^W < 0} (\lambda_\ell^W)^{m(\lambda_\ell^W)}}$$
  onde $r = \dim \ker \Delta_V - \dim \ker \Delta_W$, e $d^{\text{red}}$ é o determinante de contorno reduzido.

Significância e Alegações
O artigo posiciona-se como complementar ao trabalho de Hillairet e Kokotov, que utilizaram a matriz S para superfícies euclidianas com singularidades cônicas. O autor alega que a abordagem apresentada oferece uma perspectiva distinta ao formular os problemas de resolvente e comparação de determinante dentro de um arcabouço simplético de contorno de dimensão finita.

As principais alegações sobre a significância deste trabalho incluem:

• Normalização Direta: Ao usar diretamente os modos de Fourier locais, o artigo fixa a normalização da forma de Green necessária para a subsequente identidade de traço, um detalhe frequentemente obscurecido em formalismos de trios de contorno mais abstratos.
• Redução de Dimensão Finita: A redução do problema espectral de dimensão infinita para um espaço simplético de dimensão finita permite o cálculo explícito de diferenças de resolventes e razões de determinantes sem a necessidade de toda a maquinaria da matriz S.
• Tratamento de Modos Nulos e Espectro Negativo: A fórmula de comparação derivada é notável por sua inclusão explícita de contribuições de autovalores negativos e modos nulos, que são frequentemente omitidos ou tratados separadamente em comparações padrão de determinante zeta. Isso torna a fórmula aplicável a extensões autoadjuntas gerais que não são necessariamente não-negativas.

O artigo conclui que este arcabouço fornece uma ferramenta robusta para comparar invariantes espectrais de Laplacianos cônicos sob variadas condições de contorno lagrangianas.