[论文解读] A^1-connected components of schemes

Chetan Balwe, Amit Hogadi+1 more|arXiv (Cornell University)|Dec 22, 2013

Algebraic Geometry and Number Theory参考文献 6被引用 5

一句话总结

本文研究了 A¹-同伦论中概形的 A¹-连通分支，证明了关于非单有理曲面的 A¹-不变性的莫雷猜想，并构造了阿索克-莫雷猜想在 A¹-链连通性和双有理不变性方面的反例。本文引入了 A¹-链连通分支的层 L(F)，并证明若莫雷猜想成立，则 π₀^{A¹}(F) ≅ L(F)，并给出了该同构的显式判别准则。

ABSTRACT

A conjecture of Morel asserts that the sheaf of A^1-connected components of a simplicial sheaf X is A^1-invariant. A conjecture of Asok-Morel asserts that A^1-connected components of smooth k-schemes coincide with their A^1-chain-connected components and are birational invariants of smooth proper schemes. In this article, we exhibit examples of schemes for which Asok-Morel's conjectures fail to hold and whose Sing_* is not A^1-local. We also give equivalent conditions for Morel's conjecture to hold. A method suggested by these results is then used to prove Morel's conjecture for non-uniruled surfaces over a field k.

研究动机与目标

• 研究莫雷猜想在光滑概形上取值于单纯层的 π₀^{A¹}(X) 是否为 A¹-不变的成立性。
• 检验阿索克-莫雷猜想，即 π₀^{A¹}(X) 是否与 A¹-链连通分支一致，并且对光滑射影概形是否为双有理不变量。
• 构造这些猜想的显式反例，尤其关注 Sing* 的 A¹-局部性与双有理不变性。
• 给出莫雷猜想成立的等价条件，并提供 π₀^{A¹}(X) 的猜想性显式描述。

提出的方法

• 为诺伊曼维什层 F 定义 A¹-链连通分支的层 L(F) := lim→ Sⁿ(F)，并证明其为 A¹-不变。
• 利用在 A¹_U 的初等诺伊曼维什覆盖上构造 A¹-幽灵同伦，以检测 Sing* 的非 A¹-局部性。
• 构造显式概形 X（例如阿贝尔簇的爆破）使得 π₀^{A¹}(X) 不是双有理不变量。
• 通过证明 A¹-同伦可因刚性曲线而分解并避开关键点，证明在非单有理曲面上莫雷猜想成立。
• 利用 A¹-刚性概形（如阿贝尔簇）满足 π₀^{A¹}(X) ≅ X 的事实，实现显式计算。
• 利用诺伊曼维什拓扑中爆破的非满射性，否定 π₀^{A¹} 的双有理不变性。

实验结果

研究问题

• RQ1 莫雷猜想是否对任意光滑概形上的单纯层均成立，即 π₀^{A¹}(X) 是否为 A¹-不变？
• RQ2 阿索克与莫雷猜想的 A¹-连通分支与 A¹-链连通分支的层是否对所有光滑概形都一致？
• RQ3 π₀^{A¹}(X) 是否为光滑射影概形在域上的双有理不变量？
• RQ4 在何种条件下，A¹-链连通分支的层 L(F) 同构于 π₀^{A¹}(F)？
• RQ5 诺伊曼维什覆盖上的 A¹-幽灵同伦是否能检测 Sing* 的 A¹-局部性失败？

主要发现

• 对任意诺伊曼维什层 F，A¹-链连通分支的层 L(F) := lim→ Sⁿ(F) 是 A¹-不变的。
• 若莫雷猜想成立，则 π₀^{A¹}(F) ≅ L(F)，从而为 A¹-连通分支提供了猜想性的显式描述。
• 构造了 Sing* 不是 A¹-局部的反例，表明阿索克-莫雷猜想在 A¹-链连通性方面不成立。
• 层 π₀^{A¹}(X) 不是双有理不变量：对维数 ≥2 的阿贝尔簇 X，其点的爆破得到的 Y 满足 π₀^{A¹}(Y) 不同构于 π₀^{A¹}(X)。
• 在完美域上的非单有理曲面上，莫雷猜想关于 π₀^{A¹}(X) 的 A¹-不变性成立，其证明基于有理曲线的刚性及 A¹-同伦对关键点的规避。
• 在诺伊曼维什覆盖上构造 A¹-幽灵同伦，为检测 Sing* 的非 A¹-局部性及阿索克-莫雷猜想的失败提供了一般性方法。