[论文解读] On the $\eta$-inverted sphere

Oliver Röndigs|arXiv (Cornell University)|Feb 29, 2016

Homotopy and Cohomology in Algebraic Topology参考文献 28被引用 5

一句话总结

本文证明了在任意特征不为二的域上，$η$-反演球面谱的首阶与第二阶同伦群恒为零。通过利用连通Witt理论对$η$-反演球面谱的分解，并结合2-反演后的拓扑连通性结果，作者借助动机Adams谱序列与分层过滤技术建立了整数系数下的零化结果，从而将先前的有理数与2-进数计算结果推广至整数情形。

ABSTRACT

It is shown that the first and second homotopy groups of the $\\eta$-inverted sphere spectrum over a field of characteristic not two are zero. A cell presentation of higher Witt theory is given as well, at least over the complex numbers.

研究动机与目标

• 建立在特征不为二的域上，$η$-反演球面谱的首阶与第二阶同伦群为零的结论。
• 将先前对动机稳定同伦群的有理数与2-进数计算推广至整数情形。
• 通过$η$-反演球面谱，为复数域上的连通Witt理论提供一个胞腔表示。
• 证明$η$-反演映射在度数1与2上诱导出平凡的同伦群，此结论基于Morel将零线识别为Milnor-Witt K-理论的工作。
• 通过Ayoub的Betti实现的实版本，将动机方法与拓扑方法相连接，从而解决$π_{n+3,n}\mathbf{1}[1/\eta]$的整数计算问题。

提出的方法

• 利用连通Witt理论对$η$-反演球面谱进行分解：$ι[1/\eta] \to \mathsf{cKW} \to \mathsf{cKW} \wedge \mathsf{cKW}$。
• 应用该分解中第二条映射的连通性，推导出$π_{n+1,n}\mathbf{1}[1/\eta]$与$π_{n+2,n}\mathbf{1}[1/\eta]$的零化。
• 通过Ayoub的Betti实现的实版本，将连通实K-理论的结果转移到连通Witt理论中。
• 运用动机分层过滤与动机Adams谱序列的收敛性，分析2-完备化同伦群。
• 利用Milnor的导出极限正合序列，关联同伦群中的2-完备化与2-挠信息。
• 通过Morel将零线与Milnor-Witt K-理论的识别，应用同构$π_{n,n}\mathbf{1}[1/\eta] \cong W(F)$，即基域的Witt环。

实验结果

研究问题

• RQ1 在特征不为二的域上，$η$-反演球面谱在度数1与2上的同伦群是否为平凡？
• RQ2 能否通过连通Witt理论与分层过滤实现$π_{n+3,n}\mathbf{1}[1/\eta]$的整数计算？
• RQ3 映射$ι[1/\eta] \to \mathsf{cKW}$的连通性如何导致低度同伦群的零化？
• RQ4 动机Adams谱序列在$Χ$与$Σ$上的结果在多大程度上允许对$π_{n+1,n}\mathbf{1}[1/\eta]$进行整数计算？
• RQ5 在动机设定下，连通实K-理论的拓扑结果能否被转移到连通Witt理论？

主要发现

• 在任意特征不为二的域上，对所有整数$n$，同伦群$π_{n+1,n}\mathbf{1}[1/\eta]$与$π_{n+2,n}\mathbf{1}[1/\eta]$均恒为零。
• 映射$ι[1/\eta] \to \mathsf{cKW}$是2-连通的，且分解中的第二条映射$ι[1/\eta] \to \mathsf{cKW} \to \mathsf{cKW} \wedge \mathsf{cKW}$也是2-连通的，这表明相关同伦层的零化。
• 对所有$n \geq 5$与$k \geq 1$，自然映射$π_{n+3,n}\mathsf{sc}\mathbf{1} \to \u03c0_{n+3,n}\mathsf{sc}\mathbf{1}/2^k$是满射，从而导致$\lim^1$项的零化，因此2-完备化同伦群为零。
• 同构$π_{n+1,n}\mathbf{1}^\wedge_2 \cong \lim_k \pi_{n+1,n}(\mathsf{sc}\mathbf{1})/2^k$成立，且当$n \geq 5$时，$π_{n+2,n}\mathsf{sc}\mathbf{1}$的零化意味着$π_{n+1,n}\mathbf{1}^\wedge_2 = 0$，这有助于推导出整数系数下的零化。
• 对于复数域，通过从$π_{3,0}\mathbf{1}[1/\eta]$中的生成元附着4-胞腔，获得了连通Witt理论的完整且简洁的胞腔表示，尽管此表示未用于主证明中。
• 通过结合2-完备化与2-挠分析（利用Milnor的正合序列），$π_{n+1,n}\mathbf{1}[1/\eta]$与$π_{n+2,n}\mathbf{1}[1/\eta]$的零化在整数系数下成立，而不仅限于2-反演之后。