[논문 리뷰] Idempotents, Localizations and Picard groups of A(1)-modules

Robert Bruner|arXiv (Cornell University)|2012. 11. 01.

Homotopy and Cohomology in Algebraic Topology참고 문헌 10인용 수 3

한 줄 요약

이 논문은 마고리스 국소화와 주기성을 이용하여 $Δ(1)$-모듈러스 위의 다항식환의 안정적 동형 타입을 분석한다. 모든 유계 아래 $Δ(1)$-모듈러스가 $Q_0$- 및 $Q_1$-국소 성분으로 유일하게 분해됨을 보이고, 국소 부분분류의 피카르 군을 완전히 규명하여, 안정적으로 아이드מפ로텐트인 $Δ(1)$-모듈러스는 이러한 국소화로부터 유도되는 것들뿐임을 증명한다.

ABSTRACT

We analyze the stable isomorphism type of polynomial rings on degree 1 generators as modules over the sub-algebra A(1) = of the mod 2 Steenrod algebra. Since their augmentation ideals are Q_1-local, we do this by studying the Q_i-local subcategories and the associated Margolis localizations. The periodicity exhibited by such modules reduces the calculation to one that is finite. We show that these are the only localizations which preserve tensor products, by first computing the Picard groups of these subcategories and using them to determine all idempotents in the stable category of bounded-below A(1)-modules. We show that the Picard groups of the whole category are detected in the local Picard groups, and show that every bounded-below A(1) -module is uniquely expressible as an extension of a Q_0-local module by a Q_1-local module, up to stable equivalence. Applications include correct, complete proofs of Ossa's theorem, applications to Powell's work describing connective K-theory of classifying spaces of elementary abelian groups in functorial terms, and Ault's work on the hit problem.

연구 동기 및 목표

• 다항식환의 차수 1 생성자를 갖는 $Δ(1)$-모듈러스로서의 안정적 동형 타입을 체계적으로 분석하는 것.
• 특정 $Q_i$-국소 부분분류와 그에 관련된 마고리스 국소화가 $Δ(1)$-모듈러스 분해에 어떻게 기여하는지 이해하는 것.
• 모든 안정적으로 아이드مف로텐트인 $Δ(1)$-모듈러스를 분류하고, 어떤 국소화가 텐서곱을 유지하는지 규명하는 것.
• $Q_i$-국소 부분분류의 피카르 군을 계산하고, 전역 피카르 군이 국소 피카르 군들에 의해 감지됨을 보이는 것.
• 유계 아래 $Δ(1)$-모듈러스가 안정 동치에 대해 $Q_0$-국소 및 $Q_1$-국소 합성원으로 유일하게 분해됨을 확립하는 것.

제안 방법

• $Q_0$-국소 및 $Q_1$-국소 모듈러스에서의 주기성: $Q_0$-국소 모듈러스 $M$에 대해 $ΩM \simeq \Sigma M$, $Q_1$-국소 모듈러스 $M$에 대해 $\u03a9^4M \simeq \Sigma^{12}M$.
• $H^*BC_2$와 그 스위프트의 $Q_0$- 및 $Q_1$-국소 대표자로 모듈러스 $R$와 $P_0$를 도입.
• 비분열 삼각형 $\Sigma R \xrightarrow{\epsilon} \mathbf{F}_2 \xrightarrow{\eta} P_0$를 증명하여 $\mathbf{L}_0\mathbf{F}_2 \simeq \Sigma R$ 및 $\mathbf{L}_1\mathbf{F}_2 \simeq P_0$임을 보임.
• 주기성을 통해 텐서 거듭제곱 $P^{igotimes n}$의 연구를 유한한 경우로 축소하고, 명시적 안정 동치를 사용.
• $Q_i$-국소 부분분류의 피카르 군을 계산: $\operatorname{Pic}^{(0)}(\mathcal{A}(1)) = \mathbb{Z}$, $\operatorname{Pic}^{(1)}(\mathcal{A}(1)) = \mathbb{Z} \oplus \mathbb{Z}/(4)$.
• 국소화 사상 $\operatorname{Pic} \to \operatorname{Pic}^{(0)} \oplus \operatorname{Pic}^{(1)}$를 사용하여 이것이 단사임을 보이고, 전역 피카르 군이 국소 피카르 군들에 의해 완전히 감지됨을 증명함.

실험 결과

연구 질문

• RQ1 어떤 $Δ(1)$-모듈러스가 안정적으로 아이드مف로텐트인가, 즉 $I \otimes I \simeq I$를 만족하는가?
• RQ2 $Δ(1)$-모듈러스의 $Q_i$-국소 부분분류가 텐서곱과 주기성에 대해 어떻게 행동하는가?
• RQ3 유계 아래 $Δ(1)$-모듈러스의 카테고리의 피카르 군의 구조는 무엇인가?
• RQ4 모든 유계 아래 $Δ(1)$-모듈러스는 안정 동치에 대해 $Q_0$-국소 및 $Q_1$-국소 성분으로 유일하게 분해될 수 있는가?
• RQ5 마고리스 국소화 $\mathbf{L}_i\mathbf{F}_2$는 안정 카테고리에서 텐서곱을 유지하는 유일한 국소화인가?

주요 결과

• 유일하게 안정적으로 아이드مف로텐트인 유계 아래 $Δ(1)$-모듈러스는 $\mathbf{L}_0\mathbf{F}_2 \simeq \Sigma R$ 및 $\mathbf{L}_1\mathbf{F}_2 \simeq P_0$의 스위프트와 루프와 동형인 것들뿐이며, 이는 정리 10.1에서 보여진다.
• $Δ(1)$-모듈러스의 유계 아래 $Q_0$-국소 부분분류의 피카르 군은 $\mathbb{Z}$이며, $Q_1$-국소 부분분류의 피카르 군은 $\mathbb{Z} \oplus \mathbb{Z}/(4)$이다. 이 군의 토크션 부분은 네 배 주기성에서 기인한다.
• 모든 유계 아래 $Δ(1)$-모듈러스는 안정 동치에 대해 $Q_0$-국소 모듈러스에 대한 $Q_1$-국소 모듈러스의 확장으로 유일하게 표현될 수 있다.
• $\operatorname{Pic}(\mathcal{A}(1)) \to \operatorname{Pic}^{(0)} \oplus \operatorname{Pic}^{(1)}$의 국소화 사상은 단사이며, 이는 전역 피카르 군이 국소 피카르 군들에 의해 완전히 감지됨을 보여준다.
• $H^*BC_2$의 텐서 거듭제곱은 그 대수적 루프와 안정 동치이며, 네 배 주기성을 보인다: $I = H^*BC_2$에 대해 $(\Omega I)^{\otimes n} \simeq \Omega^n I$.
• $P^{\otimes n}$의 자유 합성원은 힐버트 급수를 통해 완전히 묘사된다: $H(F_n) = H(\mathcal{A}(1)) \cdot \frac{t^n(1 - t^n(1-t)^{n-1}Q_n(t))}{(1-t)^{n-1}(1-t^4)(1+t^3)}$, $Q_n(t)$는 모듈로 4에 대해 명시적인 공식을 가진다.