[논문 리뷰] Grothendieck-Serre in the quasi-split unramified case

Kęstutis Česnavičius|arXiv (Cornell University)|2020. 09. 11.

Algebraic Geometry and Number Theory인용 수 4

한 줄 요약

이 논문은 비분할 정칙 국소환 위의 준스플릿 재귀적 군 스킴에 대한 그로텐디크–세르 추측을 증명하며, 모든 일반적으로 자명한 토르서가 자명하다는 것을 확립한다. 증명은 이산 평가환환 위에서의 노이터 정규화의 새로운 형태와 혼합 특성수에서의 매끄러운 상대 곡선에 대한 표현 보조정리(lemma)를 사용하여, 절단과 패치링 기법을 통해 아핀 직선으로의 축소를 가능하게 한다.

ABSTRACT

The Grothendieck--Serre conjecture predicts that every generically trivial torsor under a reductive group scheme $G$ over a regular local ring $R$ is trivial. We settle it in the case when $G$ is quasi-split and $R$ is unramified. Some of the techniques that allow us to overcome obstacles that have so far kept the mixed characteristic case out of reach include a version of Noether normalization over discrete valuation rings, as well as a suitable presentation lemma for smooth relative curves in mixed characteristic that facilitates passage to the relative affine line via excision and patching.

연구 동기 및 목표

• 기저 환자가 비분할이면서 군 스킴가 준스플릿일 조건 하에서, 그로텐디크–세르 추측의 혼합 특성수 케이스를 해결하는 것.
• 추측을 디데킨드 도메인 위에서 평탄하고 기하학적으로 정칙인 국소환으로 확장하여, 국소환을 초월한 적용 가능성을 넓히는 것.
• 비분할 정칙 국소환 위의 준스플릿 재귀적 군에 대해, 아델리카 구조와 전역 구조를 연결하는 곱공식을 수립하는 것.
• 정칙 국소환 위의 재귀적 군 스킴이 스필릿(또는 준스플릿)임과 그의 일반성 섬세화가 스필릿(또는 준스플릿)임이 동치임을 증명하여, 추측의 함의를 강화하는 것.
• 패치링과 상대 곡선 기법을 활용하여, 혼합 특성수에서의 토르서에 대한 새로운 코homological 도구세트를 제공하는 것.

제안 방법

• 혼합 특성수 설정을 다룰 수 있도록 이산 평가환수에 적합한 노이터 정규화의 형태를 개발하는 것.
• 혼합 특성수에서의 매끄러운 상대 곡선에 대한 표현 보조정리를 도입하여, 절단과 패치링을 통해 상대 아핀 직선으로의 축소를 가능하게 하는 것.
• 코hen–맥컬레이 상대 곡선의 맥락에서 린델 유형의 기교를 적용하여, 일반성 섬세화에서 전체 공간으로 토르서를 끌어올리는 것.
• 패치링 기법(예: 보조정리 7.1)을 적용하여, 매끄러운 상대 곡선에서 기저 환 위의 아핀 직선으로 토르서를 내림내리는 것.
• 비아벨리안 코hom로지와 토글링 기법을 사용하여 문제를 토리 위의 토르서로 축소하며, [CTS79] 및 [CTS87]의 순수성 결과를 활용하는 것.
• 보렐 부분군과 그의 불가약한 부분군의 구조를 이용하여 문제를 토리 토르서로 축소하며, 이 경우 추측가 이미 알려져 있음을 활용하는 것.

실험 결과

연구 질문

• RQ1 비분할 정칙 국소환 위의 준스플릿 재귀적 군 스킴에 대해, 혼합 특성수에서 그로텐디크–세르 추측이 성립하는가?
• RQ2 추측은 디데킨드 도메인 위에서 평탄하고 기하학적으로 정칙인 국소환으로 확장될 수 있는가?
• RQ3 정칙 환의 분수환 위에서 토르서가 자명할 경우, 군이 준스플릿이면서 환이 비분할일 때, 그 환 자체에서도 자명한가?
• RQ4 재귀적 군 스킴의 일반성 섬세화가 기저 환 위의 스킴의 스필릿 또는 준스플릿 상태를 결정하는 데 어떤 조건이 필요한가?
• RQ5 혼합 특성수에서 기하학적 축소 기법을 통해 토르서를 자명화하는 데 대한 코homological 장벽을 제거할 수 있는가?

주요 결과

• 비분할 정칙 국소환 위의 준스플릿 재귀적 군 스킴에 대해 그로텐디크–세르 추측이 증명되었으며, $ H^1(R, G) o H^1( ext{Frac}(R), G) $의 핵이 자명하다.
• 동일한 자명성 결과가, 디데킨드 환 위에서 평탄하고 기하학적으로 정칙인 국소환으로 확장된 설정에서도 성립한다.
• 곱공식이 수립되었다: 비분할 정칙 국소환 $ R $, $ r eq 0 $, 그리고 준스플릿 재귀적 $ R $-군 $ G $에 대해 $ G(reve{R}[1/r]) = G(reve{R})G(R[1/r]) $가 성립하며, 여기서 $ reve{R} $는 $ R $의 $ r $-진 완비화이다.
• 정칙 국소환 $ R $에 대해, 재귀적 $ R $-군 스킴 $ H $가 스필릿임과 그의 일반성 섬세화 $ H_{ ext{Frac}(R)} $가 스필릿임이 동치이다.
• 등차 특성수 케이스에서, 정칙 국소환 $ R $에 대해 재귀적 $ R $-군 스킴 $ H $가 준스플릿임과 그의 일반성 섬세화가 준스플릿임이 동치이다.
• 정칙 국소환에서 $ 2 otin R^ imes $일 경우, $ H^1(R, ext{SO}_n) o H^1( ext{Frac}(R), ext{SO}_n) $ 및 $ H^1(R, ext{O}_n) o H^1( ext{Frac}(R), ext{O}_n) $의 단사성이 증명되었으며, 이는 $ R $ 위의 비동형 비퇴화 이차형식이 $ ext{Frac}(R) $ 위에서도 여전히 비동형임을 의미한다.