[论文解读] Problems on geometric structures of projective embeddings

Takeshi Usa|ArXiv.org|Jan 3, 2000

Geometric and Algebraic Topology参考文献 17被引用 4

一句话总结

本文提出了一种基于'几何壳'概念的射影嵌入的几何合成系列，作为群论中Jordan-Hölder系列的代数-几何类比。该研究引入了处理无穷小提升中高阶障碍的新工具，从而简化了通过第二基本形式与Lefschetz型算子得到的微分几何准则在算术正规性方面的证明。

ABSTRACT

This is a survey of our research on geometric structures of projective embeddings and includes some topics of our talks in several symposia during 1990-99. We clarify our main problem, which is to construct a kind of geometric composition series of projective embeddings. The concept of "geometric composition series" is an analogy in Algebraic Geometry with Jordan-Hölder series in Group Theory. We present two of the candidates for the construction problem. To approach this problem, we show several results and new tools for handling higher obstructions appearing in infinitesimal liftings. As a byproduct of the tools, we obtain a simplified proof for a criterion on arithmetic normality described in terms of Differential Geometry. (Keywords): Petri's analysis, Second fundamental form, Syzygy, Arithmetic normality, Infinitesimal lifting, Geometric shell, Geometric composition series, Lefschetz chain, Dual Lefschetz chain, Meta-Lefschetz operator.

研究动机与目标

• 开发一种射影嵌入的几何合成系列，类比于群论中的Jordan-Hölder系列。
• 识别具有特殊几何性质的中间环境流形，以表征嵌入结构。
• 阐明此类中间流形存在的条件，特别是光滑性或上同调约束下的存在性。
• 通过第二基本形式与算术正规性，建立代数几何与微分几何之间的联系。
• 利用新的无穷小工具与障碍理论，简化现有的算术正规性准则。

提出的方法

• 引入'几何壳'的概念，作为具有syzygy模之间单射Tor映射的中间环境流形的候选。
• 应用Lefschetz与元Lefschetz算子分析上同调结构与提升障碍。
• 利用第二基本形式与Hermitian联络，将微分几何与无穷小形变理论联系起来。
• 应用LFT（可提升的一阶理论）障碍类 $ \overline{\delta}^{(0)}_{LFT} $ 检测截面提升失败的情况。
• 采用分次极小自由解析与Tor函子研究坐标环 $ R_X $ 的syzygy。
• 在假设 $ q(X) = 0 $ 下，应用Hodge理论与消去定理（例如，$ H^1(N^ullet_X) = 0 $）。

实验结果

研究问题

• RQ1 能否通过具有受控syzygetic与上同调性质的中间环境流形，为射影嵌入构造出几何合成系列？
• RQ2 在射影嵌入过程中，何种条件可确保光滑中间环境流形的存在？
• RQ3 第二基本形式如何与射影子流形的算术正规性相关联？
• RQ4 在多大程度上可借助几何与微分几何工具控制无穷小提升中的高阶障碍类？
• RQ5 能否通过新的障碍理论方法更简洁地重新证明算术正规性的准则？

主要发现

• 通过第3节引入的新无穷小工具，获得了算术正规性准则的简化证明。
• 当 $ q(X) = 0 $ 且 $ n \geq 2 $ 时，对所有一般性 $ D \in |O_X(m)| $，类 $ r_D(\sigma_{II}(X)) \in H^1(N_{D/X} \otimes N^ullet_X|_D) $ 的消失性被证明等价于算术正规性。
• 障碍类 $ \overline{\delta}^{(0)}_{LFT}(\tau_D) \in H^1(X, N^ullet_X(m)) $ 当且仅当截面 $ \tau_D $ 可提升至一阶无穷小邻域时消失。
• 几何合成系列的存在性与满足所有层级上Tor映射单射性的几何壳链的存在性相关联。
• 通过加权投影与元Lefschetz算子框架，为高阶障碍提供了结构性处理方法。
• 第二基本形式 $ \sigma_{II}(X) = [B] $ 被证明是 $ \overline{\partial} $-闭的，并定义了无穷小环扩张类，从而将几何与上同调联系起来。