[논문 리뷰] Variations on a theme of Grothendieck

Johan Martens, Michael Thaddeus|arXiv (Cornell University)|2012. 10. 30.

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

한 줄 요약

이 논문은 프로젝티브 선상에서 주요 군복소의 최대 토리로의 감소에 관한 그로텐디크의 고전적 결과를, 오비폴드, 제르베, 노드 곡선의 사슬, 토러스-등변 구조 등 다양한 기하학적 및 스택 이론적 설정으로 확장한다. 이러한 감소의 존재성과 유일성(자기동형사상과 웨일군 작용에 대해 모odulo)을 확립하고, 이러한 군복소의 자동형사상 군 스킴이 매끄럽고, 아핀이며, 연결되어 있음을 증명한다.

ABSTRACT

Grothendieck and Harder proved that every principal bundle over the projective line with split reductive structure group (and trivial over the generic point) can be reduced to a maximal torus. Furthermore, this reduction is unique modulo automorphisms and the Weyl group. In a series of six variations on this theme, we prove corresponding results for principal bundles over the following schemes and stacks: (1) a line modulo the group of nth roots of unity; (2) a football, that is, an orbifold of genus zero with two marked points; (3) a gerbe over a football whose structure group is the nth roots of unity; (4) a chain of lines meeting in nodes; (5) a line modulo an action of a split torus; and (6) a chain modulo an action of a split torus. We also prove that the automorphism groups of such bundles are smooth, affine, and connected.

연구 동기 및 목표

• P¹ 위의 주 G-군복소에 대한 그로텐디크의 1955년 결과를 더 일반적인 기저 스택 및 스킴으로 일반화한다.
• 풋볼 오비폴드, µn-등변 선, 노드 곡선의 사슬과 같이 비자명한 기하학적 대상 위의 주 군복소에 대해 최대 토리로의 감소의 존재성과 유일성을 확립한다.
• 이러한 군복소의 자동형사상 군 스킴이 항상 매끄럽고, 아핀하며, 연결되어 있음을 증명하여 고전적 경우를 넘어서는 구조적 성질을 확장한다.
• 토러스-등변 사슬과 제르베를 통한 재수성 군의 컴acts화를 위한 기초 결과를 제공한다.

제안 방법

• G-군복소의 이sov형 클래스를 H¹(X, G)로 식별하고, 유리형으로 트ivial한 군복소를 분석하기 위해 에탈 코hom로지 기법을 사용한다.
• 1968년 하더의 결과를 활용하여, 임의의 체 위에서 분할 재수성 군과 유일한 일반성 섬유를 가진 군복소로 그로텐디크 결과를 확장한다.
• 내림내림 이론과 양자 특성에서의 중심자 이론을 활용하며, 특히 스테인베르그의 단순 원소와 토리에 관한 정리들을 활용한다.
• 카르티에 대칭과 Z 위의 체바렐 모델로의 기본 변화를 이용하여 일반적인 경우를 대수적으로 닫힌 경우로 환원한다.
• 일반화된 p-거듭제곱 순서를 가진 유니포텐트 µpr 부분군에 대해 귀납법을 적용하며, p-리 함수자 및 상대 프로베니우스 사상의 성질을 활용한다.
• 매끄러운 군 스킴에서 연결된 섬유의 위치가 닫혀 있음을 이용하여 중심자의 연결성을 증명한다.

실험 결과

연구 질문

• RQ1 그로텐디크의 P¹ 위 주 G-군복소에 대한 감소 정리는 풋볼 오비폴드나 µn-등변 선과 같은 스택으로 확장 가능한가?
• RQ2 토러스-등변 곡선 사슬 위의 유리형으로 트ivial한 G-군복소는 항상 최대 토리로 감소하는가? 유일성은 자동형사상과 웨일군 작용에 대해 성립하는가?
• RQ3 이러한 군복소의 자동형사상 군 스킴은 항상 매끄럽고, 아핀하며, 연결되어 있는가? 특히 양자 특성에서 성립하는가?
• RQ4 특성의 거듭제곱인 n에 대해, 재수성 군에서 µn-부분군의 중심자는 어떤가? 특히 양자 특성에서 어떻게 행동하는가?
• RQ5 결과들이 유도된 군이 단순연결임에 얼마나 의존하는가? 이는 중심자 구조에 어떤 영향을 미치는가?

주요 결과

• P¹ 위의 모든 유리형으로 트ivial한 G-군복소는 최대 토리 T로 감소하며, 이는 그로텐디크의 원래 결과를 일반화한다.
• 최대 토리로의 감소는 군복소의 자동형사상과 웨일군 작용에 대해 유일하다.
• 이러한 군복소의 자동형사상 군 스킴은 양자 특성에서도 매끄럽고, 아핀하며, 연결되어 있다.
• 모든 호모모르피즘 µn → G에 대해, 그 이미지의 중심자는 G의 유도된 군이 단순연결일 경우 연결되어 있다.
• 기저 체가 대수적으로 닫혀 있을 경우, 재수성 군에서 µn-부분군의 중심자는 매끄럽고, 그 최대 토리들은 G에서 최대이다.
• 중심자의 연결성 증명은 Z 위의 체바렐 모델로의 기본 변화와 매끄러운 군 스킴에서 연결된 섬유의 위치가 닫혀 있음을 이용한다.