[논문 리뷰] Commutative quotients of finite W-algebras

Alexander Premet|ArXiv.org|2008. 09. 03.

Advanced Algebra and Geometry참고 문헌 21인용 수 7

한 줄 요약

이 논문은 유한 W 대수의 1차원 표현과 모odular 리 대수의 축소된 포괄 대수에서 큰 단순 모듈의 존재 사이의 연결 고리를 설정한다. 만약 유한 W 대수 $ U(\frak{g},e) $가 1차원 표현을 가진다면, 축소된 포괄 대수 $ U_\rho(\frak{g}_\bk) $는 차원 $ p^{d(\bar{e})} $의 단순 모듈을 가짐을 증명한다. 여기서 $ d(\bar{e}) $는 비가역 궤도의 차원의 절반이다. 이 작업은 유한 W 대수의 1차원 표현 문제를 $ F_4, E_6, E_7, E_8 $ 유형의 예외적 리 대수에서의 강성 궤도로 감소시키며, 유도와 코스타ント의 절단 이론을 사용한다.

ABSTRACT

Let U(g,e) be the finite W-algebra associated with a nilpotent element e in a simple Lie algebra g and assume that e is induced from a nilpotent element e_0 in a Levi subalgebra l of g. We show that if the finite W-algebra U(l,e_0) has a 1-dimensional representation, then so does U(g,e). For g classical (and in may other cases), we compute the Krull dimension of the largest commutative quotient of U(g,e). Some applications to representation theory of modular counterparts of g are given.

연구 동기 및 목표

• 유한 W 대수에 대한 1차원 표현의 존재에 관한 [33, 추측 3.1(1)]을 해결하기 위해.
• 유한 W 대수 $ U(\frak{g},e) $의 1차원 표현과 양의 특성에서의 축소된 포괄 대수 $ U_\rho(\frak{g}_\bk) $에서 큰 단순 모듈의 존재 사이의 연결 고리를 설정하기 위해.
• 유한 W 대수의 1차원 표현의 분류 문제를 예외적 리 대수의 유형 $ F_4, E_6, E_7, E_8 $에서의 강성 비가역 궤도의 경우로 감소시키기 위해.
• 코스타ント의 절단 이론과 케츠릴로의 시트 결과를 사용하여 많은 경우에서 $ U(\frak{g},e) $의 가장 큰 교환적 몫의 크룰 차원을 결정하기 위해.

제안 방법

• 크기가 충분히 큰 소수 $ p $ 에 대해 모듈로 $ p $ 로 줄여서, 양의 특성에서의 모듈라 리 대수 $ \chi(\frak{g}_\bk) $ 에서 특성 0 으로 표현을 올리기 위해.
• 특성 0 에서의 기하학적 표현을 생성하기 위해, [34]의 방법을 $ \mathbb{C} $ 의 유한 생성 $ \mathbb{Z} $-부분대수에 적응하여 사용하기 위해.
• 일반화된 겔판트-그라프 모듈 $ Q_\chi $ 와 그 내부환 $ U(\frak{g},e) $ 를 사용하며, 이는 아핀 $ W $-대수의 주지 대수와 동형이다.
• $ U(\frak{g},e) \cong \mathrm{End}_{\frak{g}}(Q_\chi)^{\mathrm{op}} $ 이며, 여기서 $ Q_\chi $ 는 1차원 $ \frak{m} $-모듈에서 유도된 것임을 이용하기 위해.
• 케츠릴로의 시트의 절단 결과를 적용하여 $ U(\frak{g},e) $ 의 교환적 몫의 크룰 차원을 분석하기 위해.
• 로스의 증명에 의존하여 $ \Gamma(e) $-행동이 원시 스펙트럼 사상의 섬유들에서 전이적임을 보이며, 원시 스펙트럼을 준아핀 대수기하학적 다양체의 가산 분리합집합으로 분해할 수 있도록 한다.

실험 결과

연구 질문

• RQ1 유한 W 대수 $ U(\frak{g},e) $ 가 언제 1차원 표현을 가지는가?
• RQ2 유한 W 대수 $ U(\frak{g},e) $ 의 1차원 표현은 양의 특성에서의 축소된 포괄 대수 $ U_\rho(\frak{g}_\bk) $ 에서 큰 단순 모듈의 존재와 어떻게 관련되어 있는가?
• RQ3 유한 W 대수의 1차원 표현을 분류하는 문제는 예외적 리 대수의 유형 $ F_4, E_6, E_7, E_8 $ 에서의 강성 비가역 궤도의 경우로 감소시킬 수 있는가?
• RQ4 가장 큰 교환적 몫의 크룰 차원은 무엇이며, 기하학적 및 표현론적 도구를 통해 어떻게 계산할 수 있는가?

주요 결과

• 만약 $ U(\frak{g},e) $ 가 1차원 표현을 가진다면, $ U_\rho(\frak{g}_\bk) $ 는 차원 $ p^{d(\bar{e})} $ 의 단순 모듈을 가지며, 여기서 $ d(\bar{e}) $ 는 $ \bar{e} $ 의 동치 궤도 $ \mathcal{O}_\bk $ 의 차원의 절반이다.
• 만약 $ e $ 가 리 대수의 리 부분대수 $ \frak{l} $ 에서의 비가역 원소 $ e_0 $ 에서 유도되고, $ U([\frak{l},\frak{l}], e_0) $ 가 1차원 표현을 가진다면, $ U(\frak{g},e) $ 도 1차원 표현을 가진다.
• 유한 W 대수의 1차원 표현을 분류하는 문제는 예외적 리 대수의 유형 $ F_4, E_6, E_7, E_8 $ 에서의 강성 비가역 궤도의 경우로 감소된다.
• 케츠릴로의 시트 및 절단 결과를 사용하여, 많은 경우에서 $ U(\frak{g},e) $ 의 가장 큰 교환적 몫의 크룰 차원이 결정된다.
• 모든 복소수 단순 리 대수 $ \frak{g} $ 에 대해 $ U(\frak{g}) $ 의 원시 스펙트럼은 가산 개의 분리된 준아핀 대수기하학적 다양체의 합집합이다.
• 성분군 $ \Gamma(e) $ 는 $ U(\frak{g},e) $-모듈의 $ d $-차원 기약 모듈의 집합 위에서 작용하며, 스펙트럼 사상의 섬유들에서 전이적이고, 궤도 공간 $ \mathrm{Irr}_d / \Gamma(e) $ 는 준아핀 다양체이다.