Krein's Formula for Conic Laplacians on Compact Riemann Surfaces

Technische Samenvatting: Kreïns Formule voor Conische Laplaciërs op Compacte Riemannische Vlakken

Probleemstelling
Dit artikel behandelt de spectrale theorie van conische Laplaciërs op compacte Riemannische vlakken met een eindige verzameling conische singulariteiten $S$. Specifiek wordt onderzoek gedaan naar de zelfadjuncte extensies van de minimale conische Laplaciaan $\Delta_{min}$ gedefinieerd op $L^2(X \setminus S)$. In aanwezigheid van conische singulariteiten bevat het domein van de maximale Laplaciaan $\Delta_{max}$ strikt groter dan het minimale domein $\Delta_{min}$. De quotientruimte $D_{max}(\Delta)/D_{min}(\Delta)$ is einddimensioneel en draagt een natuurlijke symplectische structuur. Het centrale probleem is het karakteriseren van deze zelfadjuncte extensies, het afleiden van een resolventverschilformule (Kreïns formule) tussen twee dergelijke extensies, en het gebruik hiervan om een vergelijkingsformule voor hun zeta-determinanten vast te stellen, waarbij rekening wordt gehouden met bijdragen van negatieve eigenwaarden en nulmodi.

Methodologie
De auteur hanteert een directe benadering gebaseerd op lokale Fourier-expansies bij de conische punten, waarbij de afhankelijkheid van algemene conische pseudodifferentiaalrekenkunde of de abstracte theorie van grenstriplets wordt vermeden.

1. Grenssymplectische Ruimte: Het artikel construeert een einddimensionele symplectische ruimte $V_S = \bigoplus_{p \in S} V_p$, waarbij $V_p$ de "kritische asymptotische ruimte" is bij een conisch punt $p$ met index $n_p$. Deze ruimte wordt gespannen door kritische asymptotische termen van de vorm $1, \log|z|, z^k, \bar{z}^k$ voor $1 \le |k| \le n_p - 1$. De quotient $D_{max}(\Delta)/D_{min}(\Delta)$ wordt geïdentificeerd met $V_S$.
2. Groen-vorm en Lagrangiaanse Condities: Een skew-Hermitische sesquilineaire vorm (de Groen-vorm) $q$ wordt gedefinieerd op $D_{max}(\Delta)$. Er wordt aangetoond dat $q$ induceert op een niet-degeneratieve symplectische vorm $\omega$ op $V_S$. Zelfadjuncte extensies van $\Delta_{min}$ worden geparametriseerd door Lagrangiaanse subruimten $V \subset V_S$ (maximale isotrope subruimten).
3. Weyl-functies: Voor een gegeven Lagrangiaanse subruimte $V$ en een complementaire Lagrangiaanse subruimte $V^\#$, definieert de auteur een Weyl-functie $M_{V,V^\#}(\lambda): V^\# \to V$. Deze operator fungeert als een einddimensioneaal analoog van de Dirichlet-tot-Neumann-kaart, die de randgegevens van formele oplossingen van $(\Delta - \lambda)u = 0$ codeert.
4. Resolventverschil: Door de verschilanalyse tussen resolventen $R_V(\lambda)$ en $R_W(\lambda)$ van twee extensies te bestuderen, leidt de auteur een Kreïn-type formule af die het verschil tussen deze resolventen uitdrukt in termen van de Weyl-functie en de symplectische projecties geassocieerd met de Lagrangiaanse paren.
5. Trace-identiteit en Zeta-determinanten: De trace van het resolventverschil wordt berekend, wat een trace-identiteit oplevert die een logaritmische afgeleide is van een rand-determinantfunctie $d_{V,W}(\lambda)$. Deze identiteit wordt geïntegreerd om de zeta-determinanten van het positieve spectrum van verschillende extensies te vergelijken.

Belangrijkste Bijdragen en Resultaten

• Parametrisering van Extensies: Het artikel vestigt rigoureus een één-op-één correspondentie tussen zelfadjuncte extensies van de conische Laplaciaan en de Lagrangiaanse Grassmanniaan van de rand-symplectische ruimte $V_S$.

• Kreïns Formule (Stelling 4.2): Een precieze formule wordt afgeleid voor het resolventverschil $R_V(\lambda) - R_W(\lambda)$. De formule laat zien dat het verschil een eind-rang operator is die volledig wordt bepaald door de randgegevens en de Weyl-functie $M_{W,W^\#}(\lambda)$.

• Trace-identiteit (Stelling 4.4): Er wordt aangetoond dat de trace van het resolventverschil gelijk is aan de logaritmische afgeleide van een determinantfunctie geconstrueerd uit de Weyl-functie:
  $$\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)$$

• Zeta-determinant Vergelijking (Stelling 5.2 & Gevolg 5.3): Het artikel leidt een vergelijkingsformule af voor de zeta-determinanten van twee zelfadjuncte extensies $\Delta_V$ en $\Delta_W$. In tegenstelling tot standaard lijmformules, houdt dit resultaat expliciet rekening met de "positief-spectrum" conventie (het weglaten van niet-positieve eigenwaarden uit de definitie van de zeta-functie) en bevat het correctietermen voor:

  • Het negatieve spectrum (via de term $E_{V,W}(\mu)$).
  • Nulmodi (via de orde van de pool van de rand-determinant bij nul).

  De uiteindelijke vergelijkingsformule bij $\mu=0$ is:
  $$\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)}}$$
  waarbij $r = \dim \ker \Delta_V - \dim \ker \Delta_W$, en $d^{\text{red}}$ de gereduceerde rand-determinant is.

Betekenis en Claims
Het artikel positioneert zichzelf als complementair aan het werk van Hillairet en Kokotov, die de S-matrix gebruikten voor Euclidische oppervlakken met conische singulariteiten. De auteur beweert dat de gepresenteerde aanpak een onderscheidend perspectief biedt door de resolvent- en determinantvergelijkingsproblemen te formuleren binnen een einddimensioneel rand-symplectisch kader.

Belangrijke claims met betrekking tot de betekenis van dit werk zijn onder meer:

• Directe Normalisatie: Door de lokale Fourier-modi direct te gebruiken, legt het artikel de normalisatie van de Groen-vorm vast die vereist is voor de daaropvolgende trace-identiteit, een detail dat vaak verborgen blijft in meer abstracte boundary triple formalismen.
• Einddimensionele Reductie: De reductie van het oneindig-dimensionele spectrale probleem naar een einddimensionele symplectische ruimte maakt expliciete berekeningen van resolventverschillen en determinantratio's mogelijk zonder de volledige S-matrix machinerie nodig te hebben.
• Afhandeling van Nulmodi en Negatief Spectrum: De afgeleide vergelijkingsformule is opmerkelijk vanwege de expliciete inclusie van bijdragen van negatieve eigenwaarden en nulmodi, die vaak worden weggelaten of apart worden behandeld in standaard zeta-determinant vergelijkingen. Dit maakt de formule toepasbaar op algemene zelfadjuncte extensies die niet noodzakelijkerwijs niet-negatief zijn.

Het artikel concludeert dat dit kader een robuust instrument biedt voor het vergelijken van spectrale invarianten van conische Laplaciërs onder variërende Lagrangiaanse randvoorwaarden.