[논문 리뷰] On the Grothendieck-Serre conjecture on principal bundles in mixed characteristic

Roman Fedorov|arXiv (Cornell University)|2015. 01. 17.

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

한 줄 요약

이 논문은 균일한 특성의 정칙 국소환에서 분할 재조합 군 스킴에 대한 그로텐디크–세르 추측을, 기저 스킴에 대한 기하학적 조건이 만족될 경우 증명한다. 나이스 트리플과 준기본적 피브레이션을 통한 번들 접합 기법 및 변형 기법을 사용하여, 체를 포함하지 않는 경우까지 추측을 확장함으로써, 유리 점을 갖는 번들의 자명성을 확립한다.

ABSTRACT

Let R be a regular local ring. Let G be a reductive R-group scheme. A conjecture of Grothendieck and Serre predicts that a principal G-bundle over R is trivial if it is trivial over the quotient field of R. The conjecture is known when R contains a field. We prove the conjecture for a large class of regular local rings not containing fields in the case when G is split.

연구 동기 및 목표

• 체를 포함하지 않는 혼합 특성의 정칙 국소환에 대해 그로텐디크–세르 추측을 확장한다.
• 유리 점을 갖는 경우, 이러한 환 위에서의 주 G-번들 자명성을 확립한다.
• 이전에 체를 포함하는 환 또는 낮은 차원의 경우에만 알려진 결과를 일반화한다.
• 혼합 특성에서 나이스 트리플과 준기본적 피브레이션을 활용한 새로운 방법론적 프레임워크를 제공한다.

제안 방법

• 기저 스킴 U 위에서 번들 및 그 자명화를 매개화하기 위해 나이스 트리플 (qU: X → U, f, ∆) 을 구성한다.
• 유리 점의 존재를 이용하여 A1_U 위의 G-번들 F 를 구성한다. 이는 유한 부분 스킴에서 자명하고 0×U 에서 원래 번들과 일치한다.
• Xgσ∗(h) → Xg 와 (A1_U)h → A1_U 를 포함하는 다이어그램을 통한 접합 구조를 적용하여 A1_U 위의 전역 G-번들을 구성한다.
• 접합이 자명화 및 점 조건과 호환된다는 사실을 이용하여 문제를 알려진 경우로 감소시킨다.
• 매끄러운 군 스킴에 대해 fppf 코homology와 에테일 코homology 사이의 표준적 동형을 이용하여 코homological 커널을 분석한다.
• 직교 군의 코homology 정확수열에서 다이어그램 추적을 적용하여 H1 에서 제약 사상의 단사성을 증명한다.

실험 결과

연구 질문

• RQ1 분할 재조합 군 스킴에 대한 그로텐디크–세르 추측은 혼합 특성의 정칙 국소환에서 성립하는가?
• RQ2 기하학적 및 변형 기법을 사용하여, 체를 포함하지 않는 환으로 추측을 확장할 수 있는가?
• RQ3 기저 스킴에 어떤 조건이 만족되어야, 유리 점을 갖는 주 번들이 혼합 특성에서 자명해지는가?
• RQ4 나이스 트리플과 준기본적 피브레이션을 어떻게 사용하여 혼합 특성에서 국소 자료로부터 전역 번들을 구성할 수 있는가?
• RQ5 직교 군에 대해 H1(fppf) 에서 제약 사상의 단사성이 분할 경우 추측을 암시하는 데 충분한가?

주요 결과

• 기저 스킴에 약간의 기하학적 조건이 만족될 경우, 혼합 특성의 정칙 국소환에서 분할 재조합 군 스킴에 대한 그로텐디크–세르 추측은 성립한다.
• 특수 섬유가 일반적으로 정칙이고 특이점 집합이 특수 섬유와의 교차에서 codimension ≥2 를 갖는 조건 하에서 추측이 증명된다.
• 증명은 분할 재조합 G 에 대해 H1_fppf(R, G) → H1_fppf(K, G) 의 제약 사상의 단사성을 확립하며, 이는 유리 점을 갖는 번들의 자명성을 암시한다.
• 이 방법은 직교 군에 적용되며, 2가 역원가능할 경우 위트의 캐슬레이션을 통해 이차 형식의 동형으로 확장된다.
• 저자는 2가 역원가능한 우수한 이산 평가환수 위의 프로젝티브 스킴에서 유한 개의 닫힌 점의 준국소 환에 대해서도 추측이 성립함을 보였다.
• 특히 잔여체가 유한일 경우 이전 방법이 실패한 차원 2의 경우에서도 결과는 새로운 것이다.