[论文解读] On the lambda algebra and Singer's cohomological transfer

Đặng Võ Phúc|arXiv (Cornell University)|Oct 2, 2021

Homotopy and Cohomology in Algebraic Topology参考文献 19被引用 4

一句话总结

该论文通过使用 lambda 代数和击中问题计算上同调，验证了在特定次数下，Singer 的代数转移猜想在秩 4 和 5 时成立。它证明了在双次数 (4, 4 + d_{t,s,u}) 下转移是同构，在 (5, 5 + d_t) 下为平凡（因此同构），通过显式计算和 MAGMA 验证支持了这些情况下的猜想。

ABSTRACT

Writing $\mathbb A$ for the 2-primary Steenrod algebra, which is the algebra of stable natural endomorphisms of the mod 2 cohomology functor on topological spaces. Working at the prime 2, computing the cohomology of $\mathbb A$ is an important problem of Algebraic topology, because it is the initial page of the Adams spectral sequence converging to stable homotopy groups of the spheres. A relatively efficient tool to describe this cohomology is the Singer algebraic transfer of rank $n$ in [Math. Z. 202 (1989), 493-523], which passes from a certain subquotient of a divided power algebra to the cohomology of $\mathbb A.$ Singer predicted that this transfer is a monomorphism, but this remains open for $n\geq 4.$ This short note is to verify the conjecture in the ranks 4 and 5 and some generic degrees.

研究动机与目标

• 研究 Singer 的猜想，即代数转移在 2-Primary 斯廷罗德代数上同调中是单射。
• 使用 lambda 代数和击中问题计算斯廷罗德代数在特定双次数下的上同调。
• 在一般次数下验证秩 4 和 5 时代数转移的单射性。
• 确认在某些次数下，$\mathbb{Z}/2 \otimes_{GL_n} P_\mathbb{A} H_*(V^{\oplus n})$ 的余不变空间为平凡，从而表明转移为平凡或同构。

提出的方法

• 使用 $\mathbb{Z}/2 \otimes_\mathbb{A} H^*(V^{\oplus n})$ 中不可约元素的单项式基，计算 $n=4,5$ 时的 $GL_n$-余不变空间 $\mathbb{Z}/2 \otimes_{GL_n} P_\mathbb{A} H_*(V^{\oplus n})$。
• 应用迭代的 Kameko 平方运算，并结合 Mothebe-Uys、Tín 和 Sum 的结果，分析 $H^*(V^{\oplus n})$ 在相关次数下的结构。
• 使用 lambda 代数表示转移映射的像，并识别对应于 $\mathrm{Ext}_\mathbb{A}^{n,n+*}(\mathbb{Z}/2,\mathbb{Z}/2)$ 中元素的循环。
• 使用 MAGMA 计算代数系统验证计算过程，并确认 Sum 在 $n=5$ 时对 $\mathbb{A}$-生成元的猜想。
• 依赖 Lin (1980) 的已知结果，确定 $\mathrm{Ext}_\mathbb{A}^{n,n+*}(\mathbb{Z}/2,\mathbb{Z}/2)$ 在目标次数下的结构。
• 通过显式识别转移像为 $h_0 c_t$、$h_u c_0$ 和 $h_0 h_t h_{s+t} h_{s+t+u}$，在 Adams 族谱的 $E_2$-项中建立同构。

实验结果

研究问题

• RQ1 在双次数 $(4, 4 + d_{t,s,u})$ 下，代数转移 $\phi_n^*(\mathbb{Z}/2)$ 对于 $n=4$ 是否为单射？
• RQ2 在双次数 $(5, 5 + d_t)$ 下，$d_t = 5(2^t - 1) + 50 \cdot 2^t$ 时，转移 $\phi_5^*(\mathbb{Z}/2)$ 是否保持平凡或同构？
• RQ3 能否使用击中问题和 Kameko 运算，显式计算 $n=4,5$ 时在一般次数下 $\mathbb{Z}/2 \otimes_{GL_n} P_\mathbb{A} H_*(V^{\oplus n})$ 的结构？
• RQ4 转移像的 lambda 代数表示在多大程度上确认了 Adams 族谱中永久循环的猜想形式？
• RQ5 对于 $n=5$，余不变空间的平凡性是否意味着在这些次数下转移为平凡或同构？

主要发现

• 在所有 $t, s, u \geq 1$ 时，代数转移 $\phi_4^*(\mathbb{Z}/2)$ 在双次数 $(4, 4 + d_{t,s,u})$ 下为同构，通过显式识别其像为 $\mathrm{Ext}_\mathbb{A}^{4,4+d_{t,s,u}}(\mathbb{Z}/2,\mathbb{Z}/2)$ 中的 $h_0 h_t h_{s+t} h_{s+t+u}$ 得到证明。
• 转移 $\phi_4^*(\mathbb{Z}/2)$ 将 $GL_4$-余不变类 $[\zeta_{t,1,2}]$、$[\zeta_{1,2,u}]$ 和 $[\zeta_{t,s,u}]$ 分别映射为 $h_0 c_t$、$h_u c_0$ 和 $h_0 h_t h_{s+t} h_{s+t+u}$，确认了其非平凡性。
• 对于 $n=5$，在次数 $d_t = 5(2^t - 1) + 50 \cdot 2^t$ 下，余不变空间 $\mathbb{Z}/2 \otimes_{GL_5} P_\mathbb{A} H_{d_t}(V^{\oplus 5})$ 为平凡，意味着转移在这些双次数下为平凡。
• $\mathrm{Ext}_\mathbb{A}^{5,5+d_t}(\mathbb{Z}/2,\mathbb{Z}/2)$ 对所有 $t \geq 0$ 为平凡，确认了在这些双次数下转移为平凡（因此同构）。
• 计算结果确认了 Sum 在相关次数下对 $H^*(V^{\oplus 5})$ 的 $\mathbb{A}$-生成元的猜想，支持了该方法的有效性。
• MAGMA 的使用验证了线性代数计算，增强了对 $n=5$ 时结果的信心。