[논문 리뷰] Anti-affine algebraic groups

Michel Brion|ArXiv.org|2007. 10. 27.

Finite Group Theory Research참고 문헌 11인용 수 4

한 줄 요약

이 논문은 임의의 체 위에서 반아핀 대수적 군을 분류하며, 양의 특성에서는 반아핀 대수적 군이 반아벨 기하학적 다양체이거나, 특성 0에서는 아벨 기하학적 다양체와 리 대수를 포함하는 확장임을 보여준다. 분류 결과로 교환 대수적 군의 구조적 분해가 도출되며, 비완전한 반아핀 군 위의 ${\mathbb{G}}_m$- torsor를 통해 힐베르트의 14번 문제에 대한 새로운 반례가 제시된다.

ABSTRACT

We say that an algebraic group $G$ over a field is anti-affine if every regular function on $G$ is constant. We obtain a classification of these groups, with applications to the structure of algebraic groups in positive characteristics, and to the construction of many counterexamples to Hilbert's fourteenth problem.

연구 동기 및 목표

• 임의의 체 위에서 반아핀 대수적 군을 분류하고, 특히 그들의 구조와 대수적 군의 분해에서의 역할과 관련하여.
• 반아핀 군이 로젠리히트 분해에 어떻게 통합되는지 이해하고, 아핀 군과 유니포텐트 군과의 상호작용을 분석한다.
• ${\mathbb{G}}_m$- torsor을 사용하여 비완전한 반아핀 대수적 군 위에서 힐베르트의 14번 문제에 대한 새로운 반례를 구성한다.
• 양의 특성에서 완전한 체 위의 연결 대수적 군에 대한 구조적 결과를 확립한다.
• 특히 토리oidal (쿠신) 군과 같은 복소수 리 군과의 유사성을 도출하고, 이러한 유사성의 한계를 탐색한다.

제안 방법

• 양의 특성에서, 아벨 기하학적 다양체의 $k_s$-점들의 가환 부분격자에 의한 반아핀 군의 분류.
• 특성 0에서, $(A, \Lambda, V)$의 삼중항을 사용하여 분류를 확장하며, 여기서 $A$는 아벨 기하학적 다양체, $\Lambda$는 가환 부분격자, $V$는 $A$의 리 대수의 부분공간이다.
• 세르가 도입한 반아핀 기하학적 다양체에서 교환 대수적 군으로의 보편 사상(유니버설 사상)을 사용하여 구조적 결과를 도출한다.
• 특히 아벨 기하학적 다양체 위에서 $H^0$ 및 $H^1$ 계산을 수행하는 코homological 기법을 적용하여 반아핀 군 위의 선다발의 전역 단위를 분석한다.
• 암시적 선다발에 관련된 반아핀 군 위의 ${\mathbb{G}}_m$- torsor을 고려하여 힐베르트의 14번 문제에 대한 반례를 구성한다.
• 반아핀 군이 비자명한 유니포텐트 부분군을 가질 경우 $H^0(G, \mathcal{L})$가 무한한 증가 필터를 갖는다는 사실을 이용하여 좌표환의 유한 생성이 불가능함을 증명한다.

실험 결과

연구 질문

• RQ1 임의의 체 위에서 반아핀 대수적 군의 완전한 분류는 무엇이며, 특성 0과 양의 특성 간의 차이는 무엇인가?
• RQ2 완전한 체 위의 연결 교환 대수적 군의 이론에서 반아핀 군은 어떻게 통합되는가?
• RQ3 반아핀 군을 사용하여 힐베르트의 14번 문제에 대한 새로운 반례를 구성할 수 있는가?
• RQ4 반아핀 군과 복소수 토리oidal 리 군 간의 관계는 무엇이며, 이러한 유사성은 어느 정도까지 유효한가?
• RQ5 연결 대수적 군의 완성에서 경계의 여부는 무엇이며, 어떤 조건에서 순수한 여부가 1차원인가?

주요 결과

• 반아핀 군은 매끄럽고 연결되어 있으며, 교환 가능하며, 모든 정칙 함수는 상수이다.
• 양의 특성에서 반아핀 군은 아벨 기하학적 다양체 $A$와 $A(k_s)$의 가환 부분격자 $\Lambda$로 구성된 쌍 $(A, \Lambda)$에 의해 매개화된다.
• 특성 0에서는 반아핀 군이 삼중항 $(A, \Lambda, V)$에 의해 매개화되며, 여기서 $V$는 $A$의 리 대수의 부분공간이고, $A$는 $G/G_{\operatorname{aff}}$의 쌍대이다.
• ${\mathbb{G}}_m$- torsor이 반아핀이면서 비완전한 군 위에 암시적 선다발에 대해 정의된 좌표환은 유한 생성이 아니며, 이는 힐베르트의 14번 문제에 대한 반례를 제공한다.
• 임의의 연결 대수적 군 $G$의 완성 $\overline{G}$에 대해, 경계 $\overline{G} \setminus G$는 공집이거나 순수한 여부가 1차원이다.
• 반아핀이면서 비완전한 군일 경우 $H^0(G, \mathcal{L})$는 $H^0(A, \mathcal{M})$과 동형인 부분구성요소를 갖는 무한한 증가 필터를 갖는다. 이는 특정 $X$에 대해 $\mathcal{O}(X)$가 유한 생성이 아님을 의미한다.