[论文解读] Rational homotopy of complex projective varieties with normal isolated singularities

David Chataur, Joana Cirici|arXiv (Cornell University)|Mar 18, 2015

Algebraic Geometry and Number Theory参考文献 25被引用 12

一句话总结

本论文通过混合霍赫德理论与乘法权谱序列，证明了当每个奇点的链（link）为 (n−2)-连通时，具有正规孤立奇点的复射影概形是形式的拓扑空间。关键结果将形式性推广至光滑或凯勒情形之外的奇异概形，包括具有孤立奇点的超平面截痕与完全交集。

ABSTRACT

Let X be a complex projective variety of dimension n with only isolated normal singularities. In this paper we prove, using mixed Hodge theory, that if the link of each singular point of X is (n-2)-connected, then X is a formal topological space. This result applies to a large class of examples, such as normal surface singularities, varieties with ordinary multiple points, hypersurfaces with isolated singularities and more generally, complete intersections with isolated singularities. We obtain analogous results for contractions of subvarieties.

研究动机与目标

• 将有理同伦论中的形式性概念推广至奇异复射影概形。
• 识别确保形式性的奇点拓扑条件（具体为 (n−2)-连通的链）
• 通过混合霍赫德理论，将经典形式性结果从光滑射影概形推广至奇异情形。
• 在子概形收缩（如 X/Y，其中 Y↪X 为光滑射影概形的闭浸入）的背景下研究形式性。
• 建立权过滤纯度与奇异代数几何中有理同伦形式性之间联系的框架。

提出的方法

• 利用乘法权谱序列作为计算奇异射影概形有理同伦型的工具。
• 应用摩根（Morgan）与塞里西-吉列安（Cirici-Guillén）的结果，将有理同伦型与权谱序列的 E1 项联系起来。
• 运用混合霍赫德理论分析上同调上的权过滤，特别关注纯度条件。
• 利用权过滤在度数 k 以内纯度蕴含在度数 k 以内形式性这一事实，建立关键的技术桥梁。
• 分析商空间 X/Y 的Mayer-Vietoris正合列，以研究上同调结构与权过滤行为。
• 证明在纯度条件下，权谱序列的 E1 项到 E2 项的拟同构是乘法的，从而保证形式性。

实验结果

研究问题

• RQ1 在何种奇点链的拓扑条件下，具有正规奇点的复射影概形是形式的？
• RQ2 权过滤的纯度如何与奇异代数概形中的有理同伦形式性相关？
• RQ3 形式性能否推广至子概形的收缩情形，例如光滑射影概形的 X/Y？
• RQ4 超平面截痕与具有孤立奇点的完全交集在多大程度上满足形式性？
• RQ5 权谱序列的乘法结构在决定有理同伦型方面起何种作用？

主要发现

• 若复射影概形 X（维数为 n）的每个孤立正规奇点的链均为 (n−2)-连通，则 X 是一个形式的拓扑空间。
• 所有正规复射影曲面都是形式的，因为其奇点的 (n−2)=0-连通链（即连通）满足该条件。
• 具有孤立奇点的完全交集是形式的，因为其链按标准代数几何结论为 (n−2)-连通。
• 若 X 具有正规孤立奇点且存在以光滑例外除子为例外的解析解，则 X 是形式的。
• 对于光滑射影概形的闭浸入 Y↪X，商空间 X/Y 是一个形式的拓扑空间。
• 乘法权谱序列为 X/Y 的有理同伦型提供了明确模型；在纯度条件下其在 E1 项处退化，从而保证形式性。