境界を持つ面の境界演算子の“行列式”を、二重体の正則微分の周期で表す新しい式
この論文は、境界を持つ滑らかな二次元の面で定まる「ディリクレ・トゥ・ノイマン(Dirichlet-to-Neumann)写像」の正則化された行列式を、面の「二重体」にある正則(ホロモルフィック)微分の周期で表す方法を示します。簡単に言えば、境界でのある自然な演算子の一つの数値(行列式)が、面の内部に関する古典的な複素解析のデータとつながる、という結果です。これは同じ問題を別の道具(長さスペクトルやルーレルゼータ関数)で表していた先行研究に対する、より直接的で“素朴な”対応式を与えます。
著者はまず設定を明確にします。境界Γを持つ滑らかな向き付けられた面(M,g)で、境界上の関数に対しその調和延長の法線微分を返す作用素Λがディリクレ・トゥ・ノイマン写像です。このΛのゼロモード(定数成分)を除いたゼータ(ζ)正則化行列式を det_ζ(Λ) とします。主な公式は det_ζ(Λ)=det_ζ(∂_γ)·DET(H) で、ここで ∂_γ は境界に沿った長さ微分、HはΛを使って定めるヒルベルト変換(H=∂_γ^{-1}Λ)です。結果として、離散スペクトルに現れる数µ1,...,µg(0と1の間の実数)について (µ1·...·µg)^2 = det_ζ(Λ)/|Γ| が成り立ちます。|Γ|は境界の長さです。
証明の道筋は概念的に次の通りです。まずヒルベルト変換Hのスペクトル構造を調べます。Hは連続スペクトルとして±iを持ちますが、同時に有限個の離散的固有値±iµkを持ちます。これらµkは二重体2M上のアーベル微分(一次正則微分)の周期行列と関係します。H全体については本来の意味での行列式は存在しないので、著者は離散部分に限って積を取り DET(H) を定義します。一方、擬微分作用素の行列式を扱うために、Kontsevich–Vishik–Friedlander–Guillemin の正則化(第一階の正則化子を導入する方法)を用いて det_ζ(Λ) と det_ζ(∂_γ) の関係を丁寧に導き、上の乗法性の関係を得ます。
この結果が意味することは二点あります。一つは、境界でのスペクトル情報(Λの行列式)と面の内部にある複素構造的なデータ(正則微分の周期)が直接結びついたことです。もう一つは、面を一意的な負曲率に統一したときに現れる長さスペクトル(閉測地線の長さに関するデータ)と周期行列の関係も、上の等式を通じて明らかになる点です。これは、幾何解析や逆問題(境界測定から内部を知る問題)で使われるスペクトル的不変量と複素解析的な不変量の橋渡しをします。
重要な注意点もあります。議論は滑らかで境界が連結な面を仮定します。Λの行列式はゼロモードを除いた修正されたζ正則化値で定義されます。ヒルベルト変換H自体は本来の意味で行列式を持たないため、著者は離散譜に限った積で DET(H) を定義しています。また証明は擬微分作用素の高度な正則化理論に依拠します。要するに、この論文は概念的にすっきりした対応式を示しますが、技術的には専門的な道具に基づく結果であり、応用や拡張については本文の細部(原稿の全文)を注意深く読む必要があります。