[论文解读] Transversalit\\'e quantitative en g\\'eom\\'etrie symplectique : sous-vari\\'et\\'es et hypersurfaces

Jean-Paul Mohsen|arXiv (Cornell University)|Jul 2, 2013

Geometric Analysis and Curvature Flows被引用 3

一句话总结

本论文为几乎凯勒流形上正线丛的近似全纯截面建立了定量相对横截性定理，将唐纳森-奥罗乌斯的奠基性结果推广至子流形情形。论文引入加权横截性模并证明：对于足够大的张量幂，任意受控的近似全纯截面均可通过扰动实现沿紧致子流形的均匀横截性，且对横截性模和扰动大小提供明确的定量控制，从而为辛几何与接触几何中的已知结果提供了新证明。

ABSTRACT

Le th\\'eor\\`eme principal de cet article est un r\\'esultat de transversalit\\'e quantitative relatif \\`a une sous-vari\\'et\\'e. The main theorem of this paper is a result of estimated transversality with respect to a given submanifold.

研究动机与目标

• 将唐纳森-奥罗乌斯的定量横截性定理推广至相对情形，即横截性仅需沿紧致子流形成立，而非全局成立。
• 定义并分析一种加权横截性模，以平衡截面大小与导数的满射性，这对于扰动理论中的定量控制至关重要。
• 通过直接扰动论证而非原始的“大连通分支”方法，为奥罗乌斯（1997）关于横截截面的唯一性结果提供新证明。
• 通过超曲面情形作为推论，恢复并推广伊伯特-马丁内斯-托雷斯-普雷萨的接触几何结果。
• 建立一种定量扰动方案，确保在迭代过程中对导数和全纯性缺陷的控制得以保持。

提出的方法

• 引入加权横截性模 MT(s, x; a, b) = max{a||s(x)||, b·MS(∇s(x))}，其中 MS 衡量导数的满射性。
• 利用 s 与 ∂̄s 的喷射范数的统一有界性，定义 (K, m_max)-受控与 (K, m_max)-近似全纯截面。
• 采用递归扰动方案：构造截面 t_i = t_{i-1} + u_i，其中 u_i 是在点集 F_i 上具有紧支集的截面之和。
• 基于伯格曼核与单位分解的局部模型，确保扰动 u_i 的范数较小，并在每一步实现所需的横截性。
• 利用 MS 范数的 1-Lipschitz 性质，控制扰动对横截性模的累积影响。
• 通过对子流形 Y 的有限分解为具有受控分离与覆盖性质的集合 F_i 进行归纳。

实验结果

研究问题

• RQ1 唐纳森-奥罗乌斯横截性定理能否推广至仅需沿子流形成立横截性的场合？
• RQ2 在此类相对情形下，横截性模与扰动大小的最优定量控制为何？
• RQ3 能否通过直接扰动论证而非拓扑连通性，重新证明横截截面的唯一性结果（奥罗乌斯，1997）？
• RQ4 相对横截性定理是否蕴含伊伯特、马丁内斯-托雷斯与普雷萨（2000）的接触几何结果？
• RQ5 如何在保持对导数与近似全纯性条件控制的前提下，迭代扰动过程？

主要发现

• 对于任意紧致子流形 Y ⊂ X，任意 (K,2)-受控且 (K,1)-近似全纯的截面 s ∈ H^0(X, rL^k)，均可通过 (ε, m_max)-受控且 (ε, m_max)-近似全纯的截面 t 扰动，使得沿 Y 的加权横截性模 MT(s+t; 1, k^{-1/2}) 均匀下界为 η > 0。
• 扰动 t 显式构造为有限个在有限集 G_{n_D} 上具有紧支集的截面之和，其系数范数不超过 ε_i，确保扰动保持较小。
• 下界 η 仅依赖于 ε、K、m_max、r 以及 X、L、Y 的几何结构，而与 k 无关，只要 k ≥ k_0。
• 证明表明，在归纳构造的每一步，横截性模 MT(s+t; 1, k^{-1/2}) 至少为 η_i/2，最终得到统一下界 η_{n_D}。
• 该结果在不依赖横截截面空间的连通性前提下，蕴含奥罗乌斯关于横截截面的唯一性定理。
• 通过特化至实超曲面并利用黎维分布，该结果亦蕴含伊伯特、马丁内斯-托雷斯与普雷萨的接触子流形构造定理。