[论文解读] More examples of motivic cell structures

Matthias Wendt|arXiv (Cornell University)|Dec 2, 2010

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

一句话总结

本文利用 Białynicki-Birula 分解，为具有孤立不动点的光滑射影 $\mathbb{G}_m$-作用的代数簇建立了动机胞复形结构。证明了此类簇是稳定胞复形的，而对于分裂半单代数群的齐次空间，甚至是不稳定胞复形的，从而能够通过 $\mathbb{P}^1$-稳定 $\mathbb{A}^1$-同伦理论中的长正合列计算 $\mathbb{A}^1$-同伦型与 $\mathbb{A}^1$-同调。

ABSTRACT

In this note, we describe motivic cell structures arising from the Bialynicki-Birula decomposition. This provides a description of the stable A^1-homotopy types of smooth projective G_m-varieties where the G_m-action has isolated fixed points.

研究动机与目标

• 将已知的在 $\mathbb{A}^1$-同伦理论中具有动机胞复形结构的簇的列表加以扩展。
• 为光滑射影 $\mathbb{G}_m$-簇系统地构造动机胞复形结构，利用 Białynicki-Birula 分解。
• 解决 Dugger 和 Isaksen (2005) 提出的问题：关于分裂半单群作用下的射影齐次空间的不稳定胞复形性。
• 证明动机胞复形结构可导出稳定同伦型的完整描述，并支持表示性上同调理论的计算。

提出的方法

• 利用 Białynicki-Birula 分解，在具有孤立不动点的光滑射影 $\mathbb{G}_m$-簇上构造胞复形过滤。
• 应用同伦余纤维序列 $X\setminus X_i \to X\setminus X_{i-1} \to \mathrm{Th}(N_i)$，将各层与法丛的 Thom 空间联系起来。
• 采用 $\mathcal{A}$-胞复形对象的概念，其细胞模型为 $S^{p,q}$-球面与 Thom 空间，应用于 $\mathbb{A}^1$-同伦范畴。
• 应用 Dugger 和 Isaksen (2005) 提出的稳定胞复形性判别准则，证明当各层为仿射纤维丛时，该过滤产生胞复形结构。
• 利用 $\mathbb{G}_m$-作用具有孤立不动点时，各层为仿射空间，从而其 Thom 空间为 $S^{2n,n}$-球面的楔和这一事实。
• 应用 $\mathbb{P}^1$-稳定 $\mathbb{A}^1$-同调中的长正合列，从胞复形结构计算同调。

实验结果

研究问题

• RQ1 能否利用代数群作用，为具有孤立不动点的光滑射影 $\mathbb{G}_m$-簇构造动机胞复形结构？
• RQ2 Białynicki-Birula 分解是否在这些簇上诱导出稳定的 $\mathbb{A}^1$-胞复形结构？
• RQ3 在分裂半单群作用下，射影齐次空间在动机意义下是否为不稳定胞复形？
• RQ4 动机胞复形结构能否用于计算这些簇的 $\mathbb{A}^1$-同调与上同调？
• RQ5 这些簇的 $\mathbb{A}^1$-同伦型在多大程度上反映了其复拓扑实现？

主要发现

• Białynicki-Birula 分解为具有孤立不动点的光滑射影 $\mathbb{G}_m$-簇提供了动机胞复形结构，使其成为稳定胞复形。
• 对于分裂半单群作用下的射影齐次空间，Schubert 胞复形分解给出了不稳定的动机胞复形结构，解决了 Dugger 和 Isaksen (2005) 提出的问题。
• 动机胞复形结构诱导出 $\mathbb{P}^1$-稳定 $\mathbb{A}^1$-同调中的长正合列，从而可从细胞 $S^{2n,n}$ 计算同调。
• 此类簇的 $\mathbb{A}^1$-链复形为混合 Tate 类型，支持了关于代数闭域上 $\mathbb{A}^1$-同伦型刚性性质的猜想。
• 这些簇的稳定同伦型完全由其动机胞复形结构决定，从而可计算表示性上同调理论。
• 在 $\mathbb{Z}[\frac{1}{2}]_{-}$-局部范畴中，即使缺乏实嵌入，该胞复形结构仍允许进行同伦论刚性结果的推导。