[论文解读] Asymptotics of almost holomorphic sections on symplectic manifolds

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

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

一句话总结

本文在具有几乎复结构和丰沛线丛的辛流形上，通过类比全纯情形的微局部参数解构造，建立了近乎全纯的 Szegö 核的尺度渐近性。证明了在大 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.

研究动机与目标

• 使用 Szegö 投影算子发展几乎复辛流形上近乎全纯截面的微局部理论。
• 在 Heisenberg 坐标下建立 Szegö 核的精确尺度渐近性，与全纯情形相匹配。
• 利用近乎全纯截面的渐近行为，证明经典全纯结果的辛类比——Kodaira 嵌入定理与 Tian 的近等距定理。
• 将 Donaldson 与 Auroux 的构造方法推广，证明在 $ H^0_J(M, L^N) $ 中存在定量横截的近乎全纯截面。
• 通过陈类计算，将横截截面零集的亏格公式推广至近乎全纯情形。

提出的方法

• 使用几乎复几何与微局部分析，类比 Boutet de Monvel–Sjöstrand 在全纯情形的做法，为 Szegö 投影算子 $ \Pi_N $ 构造参数解。
• 将近乎全纯截面定义为圆丛 $ X $ 上伪微分算子 $ \bar{D}_0 $ 的核中的元素 $ H^0_J(M, L^N) $，该算子由底流形 $ M $ 上的算子提升而来。
• 在圆丛 $ X $ 上使用 Heisenberg 坐标 $ (z, \theta) $，将 Szegö 核 $ \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 对于 $ H^0_J(M, L^N)^{m-1} $ 中的 $ (m-1) $ 重横截近乎全纯截面，其零集的亏格公式为何？
• RQ5 在近乎全纯情形下，陈类计算如何推广全纯情形下复曲线在辛流形中的亏格公式？

主要发现

• 在圆丛 $ X \times X $ 上，Szegö 核 $ \Pi_N(x, y) $ 在 Heisenberg 坐标下存在尺度渐近展开式，其形式与全纯情形一致，仅含低阶修正项。
• 峰值截面 $ z \mapsto \Pi_N(z, w) $ 是内在定义的近乎全纯截面，其在 $ w $ 附近呈指数局域化，类似于 Donaldson 截面。
• Kodaira 嵌入定理对近乎全纯截面成立：当 $ N $ 足够大时，映射 $ M \to \mathbb{P}(H^0_J(M, L^N)^*) $ 是一个嵌入。
• Tian 的近等距定理成立：当 $ N \to \infty $ 时，$ \mathbb{P}(H^0_J(M, L^N)^*) $ 上的 Fubini–Study 度量在 $ C^k $ 拓扑下收敛于原始的辛形式 $ \omega $。
• 当 $ N $ 足够大时，$ H^0_J(M, L^N)^k $ 中一组定量横截的近乎全纯截面的零集 $ \mathbf{Z}(s_N) $ 是余维数为 $ k $ 的辛子流形，且当 $ k = m-1 $ 时连通。
• 在 $ H^0_J(M, L^N)^{m-1} $ 中，$ m-1 $ 个横截截面的零集 $ \mathbf{Z}(s_N) $ 的亏格为 $ 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 $，将全纯情形的亏格公式推广至近乎全纯情形。