[논문 리뷰] Geometry of orbit closures for the representations associated to gradings of Lie algebras of types $E_6$, $F_4$ and $G_2$

Witold Kraśkiewicz, Jerzy Weyman|arXiv (Cornell University)|2012. 01. 05.

Algebraic structures and combinatorial models참고 문헌 6인용 수 14

한 줄 요약

이 논문은 $E_6$, $F_4$, $G_2$ 리 대수의 분할에 관련된 단순 대수적 군의 표현에 대한 궤도 폐쇄를 바비노프의 방법과 기하학적 표현 이론을 사용하여 분류한다. 탈퇴 순서를 계산하고, 정규성, 코헨-맥컬레이, 고크스타인, 유리적 특이점 등의 성질을 규명하며, 등변 $K$-이론과 싸지 계산을 통해 궤도 폐쇄의 명시적 자유 해상분해와 정의 아이디얼을 제공한다. 주요 결과는 Macaulay2 및 계산 도구를 사용하여 검증되었다.

ABSTRACT

In this paper we investigate the orbit closures for the class of representations of simple algebraic groups associated to various gradings on a simple Lie algebras of type $E_6$, $F_4$ and $G_2$. The methods for classifying the orbits for these actions were developed by Vinberg. We give the orbit descriptions, the degeneration partial orders, and decide the normality of the orbit closures. We also investigate the rational singularities, Cohen-Macaulay and Gorenstein properties for the orbit closures. We give the generators of the defining ideals of orbit closures.

연구 동기 및 목표

• 분할에 의해 유도된 $G_2$, $F_4$, $E_6$의 표현에 대한 궤도 폐쇄를 분류하는 것.
• 궤도 폐쇄 위에 존재하는 탈퇴 부분순서를 결정하고 기하학적 및 대수적 성질을 분석하는 것.
• 궤도 폐쇄의 정의 아이디얼을 계산하고, 정규성, 코헨-맥컬레이, 고크스타인, 유리적 특이점 성질을 규명하는 것.
• 표현 공간의 대칭 대수 위에서 궤도 폐쇄의 좌표환의 최소 자유 해상분해를 명시적으로 구성하는 것.
• Macaulay2 및 무게와 루트 계열을 위한 맞춤형 프로그램을 포함한 계산 도구를 사용하여 결과를 검증하는 것.

제안 방법

• Vinberg의 방법 [V87]을 적용하여 궤도를 $\mathfrak{g}_1$의 부분공간과의 교차의 기약 성분으로 기술한다.
• 기하학적 방법 [W03]을 사용하여 궤도 폐쇄의 분해를 $G_0/P$ 위의 동차 벡터(bundle)의 전체 공간으로 구성한다.
• 외적의 거듭제곱과 코즐 복합체의 등변 오일러 특성을 계산하여 등변 $K$-이론 내의 공식을 유도한다.
• 저자들이 작성한 루트와 무게 계산 프로그램을 활용하여 각 표현에 대해 포탄 부분군의 부분모듈을 체계적으로 탐색한다.
• 비정규 궤도 폐쇄의 경우, 정규화의 힐베르트 급수와 코코어 모듈 $C_j = \mathbb{C}[N(\overline{\mathcal{O}}_j)] / \mathbb{C}[\overline{\mathcal{O}}_j]$를 통한 계산을 유도한다.
• 오일러 특성과 불변량 계산을 위한 Macaulay2 및 계산 패키지([R10] 등)를 사용하여 결과를 검증한다.

실험 결과

연구 질문

• RQ1 분할에 의해 유도된 $E_6$, $F_4$, $G_2$ 리 대수에 대한 $\theta$-군 작용으로부터 유도되는 궤도 폐쇄는 무엇이며, 그 기하학적 및 대수적 불변량은 무엇인가?
• RQ2 이 표현들에서 궤도 폐쇄 위의 탈퇴 부분순서는 어떻게 되는가?
• RQ3 궤도 폐쇄가 언제 정규성, 코헨-맥컬레이, 고크스타인, 또는 유리적 특이점을 갖는가?
• RQ4 궤도 폐쇄의 정의 아이디얼은 무엇이며, 표현 공간의 대칭 대수 위에서의 최소 자유 해상분해의 항은 무엇인가?
• RQ5 비정규 궤도 폐쇄의 경우, 정규화의 코코어 모듈 $C_j$의 싸지 모듈과 베티 표는 어떻게 행동하는가?

주요 결과

• $G_2$의 $(G_2, \alpha_1)$ 경우 궤도 폐쇄 $\overline{\mathcal{O}}_1$는 차수 2의 불변량에 의해 정의되는 코드림 1의 초평면이며, 그 정규화는 $0 \to (4,2) \otimes A[-2] \to (2,1) \otimes A[-1] \oplus (0,0) \otimes A[0]$의 해상분해를 갖는다.
• $(G_2, \alpha_2)$의 경우 궤도 폐쇄 $\overline{\mathcal{O}}_1$는 코드림 2의 유리적 정규 곡선이며, Eagon-Northcott 복합체로 주어진다: $0 \to (5,4) \otimes A(-3) \to (4,2) \otimes A(-2) \to A$.
• $G_2$의 $(G_2, \alpha_2)$ 경우, 판별식이 0인 삼차형의 궤도 폐쇄 $\overline{\mathcal{O}}_2$는 정규가 아니며, 그 정규화는 $(4,2)$와 $(2,1)$ 표현을 포함하는 해상분해를 갖는다.
• 궤도 폐쇄 $X_{\text{disc.}}$는 유일한 비정상적인 불변량 $\Delta$의 영함수로 정의되는 경우에만 초평면이 된다. 이 경우, $\operatorname{Sym}(\mathfrak{g}_1^*)^{(G,G)}$에 비정상적인 불변량이 존재할 때 성립한다.
• 궤도 폐쇄는 지지 대수 $\mathfrak{s}$가 오직 $A_1$ 성분만을 갖는 경우에만 구면적이다. 비정규 궤도 폐쇄의 경우, 그 정규화는 어떤 $i > 1$에 대해 $\mathfrak{g}_1 \oplus \mathfrak{g}_i$ 안에 포함된다.
• 궤도 폐쇄의 정규화의 힐베르트 급수의 분모는 $(1-t)^{\text{codim}}$이며, 분자는 각 경우에 대해 명시적으로 계산되었고, 코코어 모듈 $C_j$의 완전한 베티 표가 제공되었다.