[논문 리뷰] A Proof of the Barsotti-Chevalley Theorem on Algebraic Groups

J. S. Milne|arXiv (Cornell University)|2013. 11. 23.

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

한 줄 요약

이 논문은 1956년 로젠리크트의 바르소티-셰바렐 정리에 대한 증명을 현대적이고 접근하기 쉬운 방식으로 재정리한다. 이 정리는 모든 스펙트럼이 연결된 대수적 군이 아벨 다양체에 대한 스무스 아핀 대수적 군의 확장임을 보여준다. 이는 강하, 반아핀 군, 알바네제 사상의 보편 성질을 통해 대수적 군의 구조를 명확히 한다.

ABSTRACT

A fundamental theorem of Barsotti and Chevalley states that every smooth algebraic group over a perfect field is an extension of an abelian variety by a smooth affine algebraic group. In 1956 Rosenlicht gave a short proof of the theorem. In this expository article, we explain his proof in the language of modern algebraic geometry.

연구 동기 및 목표

• 로젠리크트의 1956년 바르소티-셰바렐 정리 증명을 현대 대수적 기하학의 언어로 재구성하고 명확히 하기.
• 특히 강하와 반아phin 군의 구조에 관해 이전의 해석에서 발생하는 기본적인 모호함과 공백을 해결하기.
• 연결된 대수적 군이 아핀 정규부군과 아벨 다양체 몫으로 분해되는 유일성과 보편성을 확립하기.
• 기존에 대수적으로 닫힌 체에서 얻은 결과를 바탕으로 강하 이론을 활용해 정확한 체로의 일반화를 통해 정리의 유효성을 확장하기.
• 아핀, 반아phin, 아벨 다양체 간의 상호작용을 통해 대수적 군의 구조를 이해하는 종합적인 프레임워크 제공하기.

제안 방법

• 함자, 스킴, 충실하게 평탄한 강하 이론을 포함한 현대 대수적 기하학의 언어를 사용해 로젠리크트의 증명을 재구성한다.
• 알바네제 다양체의 보편 성질을 적용하여 $ G/N $ 이 아벨 다양체임을 특징짓는다. 여기서 $ N $ 은 최대 아핀 정규부군이다.
• 강하 군의 구성법을 통해 $ G^{ ext{aff}} $ 를 사용하고, $ G_{ ext{ant}} = ext{ker}(G o G^{ ext{aff}}) $ 를 정의함으로써 $ G $ 를 아핀과 반아phin 부분군으로 분해한다.
• 노에터의 동형정리와 대수적 군의 정확한 수열을 활용해 부분군의 구조와 몫을 분석한다.
• 강하 이론을 적용해 대수적으로 닫힌 체에서의 결과를 정확한 체로 확장함으로써 분해의 유일성을 유지한다.
• 곱셈 사상 $ G_{ ext{aff}} imes G_{ ext{ant}} o G $ 가 정확한 수열임을 증명함으로써, 이 군이 대수적 군의 범주에서 피봇 곱임을 보여준다.

실험 결과

연구 질문

• RQ1 로젠리크트의 원래 바르소티-셰바렐 정리 증명은 현대 대수적 기하학의 언어로 어떻게 재구성될 수 있는가?
• RQ2 정확한 체 위에서 연결된 대수적 군의 정확한 구조는 아핀 군과 아벨 군 다양체의 관계로 어떻게 기술될 수 있는가?
• RQ3 반아phin 군의 구성법 $ G_{ ext{ant}} $ 는 $ G $ 가 아핀과 아벨 부분군으로 분해되는 데 어떻게 기여하는가?
• RQ4 알바네제 사상은 몫 $ G/N $ 가 아벨 다양체임을 특징짓는 데 어떤 역할을 하는가?
• RQ5 강하 이론은 왜 바르소티-셰바렐 정리가 대수적으로 닫힌 체 뿐 아니라 정확한 체에서도 유효함을 보장하는가?

주요 결과

• 모든 정확한 체 위의 스무스 연결 대수적 군 $ G $ 는 $ G/N $ 이 아벨 다양체가 되는 유일한 최대 연결 아핀 정규부군 $ N $ 을 갖는다.
• 사상 $ G o G/N $ 는 아핀이자 사영적일 뿐 아니라, 따라서 $ G $ 는 준사영적이다.
• 사상 $ G o G^{ ext{aff}} $ 의 핵인 $ N $ 을 $ G_{ ext{ant}} $ 라고 하며, $ ext{Spec}( ext{H}^0(G_{ ext{ant}}, ext{O})) = ext{Spec}(k) $ 를 만족함으로써 반아phin임을 보여준다.
• 분해 $ 1 o G_{ ext{aff}} imes G_{ ext{ant}} o G o 1 $ 는 대수적 군의 정확한 수열이며, 곱셈 사상은 충실하게 평탄하다.
• 특성 0 인 체에서는 반아phin 군은 반아벨 다양체에 대한 벡터 군의 확장이며, 양의 특성에서는 아벨 다양체에 대한 토리의 확장이다.
• $ G/N $ 는 $ G $ 의 알바네제 다양체이며, 사상 $ G o G/N $ 는 항등원을 보존하는 $ G $ 에서 아벨 다양체로의 호모모르피즘들 중 보편적이다.