Krein's Formula for Conic Laplacians on Compact Riemann Surfaces

技術的要約：コンパクト・リーマン面上の円錐型ラプラシアンに関するクラインの公式

問題設定
本論文は、有限個の円錐特異点 $S$ を持つコンパクト・リーマン面上の円錐型ラプラシアンのスペクトル理論を扱う。具体的には、$L^2(X \setminus S)$ 上で定義される最小の円錐型ラプラシアン $\Delta_{min}$ の自己共役拡張について調査する。円錐特異点が存在する場合、極大ラプラシアン $\Delta_{max}$ のドメインは最小ドメイン $\Delta_{min}$ を厳密に包含する。商空間 $D_{max}(\Delta)/D_{min}(\Delta)$ は有限次元であり、自然なシンプレクティック構造を備えている。中心となる問題は、これらの自己共役拡張を特徴付け、任意の二つの拡張間のレゾルベント差（クラインの公式）を導出し、負の固有値およびゼロモードからの寄与を考慮した上で、それらのゼータ・デターミナントの比較公式を確立することである。

手法
著者は、一般的な円錐擬微分作用素計算や抽象的な境界三つ組（boundary triples）の理論に依存せず、円錐点における局所的なフーリエ展開に基づく直接的なアプローチを採用している。

1. 境界シンプレクティック空間: 論文では、指数 $n_p$ を持つ円錐点 $p$ における「臨界漸近空間」$V_p$ の直和 $V_S = \bigoplus_{p \in S} V_p$ を構成する。この空間は、$1, \log|z|, z^k, \bar{z}^k$ （ただし $1 \le |k| \le n_p - 1$）という形の臨界漸近項によって生成される。商 $D_{max}(\Delta)/D_{min}(\Delta)$ は $V_S$ と同一視される。
2. グリーン形式とラグランジュ条件: ドメイン $D_{max}(\Delta)$ 上に、スキュー・エルミートな双線型形式（グリーン形式）$q$ を定義する。これが $V_S$ 上の非退化なシンプレクティック形式 $\omega$ へと降下することが示される。$\Delta_{min}$ の自己共役拡張は、ラグランジュ部分空間 $V \subset V_S$（極大等長部分空間）によってパラメータ化される。
3. ワイル関数: 与えられたラグランジュ部分空間 $V$ と、それに補完的なラグランジュ部分空間 $V^\#$ に対して、著者は $V^\# \to V$ への写像であるワイル関数 $M_{V,V^\#}(\lambda)$ を定義する。この作用素は、$(\Delta - \lambda)u = 0$ の形式的な解の境界データを符号化する、有限次元のディリクレ・ネーマン写像の類似体として機能する。
4. レゾルベント差: 二つの拡張 $R_V(\lambda)$ と $R_W(\lambda)$ の差を分析することにより、ワイル関数とシンプレクティック射影を用いて、レゾルベント差を表すクライン型の公式を導出する。
5. トレース恒等式とゼータ・デターミナント: レゾルベント差のトレースを計算することで、境界デターミナント関数の対数微分を含むトレース恒等式が得られる。この恒等式は、その後、異なる拡張間の正のスペクトル・ゼータ・デターミナントを比較するために積分される。

主要な貢献と結果

• 拡張のパラメータ化: 本論文は、円錐型ラプラシアンの自己共役拡張と、境界シンプレクティック空間 $V_S$ のラグランジュ・グラスマン多様体との間の一対一の対応関係を厳密に確立している。

• クラインの公式 (定理 4.2): レゾルベント差 $R_V(\lambda) - R_W(\lambda)$ に関する精密な公式が導出されている。この公式は、その差が境界データとワイル関数 $M_{W,W^\#}(\lambda)$ によって完全に決定される有限ランク作用素であることを示している。

• トレース恒等式 (定理 4.4): レゾルベント差のトレースは、ワイル関数から構成されるデターミナント関数の対数微分に等しいことが示される：
  $$\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)$$

• ゼータ・デターミナント比較 (定理 5.2 および系 5.3): 二つの自己共役拡張 $\Delta_V$ と $\Delta_W$ のゼータ・デターミナントの比較公式を導出している。標準的な貼り合わせ（gluing）公式とは異なり、この結果は「正のスペクトル」の慣習（ゼータ関数定義において非正の固有値を除外すること）を明示的に考慮しており、以下の寄与を伴う：

  • 負のスペクトル（項 $E_{V,W}(\mu)$ を通じて）。
  • ゼロモード（ゼロにおける境界デターミナントの極の位数を通じて）。

  $\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)}}$$
  ここで、$r = \dim \ker \Delta_V - \dim \ker \Delta_W$ であり、$d^{\text{red}}$ は簡約された境界デターミナントである。

意義と主張
本論文は、ユークリッド的な円錐特異点を持つ曲面に対してS行列を用いたHillairetおよびKokotovの研究を補完するものとして位置づけられている。著者は、提示されたアプローチが、有限次元の境界・シンプレクティック・フレームワーク内でレゾルベントおよびデターミナント比較問題を定式化している点で、独自の視点を提供すると主張している。

本研究の意義に関する主な主張は以下の通りである：

• 直接的な正規化: 局所的なフーリエモードを直接用いることで、その後のトレース恒等式に必要となるグリーン形式の正規化を確定させている。これは、より抽象的な境界三つ組の形式では不明瞭になりがちな詳細である。
• 有限次元への還元: 無限次元のスペクトル問題を有限次元のシンプレクティック空間へと還元することで、完全なS行列のメカニズムを必要とせずに、レゾルベント差およびデターミナント比の明示的な計算を可能にしている。
• ゼロモードと負のスペクトルの処理: 導出された比較公式は、負の固有値やゼロモードからの寄与を明示的に含んでいる点が注目に値する。これらは標準的なゼータ・デターミナント比較では省略されたり、別途扱われたりすることが多い。これにより、必ずしも非負ではない一般的な自己共役拡張に対しても、この公式を適用することが可能となっている。

結論として、本論文のフレームワークは、変化するラグランジュ境界条件の下での円錐型ラプラシアンのスペクトル不変量を比較するための強力なツールを提供している。