[論文レビュー] On the asymptotic expansion of Bergman kernel

Xianzhe Dai, Kefeng Liu+1 more|arXiv (Cornell University)|Apr 27, 2004

Geometry and complex manifolds参考文献 33被引用数 131

ひとこと要約

本稿は、コンpactなシンプレクティック多様体およびオルビフォールド上での正則ラインバンドルの高次のベクトル束へのテンソル積に対して、スピン^c ディラック作用素のベルグマン核の完全な非対角漸近展開とアグモン型推定を確立する。微局所解析と熱核法を用いて、$ p^{-1} $ の累乗における一様な漸近展開を証明し、その係数は曲率テンソルとその微分の多項式である。ドナルドソンの研究をオルビフォールドへ拡張し、幾何的量子化と安定性理論、インデックス理論を結びつける。

ABSTRACT

We study the asymptotic of the Bergman kernel of the spin$^c$ Dirac operator on high tensor powers of a line bundle.

研究の動機と目的

• ケーラー計量に一定スカラー曲率を持つものとしてドナルドソンの研究をオルビフォールドへ拡張するため、非対角ベルグマン核展開の漸近挙動を研究すること。
• コンパクトなシンプレクティック多様体およびオルビフォールド上での正則ラインバンドルの高次のベクトル束へのテンソル積に対して、スピン^c ディラック作用素のベルグマン核の完全な非対角漸近展開を確立すること。
• さまざまなリーマン計量および幾何的データにわたる一様なアグモン型推定を導出すること。
• ベルグマン核の漸近展開が熱核およびインデックス理論とどのように関係するかを明らかにし、特に幾何的量子化と安定性の文脈において解釈すること。
• 展開における係数が、曲率テンソル $ R^{TX}, R^{\text{det}}, R^{E}, R^{L} $、それらの微分、および $ \bf{J} $ の固有値の逆数の多項式として表されることを示すこと。

提案手法

• 正則ラインバンドル $ L $ に伴う曲率 $ \omega $ を持つスピン^c ディラック作用素 $ D_p $ を、$ (0,q) $-形式に値をとる $ L^p \otimes E $ 上で作用させる。
• 微局所解析とブーテ・ドゥ・モンヴェル–ギヨームの構成を用いて、スツェゴ核と関連する擬微分作用素 $ D_b $ を定義する。
• 振動積分の設定において、パラメトリックス構成と停留位相法を用いてベルグマン核 $ B_p(x) $ の漸近展開を導出する。
• パrameter族が $ \mathscr{C}^s $-ノルムで有界で、計量が一様に下から有界である限り、$ \mathscr{C}^l $-ノルムにおける導関数の制御を通じて一様推定を確立する。
• スペクトル的およびトレース的アプローチにより、$ \exp(-\frac{u}{p}D_p^2) $ の熱核展開に依拠してベルグマン核の漸近挙動を導出する。
• 局所正規座標と複素構造 $ J $ を用い、核を $ \mathcal{J}_{x_0} $、すなわち複素構造作用素と関連づけ、$ \mathbb{R}^{2n} $ 上でのガウス積分を計算して主要項を抽出する。

実験結果

リサーチクエスチョン

• RQ1 スピン^c ディラック作用素のベルグマン核は、$ p \to \infty $ のとき非対角領域でどのように漸近的に振る舞うか？
• RQ2 シンプレクティックオルビフォールド上でのベルグマン核に対して、明示的な曲率依存係数を有する完全な非対角漸近展開を構成可能か？
• RQ3 アグモン型推定の正確な形は何か？また、計量および接続データの変動に対してどれほど一様に成立するか？
• RQ4 ベルグマン核の漸近挙動は $ D_p^2 $ の熱核とどのように関係するか？インデックス理論および幾何的量子化の文脈で何を示唆するか？
• RQ5 展開における係数は、特にオルビフォールド点における曲率やホロノミーといった幾何的不変量をどの程度反映しているか？

主な発見

• ベルグマン核は完全な非対角漸近展開を有する：$ B_p(x) = \sum_{r=0}^k b_r(x) p^{n-r} + \mathscr{O}(p^{n-k-1}) $、任意の $ k,l \in \mathbb{N} $ に対して $ \mathscr{C}^l $-ノルムで一様に成立する。
• 係数 $ b_r(x) \in \operatorname{End}(\Lambda(T^{*(0,1)}X) \otimes E)_x $ は、$ R^{TX}, R^{\det}, R^E, R^L $、それらの微分（次数 $ 2r-1 $ または $ 2r $ まで）、および $ \bf{J} $ の固有値の逆数の多項式である。
• 主要項は $ b_0(x) = (\det \bf{J})^{1/2} I_{\mathbb{C} \otimes E} $ であり、シンプレクティック体積形式を符号化する。
• 展開は一様である：任意の $ k,l $ に対して、$ C_{k,l} $ が存在し、リーマン計量 $ g^{TX} $ に依存しない。ただし、データが $ \mathscr{C}^s $ で有界で、$ g^{TX} $ が一様に下から有界である限り成立する。
• ファビニ–シュテュルメットリックの漸近挙動は、$ \left| \frac{1}{p} \phi_p^* \omega_{FS} - \omega \right|_{\mathscr{C}^l} \leq C_l \left( \frac{1}{p} + p^{l/2} e^{-c\sqrt{p} d(x,X')} \right) $ を満たし、カットリージョントの外側で急速な収束を示す。
• オルビフォールド点 $ y_j $ において、ベルグマン核は特異的寄与項 $ \frac{e^{i\theta_j p} g|_E \circ I_{\mathbb{C} \otimes E}}{|G_{y_j}| \det_{\mathbb{C}}(1 - g^{-1}_{T^{(1,0)}X})} \delta_{y_j} $ を有する。これは群作用とモノドロミーを反映している。