[논문 리뷰] On the Conservativity of Some Functors in Motivic Homotopy Theory

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

Homotopy and Cohomology in Algebraic Topology인용 수 3

한 줄 요약

이 논문은 완전체 k 위의 0-연결성 모티브 스펙트럼 E에 대응하는 모티브 M E의 h_0를 π₀(E)로 기술하며, k가 유한한 2-étale 코homological 차원을 가질 경우, M의 함수자가 컴act 스펙트럼 위에서 보존적임을 증명하고, Picard 군에 대한 단사성을 유도한다. 이 결과는 실수 모티브를 도입하여 유한한 가상 2-étale 코homological 차원을 가진 체로 확장되며, Rondings-Østvær의 강성 정리의 재증명도 부산물로 얻는다.

ABSTRACT

Given a 0-connective motivic spectrum $E \in SH(k)$ over a perfect field k, we determine $h_0$ of the associated motive $M E \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. We extend the conservativity result to fields of finite virtual 2-\'etale cohomological dimension by considering what we call real motives. As a by-product we reprove a variant of a rigidity Theorem of R\ondings-{\O}stv{\ae}r.

연구 동기 및 목표

• 완전체 k 위의 0-연결성 모티브 스펙트럼 E에 대해 h₀(M E)를 π₀(E)로 기술하는 것.
• k가 유한한 2-étale 코homological 차원을 가질 경우, M 함수자가 컴팩트 스펙트럼의 부분범주에서 보존적임을 확립하는 것.
• 실수 모티브의 도입을 통해 M의 보존성을 유한한 가상 2-étale 코homological 차원을 가진 체로 확장하는 것.
• 동일한 조건 하에서 M 함수자가 Picard 군에 대해 단사임을 보이는 것.
• 주요 결과의 부산물로 Rondings-Østvær의 강성 정리의 변종을 재증명하는 것.

제안 방법

• 0-연결성 모티브 스펙트럼의 구조를 이용하여 π₀(E)로 h₀(M E)를 계산하는 것.
• 2-étale 코homological 차원의 성질을 적용하여 M 함수자가 컴팩트 대상 위에서 행동하는 방식을 분석하는 것.
• 유한한 2-étale 코homological 차원을 초월한 보존성 결과를 확장하기 위해 실수 모티브를 도입하는 것.
• 모티브 호모토피 이론에서의 Picard 군에 관한 기존 결과를 활용하여 M 함수자가 조건 하에서 단사임을 보이는 것.
• 안정 모티브 호모토피 이론의 프레임워크와 Voevodsky 모티브의 범주 DM(k)를 활용하는 것.
• étale 코homology와 대칭성의 기법을 적용하여 강성 결과를 보조정리로 확립하는 것.

실험 결과

연구 질문

• RQ1 완전체 k 위의 0-연결성 모티브 스펙트럼 E에 대해, M E의 h₀는 π₀(E)로 어떻게 표현될 수 있는가?
• RQ2 M 함수자가 컴팩트 모티브 스펙트럼의 부분범주에서 언제 보존적인가?
• RQ3 M의 보존성은 유한한 가상 2-étale 코homological 차원을 가진 체로 확장될 수 있는가?
• RQ4 이러한 체 위의 컴팩트 스펙트럼에 제한했을 때, M 함수자가 Picard 군에 대해 단사임을 보일 수 있는가?
• RQ5 실수 모티브의 구성은 보존성 결과의 확장을 어떻게 촉진하는가?

주요 결과

• 모든 완전체 k 위의 0-연결성 모티브 스펙트럼 E에 대해, M E의 h₀는 π₀(E)로 명시적으로 기술된다.
• k가 유한한 2-étale 코homological 차원을 가질 경우, M 함수자는 컴팩트 모티브 스펙트럼의 부분범주에서 보존적이다.
• 실수 모티브의 도입을 통해 M의 보존성은 유한한 가상 2-étale 코homological 차원을 가진 체로 확장된다.
• 동일한 조건 하에서 M 함수자는 Picard 군에 대해 단사이다.
• 논문은 주요 결과의 부산물로 Rondings-Østvær의 강성 정리의 변종을 재증명한다.
• 결과들은 코homological 차원 조건과 모티브 함수자의 표현 가능성 성질 사이의 강력한 연결 고리를 확립한다.