[논문 리뷰] Problems for problem session

Vladimir L. Popov|ArXiv.org|2005. 04. 25.

Advanced Differential Equations and Dynamical Systems참고 문헌 6인용 수 6

한 줄 요약

이 논문은 특수 아핀 크레몬다 군 $\operatorname{Aut}^*_{k}k^{[n]}$의 구조에 관한 대수기하학 및 군론 분야의 기초적 열린 문제를 제기한다. 주요 초점은 루트 시스템, 국소_nilpotent 미분연산자에 의한 생성, 그리고 동차 공간의 유리성이다. 이 논문은 군이 유한하게 $\partial$-생성 가능하다고 제안하며, 유한 순서의 자기동형사상 $\sigma$에 대해 $G/G^\sigma$의 유리성을 추측한다. 주요 결과로는 나가타 자기동형사상이 단일 미분연산자에 의해 $\partial$-생성 가능하다는 점이다.

ABSTRACT

Below are the problems that I formulated at Open Problems Session of {\it Workshop on Group Actions on Rational Varieties}, McGill University and University of Montreal, Canada, March 2002. To appear in: "Affine Algebraic Geometry" conference Proceedings volume in Contemporary Mathematics series of the Amer. Math. Soc. Ed. by Jaime Gutierrez, Vladimir Shpilrain, and Jie-Tai Yu.

연구 동기 및 목표

• 특수 아핀 크레몬다 군 $\operatorname{Aut}^*_{k}k^{[n]}$의 대각 토러스 $T$에 대해 모든 루트와 루트 벡터를 분류하기.
• $\operatorname{Aut}^*_{k}k^{[n]}$가 유한하게 $\partial$-생성 가능한가를 판단하기, 즉 국소_nilpotent 미분연산자와 그 가중치 버전의 지수함수들에 의해 생성되는가.
• 특수 아핀 크레몬다 군 $\operatorname{Aut}^*_{k}k^{[n]}$ 내에서 최대 토러스 $T$의 중심화군과 정규화군을 기술하기.
• 국소_nilpotent 미분연산자 $P, Q$에 대해 두 일차원 부분군 $\exp tP$와 $\exp tQ$가 생성하는 군이 유한차원이 되는 조건을 조사하기.
• 단순 대수적 군 $G$와 유한 순서의 자기동형사상 $\sigma$에 대해 동차 공간 $G/G^\sigma$의 유리성을 증명하거나 반증하기.

제안 방법

• 특수 아핀 크레몬다 군의 루트 벡터를, $\sigma \in T$에 대해 $\sigma \circ D \circ \sigma^{-1} = \chi(\sigma)D$를 만족하는 국소_nilpotent 미분연산자 $D$로 정의한다. 여기서 $\chi$는 대각 토러스 $T$의 특성이다.
• 지수함수 $\exp tD$를 이용해 국소_nilpotent 미분연산자 $D$로부터 $\operatorname{Aut}^*_{k}k^{[n]}$의 일차원 부분군을 부여한다.
• 미분연산자 $D$의 핵 $\operatorname{Ker}D$에 속하는 원소를 곱하여 새로운 국소_nilpotent 미분연산자 $fD$를 구성하고, 이에 대응하는 자동형사상 $\exp fD$를 유도한다.
• 특수 아핀 크레몬다 군 $\operatorname{Aut}^*_{k}k^{[n]}$의 군 구조를 분해하여 분석한다: $\operatorname{SL}_n$, 이동군 $\operatorname{T}_n$, 그리고 드 죠뉴이에 군 $\operatorname{J}_n$으로 나누어 분석한다.
• 기존의 토러스 작용의 선형화 가능성에 관한 결과를 적용하여, 치수가 $<n-1$인 최대 토러스가 존재하지 않는 것과, 이러한 작용 하에서 $\mathbb{A}^n$의 유리성 사이의 관계를 규명한다.
• 나가타 자기동형사상을 핵심 예시로 사용한다: $\sigma = \exp fD$이며, $D = -2x_2D_1 + x_3D_2$이고 $f = x_3x_1 + x_2^2 \in \operatorname{Ker}D$이다. 이는 비-텐프(비표준)임에도 불구하고 $\partial$-생성 가능하다는 점을 보여준다.

실험 결과

연구 질문

• RQ1 특수 아핀 크레몬다 군 $\operatorname{Aut}^*_{k}k^{[n]}$의 대각 토러스 $T$에 대해 모든 루트와 루트 벡터는 무엇인가?
• RQ2 군 $\operatorname{Aut}^*_{k}k^{[n]}$는 유한하게 $\partial$-생성 가능한가? 즉, 유한 개의 국소_nilpotent 미분연산자와 그 가중치 버전의 지수함수들에 의해 생성되는가?
• RQ3 특수 아핀 크레몬다 군 $\operatorname{Aut}^*_{k}k^{[n]}$ 내에서 토러스 $T$의 중심화군과 정규화군의 구조는 어떠한가?
• RQ4 국소_nilpotent 미분연산자 $P$와 $Q$에 대해 $\exp tP$와 $\exp tQ$를 포함하는 최소 닫힌 부분군이 유한차원이 되는 조건은 무엇인가?
• RQ5 연결된 단순 대수적 군 $G$와 유한 순서의 자기동형사상 $\sigma$에 대해 동차 공간 $G/G^\sigma$는 유리적인가?

주요 결과

• 특수 아핀 크레몬다 군 $\operatorname{Aut}^*_{k}k^{[n]}$는 루트 $\varepsilon_i\varepsilon_j^{-1}$와 $\varepsilon_i$에 대응하는 루트 벡터 $x_iD_j$ ($i \neq j$)와 $D_i$를 포함한다.
• 3차원에서의 나가타 자기동형사상은 $\partial$-생성 가능하다: $\sigma = \exp fD$이며, $D = -2x_2D_1 + x_3D_2$이고 $f = x_3x_1 + x_2^2 \in \operatorname{Ker}D$이다. 이는 지수함수로 생성되는 군에 속한다는 점을 보여준다.
• 3차원에서, $\mathbb{A}^3$ 위의 부피를 보존하는 토러스 작용이 항상 선형화 가능하다는 질문에 대해, [KR], [KR1], [Ko], [KM], [KR2], [KR3], [KMKR]의 결과에 기반해 긍정적인 답변을 내릴 수 있다.
• $\operatorname{Aut}^*_{k}k^{[2]}$는 유한하게 $\partial$-생성 가능하다. 이는 $\operatorname{SL}_2$, $\operatorname{T}_2$, $\operatorname{J}_2$에 의해 생성되며, 각각은 유한한 수의 미분연산자들에 의해 $\partial$-생성 가능하기 때문이다.
• 유한 순서 $\operatorname{ord} \sigma = 2$인 경우, $G/G^\sigma$가 유리적이라는 추측은 참이다. 왜냐하면 이러한 공간은 바젤 하위군의 밀도 있는 열린 궤도를 가지며, 해소 가능한 군의 궤도는 항상 유리적이기 때문이다.
• $\exp tP$와 $\exp tQ$에 의해 생성되는 최소 닫힌 부분군이 유한차원이 되는 것은, 미분연산자 $P$와 $Q$가 특정한 대수적 호환 조건을 만족할 때에만 성립하며, 정확한 특성화는 아직 미해결이다.