[논문 리뷰] The 0-th stable A^1-homotopy sheaf and quadratic zero cycles

Aravind Asok, Christian Haesemeyer|arXiv (Cornell University)|2011. 08. 18.

Homotopy and Cohomology in Algebraic Topology참고 문헌 26인용 수 10

한 줄 요약

이 논문은 특성 ≠ 2인 체 위의 매끄럽고 완비한 다양체에 대한 0차 안정 A¹-호모토피 층과 1차 0-사이클의 존재 사이에 정확한 연결고리를 설정한다. 비틀린 찬-위트 군과 밀너-위트 K-이론을 사용하여, 유리 점이 안정 A¹-호모토피에 대해 존재하는 것은 1차 0-사이클의 존재와 동치임을 증명함으로써, 이 호모토피 이론적 조건을 유리 점이 존재하지 않는 동반자로 식별한다.

ABSTRACT

We study the 0-th stable A^1-homotopy sheaf of a smooth proper variety over a field k assumed to be infinite, perfect and to have characteristic unequal to 2. We provide an explicit description of this sheaf in terms of the theory of (twisted) Chow-Witt groups as defined by Barge-Morel and developed by Fasel. We study the notion of rational point up to stable A^1-homotopy, defined in terms of the stable A^1-homotopy sheaf of groups mentioned above. We show that, for a smooth proper k-variety X, existence of a rational point up to stable A^1-homotopy is equivalent to existence of a 0-cycle of degree 1.

연구 동기 및 목표

• 특성 ≠ 2인 체 k 위의 매끄럽고 완비한 다양체에 대한 0차 안정 A¹-호모토피 층을 이해하기 위해.
• 안정 A¹-호모토피에 대해 유리 점의 개념을 도입함으로써, 유리 점 존재에 대한 호모토피 이론적 차단 조건을 명확히 하기 위해.
• 비틀린 찬-위트 군과 밀너-위트 K-이론을 통해 0차 안정 A¹-호모토피 층의 명시적 기술을 제공하기 위해.
• 안정 A¹-호모토피에 대해 유리 점이 존재하는 것과 1차 0-사이클이 존재하는 것 사이의 정확한 동치 관계를 확립하기 위해.
• 고전적인 모티브적 딜레르티와 투르레치 유형 사상의 일반화를 이차 형식과 무방향 코homology 이론의 맥락으로 확장하기 위해.

제안 방법

• 저자들은 안정 A¹-호모토피 범주와 모티브적 구면 스펙트럼을 사용하여, Spec k 위의 Nisnevich 층의 절단으로서 0차 안정 A¹-호모토피 층을 정의한다.
• 비틀린 찬-위트 군을 사용하여, 이는 대수적 사이클과 이차 형식을 결합한 것으로, 0차 안정 A¹-호모토피 층을 명시적으로 묘사한다.
• 핵심 기술적 도구는 안정 A¹-유도 범주 내의 아티야 딜레르티로, 이는 호모토피 층을 밀너-위트 K-이론 층의 계수를 가진 코homology와 연결한다.
• 밀너-위트 K-이론 층에 대한 제르멘 해상법을 적용하여 코homology 군을 계산하고, 이를 0-사이클 위의 도수 맵과 연결한다.
• GW(k) = ℤ ×_{ℤ/2} W(k)의 피보터 프로덕트 분해를 사용하여, k가 형식적으로 실수이거나 아닐 경우로의 축소를 가능하게 한다.
• 위트 군의 전이 사상 분석을 수행하고, 샤를로의 정리를 사용하여, 홀수 차수 확대의 경우 전이 사상이 분할 전성임을 보이며, 도수 맵의 분할을 가능하게 한다.

실험 결과

연구 질문

• RQ1 특성 ≠ 2인 체 위의 매끄럽고 완비한 다양체에 대한 0차 안정 A¹-호모토피 층의 정확한 구조는 무엇인가?
• RQ2 안정 A¹-호모토피에 대해 유리 점의 개념은 1차 0-사이클과 같은 전통적인 산술 불변량과 어떻게 관련이 있는가?
• RQ3 비틀린 찬-위트 군을 사용하여, 2차 자료와 대수적 사이클을 통해 0차 안정 A¹-호모토피 층을 묘사할 수 있는가?
• RQ4 안정 A¹-호모토피에 대해 유리 점이 존재하는 것과 1차 0-사이클이 존재하는 것이 동치인가?
• RQ5 밀너-위트 K-이론과 위트 군 전이 사상은 도수 맵을 분할 전성으로 실현하는 데 어떤 역할을 하는가?

주요 결과

• 주어진 k에 대한 조건 하에, 매끄럽고 완비한 k-다양체 X에 대한 0차 안정 A¹-호모토피 층은 X에 대한 캐논리컬 번들의 비틀린 찬-위트 군의 층과 동형이다.
• 안정 A¹-호모토피에 대해 유리 점이 존재하는 것은 X 위에 1차 0-사이클이 존재하는 것과 동치이다.
• CH₀(X) → ℤ 도수 맵이 분할 전성임은 0차 안정 A¹-호모토피 층 위의 푸시포워드 사상이 분할됨과 동치이다.
• 홀수 차수의 유한 확대 L/k에 대해, 샤를로 전이 s_*: W(L) → W(k)는 분할 전성이며, 이는 분할을 구성하는 데 필수적이다.
• 증명은 GW(k)의 피보터 프로덕트 구조에 의존하며, 잔여체의 차수가 서로 소일 경우 GW(k)에서 도수 맵의 이미지를 분할로 올릴 수 있음을 이용한다.
• 0차 안정 A¹-호모토피 층에서 0차 수신 homology 층으로의 셰이프화된 투르레치 호모모르피즘은 도수 맵과 호환되며, 이는 2차 자료를 통해 유리 점의 장애를 식별하는 데 기여한다.