[论文解读] Smooth varieties up to A^1-homotopy and algebraic h-cobordisms

Aravind Asok, Fabien Morel|arXiv (Cornell University)|Oct 2, 2008

Homotopy and Cohomology in Algebraic Topology被引用 9

一句话总结

本文引入并研究了A¹-h-平行胞腔——拓扑h-平行胞腔的代数几何类比——以在A¹-同伦等价下分类光滑射影概形。结果表明，在代数闭域上，有理光滑射影曲面在A¹-同伦等价下仅由其A¹基本群层分类，尽管同构类有不可数无穷多个，但A¹-同伦类型仅有可数多个。

ABSTRACT

We start to study the problem of classifying smooth proper varieties over a field k from the standpoint of A^1-homotopy theory. Motivated by the topological theory of surgery, we discuss the problem of classifying up to isomorphism all smooth proper varieties having a specified A^1-homotopy type. Arithmetic considerations involving the sheaf of A^1-connected components lead us to introduce several different notions of connectedness in A^1-homotopy theory. We provide concrete links between these notions, connectedness of points by chains of affine lines, and various rationality properties of algebraic varieties (e.g., rational connectedness). We introduce the notion of an A^1-h-cobordism, an algebro-geometric analog of the topological notion of h-cobordism, and use it as a tool to produce non-trivial A^1-weak equivalences of smooth proper varieties. Also, we give explicit computations of refined A^1-homotopy invariants, such as the A^1-fundamental sheaf of groups, for some A^1-connected varieties. We observe that the A^1-fundamental sheaf of groups plays a central yet mysterious role in the structure of A^1-h-cobordisms. As a consequence of these observations, we completely solve the classification problem for rational smooth proper surfaces over an algebraically closed field: while there exist arbitrary dimensional moduli of such surfaces, there are only countably many A^1-homotopy types, each uniquely determined by the isomorphism class of its A^1-fundamental sheaf of groups.

研究动机与目标

• 在A¹-同伦理论中发展拓扑h-平行胞腔理论的代数几何类比。
• 在A¹-同伦等价下对光滑射影概形进行分类，特别关注有理曲面。
• 理解A¹基本群层在分类概形A¹-同伦类型中的作用。
• 阐明A¹-连通性、有理性质（例如有理连通性、可收缩有理性）与双有理几何之间的联系。
• 为使用A¹不变量研究“近乎有理”的概形提供同伦框架。

提出的方法

• 引入A¹-h-平行胞腔的概念，作为在光滑射影概形之间构造非平凡A¹弱等价的工具。
• 定义并比较多种A¹-连通性的概念：A¹-连通、A¹-链连通、弱A¹-连通，以及它们的étale变体。
• 利用A¹-连通分支的层π₀^A¹(X)及其étale和双有理变体分析连通性与有理性。
• 计算关键例子（如P¹和有理曲面）的精细A¹-同伦不变量，特别是A¹基本群层。
• 运用强A¹不变性与A¹局部分类空间研究A¹-连通概形的上同调性质。
• 应用双有理几何与R-等价性的结果，将A¹-拓扑不变量与经典有理性条件联系起来。

实验结果

研究问题

• RQ1 哪些光滑射影概形是A¹-同伦等价的？这一分类能否系统地进行？
• RQ2 各种A¹-连通性概念（如A¹-连通、A¹-链连通、弱A¹-连通）与经典有理性性质（如有理连通性或可收缩有理性）之间有何关系？
• RQ3 A¹基本群层在分类光滑射影概形的A¹-同伦类型中起什么作用？
• RQ4 A¹-h-平行胞腔能否用于在非同构的光滑射影概形之间构造非平凡的A¹弱等价？
• RQ5 算术与几何性质（如étale上同调、双有理不变量）如何与A¹-同伦不变量相互作用？

主要发现

• 在代数闭域上，有理光滑射影曲面的A¹-同伦类型仅有可数多个，每个类型均由其A¹基本群层的同构类唯一确定。
• 对于完美域上的光滑射影概形，分离有理连通概形是弱A¹-连通的；若域的特征为零，则可收缩k-有理概形是A¹-链连通的。
• 有理光滑射影曲面的A¹-同伦分类已完全解决：其由A¹基本群层控制。
• A¹基本群层在A¹-h-平行胞腔的结构中起着核心且神秘的作用，暗示更深层的同伦约束。
• 对任意域上的光滑射影概形，A¹-链连通性等价于A¹-连通性；弱A¹-链连通性等价于弱A¹-连通性。
• A¹-连通分支的层π₀^A¹(X)有满射映射到A¹-连通分支的étale层化，且在适当条件下该映射是同构，从而将同伦不变量与算术不变量联系起来。