[논문 리뷰] Some structure theorems for algebraic groups

Michel Brion|arXiv (Cornell University)|2015. 09. 10.

Algebraic Geometry and Number Theory인용 수 33

한 줄 요약

이 논문은 체 위의 대수적 군에 대한 두 가지 기초적인 구조 정리에 대해 현대적인 스킴 이론적 증명을 제공한다: 모든 대수적 군은 약환 후가 약환인 최소 정규부분군을 갖는다 (정리 1), 그리고 약환 후가 올바른 최소 정규부분군을 갖는다 (정리 2). 주요 기여는 기본적인 대수적 기하학을 사용한 체계적이고 접근 가능한 다루기, 특히 완전한 체 위의 매끄럽고 연결된 대수적 군이 아벨 다양체에 대한 약환 군으로의 확장임을 규명하는 데 있다.

ABSTRACT

These are extended notes of a course given at Tulane University for the 2015 Clifford Lectures. Their aim is to present structure results for group schemes of finite type over a field, with applications to Picard varieties and automorphism groups.

연구 동기 및 목표

• 현대 대수적 기하학을 사용하여 체 위의 대수적 군에 대한 두 가지 핵심 구조 정리를 접근 가능하고 독립적인 증명을 제공한다.
• 반약환 군의 역할과 아벨 다양체와의 관계를 명확히 하며, 특히 대수적으로 닫히지 않은 체의 맥락에서 이를 다룬다.
• 완전한 체 위의 매끄럽고 연결된 대수적 군이 아벨 다양체에 대한 약환 군으로의 확장임을 규명하여 핵심적인 구조 성분들을 통합한다.
• 이러한 결과를 피카르 스킴과 자동형 군 스킴의 구조에 적용하여, 특히 사영 다양체의 맥락에서 다룬다.
• 로젠리히트 분해와 동차 공간의 등변 컴acts화와 같은 관련 발전 사항에 대한 종합적인 개요를 제공한다.

제안 방법

• 약환성에 대한 기준, 스킴의 약환화, 반약환 스킴에 대한 강성 보조정리 등을 사용하여 정리 1을 증명한다.
• 알바네제 사상과 아벨 토르서의 이론을 활용하여 정리 2를 증명하며, [41]에서의 아벨 다양체에 관한 기본 결과를 기반으로 한다.
• 상대 프로베니우스 사상과 군 스킴 작용의 성질을 활용하여 연결된 성분과 몫의 구조를 분석한다.
• 토르서 이론과 동차 공간 이론을 활용하여 동차 공간의 등변 컴acts화를 구성한다.
• 블랑카르의 보조정리를 적용하여 다양체의 자동형 군과 그 몫 및 컴acts화의 자동형 군을 연결한다.
• 특성 0에서 등변 해소가 존재함을 이용하여 연결된 대수적 군이 매끄럽고 사영인 다양체의 자동형 군으로서 실현됨을 보인다.

실험 결과

연구 질문

• RQ1 약환 후가 약환인 최소 정규부분군은 무엇이며, 그 구조적 성질은 무엇인가?
• RQ2 올바른 몫 후가 올바른 최소 정규부분군은 무엇이며, 그 형성 방식은 체 확장에 대해 어떻게 행동하는가?
• RQ3 반약환 대수적 군은 아벨 다양체와 어떻게 관련되어 있으며, 언제 반약환 군이 반드시 아벨 다양체가 되는가?
• RQ4 모든 매끄럽고 연결된 대수적 군이 완전한 체 위에서 아벨 다양체에 대한 약환 군으로 확장될 수 있는가?
• RQ5 어떤 대수적 군이 매끄럽고 사영인 다양체의 연결 자동형 군으로 나타나며, 어떤 조건에서 그러한 표현이 가능한가?

주요 결과

• 정리 1은 체 $ k $ 위의 모든 대수적 군 $ G $ 가 $ G/H $ 가 약환인 최소 정규부분군 $ H $ 를 갖는다고 규명한다; $ H $ 는 매끄럽고 연결되어 있으며 $ G^0 $ 에 중심에 있으며, 아벨군이며 $ O(H) = k $ 를 만족하며, 체 확장에 대해 형성이 가환함을 보장한다.
• 정리 2는 모든 대수적 군 $ G $ 가 $ G/N $ 가 올바른 최소 정규부분군 $ N $ 을 갖는다고 보여주며, $ N $ 은 약환이고 연결되어 있으며, $ k $ 가 완전하고 $ G $ 가 매끄럽다면 $ N $ 은 매끄럽고 체 확장에 대해 형성이 가환함을 보장한다.
• 완전한 체 위에서, 모든 매끄럽고 연결된 대수적 군은 아벨 다양체에 대한 매끄럽고 연결된 약환 대수적 군으로의 확장이며, 선형성과 반약환 성분을 통합한다.
• 반약환 군의 구조는 아벨 다양체의 구조로 환원되며, $ k $ 가 유한체의 대수적 폐쇄가 아니면 모든 반약환 군이 아벨 다양체인 것은 아니다.
• 모든 매끄럽고 연결된 선형 대수적 군 $ G $ 는 차원 $ n $ 을 갖는 정규 사영 유리다양체에서 최대 차원 $ 2n+2 $ 이내로 연결 자동형 군으로 나타난다.
• 특성 0에서는 모든 연결 대수적 군이 매끄럽고 사영인 유리다양체의 연결 자동형 군으로 나타나며, 모든 유한차원 대수적 리 대수는 적절한 올바른 스킴의 미분작용의 리 대수로 나타난다.