[논문 리뷰] MW-motivic complexes

Frédéric Déglise, Jean Fasel|arXiv (Cornell University)|2017. 08. 21.

Homotopy and Cohomology in Algebraic Topology참고 문헌 17인용 수 20

한 줄 요약

이 논문은 이차형식을 계수로 하는 유한 쇼우-위트 대응을 기반으로 하여 MW-모티브 복합체의 새로운 이론을 개발하며, 보에보드스키의 프레임워크와 평행한 모티브 호모토피 이론을 구축한다. MW-모티브 호모로지 군이 하이퍼코homology 스펙트럴 시퀀스를 통해 쇼우-위트 군과 동형임을 증명하고, 호모로지 층이 엄격하게 A¹-불변임을 보이며, 이는 고전적 모티브 호모로지와의 완전한 비교와 함께 MW-모티브 호모로지와 그라디에이티드 쇼우-위트 링 사이의 링 동형을 가능하게 한다.

ABSTRACT

The aim of this work is to develop a theory parallel to that of motivic complexes based on cycles and correspondences with coefficients in quadratic forms. This framework is closer to the point of view of $\mathbb{A}^1$-homotopy than the original one envisioned by Beilinson and set up by Voevodsky.

연구 동기 및 목표

• MW-대응을 기반으로 한 모티브 호모토피 이론을 개발하여, 보에보드스키의 프레임워크를 이차형식을 포함하도록 확장한다.
• 효율적 MW-모티브의 범주와 그 안정적 완성형을 구성하여 계수로 링 R을 가진 코homological 이론을 가능하게 한다.
• MW-모티브 복합체의 호모로지 층이 엄격하게 A¹-불변임을 증명하여, 고전적 모티브에 대한 보에보드스키의 정리와 유사하게 한다.
• MW-모티브 호모로지와 쇼우-위트 군 간의 비교를 확립하여 고도에서 이들이 동형임을 보인다.
• MW-모티브 복합체에 대한 하이퍼코homology 스펙트럴 시퀀스가 MW-모티브 호모로지와 밀놀-위트 K-이론 층 간의 동형을 유도함을 보인다.

제안 방법

• 논문 [CF14]의 유한 쇼우-위트 대응의 범주를 기반으로 하여 계수로 링 R을 가진 MW-대응을 정의한다.
• MW-전이를 가진 층과 전이를 가진 전이를 정의하고, 보에보드스키의 방법의 변형을 사용하여 MW-전이를 가진 전이의 관련 층이 MW-층임을 증명한다.
• 프레임드 대응의 이론을 적용하고 [GP15]의 결과를 활용하여, 호모토피 불변인 MW-전이를 가진 전이의 관련 층이 엄격하게 A¹-불변임을 증명한다.
• A¹-유도 범주와 MW-층의 안정적 A¹-유도 범주를 정의하고, 효율적 MW-모티브의 범주를 A¹-로컬라이제이션된 객체로 구성한다.
• 수신 총합 복합체를 사용하여 명시적인 A¹-로컬라이제이션 함수를 정의하고, 엄격하게 A¹-불변인 호모로지 층을 통해 효율적 MW-모티브를 특성화한다.
• 복합체 $\tilde{\mathbb{Z}}(n)$에 대한 하이퍼코homology 스펙트럴 시퀀스를 적용하여 호모로지 층을 계산하고, 밀놀-위트 K-이론 층과의 동형을 유도한다.

실험 결과

연구 질문

• RQ1 어떻게 고전적인 유한 대응 대신 MW-대응을 사용하여 모티브 호모토피 이론을 구축할 수 있는가?
• RQ2 MW-모티브 복합체의 호모로지 층의 구조는 무엇이며, 엄격하게 A¹-불변인가?
• RQ3 MW-모티브 호모로지가 쇼우-위트 군과 얼마나 일치하는가?
• RQ4 하이퍼코homology 스펙트럴 시퀀스는 MW-모티브 호모로지와 밀놀-위트 K-이론 간의 관계를 어떻게 규명하는가?
• RQ5 MW-모티브 호모토피에서의 톰 이sovomorphism은 벡터 번들의 쇼우-위트 군과 어떻게 관련되는가?

주요 결과

• MW-모티브 복합체 $\tilde{\mathbb{Z}}(n)$의 호모로지 층 $\mathbf{H}_{\mathrm{MW}}^{q,n}$ 는 $q > n$ 이거나 $p \geq n$ 이고 $q \neq n$ 이면 0이 되며, 이는 스펙트럴 시퀀스의 지지체를 제한한다.
• 모든 매끄러운 스킴 $X$ 와 $n \in \mathbb{N}$ 에 대해 자연스러운 동형사상 $\mathrm{H}^{2n,n}_{\mathrm{MW}}(X,\mathbb{Z}) \simeq \widetilde{CH}^n(X)$ 이 존재하여, 최고 차수에서 MW-모티브 호모로지가 쇼우-위트 군과 동형임을 보여준다.
• 복합체 $\tilde{\mathbb{Z}}(n)$ 에 대한 하이퍼코homology 스펙트럴 시퀀스는 $p \geq 2n-1$ 에서 $\mathrm{H}^{p,n}_{\mathrm{MW}}(X,\mathbb{Z}) \simeq \mathrm{H}^{p-n}(X, \mathbf{K}^\mathrm{MW}_n)$ 를 유도하며, MW-모티브 호모로지와 밀놀-위트 K-이론 간의 연결을 제공한다.
• 동형사상 $\mathrm{H}^{2n,n}_{\mathrm{MW}}(X,\mathbb{Z}) \simeq \widetilde{CH}^n(X)$ 는 함의적이고 링의 구조를 유지하며, MW-모티브 호모로지와 쇼우-위트 링 간의 그라디에이티드 링 동형을 유도한다.
• 벡터 번들 $E$ 의 톰 공간은 $\operatorname{Hom}_{\widetilde{\mathrm{DM}}(k,\mathbb{Z})}(\mathrm{Th}(E), \tilde{\mathbb{Z}}(n)[2n]) \simeq \widetilde{CH}^{n-r}(X, \det E)$ 를 만족하며, MW-모티브 톰 이sovomorphism을 확인한다.