[論文レビュー] Berezin-Toeplitz quantization and its kernel expansion

Xiaonan Ma, George Marinescu|arXiv (Cornell University)|Mar 19, 2012

Geometry and complex manifolds参考文献 39被引用数 22

ひとこと要約

本稿では、核の漸近展開を用いて、ケーラー多様体およびシンプレクティック多様体上のバーレジン-トープリッツ量論を包括的に分析する。ベルグマン核およびトープリッツ核の漸近展開を確立し、曲率不変量を用いた最初の係数の明示的公式を導出し、非対角核展開およびスペクトルギャップ技法を用いてバーレジン-トープリッツスタープロダクトの存在を証明する。

ABSTRACT

We survey recent results about the asymptotic expansion of Toeplitz operators and their kernels, as well as Berezin-Toeplitz quantization. We deal in particular with calculation of the first coefficients of these expansions.

研究の動機と目的

• 核の計算および漸近展開技術を用いたバーレジン-トープリッツ量論の体系的アプローチの構築。
• ベルグマン核およびトープリッツ核の漸近展開における最初の係数を、幾何的データ（多様体およびねじれバンドルの曲率）の観点から計算すること。
• ケーラー軌道多様体およびシンプレクティック多様体への理論の拡張、特にスピン^c ディラック作用素フレームワークを含む。
• トープリッツ作用素の合成漸近展開を用いて、シンプレクティック多様体上でのバーレジン-トープリッツスタープロダクトの存在を確立すること。
• 非対角核展開を用いて、従来のトープリッツ作用素および幾何学的量論の結果を統一的かつ一般化すること。

提案手法

• ビスマール＝レボーのインスピレーションを受ける局所化およびスケーリング技法を用いて、ベルグマン核の非対角漸近展開を用いる。
• コーディラ-ラプラシアンおよびスピン^c ディラック作用素に対するスペクトルギャップ推定を適用し、$L^2$-ノルムを制御し、断片の集中を保証する。
• Toeplitz作用素を $T_{f,p} = P_p f P_p$ として定義し、ここで $P_p$ はディラック作用素の核へのベルグマン射影である。
• 半古典的作用素の概念を一般化するように、積分核の漸近展開を用いてToeplitz作用素を特徴付ける。
• $D_p^2$ のリヒネロヴィッチ公式を用いてスペクトル下界を導出し、$p \to \infty$ の半古典的極限を確立する。
• 合成漸近展開を用いてスタープロダクト構造を導出する：$T_{f,p} \circ T_{g,p} = \sum_{r=0}^\infty p^{-r} T_{C_r(f,g),p} + \mathcal{O}(p^{-\infty})$、ここで $C_0(f,g) = fg$。

実験結果

リサーチクエスチョン

• RQ1 ベルグマン核の漸近展開における最初の係数は、曲率不変量を用いて明示的に計算可能か？
• RQ2 ケーラー多様体またはシンプレクティック多様体上でのトープリッツ作用素の積分核の正確な漸近的挙動は何か？
• RQ3 2つのトープリッツ作用素の合成は、$p$ の逆数の累乗における漸近展開をもつのか？ もしそうならば、その結果得られるスタープロダクトの構造は何か？
• RQ4 スピン^c ディラック作用素フレームワークを用いて、バーレジン-トープリッツ量論を完全なケーラー多様体およびシンプレクティック多様体へ拡張可能か？
• RQ5 ねじれバンドル $E$ の存在が、漸近展開およびその結果得られるスタープロダクト構造に与える影響は何か？

主な発見

• ベルグマン核は、多様体およびねじれバンドル $E$ の曲率によって決定される最初の項を持つ非対角漸近展開を有する。
• ディラック作用素 $D_p$ のスペクトルギャップは $\|D_p s\|^2_{L^2} \geq (4\pi p - C)\|s\|^2_{L^2}$ を満たし、$L^2$-断片の次数ゼロへの集中を保証する。
• 核 $\operatorname{Ker}(D_p)$ の次元は $\frac{p^n}{n!} \int_X \omega^n + \mathcal{O}(p^{n-1})$ として増加し、正則の場合と一致する。
• 2つのトープリッツ作用素の合成は、漸近展開 $T_{f,p} \circ T_{g,p} = \sum_{r=0}^\infty p^{-r} T_{C_r(f,g),p} + \mathcal{O}(p^{-\infty})$ を持つ、ここで $C_0(f,g) = fg$。
• 1次項 $C_1(f,g)$ は $C_1(f,g) - C_1(g,f) = \sqrt{-1} \{f,g\} \operatorname{Id}_E$ を満たし、半古典的極限でポアソン括弧を回復する。
• シンプレクティック多様体上に、$\hbar = 1/p$ として、バーレジン-トープリッツスタープロダクト $f *_{\hbar} g = \sum_{k=0}^\infty C_k(f,g) \hbar^k$ が構成され、それが結合的であることが示された。