[논문 리뷰] Homogeneous spaces, algebraic $K$-theory and cohomological dimension of fields

Diego Munguía Izquierdo, Giancarlo Lucchini Arteche|arXiv (Cornell University)|2018. 12. 11.

Algebraic Geometry and Number Theory참고 문헌 14인용 수 4

한 줄 요약

이 논문은 밀너 K-이론과 동차 공간에서의 노름 사상들을 이용하여 체의 코homological 차원을 정확한 대수기하학적 특성으로 규명한다. 이를 통해 완전한 체가 코homological 차원이 최대 q+1일 조건을, 모든 유한 확장 L과 L 위의 스무스 선형 연결 대수적 군에 대한 동차 공간 Z에 대해, Z가 유리점이 존재하는 확장에서의 노름에 의해 L의 q번째 밀너 K-군이 생성됨으로써 특성화함으로써, 카토와 쿠즈마키의 결함이 있는 추측을 보완하고 보다 정교한 코homological 완전성 대안을 제시한다.

ABSTRACT

Let $q$ be a non-negative integer. We prove that a perfect field $K$ has cohomological dimension at most $q+1$ if, and only if, for any finite extension $L$ of $K$ and for any homogeneous space $Z$ under a smooth linear connected algebraic group over $L$, the $q$-th Milnor $K$-theory group of $L$ is spanned by the images of the norms coming from finite extensions of $L$ over which $Z$ has a rational point. We also prove a variant of this result for imperfect fields.

연구 동기 및 목표

• 카토와 쿠즈마키의 추측을 일반화하고 수정하는 방식으로 체의 코homological 차원을 특성화하는 열린 문제를 해결하기 위해.
• 밀너 K-이론과 동차 공간의 유리점에서 온 노름 사상들을 이용한 디오판틴 특성화를 제공하기 위해.
• 스테인베르크의 정리, 수스린의 노름 전성, 윌튼버그의 p-진수 및 수체에 대한 결과를 포함한 기존 코homological 차원 결과들을 통합하고 일반화하기 위해.
• 분리 가능한 코homological 차원과 재구성 군 작용을 이용하여 불완전한 체로 특성화를 확장하기 위해.
• 모든 체, 특히 함수체와 로렌트 급수체에 적용 가능한 산술 방법을 피하는 순수 대수기하학적 증명 전략을 개발하기 위해.

제안 방법

• 유한 확장 L과 L 위의 스무스 선형 연결 대수적 군에 대한 동차 공간 Z에서 유리점이 존재하는 확장에서의 노름에 의해 생성되는, q번째 밀너 K-군이 생성되는 조건을 만족하는 새로운 체 성질 Cq^HS, Cq^PHS, Cq^Red 를 도입한다.
• 노름 사상 NL′/L: KM_q(L′) → KM_q(L) 를 이용해, 이러한 노름의 이미지들로 생성되는 부분군 Nq(Z/L) 를 정의한다.
• 비아벨리안 코hom로 기법, 특히 게르베와 토르서의 이론을 적용하여 동차 공간의 유리점 분석에 활용한다.
• 제한-핵심화 추론과 시로우 부분군 분해를 이용하여 문제를 해석 가능한 안정자군으로 축소한다.
• 디마르슈와 루크키니 아르테체의 유한 안정자군을 가진 동차 공간에 대한 하스 원리 결과를 활용한다.
• 하르파즈와 윌튼버그의 영향을 받은 귀납법과 보편 토르서 기법을 사용하여 핵심 경우에서 복잡한 비아벨리안 코호몰로지의 필요성을 피한다.

실험 결과

연구 질문

• RQ1 완전한 체의 코homological 차원은 동차 공간이 유리점을 가지는 확장에서의 노름 사상의 전성에 의해 특성화될 수 있는가?
• RQ2 유리점에서 온 노름에 의해 정의되는 Cq^HS 성질은 코homological 차원이 최대 q+1인 체를 특성화하는가?
• RQ3 불완전한 체로의 일반화는 어떻게 이루어지며, 분리 가능한 코homological 차원은 어떤 역할을 하는가?
• RQ4 카토와 쿠즈마키의 Cq^i 추측의 실패는 초면이 아니라 동차 공간으로 제한함으로써 피할 수 있는가?
• RQ5 증명 전략은 얼마나 순수하게 대수기하학적 기법으로 만들 수 있으며, 이는 이전의 p-진수 및 수체 연구에서 사용된 산술 도구를 피할 수 있는가?

주요 결과

• 완전한 체 K는 코homological 차원이 최대 q+1일 조건과 동치로, Cq^HS 성질을 만족한다: 모든 K의 유한 확장 L과 L 위의 스무스 선형 연결 대수적 군에 대한 동차 공간 Z에 대해, q번째 밀너 K-군 KM_q(L) 는 Z(L′)가 비어있지 않은 유한 확장 L′ 에서의 노름 사상의 이미지들로 생성된다.
• 불완전한 체에 대해서는 재구성 군에 대해 정의된 Cq^Red 성질이 분리 가능한 코homological 차원 최대 q+1를 특성화한다: 모든 K의 유한 확장에서 분리 가능한 코homological 차원이 ≤ q+1일 조건과 동치로, KM_q(L) 는 재구성 군에 대한 주어진 동차 공간이 유리점을 가지는 확장에서의 노름에 의해 생성된다.
• 이 결과는 스테인베르크의 정리를 일반화한다: K 가 완전하고 코homological 차원 ≤1 이면, 선형 연결 군에 대한 모든 동차 공간은 차수 1인 0-사이클을 가진다.
• 이 결과는 수스린의 정리를 확장한다: 특성 0인 체 K 가 코homological 차원 ≤2 이면, 모든 K 의 유한 확장 L 과 모든 중심 단순 대수 A 에 대해, A× → L× 의 감소된 노름 사상이 전사이다.
• 이 결과는 양의 특성에서 질레의 결과를 일반화한다: 코homological 차원 조건은 재구성 군 토르서에 대한 노름 사상의 전성과 동치이다.
• 증명은 산술 방법을 피하고 게르베, 토르서, 제한-핵심화 기법과 같은 대수기하학적 도구를 사용하여, 카토-쿠즈마키의 추측이 실패하는 C((t))(x) 및 C((x,y)) 와 같은 체에 적용 가능한 증명 전략을 제공한다.