[논문 리뷰] \vS{a}povalov elements and the Jantzen sum formula for contragredient Lie superalgebras

Ian M. Musson|arXiv (Cornell University)|2017. 10. 28.

Algebraic structures and combinatorial models참고 문헌 25인용 수 7

한 줄 요약

이 논문은 대조적 리 초대수에서 근에 대한 ˇSapovalov 원소의 존재성과 유일성을 확립하며, 계수의 차수에 대한 경계를 제시하고 이를 통해 주어진 특성을 가진 새로운 최고 가중치 모듈을 구성한다. A형에 대해서는 Jantzen 합 공식과 ˇSapovalov 원소의 폐형 표현을 증명하며, 카터와 루스트리그의 결과를 범주 동치와 gl(2,1), gl(2,2)의 저차원 분석을 통해 일반화한다.

ABSTRACT

If $\mathfrak{g}$ is a contragredient Lie superalgebra and $γ$ is a root of $\mathfrak{g},$ we prove the existence and uniqueness of Šapovalov elements for $γ$ and give upper bounds on the degrees of their coefficients. Then we use Šapovalov elements to define some new highest weight modules. If $X$ is a set of orthogonal isotropic roots and $λ\in \mathfrak{h}^*$ is such that $λ+ρ$ is orthogonal to all roots in $X$, we construct a highest weight module $M^X(λ)$ with character $ε^λ{p}_X$. Here $p_X$ is a function that counts partitions not involving roots in $X$. Examples of such modules can be constructed via parabolic induction provided $X$ is contained in the set of simple roots of some Borel subalgebra. However our construction works without this condition and provides a highest weight module for the distinguished Borel subalgebra. The main results are analogs of the Šapovalov determinant and the Jantzen sum formula for $M^X(λ)$ when $\mathfrak{g}$ has type A.For the proof it is enough to study the behavior for certain "relatively general" highest weights. Using an equivalence of categories due to Cheng, Mazorchuk and Wang, the information we require is deduced from the behavior of the modules $M^X(λ)$ when $\mathfrak{g}=\mathfrak{gl}(2,1)$ or $\mathfrak{gl}(2,2)$. These low dimensional cases are studied in detail in an appendix.

연구 동기 및 목표

• 대조적 리 초대수에서 근에 대한 ˇSapovalov 원소의 존재성과 유일성을 확립하고, 계수에 대한 차수 경계를 제시한다.
• X가 서로 수직인 비등방성 근의 집합일 때, λ + ρ가 X의 모든 근과 수직이면, 특성이 e^λp_X인 새로운 최고 가중치 모듈 M^X(λ)를 정의한다. 여기서 p_X는 집합 X에서 등방성 근을 피하는 분할을 세는 함수이다.
• 대조적 리 초대수로 ˇSapovalov 행렬식과 Jantzen 합 공식을 일반화하며, 특히 A형에서 이를 다룬다.
• ˇSapovalov 원소가 보렐 부분대수의 변화와 베르마 모듈의 인자 모듈에서 어떻게 행동하는지 탐색한다.
• 비가환 행렬식과 범주 동치를 사용하여 카터와 루스트리그 [CL74]의 결과를 새로운 방식으로 재구성하고 확장한다.

제안 방법

• 베르마 모듈 간의 준동형을 구성하기 위해 보편 환의 원소인 ˇSapovalov 원소를 사용한다.
• λ + ρ가 서로 수직인 등방성 근의 집합 X와 수직이면, ˇSapovalov 원소를 통해 최고 가중치 모듈 M^X(λ)를 구성한다.
• Cheng, Mazorchuk, Wang [CMW13]의 범주 동치를 활용하여 연구를 저차원 사례인 gl(2,1)과 gl(2,2)로 환원한다.
• 부록에서 sl(2) 이론과 g0-모듈 분해를 이용하여 부분모듈의 구조와 특성에 대한 세부 분석을 수행한다.
• 비가환 행렬식을 적용하여 A형에서 ˇSapovalov 원소를 명시적으로 표현하고, 폐형 공식을 가능하게 한다.
• ˇSapovalov 원소가 인자 모듈에서 행동하는 방식에 기반하여 특성 계산과 모듈 분해를 통해 Jantzen 합 공식을 증명한다.

실험 결과

연구 질문

• RQ1 대조적 리 초대수에서 주어진 근에 대해 ˇSapovalov 원소가 존재하고 유일한 조건은 무엇인가?
• RQ2 근계가 등방성 근을 포함하는 보렐 부분대수를 포함하지 않을 경우, ˇSapovalov 원소를 어떻게 사용하여 주어진 특성을 가진 최고 가중치 모듈을 구성할 수 있는가?
• RQ3 초대수 대칭 환경에서 최고 가중치 모듈의 Jantzen 합 공식의 구조는 무엇인가, 특히 A형에서 어떻게 되는가?
• RQ4 ˇSapovalov 원소는 보렐 부분대수의 변화와 베르마 모듈의 인자 모듈에서 어떻게 행동하는가?
• RQ5 카터와 루스트리그 [CL74]의 행렬식과 준동형에 관한 결과들이 ˇSapovalov 원소를 통해 초대수 환경에서 재구성되고 확장될 수 있는가?

주요 결과

• 모든 대조적 리 초대수의 근 γ에 대해, γ에 관련된 유일한 ˇSapovalov 원소가 존재하며, 그 계수의 차수는 경계되어 있다.
• X가 서로 수직인 등방성 근의 집합이고 λ + ρ가 X의 모든 근과 수직이면, 특성이 e^λp_X인 모듈 M^X(λ)는 간단한 최고 가중치 모듈로 구성되며, X가 단순 근계에 포함되어 있지 않더라도 가능하다.
• A형에서 비가환 행렬식을 사용하여 ˇSapovalov 원소의 폐형 공식이 주어지며, 카터와 루스트리그의 이전 결과를 일반화한다.
• A형에서 M^X(λ)에 대해 Jantzen 합 공식이 증명되었으며, 진부분모듈의 합의 특성은 M^X(λ)의 특성과 그 최대 부분모듈의 특성으로 표현된다.
• MY(0)의 유일한 최대 부분모듈은 단순하며 MX(0)과 동형이며, MY(0)는 길이가 2이지만, 동일한 특성을 지닌 RY(0)과 동형이 아니며, 이는 MY(0)가 단순하지 않다는 것을 의미한다.
• gl(2,1)과 gl(2,2)에 대해, 세부적인 분해 정리(예: 정리 B.38, 정리 B.40)는 ˇSapovalov 원소를 통해 구성된 모듈 N이 특성이 e^κ(1 + e^α+β)(1 + e^{-β-γ})/∏_{σ∈Δ⁺₀}(1 - e^{-σ})인 단순 최고 가중치 모듈임을 보여준다.