[논문 리뷰] Bounded generalized Harish-Chandra modules

Ivan Penkov, Vera Serganova|ArXiv.org|2007. 10. 03.

Advanced Algebra and Geometry참고 문헌 10인용 수 4

한 줄 요약

이 논문은 재수정된 리 대수에 대한 유계 일반화 하리시-찬드라 모듈을 도입하고 분류하며, 부분대수 𝔨 ⊂ 𝔤가 무한차원 단순 유계 (𝔤,𝔨)-모듈을 가질 수 있는 필요 및 충분 조건을 설정한다. 𝔰𝔩(n) 내에서 최대 유계 재수정 부분대수를 분류하고, 랭크 2인 𝔤에 대해 단순 유계 (𝔤,𝔰𝔩(2))-모듈을 완전히 기술하며, 𝔰𝔩(2) 부분대수의 5개의 동치류를 식별한다. 이 중에는 𝔰𝔭(4)의 주요 𝔰𝔩(2)에 대한 새로운 케이스가 포함되어 있다.

ABSTRACT

Let $\gg$ be a complex reductive Lie algebra and $\kk\subset\gg$ be any reductive in $\gg$ subalgebra. We call a $(\gg,\kk)$-module $M$ bounded if the $\kk$-multiplicities of $M$ are uniformly bounded. In this paper we initiate a general study of simple bounded $(\gg,\kk)$-modules. We prove a strong necessary condition for a subalgebra $\kk$ to be bounded (Corollary ef{cor1.6}), i.e. to admit an infinite-dimensional simple bounded $(\gg,\kk)$-module, and then establish a sufficient condition for a subalgebra $\kk$ to be bounded (Theorem ef{thGroups2}). As a result we are able to classify all maximal bounded reductive subalgebras of $\gg=\sl(n)$. In the second half of the paper we describe in detail simple bounded infinite-dimensional $(\gg,\sl(2))$-modules, and in particular compute their characters and minimal $\sl(2)$-types. We show that if $\sl(2)$ is a bounded subalgebra of $\gg$ which is not contained in a proper ideal of $\gg$, then $\gg\simeq \sl(2)\oplus \sl(2), \sl(3),\sp(4)$; alltogether, up to conjugation there are five possible embeddings of $\sl(2)$ as a bounded subalgebra into $\gg$ as above. In two of these cases $\sl(2)$ is a symmetric subalgebra, and many results about simple bounded $(\gg,\sl(2))$-modules are known. A case where our results are entirely new is the case of a principal $\sl(2)$-subalgebra in $\sp(4)$.

연구 동기 및 목표

• 재수정된 𝔨 ⊂ 𝔤에 대해 단순 유계 (𝔤,𝔨)-모듈에 대한 일반적 연구를 시작한다.
• 𝔤 내 최소 양의 노름부분대수의 반차원과 𝔨의 보렐 부분대수 차원을 기반으로, 𝔨가 유계일 수 있는 필요 조건을 설정한다.
• 단순 유계 모듈의 기하적 구성법을 통해 유계성에 대한 충분 조건을 제공한다.
• 𝔰𝔩(n) 내 모든 최대 유계 재수정 부분대수와 랭크 2 단순 리 대수 내 모든 재수정 유계 부분대수를 분류한다.
• 𝔰𝔩(2)가 𝔤의 적절한 이상에 포함되지 않을 경우, 단순 유계 (𝔤,𝔰𝔩(2))-모듈을 완전히 기술하며, 특성과 최소 𝔰𝔩(2)-형을 계산한다.

제안 방법

• 논문은 모듈의 구조와 그 𝔨-중복도를 분석하기 위해 페르도-카 부분대수 구성법을 사용한다.
• 필요 조건을 도입한다: r𝔤 ≤ b𝔨, 여기서 r𝔤는 𝔤 내 최소 양의 노름부분대수의 반차원이며, b𝔨는 𝔨의 보렐 부분대수 차원이다.
• 단순 유계 (𝔤,𝔨)-모듈의 기하적 구성법을 개발하여 유계성에 대한 충분 조건을 제공한다.
• 랭크 2 𝔤 내에서 𝔰𝔩(2) 부분대수의 5개 동치류에 대해 특성과 최소 𝔰𝔩(2)-형을 명시적으로 계산한다.
• 다중도 수열 c₀(M)과 c₁(M)을 계산하기 위해 생성함수와 수론적 함수(예: θ(n), γ′(n), γ′′(n))를 활용한다.
• 유한형 모듈의 분류 결과 [PZ2]를 활용하여, 최소 𝔨-형이 높은 경우의 유계성 행동과 대비시킨다.

실험 결과

연구 질문

• RQ1 재수정 부분대수 𝔨 ⊂ 𝔤에 대해 무한차원 단순 유계 (𝔤,𝔨)-모듈이 존재하기 위한 필요 및 충분 조건은 무엇인가?
• RQ2 𝔰𝔩(n)의 최대 재수정 부분대수 중에서 어떤 것이 유계이며, 어떻게 분류할 수 있는가?
• RQ3 랭크 2 단순 리 대수 내 𝔰𝔩(2) 부분대수의 몇 개의 동치류가, 𝔤의 적절한 이상에 포함되지 않을 경우 유계 (𝔤,𝔰𝔩(2))-모듈을 유도하는가?
• RQ4 각 케이스에서 단순 유계 (𝔤,𝔰𝔩(2))-모듈의 특성과 최소 𝔰𝔩(2)-형은 무엇인가?
• RQ5 최소 𝔨-형의 차원이 ≥5일 경우, (𝔤,𝔨)-모듈의 유계성은 어떻게 유한형 케이스와 다를까?

주요 결과

• 필요 조건 r𝔤 ≤ b𝔨는 가능한 유계 부분대수 𝔨를 심하게 제한하며, 𝔤 내 최소 양의 노름부분대수의 크기가 𝔭의 보렐 부분대수의 크기와 비교해 너무 크지 않은 경우에만 허용된다.
• 기하적 구성법은 유계성에 대한 충분 조건을 제공하며, 단순 유계 (𝔤,𝔨)-모듈의 명시적 실현을 가능하게 한다.
• 𝔰𝔩(n) 내 모든 최대 유계 재수정 부분대수를 분류하였으며, 최대가 아닌 예도 구성하였다.
• 랭크 2 𝔤에 대해, 정확히 다섯 개의 동치류의 𝔰𝔩(2) 부분대수가 (𝔤,𝔰𝔩(2))-모듈을 유도한다: 𝔰𝔩(2)⊕𝔰𝔩(2) 내 대각선, 𝔰𝔩(3) 내 루트 및 주요, 𝔰𝔭(4) 내 루트(짧은) 및 주요.
• 모든 짝수 차원 단순 유계 (𝔤,𝔰𝔩(2))-모듈의 최소 𝔰𝔩(2)-형은 V₀, V₂, 또는 V₄이다; 홀수 차원 모듈의 경우 V₁ 또는 V₃이다.
• 최소 𝔰𝔩(2)-형 Vᵢ에서 i ≥ 5인 경우, 모듈은 무계가 되며, 이는 고형 모듈에서는 유계가 실패함을 확인하며, 이는 유한형 케이스와 대조된다.