[論文レビュー] Bochner Laplacian and Bergman kernel expansion of semi-positive line bundles on a Riemann surface

George Marinescu, Nikhil Savale|arXiv (Cornell University)|Nov 2, 2018

Geometry and complex manifolds参考文献 23被引用数 6

ひとこと要約

本稿は、曲率が有限次のうちに消える半正則線束のリーマン面におけるベールマン核の最初の完全な漸近展開を確立した。ボーンシュタイン・ラプラシアンと部分リーマン的ラプラシアンの関係を用いて、最小固有値の正確な $ k^{2/r} $ スケーリングを導出し、ここで $ r $ は曲率の消える最大次数である。また、対応する固有関数が曲率が $ r $ 次に消える集合に集中することを示した。

ABSTRACT

We generalize the results of Montgomery for the Bochner Laplacian on high tensor powers of a line bundle. When specialized to Riemann surfaces, this leads to the Bergman kernel expansion and geometric quantization results for semi-positive line bundles whose curvature vanishes at finite order. The proof exploits the relation of the Bochner Laplacian on tensor powers with the sub-Riemannian (sR) Laplacian.

研究の動機と目的

• 曲率が有限次のうちに消える場合、特にリーマン面上でのモンゴメリーのボーンシュタイン・ラプラシアンに関する結果を一般化すること。
• 曲率が点で有限次のうちに消える場合に、半正則線束に対する最初の完全なベールマン核展開を確立すること。
• 高次のテンソルべきにおけるボーンシュタイン・ラプラシアンの最小固有値の正確な漸近的挙動を特定し、それが $ k^{2/r} $ に比例することを示すこと。
• 対応する最初の固有関数が、曲率が最大次数 $ r $ にわたって消える集合に集中することを証明し、それ以外の領域では急速に減衰することを示すこと。
• スペクトル挙動を接空間上のモデル部分リーマン的ラプラシアンと関連づけ、漸近展開における主要定数をこれらのモデルのスペクトルの下端を通じて同定すること。

提案手法

• テンソルべき $ F imes L^k $ 上のボーンシュタイン・ラプラシアンと部分リーマン的（sR）ラプラシアンとの関係を用いて、スペクトル漸近挙動を分析する。
• 各点 $ y $ における曲率形式 $ R^L $ の消える次数 $ r_y $ を定義し、$ r = ext{sup}_y r_y < ty $ であると仮定する。
• 局所的スペクトル挙動を捉えるために、接空間 $ T_yY $ 上にモデルラプラシアン $ riangle_y $ を構成する。このモデルは計量 $ g^{TY} $ と $ y $ における $ R^L $ の $ (r-2) $ 次ジャンプに依存する。
• 関数計算と熱核推定を用いて、$ riangle_y $ のスペクトルの下端 $ ext{inf Spec}( riangle_y) $ が、$ ext{inf Spec}( riangle_k) hicksim C k^{2/r} $ の漸近展開における主要定数 $ C $ を決定することを示す。
• 有限伝搬性の議論とスペクトル射影子を用いて、熱核トレースを制御し、モデル作用素との比較を通じて $ k^{2/r} $ スケーリングを導出する。
• 固有関数が $ Y_r $、すなわち曲率が $ r $ 次に消える集合に集中することを示すために、$ Y_{\leq r-1} $ 上での急速な減衰を示す事実を活用する。

実験結果

リサーチクエスチョン

• RQ1 曲率が有限次のうちに消える場合、半正則線束の高次のテンソルべきにおけるボーンシュタイン・ラプラシアンの最小固有値の正確な漸近的挙動は何か？
• RQ2 ボーンシュタイン・ラプラシアンのスペクトル挙動は、曲率が消える集合の幾何にどのように関係するか？
• RQ3 曲率が有限次のうちに消える点があるリーマン面上の半正則線束に対して、ベールマン核展開を確立できるか？
• RQ4 部分リーマン的ラプラシアンは、曲率が消える点の近傍における局所的スペクトル挙動をどのようにモデル化するか？
• RQ5 高次のべきの極限において、ボーンシュタイン・ラプラシアンの最初の固有関数は多様体上でどのように分布するか？

主な発見

• テンソルべき $ F imes L^k $ 上のボーンシュタイン・ラプラシアンの最小固有値 $ ext{inf Spec}( riangle_k) $ は、$ k \to \infty $ のとき $ ext{inf Spec}( riangle_k) \thicksim C k^{2/r} $ を満たす。ここで $ r $ は曲率が消える最大次数である。
• 定数 $ C $ は $ C = \text{inf}_{y \to Y_r} \text{inf Spec}(\triangle_y) $ で与えられ、$ \triangle_y $ は $ y \in Y_r $ におけるモデル部分リーマン的ラプラシアンである。
• 最初の固有関数 $ \psi_0^k $ は、$ Y_{\leq r-1} $、すなわち曲率が $ r $ 次未満に消える集合上で急速に減衰する（$ k $ の任意の逆数より速い）。
• $ r = 2 $ の場合、モデルラプラシアンは調和振動子に簡略化され、$ C = \frac{1}{2} \text{tr} \sqrt{-J_y^2} $ となる。これは既知の結果を回復する。
• 本結果はモンゴメリーのボーンシュタイン・ラプラシアンに関する研究を一般化し、以前は $ r = 2 $ および $ r = 3 $ の特別な場合にのみカバーされていた。
• 本解析により、曲率が有限次のうちに消えるリーマン面上の半正則線束に対する最初の完全なベールマン核展開が得られ、長年の未解決問題が解決された。