[논문 리뷰] An Atiyah-Hirzebruch spectral sequence for KR-theory

Daniel Dugger|ArXiv.org|2003. 04. 07.

Advanced Algebra and Geometry참고 문헌 5인용 수 6

한 줄 요약

이 논문은 Z/2-등변 호모토피 이론의 맥락에서 KR-이론에 대한 Atiyah-Hirzebruch 스펙트럴 시퀀스를 구성한다. 이는 Z×BU 스펙트럼 위에 티oned Postnikov 단층 함수를 사용하여, 등변 Eilenberg-MacLane 공간들로 이루어진 단층을 구축함으로써 이루어지며, 핵심 결과는 RO(G)-등급 Eilenberg-MacLane 코homology와 일정한 Z 계수를 갖는 E2-페이지를 가진 스펙트럴 시퀀스로서, 등변 K-이론에 대한 모티브-유사 프레임워크를 확립한다.

ABSTRACT

We construct a spectral sequence for computing KR-theory, analogous to the spectral sequence relating motivic cohomology to algebraic K-theory.

연구 동기 및 목표

• Z/2-등변 호모토피 이론의 맥락에서 대수적 K-이론에 대한 모티브-유사 Atiyah-Hirzebruch 스펙트럴 시퀀스의 등변 유사체를 개발하기 위해.
• RO(G)-등급 Eilenberg-MacLane 코homology와 일정한 매크리 함수 계수를 갖는 KR-이론과 관련된 스펙트럴 시퀀스를 구성하기 위해.
• 모티브-유사 호모토피 이론에 적응될 수 있는 잠재적인 프레임워크를 제공하기 위해.
• 스펙트럴 시퀀스의 E2-페이지를 결정하기 위해 étale 코hom올로지 군 H_et^{p,q}(pt) 및 H_et^{p,q}(Z/2)을 계산하기 위해.
• H^{0,*}_et(pt)에 존재하는 링의 구조를 확립하고, 비등변 및 등변 코hom올로지에서 알려진 구조들과 비교하기 위해.

제안 방법

• Z/2-등변 스펙트럼 Z×BU 위에 필터링을 구성하기 위해 왜곡된 Postnikov 단층 함수를 사용하며, 이는 등변 Eilenberg-MacLane 공간들로 이루어진 층들로 분해된다.
• 모티브-유사 호모토피 이론의 관례에 따라, 구체적인 구조를 갖는 구체적 인덱싱 방식인 (p+q,q)를 사용하여 구체적인 구조를 갖는 구체적 인덱싱 방식을 사용한다.
• 스펙트럼 HZ를 자유 아벨 군으로서 S^{2n,n} 위에 구성하며, S^{2,1} 작용에 의해 유도된 구조 사상들을 포함한다.
• S^{0,0} → S^{1,1} → Z/2_+ ∧ S^{1,0}과 같은 코프라이어 시퀀스를 사용하여 다양한 차수에서 코homology 군을 계산한다.
• S^1_a 및 E(Z/2)를 포함하는 코프라이어 시퀀스를 사용하여 몰수 코hom올로지 군을 계산하고, 이를 통해 étale 코hom올로지 군을 유도한다.
• 스펙트럴 시퀀스를 모티브-유사 경우와 비교하고, 안정화를 적용하여 전체 스펙트럴 시퀀스의 구축을 완료한다.

실험 결과

연구 질문

• RQ1 Z/2-등변 맥락에서 KR-이론에 대한 Atiyah-Hirzebruch 스펙트럴 시퀀스의 구조는 어떠한가?
• RQ2 왜곡된 Postnikov 단층 함수는 어떻게 Z×BU 스펙트럼에서 KR-이론으로의 스펙트럴 시퀀스를 구성하는 데 사용될 수 있는가?
• RQ3 상수 매크리 함수 Z에 대해 RO(G)-등급 Eilenberg-MacLane 코hom올로지 군 H^{p,q}(pt; Z)는 무엇인가?
• RQ4 étale 코hom올로지 군 H_et^{p,q}(pt) 및 H_et^{p,q}(Z/2)은 스펙트럴 시퀀스의 E2-페이지와 어떻게 관련이 있는가?
• RQ5 H^{0,*}_et(pt)의 링의 구조는 무엇이며, 이는 알려진 등변 및 모티브-유사 코hom올로지에서의 구조와 어떻게 비교되는가?

주요 결과

• 스펙트럴 시퀀스는 KR^{p+q}(X)로 수렴하며, E2-페이지는 E2^{p,q} = H^{p,-q/2}(X; Z)로 주어지며, 여기서 H^{*,*}는 일정한 Z 계수를 갖는 RO(G)-등급 Eilenberg-MacLane 코hom올로지이다.
• 점에 대해서는 모든 n ≥ 1에 대해 H_et^{0,-2n}(pt) = Z 이고 H_et^{0,-2n+1}(pt) = 0 이며, 제약 사상 H_et^{0,-2n}(pt) → H_et^{0,-2n}(Z/2)는 동형사상이다.
• 군 H_et^{0,-2}(pt)는 Z와 동형이며, 맵 H^{0,-2} → H_et^{0,-2}는 2배 곱셈으로서 작용하며, 이는 유도를 통해 고차 군의 구조를 유도하는 데 사용된다.
• 링 H^{0,*}_et(pt)는 y가 (0,-2) 차수에 있는 Z[y]와 동형이며, 긴 정확 시퀀스를 통한 코프라이어 시퀀스에서 유도된 방식으로 y의 곱셈이 결정된다.
• 스펙트럴 시퀀스는 Z×BU 위에 티oned Postnikov 단층 함수를 사용한 타워를 통해 구성되며, 안정화를 통해 불안정한 층들로부터 전체 스펙트럴 시퀀스를 복원한다.
• H_et^{p,q}(pt)의 계산은 p < 0 이고 q < 0 이면 0이 되며, 코프라이어 시퀀스와 단순 코hom올로지와의 비교를 통해 모든 차수에서 군이 완전히 결정된다.