[論文レビュー] Logarithmic singularity of the Szegö kernel and a global invariant of strictly pseudoconvex domains

Kengo Hirachi|ArXiv.org|Sep 10, 2003

Holomorphic and Operator Theory参考文献 18被引用数 5

ひとこと要約

この論文は、厳密に擬凸領域のSzegőカーネルの対数的特異係数の積分が、接触形式の選択に依存せず、滑らかな領域の変形に対しても不変である全微分同型不変量を確立している。さらに、この不変量がBergman体積要素の体積展開における対数項の係数と一致することを示し、カーネル特異点の微局所解析を通じてCR幾何学とグローバル不変量を結びつけている。

ABSTRACT

The Szego kernel of a strictly pseudoconvex domain admits a singularity on the boundary diagonal, which consists of a pole and logarithmic type singularity. In this paper, we prove that the integral over the boundary of the coefficient of the logarithmic singularity gives a biholomorphic invariant of a domain, or a CR invariant of the boundary. We also show that the same invariant appears as the coefficient of the logarithmic term of the volume expansion of the domain with respect to the Bergman volume element.

研究の動機と目的

• 厳密に擬凸領域上でのSzegőカーネルの対数的特異係数から導かれるグローバル不変量を特定すること。
• この不変量が境界上の擬ヘルミート構造の選択に依存しないことを証明すること。
• この不変量が領域の滑らかな1パrameter変形に対して不変のままであることを示すこと。
• この不変量をBergman体積要素の漸近的体積展開に関連付けること。
• Bergman体積における対数項の係数と、Szegőカーネルの対数的特異係数の積分との間の対応関係を確立すること。

提案手法

• Bergmanカーネルの微局所解析を用いて、Szegőカーネル特異点を定数を除いて特徴づける微分方程式系を導出する。
• 同様の微分方程式フレームワークをSzegőカーネルに適用し、古典的解析的擬微分作用素の文脈における再生性を活用する。
• 接触形式の変更におけるSzegőカーネルの変分公式を、微分方程式系から導出する。
• 境界付近におけるSzegōカーネルの漸近的展開を分析し、対数項の係数がCR不変密度であることを特定する。
• 基底多様体上の$S^1$作用と同次的切断を用いて、ファイブレーション構造を通じてBergmanカーネルとSzegōカーネルを関連付ける。
• Szegōカーネルのラプラス変換表現を用いて、その特異性と、切断によるBergman体積の漸近的挙動を結びつける。

実験結果

リサーチクエスチョン

• RQ1 Szegōカーネルの対数的特異係数の積分は、領域の全微分同型不変量をもたらすか？
• RQ2 この不変量は、厳密に擬凸領域の滑らかな1パrameter変形に対しても保存されるか？
• RQ3 この不変量は、Bergman体積要素の漸近的展開における係数と特定できるか？
• RQ4 Szegōカーネルの微局所構造は、CR幾何学におけるグローバル不変量とどのように関係するか？
• RQ5 Bergman体積展開における対数項と、Szegōカーネルから得られるCR不変係数との正確な関係は何か？

主な発見

• 積分 $ L(\bar{\rho}\theta) = \int_{\partial\Omega} \psi_\theta \, \theta \wedge (d\theta)^{n-1} $ は、接触形式 $ \theta $ の選択に依存せず、領域 $ \Omega $ の適切に定義された全微分同型不変量である。
• この不変量 $ L(\partial\Omega) $ は、微分方程式系から導かれた変分公式により、$ C^\infty $ 級の滑らかな領域変形に対しても不変であることが示された。
• $ n=2 $ の場合、被積分関数 $ \psi_\theta|_{\partial\Omega} $ は非自明であり、スカラー曲率の子ラプラシアンとねじれ曲率を含むが、ストークスの定理により $ L(\partial\Omega) = 0 $ である。
• 高次元では $ \psi_\theta|_{\partial\Omega} $ は消えない可能性があるが、積分 $ L(\partial\Omega) $ は依然としてグローバル不変量のままであり、明示的な非自明な例は計算されていない。
• 同じ不変量 $ L(\partial\Omega) $ は、$ \varepsilon \to 0^+ $ のときの体積展開 $ \operatorname{Vol}(\Omega_\varepsilon) = \int_{\Omega_\varepsilon} B(z,\bar{z}) \, dv $ における対数項の係数としても現れる。
• 微関数としての関係 $ -D_\rho S_x(\rho) = B_x(\rho) $ が成り立ち、微分作用素を介してSzegōカーネルとBergmanカーネルを結びつけ、体積展開の解析を可能にする。