[논문 리뷰] Geometry of orbit closures for the representations associated to gradings of Lie algebras of types $E_7$

Witold Kraśkiewicz, Jerzy Weyman|arXiv (Cornell University)|2013. 01. 04.

Algebraic structures and combinatorial models참고 문헌 12인용 수 15

한 줄 요약

이 논문은 E7 리 대수의 Z-gradation에 기반한 I형 표현에 대한 궤도 폐쇄를 분류하며, Vinberg의 프레임워크를 사용한다. Hilbert 다항식을 계산하고, 정규성, Cohen-Macaulay 및 Gorenstein 성질을 규명하며, 궤도 폐쇄의 자유 해상 및 정의 아이디얼을 제공한다. 구체적인 계산은 컴퓨터 대수 시스템과 Buchsbaum-Eisenbud 기준을 통해 검증된다.

ABSTRACT

This paper is a continuation of arXiv:1201.1102. We investigate the orbit closures for the class of representations of simple algebraic groups associated to various gradings on the simple Lie algebra of type $E_7$. The methods for classifying the orbits for these actions were developed by Vinberg . We give the orbit descriptions, the degeneration partial orders, and indicate normality of the orbit closures. We also investigate the rational singularities, Cohen-Macaulay and Gorenstein properties for the orbit closures. We give the information on the defining ideals of orbit closures.

연구 동기 및 목표

• Z-gradation에 기반한 E7 리 대수의 표현에서 발생하는 궤도 폐쇄를 분류하는 것.
• 정규성, Cohen-Macaulay, Gorenstein, 그리고 유리 특이성과 같은 궤도 폐쇄의 기하학적 및 대수적 성질을 규명하는 것.
• 궤도 폐쇄의 좌표환의 Hilbert 다항식을 계산하는 것.
• 표현 이론적 및 계산적 방법을 사용하여 좌표환의 정의 아이디얼과 자유 해상의 구조를 기술하는 것.
• 컴퓨터 대수 시스템과 Buchsbaum-Eisenbud 정확성 기준을 통해 결과를 검증하는 것.

제안 방법

• 궤도의 두 가지 Vinberg의 기술: nilpotent 궤도와 g1의 교차의 기약 성분으로서의 표현, 그리고 지지 대수를 통한 기술.
• G/P 플라그 다양체 위의 동차 벡터 번들의 전체 공간을 이용한 궤도 폐쇄의 기하학적 분해.
• Euler 특성수, Hilbert 급수, 해상의 계산을 위해 Macaulay2, Python, 고유의 루트/웨이트 프로그램을 활용.
• 제안된 좌표환의 자유 해상의 정확성 검증을 위해 Buchsbaum-Eisenbud 기준을 적용.
• E6 및 E7의 표현 이론을 활용하며, 기본 표현과 최고 가시수 모듈을 포함.
• 표현 공간 위의 군집 모듈을 통한 궤도 폐쇄의 좌표환의 구조 분석과 해상의 명시적 항 목록 제공.

실험 결과

연구 질문

• RQ1 Z-gradation에 기반한 E7 리 대수에서 발생하는 궤도 폐쇄는 무엇이며, 어떻게 매개변수화되는가?
• RQ2 궤도 폐쇄의 정규화의 Hilbert 다항식은 무엇이며, 기하학적 성질을 어떻게 드러내는가?
• RQ3 궤도 폐쇄가 정규성, Cohen-Macaulay, Gorenstein, 또는 유리 특이성을 가지는 조건은 무엇인가?
• RQ4 궤도 폐쇄의 정의 아이디얼은 무엇이며, degree-3 불변량 ∆와의 관계는 어떠한가?
• RQ5 궤도 폐쇄의 좌표환은 표현환 위의 자유 모듈로 해상될 수 있는가? 그러한 해상의 항은 무엇인가?

주요 결과

• 차원이 9인 궤도 폐쇄(O4)는 정규이며, 유리 특이성을 갖는다; 그 정의 아이디얼은 삼차식과 사차식에 의해 생성된다.
• (E7, α7)의 경우, 최고의 궤도 폐쇄 ¯O1은 길이 15의 자유 해상과 함께 명시적인 항을 가지며, E6 기본 표현 모듈 [a,b,c,d,e,f]에 속한다.
• (E7, α7)의 C[¯O1]의 해상은 명시적으로 계산되었으며, 0 → [0,0,0,0,0,0](−15) → ... → [0,0,0,0,0,0)으로 표현되며, [G11]과 [SW13]에서 검증되었다.
• Xdisc.은 유일한 불변량 ∆에 의해 생성되는 Sym(g*1)^(G,G)가 성립할 때에만 초평면이 된다; 그렇지 않으면 코드임이 >1이다.
• 지지 대수 s가 오직 A1 단순 성분만을 포함할 때에만 궤도 폐쇄는 구면적이다.
• 궤도 폐쇄가 정규가 아닐 경우, 그 정규화는 g1 ⊕ gi (i > 1)에 포함되며, 이는 고차 성분에 비자명한 임bedding이 있음을 시사한다.