[논문 리뷰] On Grothendieck--Serre's conjecture concerning principal G-bundles over reductive group schemes:I

Ivan Panin, Anastasia Stavrova외 1명|arXiv (Cornell University)|2009. 05. 09.

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

한 줄 요약

이 논문은 재미있는 군 스킴에 대한 그로텐디크–세르 추측의 핵심 케이스를 증명한다. 즉, 무한체 위의 매끄러운 아핀 다양체의 준국소 환에 대한 등급이 있는, 단순연결된 단순 군 스킴에 대해, 분수체에서 자명한 G-_bundle는 기저 환에서 이미 자명하다는 것을 보이며, 변형 기법과 에테ール 코homology의 소멸성을 사용한다.

ABSTRACT

Let k be an infinite field. Let R be the semi-local ring of a finite family of closed points on a k-smooth affine irreducible variety, let K be the fraction field of R, and let G be a reductive simple simply connected R-group scheme isotropic over R. We prove that for any Noetherian k-algebra A, the map of etale cohomology sets H^1(A\otimes_k R,G)-> H^1(A\otimes_ k K,G), induced by the inclusion of R into K, has trivial kernel. This implies the Serre-Grothendieck conjecture for such groups G. The main theorem for A=k and some other results of the present paper are used significantly in arXiv:1211.2678 to prove the Serre-Grothendieck conjecture for all reductive groups over a regular semi-local ring containing an infinite field.

연구 동기 및 목표

• 재미있는 군 스킴에 대한 에테ール 코homology 제한 사상의 핵이 자명하다는 것을 증명하기.
• 매끄러운 다양체의 준국소 환 위의 등급이 있고 단순연결된 단순 군 스킴에 대해 그로텐디크–세르 추측의 중요한 특수 케이스를 증명하기.
• 정칙 준국소 환에 대한 전체 추측의 후속 증명에서 사용되는 기초 결과를 제공하기.
• 이성적 케이스를 넘어서 추측의 유효성을 확장하기. 이성적 경우는 반례가 알려져 있다.
• 분수체에서의 자명화를 기저 환으로 끌어올리는 변형 이론적 방법을 개발하기.

제안 방법

• 변형 기법의 사용: 다항식 환 확장을 통한 주어진 G-_bundle의 변형을 구성하고, 국소화에서 자명화되도록 하며, t=0에서 원래의 범주를 복원한다.
• 팔데프–샤피로 보조정리를 적용하여 단순연결성에서 반단순 단순연결 군 스킴로 결과를 확장한다.
• 재미있는 군 스킴을 GL_N에 포함시키는 데서 유도되는 에테ール 코homology의 장점 정렬을 사용하여, 범주 자명성과 코homology 소멸성 간의 관계를 규명한다.
• 프로젝티브 공간에서 아핀 스킴으로의 사상은 항상 상수이므로, 프로젝티브 선에서의 자명화가 기저로 내림내릴 수 있음을 유추한다.
• O(1) 계수를 가진 프로젝티브 선에서 H^1의 소멸성을 활용하여, 닫힌 부분 스킴에서 자명한 벡터 범주는 전체 P^1에서 자명하다는 것을 보인다.
• 니스네비치 및 하보쉬–나가타 정리를 적용하여 재미있는 군의 몫이 아핀임을 보장하고, 이를 통해 내림내림 논증을 가능하게 한다.

실험 결과

연구 질문

• RQ1 준국소 환 위의 등급이 있고 단순연결된 단순 군 스킴에 대해, H^1_et(R⊗_k A, G) → H^1_et(K⊗_k A, G) 제한 사상의 핵이 자명한가?
• RQ2 다항식 환 위의 변형을 통해 분수체에서 자명한 G-_bundle가 기저 환에서 자명한 것으로 끌어올릴 수 있는가?
• RQ3 군 스킴 G와 기저 환 R에 어떤 조건이 성립하면, 에테ール 코homology 자명성이 전역 자명성으로 이어지는가?
• RQ4 G의 이성성은 그로텐디크–세르 추측의 유효성에 얼마나 막는가?
• RQ5 준국소 기저 위의 프로젝티브 선에서 자명한 G-_bundle가 코homology 내림내림을 통해 기저로 내림내릴 수 있는가?

주요 결과

• 정리 1.1은 임의의 노에테르 k-대수 A에 대해, G가 O 위에서 등급이 있고 단순연결되며 단순할 경우, H^1_et(O⊗_k A, G) → H^1_et(K⊗_k A, G) 사상의 핵이 자명하다고 보여준다.
• 정리 1.2는 O⊗_k A 위의 G-_bundle를 O[t]⊗_k A 위의 변형으로 구성하며, 국소화에서 자명화되고 t=0에서 원래의 범주를 복원한다.
• 정리 1.3은 B[t] 위의 G-_bundle가 단위 다항식 h(t)로 정의된 국소화에서 자명해지면, B[t] 위에서도 자명하다는 것을 증명한다.
• 정리 1.6은 무한체를 포함하는 정칙 준국소 도메인으로 결과를 확장하여, 등급이 있고 단순연결된 G에 대해 동일한 핵 자명성 결과를 보여준다.
• 정리 9.6의 증명은 H^1(P^1, O)의 소멸성과 코homology 내림내림을 사용하여, P^1의 닫힌 부분 스킴에서 자명한 벡터 범주는 전체 P^1에서 자명하다는 것을 보인다.
• 레마 12.1을 통한 내림내림 논증은, 준국소 기저 위의 프로젝티브 선에서 자명한 G-_bundle가 기저에서 자명하다는 것을 보여주며, G-몫의 아핀성 조건을 활용한다.