[논문 리뷰] On Peterson's open problem and representations of the general linear groups

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

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.

연구 동기 및 목표

• 일반적인 차수 $ n = 5(2^t - 1) + 8 \cdot 2^t $ 에서 다항식 대수 $ P_5 = \mathbb{Z}/2[x_1, x_2, x_3, x_4, x_5] $ 에 대해 $ A_2 $-생성자들의 최소 집합을 결정함으로써, Peterson의 히트 문제를 해결한다.
• 공히트 공간 $ 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 군과 연결된다.
• 다항식 대수 $ P_5 $ 에 대해 차수 8, 21, 22, 47에서 명시적인 단항식 생성자를 $ A_2 $-모듈 구조와 스틴로드 대수의 작용을 이용하여 제공한다.
• 차수 $ t \geq 2 $ 에 대해 더 높은 수준으로 확장하여, 일반적인 차수 $ 5(2^t - 1) + 8 \cdot 2^t $ 에서 $ QP_5 $ 의 구조를 분석한다.

제안 방법

• 논문은 $ P_5 $ 의 $ A_2 $-모듈 구조를 분석하기 위해 Kameko의 제곱 연산을 적용하여, 분해 가능 원소를 식별하고, 몫 $ QP_5 $ 에서 최소 생성자 집합을 분리한다.
• 논문은 $ A_2 $-분해 가능성에 대한 Singer의 기준을 사용하여, $ P_5 $ 의 단항식 중 스틴로드 연산의 상에 속하지 않는 것들, 즉 $ QP_5 $ 의 기저에 속하는 것을 식별한다.
• 논문은 $ GL_5 $ 가 $ QP_5 $ 의 단항식 기저 위에 작용하는 방식을 분석하여 $ GL_5 $-불변 부분공간 $ (QP_5)^{GL_5} $ 을 계산하며, 특히 차수 8, 21, 22, 47에서 이를 다룬다.
• Singer 전이에 대해, 특정 $ QP_d $ 부분공간의 $ GL_d $-코인variants와 스틴로드 대수의 코homology $ \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) $ 의 코homology 군의 구조에 의해 확인되었다.
• 논문은 $ 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의 제곱 연산을 통해 기저가 구성되었다.