[논문 리뷰] The Hurewicz and Conservativity Theorems for SH(k) to DM(k)

Tom Bachmann|arXiv (Cornell University)|2015. 06. 24.

Homotopy and Cohomology in Algebraic Topology참고 문헌 18인용 수 11

한 줄 요약

이 논문은 SH(k) 내의 0-연결된 모티브 스펙트럼 E에 대한 0번째 모티브 호모토피 군과 DM(k) 내의 관련 모티브 ME의 h_0 사이의 정확한 관계를 확립한다. k가 유한한 2-étale 코homological 차원을 가질 경우, 모티브 함수 M은 컴팩트 스펙트럼 위에서 충실하고, Picard 군에 대한 단사 사상(induction)을 유도하며, 이로써 대수적 K-이론과 코homological 유한성 조건을 통해 모티브 호모토피 이론과 모티브 호몰로지 이론을 연결한다.

ABSTRACT

Given a 0-connective motivic spectrum E in SH(k) over a perfect field k, we determine h_0 of the associated motive ME in DM(k) in terms of pi_0(E). Using this we show that if k has finite 2-\'etale cohomological dimension, then the functor M is conservative when restricted to the subcategory of compact spectra, and induces an injection on Picard groups.

연구 동기 및 목표

• SH(k) 내의 0-연결된 모티브 스펙트럼 E에 대응하는 모티브 ME의 DM(k) 내 h_0를 결정하는 것.
• 모티브 스펙트럼의 모티브 함수 M: SH(k) → DM(k)가 컴팩트 스펙트럼의 부분범주에서 충실해지는 조건을 확립하는 것.
• 특히 단사성에 초점을 맞춰, 모티브 함수 M에 의해 유도되는 Picard 군의 사상 분석하기.
• 기초 체 k에 대한 코homological 유한성 조건을 통해 모티브 호모토플리 이론과 모티브 호몰로지 이론을 연결하는 것.
• 완전체 위의 모티브 스태이블 호모토피 이론 설정으로부터 고전적 Hurewicz 및 충실성 정리의 확장

제안 방법

• SH(k) 내의 E의 0-연결성 조건을 활용하여, Hurewicz 호모모르피즘을 통해 DM(k) 내의 관련 모티브 ME를 분석한다.
• 모티브 설정에서 Hurewicz 사상의 보편 성질을 이용하여, SH(k) 내의 π₀(E)와 DM(k) 내의 h₀(ME) 사이의 관계를 규명한다.
• k의 2-étale 코homological 차원에 대한 유한성 조건을 적용하여, 컴팩트 대상 위에서 모티브 함수 M의 행동을 통제한다.
• 모티브 호모토플리 이론의 기법을 활용하며, 특히 SH(k) 내의 모티브 스태이블 호모토플리 카테고리와 DM(k) 내의 모티브의 유도 범주를 고려한다.
• k의 유한한 2-étale 코homological 차원에 기반한 컴팩트 대상 위에서의 M의 충실성 기준을 적용한다.
• 선형 번들 위에서 M의 행동을 분석하고 충실성 결과를 활용하여, Picard 군에 유도된 사상의 분석을 수행한다.

실험 결과

연구 질문

• RQ1 0-연결된 모티브 스펙트럼 E의 0번째 모티브 호모토피 군 π₀(E)는 DM(k) 내의 h₀(ME)와 어떻게 관련이 있는가?
• RQ2 기초 체 k에 대해 어떤 조건이 성립할 경우, 모티브 함수 M: SH(k) → DM(k)가 컴팩트 스펙트럼의 부분범주에서 충실해지는가?
• RQ3 모티브 함수 M이 컴팩트 스펙트럼에 제한되었을 때, Picard 군에 대해 단사 사상을 유도하는가?
• RQ4 k의 유한한 2-étale 코homological 차원은 M의 충실성 및 단사성 성질에 어떤 역할을 하는가?
• RQ5 고전적 Hurewicz 및 충실성 정리는 완전체 위의 모티브 설정으로 확장될 수 있는가?

주요 결과

• DM(k) 내의 모티브 ME의 h₀는 모티브 스펙트럼 E의 SH(k) 내 0번째 호모토피 군 π₀(E)와 자연스럽게 동형이다.
• k가 유한한 2-étale 코homological 차원을 가질 경우, M은 SH(k) 내의 컴팩트 객체의 전체 부분범주에서 충실하다.
• 모티브 함수 M은 SH(k)와 DM(k)의 컴팩트 부분범주의 Picard 군에 대해 단사 사상을 유도한다.
• M의 컴팩트 스펙트럼 위에서의 충실성은 k의 2-étale 코homology에 대한 유한성 조건을 통해 확립된다.
• 결과적으로 고전적 Hurewicz 및 충실성 정리는, 유한한 2-étale 코homological 차원을 가진 완전체 위의 모티브 설정으로 확장된다.