[論文レビュー] 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

ひとこと要約

この論文は、λ代数とヒット問題を用いたコホモロジー計算を通じて、特定の次数におけるランク4および5のSingerの代数的転送に関する予想を検証している。転送が双次数 (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.

研究の動機と目的

• 2次元プライマリのスティーナロード代数のコホモロジーにおける代数的転送がモノモーフィズムであるというSingerの予想を調査すること。
• λ代数とヒット問題を用いて、特定の双次数におけるスティーナロード代数のコホモロジーを計算すること。
• 一般次数におけるランク4および5の代数的転送の単射性を検証すること。
• 特定の次数における$\mathbb{Z}/2 \otimes_{GL_n} P_\mathbb{A} H_*(V^{\oplus n})$の余不変空間の自明性を確認し、転送が自明または同型であることを示すこと。

提案手法

• $n=4,5$ に対して、$\mathbb{Z}/2 \otimes_{GL_n} P_\mathbb{A} H_*(V^{\oplus n})$ の $GL_n$-余不変空間を、$\mathbb{Z}/2 \otimes_\mathbb{A} H^*(V^{\oplus n})$ の分解不能元の単項式基底を用いて計算する。
• 繰り返し適用するKamekoの平方作用素と、Mothébe-Uys, Tín, Sumの結果を用いて、$H^*(V^{\oplus n})$ の関連次数における構造を分析する。
• 転送写像の像を表現し、$\mathrm{Ext}_\mathbb{A}^{n,n+*}(\mathbb{Z}/2,\mathbb{Z}/2)$ の元に対応するサイクルを特定するためにλ代数を用いる。
• MAGMAコンピュータ代数系を用いて計算を検証し、$n=5$ におけるSumの$\mathbb{A}$-生成元に関する予想を確認する。
• Lin (1980) の既知の結果 $\mathrm{Ext}_\mathbb{A}^{n,n+*}(\mathbb{Z}/2,\mathbb{Z}/2)$ を用いて、ターゲット次数におけるコホモロジーの構造を特定する。
• アダムズスペクトル系列の$E_2$項における、$h_0 c_t$、$h_u c_0$、および$h_0 h_t h_{s+t} h_{s+t+u}$ としての転送像の明示的同定を通じて、同型を確立する。

実験結果

リサーチクエスチョン

• RQ1 双次数 $(4, 4 + d_{t,s,u})$ において、$n=4$ の代数的転送 $\phi_n^*(\mathbb{Z}/2)$ は単射か？
• 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 転送像のλ代数表現が、アダムズスペクトル系列における永久サイクルの予想される形をどの程度確認できるか？
• RQ5 $n=5$ における余不変空間の自明性は、その次数における転送が自明または同型であることを示唆するか？

主な発見

• すべての $t, s, u \geq 1$ に対して、双次数 $(4, 4 + d_{t,s,u})$ において代数的転送 $\phi_4^*(\mathbb{Z}/2)$ が同型であることが、$\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})$ は自明である。これは、その双次数において転送が自明であることを示唆する。
• すべての $t \geq 0$ に対して、コホモロジー群 $\mathrm{Ext}_\mathbb{A}^{5,5+d_t}(\mathbb{Z}/2,\mathbb{Z}/2)$ は自明である。これは、その双次数において転送が自明（したがって同型）であることを確認する。
• 計算結果は、$H^*(V^{\oplus 5})$ の関連次数におけるSumの$\mathbb{A}$-生成元に関する予想を支持しており、手法の妥当性を裏付けている。
• MAGMAを用いた計算検証により、線形代数的計算の正確性が確認され、$n=5$ における結果の信頼性が向上した。