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

Chetan Balwe, Anand Sawant|arXiv (Cornell University)|Nov 13, 2019

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

一句话总结

该论文证明了在代数闭特征为0的域上，对于双有理等价于亏格>0曲线的光滑射影曲面X，其𝔸¹-连通分支层𝝅₀^{𝔸¹}(X)是𝔸¹-不变的。通过使用涉及爆破、幽灵同伦和Nisnevich层论的代数几何技术，作者证明该层源于𝔸¹-链同伦函子的非平凡迭代，从而在该设定下确认了Morel的猜想。

ABSTRACT

A conjecture of Morel asserts that the sheaf of $\mathbb A^1$-connected components of a space is $\mathbb A^1$-invariant. Using purely algebro-geometric methods, we determine the sheaf of $\mathbb A^1$-connected components of a smooth projective surface, which is birationally ruled over a curve of genus $>0$. As a consequence, we show that Morel's conjecture holds for all smooth projective surfaces over an algebraically closed field of characteristic $0$.

研究动机与目标

• 验证Morel猜想：对于代数闭特征为0的域上的光滑射影曲面X，其𝔸¹-连通分支层𝝅₀^{𝔸¹}(X)是𝔸¹-不变的。
• 确定双有理等价于亏格>0曲线的光滑射影曲面X的𝝅₀^{𝔸¹}(X)的结构。
• 证明𝝅₀^{𝔸¹}(X)源于𝔸¹-链同伦函子𝒮(X)的非平凡迭代，而非与𝒫(X)本身同构。
• 在猜想成立的前提下，建立canonical map 𝝅₀^{𝔸¹}(X) → ℒ(X)为同构，并研究ℒ(X)在何时稳定为𝒫ⁿ(X)。

提出的方法

• 作者使用代数几何技术，通过爆破和有理映射分析𝔸¹-连通分支，特别关注亏格>0曲线上的柱面曲面。
• 通过幽灵同伦和到爆破的提升，构造显式的𝔸¹-同伦，证明同伦映射在连续爆破中一致提升。
• 证明依赖于爆破次数的归纳法，通过逐步降低曲面的复杂度，将问题约化到极小模型。
• 关键技术工具是构造一个通过ℙ¹_C连续爆破得到的光滑射影曲面X′′，使得𝝅₀^{𝔸¹}(X′′)捕捉到从光滑Hensel局部概形到X的同伦类。
• 他们使用预层U ↦ Hom_{ℋ(k)}(U,X)的Nisnevich层来描述𝝅₀^{𝔸¹}(X)，并通过提升性质证明其是𝔸¹-不变的。
• 证明利用了有理函数如x^a/y^b定义到ℙ¹_C的映射，且其到谱概形的拉回是正则的，从而实现同伦的可提升性。

实验结果

研究问题

• RQ1 对于代数闭特征为0的域上的光滑射影曲面X，其𝔸¹-连通分支层𝝅₀^{𝔸¹}(X)是否保持𝔸¹-不变？
• RQ2 对于双有理等价于亏格>0曲线的光滑射影曲面X，𝝅₀^{𝔸¹}(X)的精确结构是什么？
• RQ3 𝝅₀^{𝔸¹}(X)是否同构于𝒫ⁿ(X)（对某个有限n），若是，最小的此类n是多少？
• RQ4 在Morel猜想成立的前提下，universal 𝔸¹-不变商的canonical map 𝝅₀^{𝔸¹}(X) → ℒ(X)是否仍为同构？
• RQ5 Morel-Voevodsky奇异构造Sing*^{𝔸¹}X对于此类曲面是否𝔸¹-局部化，或是否不满足𝔸¹-局部性？

主要发现

• 对于代数闭特征为0的域上的所有光滑射影曲面，其𝔸¹-连通分支层𝝅₀^{𝔸¹}(X)是𝔸¹-不变的。
• 对于双有理等价于亏格>0曲线的光滑射影曲面X，𝝅₀^{𝔸¹}(X)同构于𝒫ⁿ(X)（对某个n ≥ 2），表明该层源于𝔸¹-链同伦函子的非平凡迭代。
• 使得𝒫ⁿ(X) ≅ 𝝅₀^{𝔸¹}(X)的最小n满足n ≤ 2，表明稳定化最多在第二次迭代时发生。
• 若Morel猜想成立，则canonical map 𝝅₀^{𝔸¹}(X) → ℒ(X)为同构，且在所研究的曲面类中已得到确认。
• 对于此类曲面的非极小模型，Morel-Voevodsky奇异构造Sing*^{𝔸¹}X不是𝔸¹-局部的，这由𝒫(X) ≇ 𝒫²(X)的失败所证明。
• 对于代数闭特征为0的域上的光滑射影曲面，其层𝝅₀^{𝔸¹}(X)是平凡的（即单点层），当且仅当X是有理曲面。