[论文解读] A^1-homotopy groups, excision, and solvable quotients

Aravind Asok, Brent Doran|ArXiv.org|Feb 10, 2009

Homotopy and Cohomology in Algebraic Topology参考文献 1被引用 3

一句话总结

本文利用来自扇的组合数据，开发了计算光滑 тор簇 A¹-同伦群的工具，建立了余解定理，并表明对分裂可解群的自由作用进行商化可得到 A¹-覆盖空间。关键成果包括低度 A¹-同伦群消失的组合判据，以及对下一个非零同伦群的显式计算，表明尽管 A¹-同伦理论具有代数几何的复杂性，但对大量代数簇而言仍是可计算的。

ABSTRACT

We study some properties of A^1-homotopy groups: geometric interpretations of connectivity, excision results, and a re-interpretation of quotients by free actions of connected solvable groups in terms of covering spaces in the sense of A^1-homotopy theory. These concepts and results are well-suited to the study of certain quotients via geometric invariant theory. As a case study in the geometry of solvable group quotients, we investigate A^1-homotopy groups of smooth toric varieties. We give simple combinatorial conditions (in terms of fans) guaranteeing vanishing of low degree A^1-homotopy groups of smooth (proper) toric varieties. Finally, in certain cases, we can actually compute the "next" non-vanishing A^1-homotopy group (beyond π_1^{A^1}) of a smooth toric variety. From this point of view, A^1-homotopy theory, even with its exquisite sensitivity to algebro-geometric structure, is almost "as tractable" (in low degrees) as ordinary homotopy for large classes of interesting varieties.

研究动机与目标

• 利用几何与组合数据开发光滑代数簇 A¹-同伦类型的可计算不变量。
• 理解代数群作用（特别是分裂可解群的自由作用）对 A¹-同伦群的影响。
• 在连通性假设下建立 A¹-同伦群的余解结果，从而实现方案与其开子方案之间的比较。
• 为光滑 toric 品种中低度 A¹-同伦群的消失提供显式组合判据。
• 对某些光滑 toric 品种显式计算 π₁^A¹ 之后的第一个非零 A¹-同伦群。

提出的方法

• 利用 Morel-Voevodsky 的 A¹-同伦理论和 A¹-覆盖空间理论，将几何商解释为 A¹-范畴中的覆盖空间。
• 应用余解定理（定理 4.1），在余维数较高的情况下，将方案与其开子方案的 A¹-同伦群联系起来。
• 利用光滑 toric 品种可表示为仿射空间开子集关于自由环作用的商这一事实，其中扇编码了商的数据。
• 使用齐次坐标环构造来描述商的全空间，并将其与扇结构关联。
• 应用 Morel 的 A¹-基本群理论及 Milnor-Witt K-理论层，以计算 π₁^A¹ 中的扩张。
• 应用 Kleinschmidt 对具有少量生成元的光滑射影 toric 品种的分类，分析具体情形并计算 A¹-同伦群。

实验结果

研究问题

• RQ1 在扇的何种组合条件下，光滑 toric 品种的低度 A¹-同伦群会消失？
• RQ2 当补集具有高余维数时，A¹-同伦群在开浸入下的行为如何？能否建立余解？
• RQ3 由分裂可解群的自由作用产生的几何商能否被解释为 A¹-覆盖空间？这如何简化 A¹-同伦不变量的计算？
• RQ4 光滑 toric 品种的 A¹-基本群结构如何？其与扇和 Picard 群的关系如何？
• RQ5 能否对光滑 toric 品种显式计算出 π₁^A¹ 之后的第一个非零 A¹-同伦群？

主要发现

• 对于满足特定组合条件（例如，所有原向量对均位于同一锥中）的光滑射影 toric 品种，A¹-同伦群 π₁^A¹ 和 π₂^A¹ 均消失。
• 当扇的生成元不超过 d+2 个时，若 r ≥ 2 且 s ≥ 3（其中 r 和 s 是 Kleinschmidt 分类中的参数），则 A¹-基本群 π₁^A¹ 同构于 G_m × G_m。
• 若 r = 1 或 s = 2（但不同时成立），则 π₁^A¹ 是 G_m × G_m 对 sheaf KMW₂ 的扩张；若 r = 1 且 s = 2，则为对 KMW₂⊕KMW₂ 的扩张。
• 对于 Hirzebruch 曲面 F_a，A¹-基本群满足短正合列 1 → KMW₂⊕KMW₂ → π₁^A¹(F_a) → G_m⊕G_m → 1，其中扩张依赖于模 2 的一个参数。
• 在秩(Pic) = 4 且结构非射影的光滑射影 toric 3-流形情形下，π₁^A¹ 映满到对偶环，但核因组合复杂性而无法确定。
• 本文构造了一个例子，其中 π₁^A¹(Bl_x,x' P^n) → G_m^×3 的核非平凡且难以描述，表明即使已知像，核的控制仍存在局限。