[論文レビュー] 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 cdot 2^t $ の一般度において5変数の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.

研究の動機と目的

• 一般度 $ n = 5(2^t - 1) + 8 \cdot 2^t $（$ t \geq 0 $）における多項式代数 $ P_5 = \mathbb{Z}/2[x_1, x_2, x_3, x_4, x_5] $ におけるPetersonのヒット問題を、最小の $ A_2 $-生成子集合を特定することによって解く。
• 空間 $ QP_5 = \mathbb{Z}/2 \otimes_{A_2} P_5 $ を $ GL_5(\mathbb{Z}/2) $ の表現として計算し、特に $ GL_5 $-不変部分空間 $ (QP_5)^{GL_5} $ に注目する。
• Singer代数的転送のランク5が二重次数 $ (5, 13) $ および $ (5, 21) $ で同型であることを検証し、ヒット問題とAdamsスペクトル系列におけるExt群を結びつける。
• 単項式生成子を明示的に計算し、度数8、21、22、47における $ P_5 $ の基底を $ A_2 $-加群構造とスティーナロード代数の作用を用いて得る。
• 度数 $ 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 $ のどの単項式がスティーナロード作用素の像に属さないかを特定することで、$ QP_5 $ の基底を構成する。
• $ GL_5 $ が $ QP_5 $ の単項式基底に作用する様子を分析し、特に度数8、21、22、47における $ GL_5 $-不変部分空間 $ (QP_5)^{GL_5} $ を計算する。
• Singer転送に関しては、特定の $ QP_d $ の部分空間の $ GL_d $-余不変量と、スティーナロード代数のコホモロジー $ \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個の単項式を明示的に列挙する。
• この手法には、スティーナロード作用素の再帰的適用と、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 $ の基底を決定する上で果たす役割は何か？

主な発見

• 論文は、一般度 $ 5(2^2 - 1) + 8 \cdot 2^2 = 47 $ における $ QP_5 $ の度数47において、109個の単項式からなる明示的基底を提供し、これは集合 $ B_5^+(\omega(4)) $ に対応する。これらは $ 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は、二重次数 $ (5, 13) $ および $ (5, 21) $ で同型であることが、$ (QP_5)^{GL_5} $ の計算とコホモロジー群 $ \mathrm{Ext}^{5,*}_{A_2}(\mathbb{Z}/2, \mathbb{Z}/2) $ の構造によって確認された。
• 論文は、$ B_5^+(\omega(5)) $ に属する15個の単項式を計算し、これらは度数47における $ QP_5 $ の基底をなす。特に、最高重量の $ GL_5 $-軌道に属する。
• $ t \geq 2 $ に対して、度数 $ 5(2^t - 1) + 8 \cdot 2^t $ における $ QP_5 $ の構造は、$ A_2 $-加群構造と $ GL_5 $ の作用を用いて解析され、再帰的スティーナロード作用素の適用とKamekoの平方作用素を用いて基底が構成された。