[论文解读] On Peterson's open problem and representations of the general linear groups

Đặng Võ Phúc|arXiv (Cornell University)|Jul 20, 2019

Homotopy and Cohomology in Algebraic Topology参考文献 48被引用 31

一句话总结

该论文解决了五变量在通用次数 $ n = 5(2^t - 1) + 8 olimits \cdot 2^t $ 下的 Peterson 击中问题，为共击空间 $ QP_5 = \mathbb{Z}/2 \otimes_{A_2} P_5 $ 提供了显式基，并证明了秩为 5 的 Singer 代数转移在双次数 $ (5, 5 + (13 \cdot 2^0 - 5)) $ 和 $ (5, 5 + (13 \cdot 2^1 - 5)) $ 下是同构。该解依赖于 Kameko 的平方运算和 Singer 的判别准则，通过计算代数技术显式计算了次数 8、21、22 和 47 的单项式生成元。

ABSTRACT

Fix $\mathbb Z/2$ is the prime field of two elements and write $\mathcal A_2$ for the mod $2$ Steenrod algebra. Denote by $GL_d:= GL(d, \mathbb Z/2)$ the general linear group of rank $d$ over $\mathbb Z/2$ and by $\mathscr P_d$ the polynomial algebra $\mathbb Z/2[x_1, x_2, \ldots, x_d]$ as a connected unstable $\mathcal A_2$-module on $d$ generators of degree one. We study the Peterson "hit problem" of finding the minimal set of $\mathcal A_2$-generators for $\mathscr P_d.$ It is equivalent to determining a $\mathbb Z/2$-basis for the space of "cohits" $Q\mathscr P_d := \mathbb Z/2\otimes_{\mathcal A_2} \mathscr P_d \cong \mathscr P_d/\mathcal A_2^+\mathscr P_d.$ This $Q\mathscr P_d$ is also a representation of $GL_d$ over $\mathbb Z/2.$ The problem for $d= 5$ is not yet completely solved, and unknown in general. In this work, we give an explicit solution to the hit problem of five variables in the generic degree $n = r(2^t -1) + 2^ts$ with $r = d = 5,\ s =8$ and $t$ an arbitrary non-negative integer. An application of this study to the cases $t = 0$ and $t = 1$ shows that the Singer algebraic transfer of rank $5$ is an isomorphism in the bidegrees $(5, 5+(13.2^{0} - 5))$ and $(5, 5+(13.2^{1} - 5)).$ Moreover, the result when $t\geq 2$ was also discussed. Here, the Singer transfer of rank $d$ is a $\mathbb Z/2$-algebra homomorphism from $GL_d$-coinvariants of certain subspaces of $Q\mathscr P_d$ to the cohomology groups of the Steenrod algebra, ${ m Ext}_{\mathcal A_2}^{d, d+*}(\mathbb Z/2, \mathbb Z/2).$ It is one of the useful tools for studying mysterious Ext groups and the Kervaire invariant one problem.

研究动机与目标

• 为多项式代数 $ P_5 = \mathbb{Z}/2[x_1, x_2, x_3, x_4, x_5] $ 在通用次数 $ n = 5(2^t - 1) + 8 \cdot 2^t $（其中 $ t \geq 0 $）下求解 Peterson 击中问题，通过确定 $ A_2 $-生成元的最小集合。
• 将共击空间 $ QP_5 = \mathbb{Z}/2 \otimes_{A_2} P_5 $ 计算为 $ GL_5(\mathbb{Z}/2) $ 的表示，特别关注 $ GL_5 $-不变子空间 $ (QP_5)^{GL_5} $。
• 验证秩为 5 的 Singer 代数转移在双次数 $ (5, 13) $ 和 $ (5, 21) $ 下为同构，将击中问题与 Adams 族谱序列中的 Ext 群联系起来。
• 通过 $ A_2 $-模结构和 $ A_2 $-代数作用，显式计算 $ P_5 $ 在次数 8、21、22 和 47 的单项式生成元。
• 将解扩展至更高 $ t \geq 2 $，分析通用次数 $ 5(2^t - 1) + 8 \cdot 2^t $ 下 $ QP_5 $ 的结构。

