[논문 리뷰] Affine representability results in A^1-homotopy theory III: finite fields and complements

Aravind Asok, Marc Hoyois외 1명|arXiv (Cornell University)|2018. 07. 09.

Algebraic Geometry and Number Theory참고 문헌 15인용 수 6

한 줄 요약

이 논문은 유한체 위에서 등급이 있는 재수화된 군에 대한 G- torsor의 A¹-표현 가능성을 확립하며, 이는 이전 결과가 유한체가 아닌 무한체에서 요구되었던 것을 넘어서는 것이다. 최근에 호가디와 쿨카르니에 의해 증명된, 유한체 위에서 개선된 가브르의 표현 렘마를 사용하여, 니스네비치 코homology의 A¹-불변성을 증명함으로써, 모티브 스페어를 재수화된 군의 동차공간으로 식별할 수 있게 되었으며, 이는 스피너 군을 통한 Spin₉/Spin₇ ≅ Q₁₅ 및 SO₂ₙ₊₁/SO₂ₙ ≅ Q₂ₙ를 포함한다.

ABSTRACT

We give a streamlined proof of ${\mathbb A}^1$-representability for $G$-torsors under "isotropic" reductive groups, extending previous results in this sequence of papers to finite fields. We then analyze a collection of group homomorphisms that yield fiber sequences in ${\mathbb A}^1$-homotopy theory, and identify the final examples of motivic spheres that arise as homogeneous spaces for reductive groups.

연구 동기 및 목표

• 무한체에서의 G-torsor에 대한 A¹-표현 가능성 결과를, 이전에 유한체에서만 가능했던 것에서 확장하기 위해.
• 최근에 호가디와 쿨카르니에 의해 증명된, 개선된 표현 렘마를 사용하여, 유한체 위에서 등급이 있는 재수화된 군에 대해 H¹_Nis(X, G)의 A¹-불변성을 확립하기 위해.
• 특성 ≠ 2인 체 위에서 재수화된 군에 대한 동차공간으로서 나타나는 모티브 스페어를 분류하기 위해.
• 이러한 동차공간들의 첫 번째 비영인 A¹-호모토피 셰이프의 구조를 규명하고 연결성을 분석하기 위해.
• 특성 ≠ 2인 체 위에서 특정 이차곡면 다양체 Q₂ₙ가 A¹-순수하다는 것을 증명하기 위해, 관련된 토르서의 자리지 국소적 평탄성을 이용하기 위해.

제안 방법

• 최근에 호가디와 쿨카르니에 의해 증명된, 유한체 위에서 개선된 가브르의 표현 렘마를 적용하여, H¹_Nis(X, G)의 A¹-불변성을 확립하기 위해.
• 유한체 위에서는 모든 재수화된 군이 준스플릿이므로 등급이 있음을 이용하여, [AHW18]의 표현 가능성 결과를 확장하기 위해.
• A¹-호모토피 범주에서의 Singular^A¹ 및 프레비트 치환을 이용하여, 코homological 불변량과 매핑 공간을 연결하기 위해.
• 특히 스피너 군과 옥타니온을 통한 고전적 군론적 구성 방법을 활용하여, 모티브 스페어를 동차공간으로 식별하기 위해.
• 위트의 취소 정리를 적용하여, 토르서 G → G/H의 자리지 국소적 평탄성을 검증함으로써, A¹-불변성과 표현 가능성의 근거를 마련하기 위해.
• 기존의 알려진 A¹-약한 동치: Q₂ₙ ≃ Sⁿ ∧ Gₘ^∧n 및 Q₂ₙ₋₁ ≃ Sⁿ⁻¹ ∧ Gₘ^∧n를 활용하여, 동차공간이 모티브 스페어로 식별됨을 확인하기 위해.

실험 결과

연구 질문

• RQ1 등급이 있는 재수화된 군에 대한 G-torsor의 A¹-표현 가능성 결과를 유한체로 확장할 수 있는가?
• RQ2 어떤 동차공간 G/H가 A¹-호모토피 이론에서 모티브 스페어와 동형인가?
• RQ3 등급이 있는 재수화된 군에 대해 동차공간 G/H의 첫 번째 비영인 A¹-호모토피 셰이프의 구조는 어떠한가?
• RQ4 특성 ≠ 2인 체 위에서 이차곡면 다양체 Q₂ₙ는 A¹-순수한가?
• RQ5 식별된 동차공간 G/H ≅ Q₂ₙ 또는 Q₂ₙ₋₁에 대해, 토르서 G → G/H는 자치지 국소적으로 평탄한가?

주요 결과

• 등급이 있는 재수화된 군에 대해, 유한체 위에서 X ↦ H¹_Nis(X, G)의 함수는 개선된 가브르 표현 렘마를 통해 A¹-불변성이 성립한다.
• G가 등급일 경우, 모든 매끄럽고 약한 k-스킴 X에 대해 H¹_Nis(X, G) ≅ [X, BG]_A¹의 이분법적 대응이 성립한다. 이는 유한체 위에서도 성립한다.
• 스핀 군을 통한 옥타니온 위의 스피너 표현을 통해, 몰입된 동차공간 Spin₉/Spin₇는 15차원의 모티브 스페어 Q₁₅와 동형이다.
• 동차공간 SO₂ₙ₊₁/SO₂ₙ은 Q₂ₙ와 동형이며, 이 토르서는 자치지 국소적으로 평탄하므로, 특성 ≠ 2인 체 위에서 A¹-순수성이 성립한다.
• SLₙ/SLₙ₋₁, SO₂ₙ/SO₂ₙ₋₁, Sp₂ₘ/Sp₂ₘ₋₁ (n=2m일 때), 그리고 Spin₇/G₂는 모두 Q₂ₙ₋₁과 동형이다.
• 모든 식별된 동차공간에 대해 토르서 G → G/H는 자치지 국소적으로 평탄하며, 이는 A¹-불변성과 표현 가능성에 필수적이다.