[논문 리뷰] The Grothendieck-Serre Conjecture over Semilocal Dedekind Rings

Ning Guo|arXiv (Cornell University)|2019. 02. 06.

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

한 줄 요약

이 논문은 반단순 군 스킴에 대한 그로텐디크–세르 추측을 반국소 딜레곤 링 위에서 증명한다. 이는 패치잉과 약한 근사법을 사용하여 문제를 완전한 이산 평가환수 링의 경우로 환원하고, 브하트–티스 이론을 적용하여 비등방성 반단순 군을 다루는 방식이다. 핵심 결과는 에테ール 코homology 사상 $ H^1_{\text{ét}}(R,G) \to H^1_{\text{ét}}(K,G) $ 의 단사성으로, 이는 정칙 반국소 링 위에서의 반단순 모델의 유일성을 암시한다.

ABSTRACT

For a reductive group scheme $G$ over a semilocal Dedekind ring $R$ with total ring of fractions $K$, we prove that no nontrivial $G$-torsor trivializes over $K$. This generalizes a result of Nisnevich-Tits, who settled the case when $R$ is local. Their result, in turn, is a special case of a conjecture of Grothendieck-Serre that predicts the same over any regular local ring. With a patching technique and weak approximation in the style of Harder, we reduce to the case when $R$ is a complete discrete valuation ring. Afterwards, we consider Levi subgroups to reduce to the case when $G$ is semisimple and anisotropic, in which case we take advantage of Bruhat-Tits theory to conclude. Finally, we show that the Grothendieck-Serre conjecture implies that any reductive group over the total ring of fractions of a regular semilocal ring $S$ has at most one reductive $S$-model.

연구 동기 및 목표

• 지역 링에서의 나스니비치의 결과를 반국소 링으로 일반화하여 그로텐디크–세르 추측을 반국소 딜레곤 링으로 확장한다.
• 반단소 군 스킴에 대한 등방성 조건을 제거하여, 반단소 단순연결 등방성 부분군이 필요 없이도 반국소 딜레곤 링 위에서의 경우를 완성한다.
• 정칙 반국소 링 $ S $ 의 전체 분수환 위에서의 반단순 군에 대해 $ S $-모델의 유일성을 확립한다.
• 나스니비치의 원래 접근법에서의 빈자리와 불명확한 점들을 해결하여 반국소 딜레곤 링에 대한 추측 변형에 대한 완전한 증명을 제공한다.

제안 방법

• 하더의 약한 근사법에 영향을 받은 패치잉 기법을 사용하여 문제를 완전한 이산 평가환수 링의 경우로 환원한다.
• 틀림의 원리를 적용하여 $ G $ 가 반단순이고 등방성인 경우로 환원하며, 리베르 하위군의 구조를 활용한다.
• 완전한 이산 평가환수 링과 완전한 잔여체를 가진 반단순 군의 구조를 분석하기 위해 브하트–티스 이론을 적용한다.
• 에테ール 코homology와 자동형사상 및 외부 자동형사상 군 스킴을 포함하는 정확한 수열을 사용하여 군 모델의 동형류를 분석한다.
• 코homology 사상의 단사성을 활용하여, 임의의 두 $ K $-군에 대한 반단순 $ S $-모델이 서로 동형임을 증명한다.
• 지oint된 집합의 가환 다이어그램에서 다이어그램 추적 기법을 적용하여 $ H^1_{\text{ét}}(S,\underline{\mathrm{Aut}}(G)) \to H^1_{\text{ét}}(K,\underline{\mathrm{Aut}}(G)) $ 의 핵이 자명함을 보인다.

실험 결과

연구 질문

• RQ1 반국소 딜레곤 링 위에서 반단소 군 스킴에 대해 그로텐디크–세르 추측이 등방성 조건 없이도 성립하는가?
• RQ2 패치잉과 완전화를 사용하여 반국소 딜레곤 링에서의 에테ール 코homology 사상 $ H^1_{\text{ét}}(R,G) \to H^1_{\text{ét}}(K,G) $ 의 단사성을 확립할 수 있는가?
• RQ3 정칙 반국소 링 위에서의 반단순 모델의 유일성은 코homological 단사성 결과로부터 유도되는가?
• RQ4 나스니비치의 이산 평가환수 링에 대한 증명을 반국소 딜레곤 링으로 확장할 수 있는가? 이는 그의 증명에서 불명확한 점과 빈자리들을 해결함으로써 가능하다.

주요 결과

• 임의의 반단소 군 스킴 $ G $ 에 대해 반국소 딜레곤 링 $ R $ 와 그 전체 분수환 $ K $ 에 대해 $ H^1_{\text{ét}}(R,G) \to H^1_{\text{ét}}(K,G) $ 의 당김 사상은 단사적이다.
• 이 결과는 나스니비치의 정리에서 지역 링에서 반국소 링으로 일반화되며, 군 스킴에 대한 등방성 조건이 더 이상 필요하지 않게 된다.
• 코homology 사상의 단사성은 정칙 반국소 링 $ S $ 의 전체 분수환 위에서의 반단소 군이 최대 하나의 반단소 $ S $-모델을 가진다는 것을 암시한다.
• 증명은 $ H^1_{\text{ét}}(S,\underline{\mathrm{Aut}}(G)) \to H^1_{\text{ét}}(K,\underline{\mathrm{Aut}}(G)) $ 의 핵이 자명함을 입증하며, 이는 임의의 두 반단소 $ S $-모델이 서로 동형임을 암시한다.
• 이론은 반국소 딜레곤 링 위에서의 코homological 단사성이 반단소 모델의 유일성과 동치임을 확인한다. 표준 가정 하에 성립한다.
• 이 결과는 반국소 딜레곤 링에 대한 그로텐디크–세르 추측의 경우를 완성하며, 이전에 알려진 모든 특수 케이스를 포함한다.