提出的方法

• 论文应用 Kameko 的平方运算分析 $ P_5 $ 的 $ A_2 $-模结构，识别可分解元素并分离出商空间 $ QP_5 $ 中的最小生成集。
• 利用 Singer 的 $ A_2 $-可分解性判别准则，确定 $ P_5 $ 中哪些单项式不在 Steenrod 运算的像中，从而构成 $ QP_5 $ 基的一部分。
• 通过分析 $ GL_5 $ 在 $ QP_5 $ 的单项式基上的作用，特别是次数 8、21、22 和 47 的情形，计算 $ GL_5 $-不变子空间 $ (QP_5)^{GL_5} $。
• 对于 Singer 转移，论文利用某些 $ QP_d $ 子空间的 $ GL_d $-余不变量与 $ A_2 $-上同调代数 $ \mathrm{Ext}^{d,*}_{A_2}(\mathbb{Z}/2, \mathbb{Z}/2) $ 之间的同构关系，验证了在双次数 $ (5, 13) $ 和 $ (5, 21) $ 下的同构性。
• 在次数 8、21、22 和 47 下计算单项式基，依赖于可接受单项式和 $ A_2 $-作用，显式枚举了 $ B_5^+(\omega(4)) $ 和 $ B_5^+(\omega(5)) $ 中的 109、15 和 109 个单项式。
• 该方法涉及 Steenrod 运算的递归应用，以及 Kameko 和 Kuhn 族谱序列的使用，以剔除可分解元素并分离出 $ QP_5 $ 中的最小生成集。

实验结果

研究问题

• RQ1 在通用次数 $ n = 5(2^t - 1) + 8 \cdot 2^t $ 下，$ P_5 $ 的 $ A_2 $-生成元的最小集合是什么？
• RQ2 秩为 5 的 Singer 代数转移在双次数 $ (5, 13) $ 和 $ (5, 21) $ 下是否为同构？
• RQ3 $ GL_5 $-不变子空间 $ (QP_5)^{GL_5} $ 的维数和结构是什么？
• RQ4 在次数 47 下，$ A_2 $-生成元如何在 $ GL_5 $ 作用下分解？
• RQ5 $ B_5^+(\omega(4)) $ 和 $ B_5^+(\omega(5)) $ 单项式集在确定 $ QP_5 $ 基中起什么作用？

主要发现

• 论文在次数 47 下为 $ QP_5 $ 提供了 109 个单项式的显式基，对应于集合 $ B_5^+(\omega(4)) $，这些是通用次数 $ 5(2^2 - 1) + 8 \cdot 2^2 = 47 $ 下的 $ A_2 $-生成元。
• $ GL_5 $-不变子空间 $ (QP_5)^{GL_5} $ 在次数 8 下维数为 1，其基由单项式 $ Y_8,1 = x_1x_2x_3x_4x_5 $ 构成。
• 在次数 21 下，$ GL_5 $-不变子空间 $ (QP_5)^{GL_5} $ 维数为 1，由单项式 $ Y_{21,1} = x_1x_2x_3x_4x_5 $ 张成。
• Singer 代数转移在双次数 $ (5, 13) $ 和 $ (5, 21) $ 下为同构，这通过 $ (QP_5)^{GL_5} $ 的计算和上同调群 $ \mathrm{Ext}^{5,*}_{A_2}(\mathbb{Z}/2, \mathbb{Z}/2) $ 的结构得到确认。
• 论文计算了 $ B_5^+(\omega(5)) $ 中的 15 个单项式，它们构成了 $ QP_5 $ 在次数 47 下的基，特别属于 $ GL_5 $-轨道中最高权的那部分。
• 对于 $ t \geq 2 $，通过 $ A_2 $-模结构和 $ GL_5 $ 的作用分析了 $ QP_5 $ 在次数 $ 5(2^t - 1) + 8 \cdot 2^t $ 下的结构，基通过递归应用 Steenrod 运算和 Kameko 的平方运算构建。