[论文解读] Splitting vector bundles outside the stable range and A^1-homotopy sheaves of punctured affine spaces

Aravind Asok, Jean Fasel|arXiv (Cornell University)|Sep 25, 2012

Homotopy and Cohomology in Algebraic Topology参考文献 7被引用 13

一句话总结

该论文证明了在特征不等于2的代数闭域上的光滑仿射4-流形上，一个秩为3的向量丛当且仅当其在楚环上同调中的第三陈类为零时，会分裂出一个秩为1的平凡直和项。通过A¹-同伦理论，作者计算了A¹-同伦层π₃^A¹(𝔸³∖0)，并应用障碍理论将分裂问题与上同调消去联系起来，从而证明了穆尔西分裂猜想在4维情形下的一个特例。

ABSTRACT

We discuss the relationship between the ${\mathbb A}^1$-homotopy sheaves of ${\mathbb A}^n \setminus 0$ and the problem of splitting off a trivial rank $1$ summand from a rank $n$-vector bundle. We begin by computing $π_3^{{\mathbb A}^1}({\mathbb A}^3 \setminus 0)$, and providing a host of related computations of "non-stable" ${\mathbb A}^1$-homotopy sheaves. We then use our computation to deduce that a rank $3$ vector bundle on a smooth affine $4$-fold over an algebraically closed field having characteristic unequal to $2$ splits off a trivial rank $1$ summand if and only if its third Chern class (in Chow theory) is trivial. This result provides a positive answer to a case of a conjecture of M.P. Murthy.

研究动机与目标

• 解决在特征不等于2的代数闭域上光滑仿射4-流形的穆尔西分裂猜想的一个特例。
• 建立穿孔仿射空间的A¹-同伦层与非稳定范围内向量丛分裂问题之间的联系。
• 计算π₃^A¹(𝔸³∖0)并利用它分析A¹-同伦理论中的障碍类。
• 证明在光滑仿射4-流形上，一个秩3丛分裂出平凡线丛的充要条件是其第三陈类为零。

提出的方法

• 作者利用几何博特定理周期性及格罗滕迪克-惠特整层的结构，计算了A¹-同伦层π₃^A¹(𝔸³∖0)。
• 他们构造了一个关于π₃^A¹(𝔸³∖0)与参数化秩3向量丛（带平凡行列式）的层GW₄³的Gₘ-等变精确序列。
• 应用A¹-同伦理论中的障碍理论，将分裂的主要障碍识别为欧拉类，该类在代数闭域上与上陈类重合。
• 利用尼兹涅维奇上同调的层F₅与GW₄³，结合k为代数闭域且X的维数为4的事实，建立了上同调消去。
• 证明依赖于H⁴_Nis(X, F₅)与H⁴_Nis(X, GW₄³(ℒ))对任意X上的线丛ℒ的消去，利用了米尔诺K-理论与I-进滤子的性质。
• 论证归约为证明CH⁴(X)是可除的，这通过[AF14b]中的一个结果可推出H⁴_Nis(X, GW₄³(ℒ))的消去。

实验结果

研究问题

• RQ1 在特征不等于2的代数闭域上的光滑仿射4-流形上，一个秩3向量丛当且仅当其在楚环上同调中第三陈类为零时，是否分裂出一个秩1的平凡直和项？
• RQ2 A¹-同伦理论能否用于计算穿孔仿射空间的非稳定同伦层，并将其与向量丛分裂问题联系起来？
• RQ3 在代数闭域上的光滑仿射概形上，A¹-同伦理论中的欧拉类是否等价于向量丛的上陈类？
• RQ4 A¹-同伦层π₃^A¹(𝔸³∖0)的结构是什么？它如何控制秩3丛的分裂问题？

主要发现

• A¹-同伦层π₃^A¹(𝔸³∖0)适合于一个Gₘ-等变精确序列：0 → F₅ → π₃^A¹(𝔸³∖0) → GW₄³ → 0。
• 对任意在特征不等于2的代数闭域上的光滑仿射4-流形X，上同调群H⁴_Nis(X, F₅)为零。
• 对X上的任意线丛ℒ，上同调群H⁴_Nis(X, GW₄³(ℒ))为零，这是由于CH⁴(X)的可除性。
• 两个上同调群的消去意味着：当且仅当在CH³(X)中c₃(ℰ) = 0时，X上秩3丛的分裂障碍消失。
• 该结果在特征不等于2的情形下确认了穆尔西分裂猜想对光滑仿射4-流形的成立。
• 该证明确立了在该设定下，A¹-同伦理论中的欧拉类障碍与上陈类完全一致。