[논문 리뷰] Motivic connective K-theories and the cohomology of A(1)

Daniel C. Isaksen, Armira Shkembi|arXiv (Cornell University)|2010. 02. 11.

Homotopy and Cohomology in Algebraic Topology참고 문헌 9인용 수 6

한 줄 요약

이 논문은 스펙트럼 C 위에서 동역학적 고정점의 대수적 K-이론을 이용해 모티빅 연결 K-이론 스펙트럼 ko와 kgl을 구성하고, 그들의 호모토피 군을 계산하기 위한 애드ам스 스펙트럴 시퀀스를 수립한다. 주요 결과는 모티빅 애드마스 스펙트럴 시퀀스의 E2-항이 Ext_{A(1)}(H^{*,*}(X), M2)임을 보여주며, 여기서 M2 = F2[τ]이므로 모티빅 ko-호모로지의 효과적인 계산이 가능해진다.

ABSTRACT

We make some computations in stable motivic homotopy theory over Spec \mathbb{C}, completed at 2. Using homotopy fixed points and the algebraic K-theory spectrum, we construct a motivic analogue of the real K-theory spectrum KO. We also establish a theory of connective covers to obtain a motivic version of ko. We establish an Adams spectral sequence for computing motivic ko-homology. The E_2-term of this spectral sequence involves Ext groups over the subalgebra A(1) of the motivic Steenrod algebra. We make several explicit computations of these E_2-terms in interesting special cases.

연구 동기 및 목표

• Z/2-작용에 대한 동역학적 고정점의 모티빅 대수적 K-이론 스펙트럼 KGL을 이용해 고전적 실수 K-이론 KO의 모티빅 동반체를 구성하는 것.
• KGL의 연결 커버로 모티빅 연결 K-이론 스펙트럼 kgl을 정의하고, 그 모티빅 코homology를 계산하는 것.
• 모티빅 ko-호모로지를 계산하기 위한 모티빅 애드마스 스펙트럴 시퀀스를 수립하고, E2-항이 모티빅 A(1)의 대수적 Ext 군을 포함하는 것.
• 다양한 A(1)-모듈러 M에 대해 Ext_{A(1)}(M, M2)를 계산하고, 특히 DQn과 관련된 모듈러에 대해 이를 통해 모티빅 ko-호모로지의 효과적인 계산 가능성을 보여주는 것.
• 고전적 이론과 모티빅 이론의 차이를 드러내기 위해, 모든 k ≥ 0에 대해 η^k ≠ 0임을 보여주는 것 — 이는 고전적 이론에서는 η^4 = 0이지만 모티빅 이론에서는 그렇지 않기 때문이다.

제안 방법

• Z/2-작용에 대한 KGL의 동역학적 고정점으로 모티빅 KO 스펙트럼을 구성하며, 고전적 KO = KU^{hZ/2} 구성과 유사하게 한다.
• KGL의 연결 커버로 모티빅 연결 kgl을 정의하고, F2 계수로 H^{*,*}(kgl)의 모티빅 코homology를 A//E(1)로 계산한다. 여기서 E(1)는 Q0와 Q1가 생성하는 부분대수이다.
• 모티빅 애드마스 스펙트럴 시퀀스(MASS)를 사용하여 스펙트럼의 모티빅 호모토피 군을 계산하며, E2-항은 Ext_{A(1)}(H^{*,*}(X), M2)로 주어지며, M2 = F2[τ]이다.
• 동역학적 고정점 스펙트럴 시퀀스(HFSS)를 적용하여 ko와 kglhZ/2의 호모토피를 계산하고, 핵심적인 미분과 확장 관계를 식별한다.
• 짧은 정확한 수열로 유도된 A(1)-모듈러의 Ext 군의 장점 수열을 사용하여, 예를 들어 Σ^{n,n/2}M2 → eH^{*,*}(DQ_{n+2}) → eH^{*,*}(DQ_n)와 같은 수열을 통해 Ext 군을 계산한다.
• 저항도수 차수에서의 명시적 코호몰로지 수준 계산을 통해 모호함을 해결하고(예: h1z = 0인지 여부), 특정 원소의 비자명성을 확인한다.

실험 결과

연구 질문

• RQ1 Spec C 위에서 연결 모티빅 K-이론 스펙트럼 kgl의 모티빅 코homology는 무엇이며, 모티빅 스틴로드 대수와 어떻게 관련되어 있는가?
• RQ2 스태이블 모티빅 호모토피 이론에서 Spec C 위에서 KO의 모티빅 동반체는 어떻게 구성할 수 있으며, 그 호모토피 군은 무엇인가?
• RQ3 모티빅 ko-호모로지를 계산하기 위한 모티빅 애드마스 스펙트럴 시퀀스의 E2-항의 구조는 무엇이며, 어떻게 대수적으로 계산할 수 있는가?
• RQ4 모티빅 Ext 군 Ext_{A(1)}(M, M2)는 고전적 대응체와 어떻게 다를까? 특히 모든 k ≥ 0에 대해 η^k ≠ 0임을 어떻게 탐지하는가?
• RQ5 모티빅 애드마스 스펙트럴 시퀀스의 E2-항에서 모티빅 계수환 M2 = F2[τ]의 역할은 무엇인가?

주요 결과

• F2 계수로 kgl의 모티빅 코homology는 A//E(1)와 동형이며, 여기서 A는 모티빅 스틴로드 대수이고, E(1)는 Q0 = Sq1과 Q1 = Sq1Sq2 + Sq2Sq1가 생성하는 부분대수이다.
• ko의 모티빅 코homology는 A//A(1)와 동형이며, 여기서 A(1)는 Sq1과 Sq2가 생성하는 부분대수이다. 이는 고전적 결과 H*(ko) = A//A(1)의 직접적인 모티빅 동반체이다.
• 모티빅 ko-호모로지를 계산하기 위한 모티빅 애드마스 스펙트럴 시퀀스의 E2-항은 Ext_{A(1)}(H^{*,*}(X), M2)이며, M2 = F2[τ]이다. 이는 모티빅 ko-호모로지의 효과적인 대수적 계산을 가능하게 한다.
• DQ_n 모듈러에 대해 Ext_{A(1)}(M, M2)의 명시적 계산이 제공되며, 이는 n mod 4에 따라 달라지며, n ≡ 1, 2, 3 mod 4인 경우 생성자와 관계식이 명시적으로 기술되어 있다.
• 이 계산은 모든 k ≥ 0에 대해 모티빅 안정 스템에서 η^k ≠ 0임을 드러내며, 고전적 이론에서는 η^4 = 0이지만 모티빅 이론에서는 그렇지 않다. 이 차이는 A(1) 위에서의 Ext 군에서 대수적으로 탐지된다.
• n ≡ 1 mod 4인 경우, Ext_{A(1)}(eH^{*,*}(DQ_n), M2)의 구조가 계산되었으며, 생성자 k, r_{4i−1}, v, u, t와 h0, h1, α, β, τ 및 A(1)-모듈러 구조를 포함한 관계식이 있다. 이는 h0t와 같은 핵심 원소의 비자명성을 확인한다.