[논문 리뷰] Framed correspondences and the zeroth stable motivic homotopy group in odd characteristic

Andrei Druzhinin, Jonas Irgens Kylling|arXiv (Cornell University)|2018. 09. 10.

Algebraic Geometry and Number Theory참고 문헌 13인용 수 9

한 줄 요약

이 논문은 프레임된 대응관계에 대한 유한 내림을 확립하고, 홀수의 특성을 가진 완전체 위에서 Neshitov의 이동 보조정리(lemma)를 증명한다. 이는 Garkusha와 Panin의 프레임된 모티브 이론과 Neshitov의 제로스테이블 모티브 호모토피 군의 계산을 유한체와 홀수의 특성을 가진 완전체로 확장한다. 핵심 결과는 $ H^0(\mathbb{Z}F(\Delta^\bullet_k, \mathbf{G}_m^{\wedge n})) \simeq \mathrm{K}^{\mathrm{MW}}_n(k) $의 식별이며, 이는 이 설정 하에서 Morel의 정리의 복원을 가능하게 한다.

ABSTRACT

We extend the results of G.~Garkusha and I.~Panin on framed motives of algebraic varieties [4] to the case of a finite base field, and extend the computation of the zeroth cohomology group $H^0(\mathbb ZF(Δ^\bullet_k,\mathbf G^{\wedge n}_m))=K^{MW}_n$ by A.~Neshitov [8] to perfect fields $k$ of positive characteristic different from 2.

연구 동기 및 목표

• 무한체 또는 특성 0인 기저 체에서 요구되었던 이전 결과들과는 달리, 홀수의 특성과 유한체 또는 완전체 위에서의 프레임된 모티브 이론을 확장하는 것.
• 특히 유한체 위에서의 프레임된 대응관계에 대한 유한 내림을 확립하여, 호모토피적 구성에서 무한 기저 체가 필요로 하는 것을 제거하는 것.
• Neshitov의 이동 보조정리가 특성 0이 아닌, 홀수의 특성과 완전체 위에서도 성립함을 증명하여, 특성에 의존하는 기하적 방법을 더 일반적인 대수기하 기법으로 대체하는 것.
• 제로스테이블 모티브 호모토피 군의 계산을 홀수의 특성과 완전체로 확장하여, 이를 밀너-위트 K-이론과 식별하는 것.
• 완전체 위에서 홀수의 특성과 관련된 경우에 Morel의 제로스테이블 모티브 호모토피 군과 밀너-위트 K-이론의 식별을 복원하는 것.

제안 방법

• 서로소 수체 확장의 활용을 통해 프레임된 대응관계에 대한 유한 내림의 변종을 증명함으로써, 유한체 위에서 호모토피 불변성과 분할 정리의 성립을 보장한다.
• Neshitov의 이동 보조정리에서 특성에 의존하는 기하적 방법(특히 3차 곡선의 사용과 일반적 미분 가능성의 활용)을, $ \pi^{2,2} $에서의 스텐버그 관계 증명에 기반한 기존의 증명들(예: Hu와 Kritz의 증명)으로 대체한다.
• 지정된 소멸 조건과 가역성 조건을 갖는 곡선 위의 선다발과 그 절단의 이론을 활용하여, 체 확장 위에서 매끄러운 지지를 갖는 프레임된 대응관계를 구성한다.
• 제6.7호 보조정리(제어된 영점 집합을 갖는 절단의 올림)를 적용하여, 충분히 큰 차수의 체 확장 위에서 매끄러운 프레임된 대응관계를 구성한다.
• 귀납법과 호모토피 불변성을 활용하여 일반적인 프레임된 대응관계를 표준 형태로 줄이며, $ \overline{\mathbb{Z}F}(\mathrm{pt}_k, \mathrm{pt}_k) $의 임의의 원소가 표준 프레임된 대응관계의 차로 표현됨을 보인다.
• 이동 보조정리가 유한 내림으로부터 유도될 수 있음을 활용하여, 체 확장을 통한 무한체에서 유한체로의 환원을 가능하게 한다.

실험 결과

연구 질문

• RQ1 유한체로의 확장을 위해 내림 기법을 사용하여, 무한체에서의 프레임된 모티브 이론을 확장할 수 있는가?
• RQ2 원래 특성 0에서 증명된 Neshitov의 이동 보조정리는 홀수의 특성과 완전체 위에서도 성립하는가?
• RQ3 3차 곡선이나 특성 가정에 의존하지 않고, 제로스테이블 모티브 호모토피 군 내의 스텐버그 관계를 증명할 수 있는가?
• RQ4 식별 $ H^0(\mathbb{Z}F(\Delta^\bullet_k, \mathbf{G}_m^{\wedge n})) \simeq \mathrm{K}^{\mathrm{MW}}_n(k) $는 홀수의 특성과 완전체에서 유효한가?
• RQ5 홀수의 특성에서, 프레임된 대응관계를 사용하여 Morel의 제로스테이블 모티브 호모토피 군에 대한 정리를 복원할 수 있는가?

주요 결과

• 유한체를 포함한 임의의 체 위에서 프레임된 대응관계에 대한 유한 내림 정리가 성립함을 보이며, 이는 Garkusha와 Panin의 프레임된 모티브 이론을 유한 기저 체로 확장할 수 있음을 의미한다.
• 원래의 기하적 증명을 $ \pi^{2,2} $에서 참조함으로써, 특성에 대한 가정 없이 $ H^0(\mathbb{Z}F(\Delta^\bullet_k, \mathbf{G}_m^{\wedge n})) $ 내의 스텐버그 관계에 대한 새로운 증명을 확립한다.
• 홀수의 특성과 완전체 위에서 프레임된 대응관계에 대한 이동 보조정리가 증명되었으며, 일반적 미분 가능성과 일반적 위치 보조정리의 사용을 선다발 위의 올림 기법으로 대체하였다.
• 임의의 홀수의 특성과 완전체 $ k $에 대해 제로스테이블 코homology 군 $ H^0(\mathbb{Z}F(\Delta^\bullet_k, \mathbf{G}_m^{\wedge n})) $는 $ \mathrm{K}^{\mathrm{MW}}_n(k) $와 식별된다.
• $ \overline{\mathbb{Z}F}(\mathrm{pt}_k, \mathrm{pt}_k) $ 내의 임의의 프레임된 대응관계의 동치류는 표준 프레임된 대응관계의 차로 표현되며, 이는 호모모르피즘 $ \Psi_*: \mathrm{K}^{\mathrm{MW}}_*(k) \to H^0(\mathbb{Z}F(\Delta^\bullet_k, \mathbf{G}_m^{\wedge *})) $의 상사상성(onto)을 확인한다.