[論文レビュー] Asymptotics of almost holomorphic sections on symplectic manifolds

Bernard Shiffman, Steve Zelditch|ArXiv.org|Dec 12, 2002

Geometry and complex manifolds参考文献 20被引用数 4

ひとこと要約

本稿は、ほぼ正則なSzegoカーネルのスケーリング漸近挙動を、ほぼ複素構造と豊富な線束を備えたシンプレクティック多様体上で、正則の場合と類似した微局所パラメトリクス構成を用いて確立する。大N極限において、これらのほぼ正則な断面は正則な断面と同一の漸近的挙動を示すことが証明され、Kodaira埋め込み定理およびTianのほぼ等長写像定理のシンプレクティック版が可能になる。

ABSTRACT

We study the asymptotics of almost holomorphic sections $s \in H^0_J(M, ω)$ of an ample line bundle $L o M$ over an almost complex symplectic manifold in the sense of Boutet de Monvel-Guillemin. Such sections are defined as the kernel of a complex which is analogous to the $\bar{\partial}$ complex for a positive line bundle over a complex manifold. Our main result is the scaling limit asymptotics of the Szego projectors $Π_N$ of powers $L^N$. The Kodaira embedding theorem and Tian almost isometry theorem are almost immediate consequences of the scaling limit. We also relate such almost holomorphic sections to the asymptotically holomorphic sections in the sense of Donaldson and Auroux.

研究の動機と目的

• Szego射影子を用いたほぼ複素シンプレクティック多様体上のほぼ正則断面の微局所理論を構築すること。
• ヘイセンベルク座標におけるSzegoカーネルの正確なスケーリング漸近挙動を確立し、正則の場合に類似させること。
• ほぼ正則断面の漸近的挙動を用いて、古典的な正則な結果のシンプレクティック版——Kodaira埋め込み定理およびTianのほぼ等長写像定理——を証明すること。
• DonaldsonおよびAurouxの構成を拡張し、$ H^0_J(M, L^N) $ における定量的横断的ほぼ正則断面の存在を示すこと。
• トランスバーサルな断面のゼロ集合の genus 公式を、チャーン類の計算を用いてほぼ正則な設定に一般化すること。

提案手法

• 正則な場合の Boutet de Monvel–Sjöstrand の手法に類似した、ほぼ複素幾何学と微局所解析を用いたSzego射影子 $ \Pi_N $ のパラメトリクスを構成する。
• 円分岐 $ X $ 上の擬微分作用素 $ \bar{D}_0 $ の核として定義される、$ H^0_J(M, L^N) $ の要素としてほぼ正則断面を定義する。
• 円分岐 $ X $ 上のヘイセンベルク座標 $ (z, \theta) $ を用い、対角近傍でのSzegoカーネル $ \Pi_N(x, y) $ を局所正規形に表現する。
• 近対角漸近展開を導出する：$ N^{-m} \Pi_N(P_0 + \frac{u}{\sqrt{N}}, \frac{\theta}{N}; P_0 + \frac{v}{\sqrt{N}}, \frac{\varphi}{N}) = \frac{1}{\pi^m} e^{i(\theta - \varphi) + u\cdot\bar{v} - \frac{1}{2}(|u|^2 + |v|^2)} \left[1 + \sum_{r=1}^K N^{-r/2} b_r + O(N^{-(K+1)/2}) \right] $。
• 漸近展開を応用し、断面のピーク局在化およびスケーリング挙動といった幾何的・解析的性質を導出する。
• 漸近的カーネルを用いて、$ H^0_J(M, L^N)^k $ 内の定量的横断的断面を構成し、DonaldsonおよびAurouxの手法をほぼ正則な設定に一般化する。

実験結果

リサーチクエスチョン

• RQ1 シンプレクティック多様体上のほぼ正則断面は、大N極限において正則断面と同一のスケーリング漸近挙動を示すか？
• RQ2 ほぼ正則断面に対して、Kodaira埋め込み定理およびTianのほぼ等長写像定理のシンプレクティック版を確立できるか？
• RQ3 $ H^0_J(M, L^N) $ に定量的横断的断面を構成できるか。そのゼロ集合がシンプレクティック部分多様体となるように保証できるか？
• RQ4 $(m-1)$-重の横断的ほぼ正則断面 $ H^0_J(M, L^N)^{m-1} $ のゼロ集合の genus 公式は何か？
• RQ5 ほぼ正則な設定におけるチャーン類の計算は、シンプレクティック多様体上の複素曲線の正則な genus 公式をどのように一般化するか？

主な発見

• 円分岐 $ X \times X $ 上のSzegoカーネル $ \Pi_N(x, y) $ は、ヘイセンベルク座標におけるスケーリング漸近展開を有し、正則の場合と下位項の補正を除いて同一である。
• ピーク断面 $ z \mapsto \Pi_N(z, w) $ は、内在的に定義されたほぼ正則断面であり、$ w $ の近傍で指数的に局在化する。これはDonaldsonの断面と類似している。
• ほぼ正則断面に対してKodaira埋め込み定理が成り立つ：大Nに対して、写像 $ M \to \mathbb{P}(H^0_J(M, L^N)^*) $ は埋め込みである。
• Tianのほぼ等長写像定理が成り立つ：$ \mathbb{P}(H^0_J(M, L^N)^*) $ 上のFubini–Study計量は、$ N \to \infty $ のとき、$ C^k $位相で元のシンプレクティック形式 $ \omega $ に収束する。
• 大Nに対して、$ H^0_J(M, L^N)^k $ 内の定量的横断的ほぼ正則断面の $ k $ 重のゼロ集合 $ \mathbf{Z}(s_N) $ は、余次元 $ k $ のシンプレクティック部分多様体であり、$ k = m-1 $ のとき連結である。
• $ m-1 $ 重の横断的断面 $ H^0_J(M, L^N)^{m-1} $ のゼロ集合 $ \mathbf{Z}(s_N) $ の genus は、$ g_N = \frac{m-1}{2}c_1(L)^m N^m - \frac{1}{2}c_1(M)\cdot c_1(L)^{m-1} N^{m-1} + 1 $ で与えられ、正則な場合の genus 公式がほぼ正則な設定に拡張される。