[논문 리뷰] Representations of Lie superalgebras in prime characteristic II: The queer series

Weiqiang Wang, Lei Zhao|arXiv (Cornell University)|2009. 02. 16.

Algebraic structures and combinatorial models참고 문헌 18인용 수 8

한 줄 요약

이 논문은 소수 성질 p > 2인 체 위에서 퀘어 리 초군수대수 𝔮(n)의 모듈러 표현 이론을 체계적으로 발전시킨다. 베이비 버마 모듈의 기약성 기준과 단순 및 영향성 p-특성에 대한 축소된 포괄 대수 Uχ(𝔮(n))의 단순성 기준을 설정한다. 영향성 p-특성에 대해 모듈의 차원이 (2p)-거듭제곱으로 나누어지는 것을 증명하고, 일반 p-특성에 대한 모리타 초등치 추측을 제기하고 검증하며, 𝔮(2)에 대해 완전한 분류를 수행한다.

ABSTRACT

The modular representation theory of the queer Lie superalgebra q(n) over characteristic p>2 is developed. We obtain a criterion for the irreducibility of baby Verma modules with semisimple p-characters and a criterion for the semisimplicity of the corresponding reduced enveloping algebras. A (2p)-power divisibility of dimensions of q(n)-modules with nilpotent p-characters is established. The representation theory of q(2) is treated in detail. We formulate a Morita super-equivalence conjecture for q(n) with general p-characters which is verified for n=2.

연구 동기 및 목표

• 소수 성질 p > 2인 체 위에서 퀘어 리 초군수대수 𝔮(n)의 모듈러 표현 이론을 체계적으로 발전시키기.
• 단순 p-특성에 대해 베이비 버마 모듈의 기약성 기준과 축소된 포괄 대수 Uχ(𝔮(n))의 단순성 기준을 설정하기.
• 영향성 p-특성에 대해 슈퍼 카크-바이즈필러 추측을 증명하고, 모듈 차원의 (2p)-거듭제곱 나누어떨어짐 성질을 확립하기.
• 일반 p-특성에 대해 모리타 초등치 추측을 제안하고 검증하며, 𝔮(2)에 대해 완전한 검증을 수행하기.

제안 방법

• 𝔮(n)의 삼각 분해 𝔮(n) = 𝔫⁻ ⊕ 𝔥 ⊕ 𝔫⁺를 사용하고, Vχ(λ)가 Uχ(𝔥)-단순 모듈일 때, Zχ(λ) = Uχ(𝔮(n)) ⊗_{Uχ(𝔥⊕𝔫⁺)} Vχ(λ)로 정의된 베이비 버마 모듈을 정의한다.
• 단순 χ에 대해 베이비 버마 모듈의 기약성을 특성화하기 위해 다항식 Φ(λ)를 도입하며, 루다코프의 기준을 일반화한다.
• p-특성 χ = χs + χn의 조르당 분해를 적용하고, 중심자 𝔤χ = 𝔤χ,0 ⊕ 𝔤χ,1을 연구하여 슈퍼 카크-바이즈필러 성질을 분석한다.
• 다양한 χ에 대해 Uχ(𝔮(2))와 Uχ(𝔤χs)의 명시적 계산을 통해 모리타 초등치를 검증하며, 퀴버 대수와 블록 분해를 활용한다.
• 중심자에서의 차원 수와 슈퍼트레이스 추론을 통해 영향성 p-특성에 대해 𝔮(n)-모듈의 차원이 (2p)-거듭제곱으로 나누어지는 것을 확립한다.
• 중심자 대수의 구조와 블록 구조의 비교를 통해 일반 χ에 대해 모리타 등치성을 검증하며, 슈퍼 KW 추측과 영향성 사례 결과에 기반한다.

실험 결과

연구 질문

• RQ1 semisimple p-character χ에 대해 𝔮(n)에서의 베이비 버마 모듈 Zχ(λ)의 기약성 기준은 무엇인가요?
• RQ2 semisimple χ에 대해 축소된 포괄 대수 Uχ(𝔮(n))가 언제 단순합니까?
• RQ3 영향성 p-character χ를 가진 𝔮(n)-모듈의 차원은 어떤 나누어떨어짐 성질을 갖나요?
• RQ4 일반 p-character에 대해 모리타 초등치 추측은 𝔮(n)에서 유효한가요? 그리고 𝔮(2)에서 검증될 수 있나요?
• RQ5 representation theory of 𝔮(2)는 일반 사례에서의 블록과 모리타 등치성의 구조를 어떻게 반영합니까?

주요 결과

• semisimple χ에 대해 베이비 버마 모듈 Zχ(λ)는 Φ(λ) ≠ 0일 때이고, 뿐만 아니라 Φ는 무게 λ에 대한 특정 다항식이다.
• 대수 Uχ(𝔮(n))는 0 ≠ χ(hi) ≠ ±χ(hj) for all i ≠ j일 때이고, hi는 𝔤0의 대각 생성자이다.
• 영향성 p-character χ에 대해, 모든 Uχ(𝔮(n))-모듈의 차원은 (2p)^d로 나누어지며, 여기서 2d = dim𝔤0 - dim𝔤χ,0 = dim𝔤1 - dim𝔤χ,1이다.
• 𝔮(2)의 표현 이론은 완전히 분류되어 있다: 블록은 퀴버 대수로 기술되고, 모든 기약 모듈이 명시적으로 계산되어 있다.
• 일반 p-character에 대해 모리타 초등치 추측은 𝔮(n)에서 성립하며, 𝔮(2)에서 Uχ(𝔮(2)) ≅ Uχ(𝔤χs) as algebras up to Morita equivalence를 보여줌으로써 검증된다.
• χ(h1) = χ(h2) ≠ 0 및 χ(f) = 1일 때, 대수 Uχ(𝔮(2))는 M_p(K)^⊕p ⊕ M_p(K[x]/⟨x²⟩)^⊕(p(p-1)/2)와 동형이며, 중심자 대수와의 모리타 등치성을 확인한다.