Krein's Formula for Conic Laplacians on Compact Riemann Surfaces

Resumen Técnico: Fórmula de Krein para Laplacianos Cónicos en Superficies de Riemann Compactas

Planteamiento del Problema
Este artículo aborda la teoría espectral de los laplacianos cónicos en superficies de Riemann compactas con un conjunto finito de singularidades cónicas $S$. Específicamente, investiga las extensiones autoadjuntas del laplaciano cónico mínimo $\Delta_{min}$ definido en $L^2(X \setminus S)$. En presencia de singularidades cónicas, el dominio del laplaciano máximo $\Delta_{max}$ contiene estrictamente al dominio mínimo $\Delta_{min}$. El espacio cociente $D_{max}(\Delta)/D_{min}(\Delta)$ es de dimensión finita y posee una estructura simpléctica natural. El problema central es caracterizar estas extensiones autoadjuntas, derivar una fórmula de diferencia de resolventes (fórmula de Krein) entre cualquiera de estas extensiones, y utilizar esto para establecer una fórmula de comparación para sus determinantes zeta, contabilizando las contribuciones de los autovalores negativos y los modos cero.

Metodología
El autor emplea un enfoque directo basado en expansiones de Fourier locales en los puntos cónicos, evitando la dependencia de la teoría general de pseudodiferenciales de conos o la teoría abstracta de triples de frontera.

1. Espacio Simpléctico de Frontera: El artículo construye un espacio simpléctico de dimensión finita $V_S = \bigoplus_{p \in S} V_p$, donde $V_p$ es el "espacio asintótico crítico" en un punto cónico $p$ con índice $n_p$. Este espacio está generado por términos asintóticos críticos de la forma $1, \log|z|, z^k, \bar{z}^k$ para $1 \le |k| \le n_p - 1$. El cociente $D_{max}(\Delta)/D_{min}(\Delta)$ se identifica con $V_S$.
2. Forma de Green y Condiciones Lagrangianas: Se define una forma sesquilineal de tipo skew-Hermítica (la forma de Green) $q$ en $D_{max}(\Delta)$. Se demuestra que $q$ desciende a una forma simpléctica no degenerada $\omega$ en $V_S$. Las extensiones autoadjuntas de $\Delta_{min}$ están parametrizadas por subespacios lagrangianos $V \subset V_S$ (subespacios isotrópicos máximos).
3. Funciones de Weyl: Para un subespacio lagrangiano dado $V$ y un subespacio lagrangiano complementario $V^\#$, el autor define la función de Weyl $M_{V,V^\#}(\lambda): V^\# \to V$. Este operador actúa como un análogo de dimensión finita del mapa de Dirichlet-a-Neumann, codificando los datos de frontera de las soluciones formales de $(\Delta - \lambda)u = 0$.
4. Diferencia de Resolventes: Al analizar la diferencia entre los resolventes $R_V(\lambda)$ y $R_W(\lambda)$ de dos extensiones, el autor deriva una fórmula de tipo Krein que expresa esta diferencia en términos de la función de Weyl y las proyecciones simplécticas asociadas a los pares lagrangianos.
5. Identidad de Traza y Determinantes Zeta: La traza de la diferencia de resolventes se computa, produciendo una identidad de traza que involucra la derivada logarítmica de una función determinante de frontera $d_{V,W}(\lambda)$. Esta identidad se integra para comparar los determinantes zeta del espectro positivo de diferentes extensiones.

Contribuciones Clave y Resultados

• Parametrización de Extensiones: El artículo establece rigurosamente una correspondencia biunívoca entre las extensiones autoadjuntas del laplaciano cónico y el grassmanniano lagrangiano del espacio simpléctico de frontera $V_S$.

• Fórmula de Krein (Teorema 4.2): Se deriva una fórmula precisa para la diferencia de resolventes $R_V(\lambda) - R_W(\lambda)$. La fórmula demuestra que la diferencia es un operador de rango finito determinado enteramente por los datos de frontera y la función de Weyl $M_{W,W^\#}(\lambda)$.

• Identidad de Traza (Teorema 4.4): Se muestra que la traza de la diferencia de resolventes es igual a la derivada logarítmica de una función determinante construida a partir de la función 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)$$

• Comparación de Determinantes Zeta (Teorema 5.2 y Corolario 5.3): El artículo deriva una fórmula de comparación para los determinantes zeta de dos extensiones autoadjuntas $\Delta_V$ y $\Delta_W$. A diferencia de las fórmulas de pegado estándar, este resultado contabiliza explícitamente la convención de "espectro positivo" (omitiendo los autovalores no positivos de la definición de la función zeta) e incluye términos de corrección para:

  • El espectro negativo (mediante el término $E_{V,W}(\mu)$).
  • Los modos cero (mediante el orden del polo del determinante de frontera en cero).

  La fórmula de comparación final en $\mu=0$ es:
  $$\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)}}$$
  donde $r = \dim \ker \Delta_V - \dim \ker \Delta_W$, y $d^{\text{red}}$ es el determinante de frontera reducido.

Significado y Reivindicaciones
El artículo se posiciona como complementario al trabajo de Hillairet y Kokotov, quienes utilizaron la matriz S para superficies euclidianas con singularidades cónicas. El autor sostiene que el enfoque presentado ofrece una perspectiva distinta al formular los problemas de resolvente y comparación de determinantes dentro de un marco simpléctico de frontera de dimensión finita.

Las principales reivindicaciones sobre la significancia de este trabajo incluyen:

• Normalización Directa: Mediante el uso directo de los modos de Fourier locales, el artículo fija la normalización de la forma de Green requerida para la identidad de traza subsiguiente, un detalle que a menudo queda oscurecido en formalismos de triples de frontera más abstractos.
• Reducción de Dimensión Finita: La reducción del problema espectral de dimensión infinita a un espacio simpléctico de dimensión finita permite el cálculo explícito de diferencias de resolventes y razones de determinantes sin necesidad de toda la maquinaria de la matriz S.
• Tratamiento de Modos Cero y Espectro Negativo: La fórmula de comparación derivada es notable por su inclusión explícita de las contribuciones de los autovalores negativos y los modos cero, que a menudo se omiten o se tratan por separado en las comparaciones estándar de determinantes zeta. Esto hace que la fórmula sea aplicable a extensiones autoadjuntas generales que no son necesariamente no negativas.

El artículo concluye que este marco proporciona una herramienta robusta para comparar invariantes espectrales de laplacianos cónicos bajo variaciones en las condiciones de frontera lagrangianas.