[论文解读] Topology of singular algebraic varieties

Burt Totaro|ArXiv.org|Apr 21, 2003

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

一句话总结

本文通过使用奇点的解析化和代数K-理论，将交化解析同调与权过滤等不变量推广至奇点和解析空间，深化了对奇点代数簇的拓扑理解。一个关键成果是识别出在实与复翻转下保持不变的特征数，表明Ochanine椭圆亏格可作为此类不变量下定向 bordism 的像，暗示了对具有奇点的实解析空间存在广义亏格。

ABSTRACT

I will discuss recent progress by many people in the program of extending natural topological invariants from manifolds to singular spaces. Intersection homology theory and mixed Hodge theory are model examples of such invariants. The past 20 years have seen a series of new invariants, partly inspired by string theory, such as motivic integration and the elliptic genus of a singular variety. These theories are not defined in a topological way, but there are intriguing hints of their topological significance.

研究动机与目标

• 将交化解析同调与权过滤等拓扑不变量从光滑情形推广至奇点与解析空间。
• 理解在IH-小解析化下哪些特征数保持不变，特别是实与复翻转。
• 探讨在奇点簇背景下，椭圆亏格与动机积分等不变量的拓扑意义。
• 为实解析空间中非Witt奇点建立新不变量（如F2-魏尔特交化解析同调）的框架。
• 将代数几何中的不变量与bordism理论相联系，特别是通过Ochanine亏格及其在奇异情形下的实现。

提出的方法

• 利用奇点解析化与立方超解析化，定义代数簇紧支同调上的权过滤。
• 将Gillet与Soulé基于K-理论的权过滤构造应用于整系数与模l系数同调，证明其与紧化选择无关。
• 利用与法向交叉除数相关的谱序列，为具有紧化的光滑簇定义权过滤。
• 将Guillen与Navarro Aznar的权过滤几何证明方法适配至复与实解析空间，避免使用K-理论。
• 分析模实与复翻转的bordism环，以识别不变的特征数，使用施蒂费尔-惠特尼类与庞特里亚金类。
• 通过显式同构至Z[δ, 2γ, 2γ², ...]（在定向情形下），将所得商环与已知亏格相联系。

实验结果

研究问题

• RQ1 在n-流形的实翻转下，哪些施蒂费尔-惠特尼数保持不变？
• RQ2 Ochanine椭圆亏格能否扩展至具有奇点的紧致定向实解析空间？
• RQ3 在定向情形下，模实与复翻转的bordism环结构为何？
• RQ4 如何将交化解析同调推广至非Witt奇点空间（如三叉节点）上的F2系数？
• RQ5 动机积分与椭圆亏格在奇异代数几何中的拓扑意义为何？

主要发现

• 在实翻转下保持不变的F2-施蒂费尔-惠特尼数向量空间，当n为偶数时维数为⌊n/2⌋ + 1，当n为奇数时维数为0，其生成元为w1^i wn−i 或 w1^{n−2i} vi^2。
• 无向bordism环MO*模实翻转的商环同构于F2[RP², RP⁴, RP⁸, ...] / ((RP^{2^a})² = (RP²)^{2^a} 对 a ≥ 2)。
• 定向bordism环MSO*模定向实与复翻转的商环同构于Z[δ, 2γ, 2γ², 2γ⁴, ...]，其中CP²映射至δ，CP⁴映射至2γ + δ²。
• 该商环与MSO*在Ochanine椭圆亏格下的像一致，暗示了对奇异实解析空间存在广义亏格。
• 用于定义权过滤的谱序列从E2项起对任意系数环k（而不仅Q）为不变量，揭示了奇异簇的新上同调不变量。
• 通过Gillet与Soulé的K-理论与奇点解析化，整系数上同调上的权过滤在复代数簇上定义良好，扩展了Deligne的有理权过滤。