[논문 리뷰] On the effectivity of spectra representing motivic cohomology theories

Tom Bachmann, Jean Fasel|arXiv (Cornell University)|2017. 10. 02.

Homotopy and Cohomology in Algebraic Topology참고 문헌 27인용 수 21

한 줄 요약

이 논문은 무한한 완전체 위의 모티빅 스펙트럼이 효과적일 때, 즉 매끄러운 스킴의 스uspension 스펙트럼이 생성하는 국소화 부분분류에 속할 조건을 일반적인 기준으로 설정한다. 이 기준을 사용하여, 저자들은 MW-모티빅 코homology와 ℤ 계수를 가진 일반화된 모티빅 코homology를 나타내는 스펙트럼이 자연스럽게 동형임을 증명하며, 모티빅 안정 호모토피 범주 내에서 최근 두 가지 접근 방식을 통합한다.

ABSTRACT

Let k be an infinite perfect field. We provide a general criterion for a spectrum in the stable homotopy category over k to be effective, i.e. to be in the localizing subcategory generated by the suspension spectra of smooth schemes. As a consequence, we show that two recent versions of generalized motivic cohomology theories coincide.

연구 동기 및 목표

• SH(k) 내의 모티빅 스펙트럼이 효과적일 때, 즉 매끄러운 스킴의 스uspension 스펙트럼이 생성하는 국소화 부분분류에 속할 조건을 일반적으로 결정하는 것.
• 최근에 제시된 일반화된 모티빅 코homology의 다양한 구성, 특히 MW-모티빅 코homology와 추상적인 일반화된 모티빅 코homology가 같은 이론을 나타내는지 여부에 대한 열린 문제를 해결하는 것.
• 프레임드 대응, MW-대응, GW-모티브를 바탕으로 한 서로 다른 모티빅 코homology 접근 방식을 통합하기 위해, 그들이 representing하는 스펙트럼이 모티빅 안정 호모토피 범주에서 동형임을 보이는 것.
• MW-모티빅 코homology 스펙트럼이 ℤ 계수를 가지며, 일반화된 모티빅 코homology 스펙트럼과 자연스럽게 동형임을 보이며, 이러한 이론들 간의 정규화된 식별을 확립하는 것.

제안 방법

• 저자들은 효과성에 대한 새로운 기준을 도입한다: 스펙트럼 E ∈ SH(k)는 모든 n ≥ 1과 모든 유한 생성 체 F/k에 대해 (E ∧ Gm^∧n)(Δ̂•_F) ≃ 0 이면 효과적이다.
• 이 기준은 F 위에서 표준 n-단체의 꼭짓점을 중심으로 한 본질적으로 매끄러운 코심플리셜 스킴 Δ̂•_F 에서 스펙트럼을 평가하고, Levine의 coniveau 필터링을 사용하여 제로 슬라이스를 계산하는 데 기반한다.
• Gm^∧n 이 representing하는 프레시프는 Suslin의 의미에서 유리적으로 수축 가능하다는 것을 증명하며, 이는 [13]의 결과를 반지름 스킴로 확장하는 데 필수적이다.
• 증명 과정은 프레시프의 Suslin 복합체와 그 Nisnevich sheafification의 Suslin 복합체를 비교하는 데 중점을 두며, 특히 반지름 스킴의 맥락에서 수행된다.
• 저자들은 SH(k)와 MW-모티브의 범주 사이의 수반관계를 사용하여 representing 스펙트럼을 연결하며, 효과적 t-구조의 하트가 잘 행동한다는 사실을 활용한다.
• U(1) 스펙트럼이 MW-모티빅 코homology를 representing하며, 이 스펙트럼이 효과적임을 보이고, π_{0,0}과 π_{-1,-1}의 군과 Grothendieck-Witt 군의 작용을 비교하여 일반화된 모티빅 코homology 스펙트럼 H~ℤ 와 비교한다.

실험 결과

연구 질문

• RQ1 SH(k) 내에서 MW-모티빅 코homology와 ℤ 계수를 가진 일반화된 모티빅 코homology를 representing하는 스펙트럼은 같은 모티빅 코homology 이론을 나타내는가?
• RQ2 모티빅 스펙트럼이 효과적일 조건, 즉 매끄러운 스킴의 스uspension 스펙트럼이 생성하는 국소화 부분분류에 속할 조건을 일반적으로 무엇인가?
• RQ3 프레임드 대응, MW-대응, GW-모티브를 바탕으로 하는 다양한 버전의 모티빅 코homology를 어떻게 비교할 수 있는가?
• RQ4 이전 Suslin의 작업에서 사용된 다항상대 코homology에 의존하지 않고도 모티빅 코homology 이론 간의 비교를 달성할 수 있는가?
• RQ5 모티빅 호모토피 이론에서 스펙트럼의 효과성을 확립하는 데 있어 프레시프의 유리적 수축 가능성의 역할은 무엇인가?

주요 결과

• SH(k) 내에서 ℤ 계수를 가진 MW-모티빅 코homology를 representing하는 스펙트럼 U(1)는 일반화된 모티빅 코homology를 representing하는 스펙트럼 H~ℤ 와 자연스럽게 동형이다.
• 저자들은 효과성에 대한 일반 기준을 확립한다: 스펙트럼 E ∈ SH(k)는 모든 n ≥ 1과 모든 유한 생성 체 F/k에 대해 (E ∧ Gm^∧n)(Δ̂•_F) ≃ 0 이면 효과적이다.
• Gm^∧n 이 representing하는 프레시프는 코호호모로지적으로 수축 가능하지만, 그 자체로는 층이 아니며, 이 성질은 효과성 기준에 있어 핵심적이다.
• 일반화된 모티빅 코호모로지를 representing하는 스펙트럼 H~ℤ 는 효과적이며, 그 호모토피 군은 π_{0,0}(H~ℤ) ≃ ℤ 이고, n ≠ 0 일 때 π_{n,0}(H~ℤ) ≃ 0 이다.
• 모티빅 코호모로지 이론 간의 비교는 U(1)와 H~ℤ 가 모두 효과적이고 효과적 t-구조의 하트에 속하며, π_{0,0}과 π_{-1,-1} 군을 통해 동형임을 증명함으로써 달성된다.
• 결과적으로 GW-모티브의 범주 DM^GW(k) 는 MW-모티브의 범주 DM̃(k) 와 동치이며, 둘 다 H~ℤ 위의 고도로 구조화된 모듈러스의 범주와 동치이다.