[논문 리뷰] On the lambda algebra and Singer's cohomological transfer

Đặng Võ Phúc|arXiv (Cornell University)|2021. 10. 02.

Homotopy and Cohomology in Algebraic Topology참고 문헌 19인용 수 4

한 줄 요약

이 논문은 라마르 알지브라와 히트 문제를 통한 코homology 계산을 통해 순수도 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.

연구 동기 및 목표

• 2-primary 스틴로드 대칭대수의 코homology에서 대칭 전이가 단사임을 추측하는 싱거의 추측을 조사한다.
• 라마르 알지브라와 히트 문제를 이용하여 특정 이중차수에서 스틴로드 대칭대수의 코homology를 계산한다.
• 일반 차수에서 순수도 4와 5에 대해 대칭 전이의 단사성을 검증한다.
• 일부 차수에서 $\mathbb{Z}/2 \otimes_{GL_n} P_\mathbb{A} H_*(V^{\oplus n})$ 의 코인variant 공간의 자명성을 확인함으로써 전이가 자명하거나 동형임을 암시한다.

제안 방법

• 순수도 4와 5에 대해 $\mathbb{Z}/2 \otimes_{GL_n} P_\mathbb{A} H_*(V^{\oplus n})$ 의 $GL_n$-코인variant 공간을 계산하며, $\mathbb{Z}/2 \otimes_\mathbb{A} H^*(V^{\oplus n})$ 의 분해 불가능 원소의 단항식 기저를 사용한다.
• 반복적 케이메코 제곱 연산과 모테베-우이즈, 틴, 수움의 결과를 적용하여 $H^*(V^{\oplus n})$ 의 관련 차수에서의 구조를 분석한다.
• 라마르 알지브라를 사용하여 전이 사상의 이미지를 표현하고, $\mathrm{Ext}_\mathbb{A}^{n,n+*}(\mathbb{Z}/2,\mathbb{Z}/2)$ 의 원소에 해당하는 사이클을 식별한다.
• MAGMA 컴퓨터 대수계산기를 사용하여 계산을 검증하고, $n=5$ 에서 $\mathbb{A}$-생성자에 대한 수움의 추측을 확인한다.
• 목표 차수에서 코homology의 구조를 결정하기 위해 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, 4 + d_{t,s,u})$ 에서 대칭 전이 $\phi_n^*(\mathbb{Z}/2)$ 가 단사인가?
• RQ2 순수도 5에 대해 이중차수 $(5, 5 + d_t)$ 에서 전이 $\phi_5^*(\mathbb{Z}/2)$ 가 자명하거나 동형인지 유지되는가? ($d_t = 5(2^t - 1) + 50 \cdot 2^t$)
• RQ3 히트 문제와 케이메코의 연산을 사용하여 일반 차수에서 순수도 4와 5에 대해 $\mathbb{Z}/2 \otimes_{GL_n} P_\mathbb{A} H_*(V^{\oplus n})$ 의 구조를 명시적으로 계산할 수 있는가?
• RQ4 전이 이미지의 라마르 알지브라 표현이 아담스 스펙트럴 시리즈에서의 영구 사이클의 추측된 형태를 얼마나 잘 확인하는가?
• RQ5 순수도 5에 대해 코인variant 공간의 자명성이 그 차수에서 전이가 자명하거나 동형임을 암시하는가?

주요 결과

• 모든 $t, s, u \geq 1$ 에 대해, $\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)$ 는 이중차수 $(4, 4 + d_{t,s,u})$ 에서 동형사상임을 증명한다.
• $\phi_4^*(\mathbb{Z}/2)$ 는 $GL_4$-코인variant 클래스 $[\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}$ 로 매핑하며, 이는 비자명성을 확인한다.
• 순수도 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})$ 의 코인variant 공간은 자명하며, 이는 해당 이중차수에서 전이가 자명함을 암시한다.
• $\mathrm{Ext}_\mathbb{A}^{5,5+d_t}(\mathbb{Z}/2,\mathbb{Z}/2)$ 는 모든 $t \geq 0$ 에 대해 자명하며, 이는 해당 이중차수에서 전이가 자명함(따라서 동형임)을 확인한다.
• 계산 결과는 $H^*(V^{\oplus 5})$ 의 관련 차수에서 $\mathbb{A}$-생성자에 대한 수움의 추측을 확인하며, 방법의 타당성을 지지한다.
• MAGMA를 통한 계산 검증은 $n=5$ 에서의 결과에 대한 신뢰도를 높였다.