[논문 리뷰] Moving lemmas in mixed characteristic and applications

Ivan Panin|arXiv (Cornell University)|2022. 02. 02.

Advanced Topics in Algebra인용 수 4

한 줄 요약

이 논문은 혼합 특성수 설정에서 새로운 기하학적 이동 보조정리를 수립하여 중요한 코homological 응용을 가능하게 한다. $K_2$에 대한 Gersten 추측을 증명하고, $SL_{1,D}$에 대한 Grothendieck–Serre 추측을 검증하며, Suslin의 정확한 수열을 도출하여 이차형식에 대한 유한성 및 등지성 결과와 Panin–Smirnov의 의미에서 코homology 이론에 대한 일반화된 Cousin 복합체를 도출한다.

ABSTRACT

The present paper contains new geometric theorems in mixed characteristic case. We derive a bunch of cohomological consequences using these geometric theorems. Among them an isotropy result for quadratic spaces, a purity result for quadratic spaces, a result on the Grothendieck--Serre conjecture for the special linear group of an Azumaya algebra. The Gersten conjecture for the functor K2 is proved. Bloch-Ogus type result is obtained as well. Suslin's exact sequence is derived and its application to a finiteness result is given. A version of the Roitman theorem is proved.

연구 동기 및 목표

• 이산 평가환수(d.v.r.) 위의 스킴에 대해 혼합 특성수에서의 기하학적 이동 보조정리를 개발하기 위해
• 이 보조정리로부터 코homology 이론적 결과를 도출하기 위해, 특히 $K$-이론과 이차형식에 대해
• $K_2$ 함수에 대한 Gersten 추측과 $D$가 이산 평가환수 위의 Azumaya 대수일 때 $SL_{1,D}$에 대한 Grothendieck–Serre 추측을 증명하기 위해
• Panin–Smirnov 의미에서 임의의 코homology 이론에 대해 일반화된 Cousin 복합체를 수립하기 위해
• Suslin의 정확한 수열을 유도하고, 이와 함께 에탈 코hom로지에서의 유한성 결과를 도출하기 위해

제안 방법

• 이산 평가환수 $A$ 위에서의 사영 공간으로의 유한 전순사상이 존재하는 아핀 이웃을 구성하기 위해 기하학적 표현 정리(정리 3.1)를 활용하기 위해
• 매끄럽고 기약적인 $Ω$-스킴 $Ω$를 열린 열린 집합 $U'$ 위에서 정의하고, $Ω$로의 유한 전순사상이 존재하는 다이어그램을 활용하기 위해
• 자연적 선다형층 $ω_{Ω/V} \cong \mathcal{O}_{Ω}$를 적용하여 쌍대성 성질을 확보하기 위해
• 적절한 기저 변경 정리와 $l$-adic 코hom로지의 성질을 이용하여 $X$와 그 특별화 섹션 $X_v$의 코homology 군 간의 관계를 규명하기 위해
• Weil 추측과 Galois 코hom로지를 적용하여 $H^3_{Ét}(X, \mathbb{Q}_l/\mathbb{Z}_l(2))$의 유한성을 증명하기 위해
• $\mathbb{Z}_l$-모듈의 구조와 $H^i_{Ét}(\bar{X}_v, \mathbb{Z}_l(2))$의 유한 생성성에 기반하기 위해

실험 결과

연구 질문

• RQ1 이산 평가환수 위의 매끄러운 스킴에 대해 혼합 특성수에서 이동 보조정리를 수립할 수 있는가?
• RQ2 $K_2$에 대한 Gersten 추측이 이 혼합 특성수 설정에서 성립하는가?
• RQ3 이산 평가환수 위의 Azumaya 대수 $D$에 대해 $SL_{1,D}$에 대한 Grothendieck–Serre 추측을 증명할 수 있는가?
• RQ4 Panin–Smirnov 프레임워크에서의 Cousin 복합체의 함의는 무엇인가?
• RQ5 이 맥락에서 Suslin의 정확한 수열은 타당한가, 그리고 어떤 유한성 결과가 도출되는가?

주요 결과

• $K_2$ 함수에 대한 Gersten 추측이 혼합 특성수에서 이산 평가환수 위의 매끄러운 스킴에 대해 증명된다
• $D$가 이산 평가환수 위의 Azumaya 대수일 때 $SL_{1,D}$에 대한 Grothendieck–Serre 추측이 검증된다
• Suslin의 정확한 수열이 도출되며, 이는 $H^3_{Ét}(X, \mathbb{Q}_l/\mathbb{Z}_l(2))$의 유한성을 보여주는 데 응용된다
• $\beta: H^3_{Ét}(X, \mathbb{Q}_l/\mathbb{Z}_l(2)) \to {}_{\{l\}}H^2_{Zar}(X, \underline{K}_2)$ 는 동형사상이다
• $\rho: H^1_{Zar}(X, \underline{K}_2) \otimes \mathbb{Q}_l/\mathbb{Z}_l \to H^1_{Zar}(X_v, \underline{K}_2) \otimes \mathbb{Q}_l/\mathbb{Z}_l$ 는 동형사상임이 입증된다
• Panin–Smirnov 의미에서 임의의 코homology 이론에 대해 일반화된 Cousin 복합체가 수립되며, 이는 기존 결과를 혼합 특성수로 확장한다