[논문 리뷰] A cancellation theorem for Milnor-Witt correspondences

Jean Fasel, Paul Arne Østvær|arXiv (Cornell University)|2017. 08. 21.

Algebraic Geometry and Number Theory참고 문헌 3인용 수 15

한 줄 요약

이 논문은 특성 ≠ 2인 무한 perfect field 위에서 Milnor-Witt 대응관계에 대한 취소 정리를 확립하며, 효과적 Milnor-Witt 모티브의 범주에서 타테 객체 $ͷ\widetilde{\mathbb{Z}}(1)$와의 텐서곱이 사상 집합에 대해 동형사상을 유도함을 증명한다. 이 결과는 Voevodsky의 취소 정리를 Milnor-Witt 설정으로 확장하며, Milnor-Witt 모티브 코homology에서 스텝 스위치 동형사상이 성립함을 시사한다.

ABSTRACT

We show that finite Milnor-Witt correspondences satisfy a cancellation theorem with respect to the pointed multiplicative group scheme. This has several notable applications in the theory of Milnor-Witt motives and Milnor-Witt motivic cohomology.

연구 동기 및 목표

• 모티브 호모토피 이론의 맥락에서 유한 Milnor-Witt 대응관계에 대한 취소 정리를 확립하기 위해.
• 유한 대응관계에 대한 Voevodsky의 취소 결과를 Milnor-Witt 모티브 및 층의 설정으로 확장하기 위해.
• 타테 객체 $ͷ\widetilde{\mathbb{Z}}(1)$와의 텐서곱이 $ͷ\mathrm{DM}^{\mathrm{eff}}(k,\mathbb{Z})$ 내 사상 집합에 대해 동형사상을 유도함을 증명하기 위해.
• Milnor-Witt 모티브 코homology의 기본 도구를 제공하고, 모티브 스펙트럼에 의한 표현 가능성을 다루기 위해.
• Milnor-Witt 모티브 코homology 스펙트럼 $ͷ\mathbf{M}\widetilde{\mathbb{Z}}$가 $Ω_T$-스펙트럼임을 지지하는 추측을 뒷받침하기 위해.

제안 방법

• 완전체 $k$ 위의 매끄러운 스킴에서의 유한 Milnor-Witt 대응관계의 범주 $ͷ\widetilde{\mathrm{Cor}}_k$를 활용한다.
• 선형 번들에 의해 휘어진 불분열 Milnor-Witt $K$-이론 층을 계수로 하는 Rost-Schmid 코체인 복합체를 적용한다.
• 모티브 범주 내의 스텝 스위치 객체로 타테 객체 $ͷ\widetilde{\mathbb{Z}}(1) = \widetilde{\mathbb{Z}}(\mathbb{P}^1)/\widetilde{\mathbb{Z}}(\infty)[-2]$를 사용한다.
• 안정 모티브 호모토피 범주 내에서 모티브 스펙트럼 $ͷ\mathbf{M}\widetilde{\mathbb{Z}}$에 의한 Milnor-Witt 모티브 코homology의 표현 가능성을 이용한다.
• 호모토피 모듈러와 안정 모티브 호모토피 범주의 심장 사이의 동치를 활용하여 $ͷ\mathbf{M}^\heartsuit\widetilde{\mathbb{Z}}$와 $ͷ\mathbf{K}_\ast^{\mathrm{MW}}$를 연결한다.
• Morel과 Bachmann의 모티브 구면 스펙트럼의 호모토피 군에 관한 결과를 적용하여 $ͷ\mathrm{SH}(k)$ 내에서 동형사상을 이끌어낸다.

실험 결과

연구 질문

• RQ1 유한 대응관계에 대한 취소 정리는 이차형식을 포함한 Milnor-Witt 설정으로 확장될 수 있는가?
• RQ2 타테 객체 $ͷ\widetilde{\mathbb{Z}}(1)$와의 텐서곱이 $ͷ\mathrm{DM}^{\mathrm{eff}}(k,\mathbb{Z})$ 내 사상 집합에 대해 동형사상을 유도하는가?
• RQ3 Milnor-Witt 모티브 코homology 스펙트럼 $ͷ\mathbf{M}\widetilde{\mathbb{Z}}$가 $Ω_T$-스펙트럼임을 입증할 수 있는가?
• RQ4 $ͷ\mathbf{SH}(k)$ 내에서 $ͷ\mathbf{M}\widetilde{\mathbb{Z}}$, $ͷ\mathbf{M}\mathbb{Z}/2$, 그리고 모티브 구면 스펙트럼의 제로번째 효과적 슬라이스를 포함하는 분명한 삼각형이 존재하는가?
• RQ5 등식 $ͷ\underline{\pi}_{\ast,\ast}\mathbf{M}\widetilde{\mathbb{Z}} \cong \mathbf{K}_\ast^{\mathrm{MW}}$는 모티브 스펙트럼의 구조와 어떻게 관련이 있는가?

주요 결과

• 모든 Milnor-Witt 층의 복합체 $\mathscr{C}, \mathscr{D}$에 대해, $\u0377\widetilde{\mathbb{Z}}(1)$과의 텐서곱에 의해 유도되는 사상 $\mathrm{Hom}_{\u0377\mathrm{DM}^{\mathrm{eff}}(k,\mathbb{Z})}(\mathscr{C},\mathscr{D}) \to \mathrm{Hom}_{\u0377\mathrm{DM}^{\mathrm{eff}}(k,\mathbb{Z})}(\mathscr{C}(1),\mathscr{D}(1))$ 는 동형사상이다.
• Milnor-Witt 모티브 코homology 스펙트럼 $\u0377\mathbf{M}\widetilde{\mathbb{Z}}$는 $\mathrm{Sp}^\Sigma(\mathcal{M}_k, T)$ 내에서 $\Omega_T$-스펙트럼이며, 이는 모티브 안정 범주 내에서 피브라시피를 뜻한다.
• Nisnevich 층 간의 표준적 동형사상 $\mathbf{K}_\ast^{\mathrm{MW}} \cong \underline{\pi}_{\ast,\ast}\mathbf{M}\widetilde{\mathbb{Z}}$ 가 존재하여, Milnor-Witt $K$-이론과 모티브 스펙트럼의 호모토피 군을 연결한다.
• 모티브 스펙트럼 $\u0377\mathbf{M}^\heartsuit\widetilde{\mathbb{Z}}$ 는 $\mathbf{SH}(k)$ 내의 $t$-구조의 심장에서 불분열 Milnor-Witt $K$-이론 층 $\mathbf{K}_\ast^{\mathrm{MW}}$ 와 동형이다.
• 모티브 구면 스펙트럼의 제로번째 효과적 슬라이스 $\widetilde{s}_0\mathbf{1}$ 은 $\mathbf{SH}(k)$ 내에서 분명한 삼각형 $\Sigma^{1,0}\mathbf{M}\mathbb{Z}/2 \to \widetilde{s}_0\mathbf{1} \to \mathbf{M}\widetilde{\mathbb{Z}}$ 에 포함되며, $\u0377\mathbf{M}^\heartsuit\widetilde{\mathbb{Z}}$ 와 $\u0377\mathbf{M}\widetilde{\mathbb{Z}}$ 간의 동형사상에 기초한다.
• 취소 정리는 $\mathbb{G}_m$에 대한 스텝 스위치 동형사상이 Milnor-Witt 모티브 코homology에서 성립함을 시사하며, Voevodsky의 결과를 일반화한다.