[논문 리뷰] On the purity conjecture of Nisnevich for torsors under reductive group schemes

Roman Fedorov|arXiv (Cornell University)|2021. 09. 21.

Algebraic Geometry and Number Theory인용 수 4

한 줄 요약

이 논문은 무한체를 포함하는 정칙 반국소 정수환 위에서 재구성된 군 스킴에 대한 토르서에 대한 니스네비치 순수성 추측을 등급 조건 하에서 증명하며, $ R_f $ 위에서 유리적으로 자명한 토르서는 자명하다는 것을 보인다. 등급 조건이 없을 경우, 아핀 그라스만이를 이용해 반례를 구성하고, 특성 0에서 가환 군 스킴의 곱형 타입에 대해 고차 에탈 코hom로지에 대한 유사성이 확립된다.

ABSTRACT

Let $R$ be a regular semilocal integral domain containing an infinite field $k$. Let $f\in R$ be an element such that for all maximal ideals $\mathfrak m$ of $R$ we have $f otin\mathfrak m^2$. Let $\mathbf G$ be a reductive group scheme over $R$. Under an isotropy assumption on $\mathbf G$ we show that a $\mathbf G$-torsor over the localization $R_f$ is trivial, provided it is rationally trivial. We show that it is not true without the isotropy assumption. Finally, if $\mathbf G$ is a commutative group scheme of multiplicative type and the regular semilocal ring contains a field of characteristic zero, we prove an analogue of Nisnevich purity conjecture for higher étale cohomology groups. The first statement is derived from its abstract version concerning presheaves of pointed sets satisfying some properties. The counterexample is constructed by providing a torsor over a local family of affine lines that cannot be extended to the family of projective lines. The latter is accomplished using the technique of affine Grassmannians.

연구 동기 및 목표

• 정칙 반국소 링에서 무한체를 포함하는 재구성된 군 스킴에 대한 토르서에 대한 니스네비치 순수성 추측을 확립하는 것.
• 군 스킴에 대한 등급 조건이 없을 경우 추측이 성립하지 않음을 보여주는 것.
• 특성 0에서 가환 군 스킴의 곱형 타입에 대해 고차 에탈 코hom로지 군에 대한 순수성 현상의 확장을 이룩하는 것.
• 주어진 점을 가진 프레샤프의 추상적 성질을 통해 주요 결과를 증명하는 일반적 프레임워크를 제공하는 것.

제안 방법

• 주요 결과는 특정 정확성 및 확장 성질을 만족하는 점을 가진 프레샤프에 대한 순수성에 관한 추상 기준에서 유도된다.
• 지정된 국소 가중치의 아핀 직선 위에서의 ${\mathbf{G}}$-토르서가 해당 프로젝티브 직선으로 확장될 수 없다는 것을 보여, 반례를 구성한다.
• 이 구성은 아핀 그라스만이의 기하학에 의존하며, 분할된 단순형 군 $ G $에 대해 $ \mathbb{P}^1_k \hookrightarrow \mathrm{Gr}_G $ 의 닫힌 포함을 사용한다.
• 아핀 그라스만이 $ \mathrm{Gr}_G $ 로의 사상이 $ \mathbb{A}^1_{B'} $ 에서 확장되지 않는다는 사실을 이용해 토르서의 확장 방해를 분석한다.
• 비자명한 코캐릭터의 궤도가 플라그 다양체 $ G/P_\lambda $ 를 통해 $ \mathbb{P}^1 $ 을 포함한다는 사실을 증명에 활용한다.
• 코hom로지 유사성은 동일한 프레임워크를 사용하여 증명되며, 스킴의 곱형 타입에 대해 추상 순수성 결과를 다항군 스킴에 적용한다.

실험 결과

연구 질문

• RQ1 정칙 반국소 정수환 $ R $ 과 $ f \notin \mathfrak{m}^2 $ 를 만족하는 모든 극대 이상수 $ \mathfrak{m} $ 에 대해, $ R_f $ 위에서 유리적으로 자명한 $ \mathbf{G} $-토르서가 언제 자명해지는가?
• RQ2 정칙 반국소 링 위에서 비등급 재구성된 군 스킴에 대해 니스네비치 순수성 추측이 실패할 수 있는가?
• RQ3 특성 0에서 $ \mathbf{G} $ 가 가환 곱형 타입이고 $ R $ 가 특성 0의 체를 포함할 경우, 고차 에탈 코hom로지 군에 대해 니스네비치 순수성의 코hom로지 유사성이 존재하는가?
• RQ4 아핀 그라스만이가 등급 조건이 없을 경우 비확장 가능한 토르서를 구성하는 데 어떻게 기여하는가?

주요 결과

• $ \mathbf{G} $ 가 $ R $ 에서 등급이고, $ R $ 이 무한체를 포함하는 정칙 반국소 정수환이며, 모든 극대 이상수 $ \mathfrak{m} $ 에 대해 $ f \notin \mathfrak{m}^2 $ 를 만족할 경우, $ R_f $ 위에서 유리적으로 자명한 $ \mathbf{G} $-토르서는 자명하다.
• 등급 조건이 없을 경우 순수성 추측은 실패한다: 비확장 가능한 사상 $ \mathbb{A}^1_{B'} \to \mathrm{Gr}_G $ 을 통해 반례가 구성되며, 이는 비확장 가능한 토르서에 대응한다.
• 특성 0의 체를 포함하는 정칙 반국소 링 위에서 가환 군 스킴 $ \mathbf{G} $ 가 곱형 타입일 경우, 고차 에탈 코hom로지 군에 대해 니스네비치 순수성의 유사성이 성립한다.
• 분할된 비자명한 단순형 군 $ G $ 에 대해 아핀 그라스만이 $ \mathrm{Gr}_G $ 에 닫힌 $ \mathbb{P}^1 $-서브스킴이 존재하는 것은 반례 구성에 필수적이다.
• 일부 정확성 및 확장 조건을 만족하는 점을 가진 프레샤프의 추상적 프레임워크는 특정 기하 구조를 넘어서 순수성 결과의 일반화를 가능하게 한다.
• 토르서가 $ \mathbb{A}^1_{B'} $ 에서 $ \mathbb{P}^1_{B'} $ 로 확장되지 않는 데서 기인하는 장애는, 해당 사상이 $ \mathrm{Gr}_G $ 로 확장되지 못하기 때문이며, 이는 코캐릭터 궤도의 비자명성 때문이기도 하다.