[论文解读] Topological reconstruction theorems for varieties

Janós Kollár, Max Lieblich+2 more|arXiv (Cornell University)|Mar 10, 2020

Algebraic Geometry and Number Theory被引用 1

一句话总结

本文在特征 0 的不可数代数闭域上，为维数至少为 2 的正规极化代数簇建立了拓扑 Torelli 定理，表明仅通过 Zariski 拓扑空间即可确定其底层概形结构，方法是利用 Weil 除子上的线性等价关系。通过建立射影几何基本定理的有理形式，作者们从拓扑数据重构了概形结构，从而得到构造性平展层范畴的 Gabriel 定理的拓扑类比。

ABSTRACT

We study Torelli-type theorems in the Zariski topology for varieties of dimension at least 2, over arbitrary fields. In place of the Hodge structure, we use the linear equivalence relation on Weil divisors. Using this setup, we prove a universal Torelli theorem in the sense of Bogomolov and Tschinkel. The proofs rely heavily on new variants of the classical Fundamental Theorem of Projective Geometry of Veblen and Young. For proper normal varieties over uncountable algebraically closed fields of characteristic 0, we show that the Zariski topological space can be used to recover the linear equivalence relation on divisors. As a consequence, we show that the underlying scheme of any such variety is uniquely determined by its Zariski topological space. We use this to prove a topological version of Gabriel's theorem, stating that a proper normal variety over an uncountable algebraically closed field of characteristic 0 is determined by its category of constructible abelian \'etale sheaves. We also discuss a conjecture in arbitrary characteristic, relating the Zariski topological space to the perfection of a proper normal variety.

研究动机与目标

• 确定在何种条件下，正规极化代数簇的 Zariski 拓扑空间可唯一确定其概形结构。
• 通过将 Weil 除子上的线性等价关系作为几何不变量，将 Torelli 型定理的适用范围拓展至 Hodge 理论之外。
• 建立 Gabriel 定理的拓扑类比，即从构造性阿贝尔平展层范畴中恢复概形结构。
• 研究在正特征情形下，域的特征与完美性在拓扑重构中的作用，特别是其在正特征情形下的表现。

提出的方法

• 发展射影几何基本定理的有理形式，以处理任意域上可定义的射影结构。
• 利用线性系统与线性族的关联几何，从 Zariski 拓扑中恢复线性等价类。
• 应用模型论与范畴论技术，从拓扑空间与除子类映射重构概形。
• 利用构造性平展层的结构，通过支撑集与不可约性，从其恢复 Zariski 拓扑与闭子集。
• 证明构造性层的支撑集与不可约闭子集可从层范畴中重构。
• 利用通用 Torelli 框架，将问题约化至拟射影情形与有限域，再推广至一般情形。

实验结果

研究问题

• RQ1 在特征 0 的不可数代数闭域上，维数 ≥2 的正规极化代数簇的概形结构是否可仅由其 Zariski 拓扑空间唯一恢复？
• RQ2 在 Zariski 拓扑中，Weil 除子上的线性等价关系在多大程度上成为拓扑不变量？
• RQ3 构造性阿贝尔平展层范畴是否为这类代数簇的概形结构的完备不变量？
• RQ4 在正特征情形下会发生什么？能否从其拓扑空间中恢复代数簇的完美性？
• RQ5 是否存在经典重构定理（如 Balmer 或 Fourier–Mukai 定理）的拓扑类比？

主要发现

• 对于特征 0 的不可数代数闭域上的正规极化代数簇，仅凭 Zariski 拓扑空间即可唯一确定其概形结构，因为除子的线性等价关系在拓扑上可定义。
• 在此设定下，Weil 除子上的线性等价关系可唯一从 Zariski 拓扑中恢复，从而实现概形的重构。
• 证明了 Gabriel 定理的拓扑版本：当全局截面构成特征 0 的不可数代数闭域时，构造性阿贝尔平展层范畴可唯一确定概形。
• 在正特征情形下存在反例，表明 Zariski 拓扑无法确定概形结构，但代数簇的完美性可能仍可恢复。
• 从完美概形的同构到其拓扑空间的同胚的映射不一定是双射，提示完美性在正特征情形下是自然不变量。
• 结果表明，对于数域上 P^n 中的超曲面，若一个 Zariski 同胚保持除子次数，则它诱导一个 Q-概形同构。