[논문 리뷰] Bounded reductive subalgebras of sl(n)

Alexey Petukhov|arXiv (Cornell University)|2010. 07. 08.

Advanced Algebra and Geometry참고 문헌 25인용 수 6

한 줄 요약

이 논문은 무한차원 단순 유계 (𝔰𝔩ₙ, 𝔨)-모듈이 존재하는 모든 재수성 부분대수 𝔰𝔩ₙ ⊃ 𝔨를 분류한다. 심플렉틱 기하학과 구면적 다양체 이론을 이용하여, 이러한 유계 모듈이 존재하는 것은 정확히 프로젝티브 공간 ℙ(𝔽ⁿ)이 구면적 𝔨-다양체일 때임을 증명한다. 분류는 완전하며 기본 무게와 불변 부분공간 등의 표현론적 자료를 통해 명시적으로 기술된다.

ABSTRACT

Let $\mathfrak g$ be a semisimple Lie algebra and $\mathfrak k\subset\mathfrak g$ be a reductive in $\mathfrak g$ subalgebra. A $(\mathfrak g, \mathfrak k)$-module is a $\mathfrak g$-module which after restriction to $\mathfrak k$ becomes a direct sum of finite-dimensional $\mathfrak k$-modules. I.Penkov and V.Serganova introduce definition of bounded $(\mathfrak g, \mathfrak k)$-modules for reductive subalgebras $\mathfrak k\subset\mathfrak g$, i.e. $(\mathfrak g, \mathfrak k)$-modules whose $\mathfrak k$-multiplicities are uniformly bounded. A question arising in this context is, given $\mathfrak g$, to describe all reductive in $\mathfrak g$ bounded subalgebras, i.e. reductive in $\mathfrak g$ subalgebras $\mathfrak k$ for which at least one infinite-dimensional bounded $(\mathfrak g, \mathfrak k)$-module exists. In the present paper we describe explicitly all reductive in $\mathfrak{sl}_n$ bounded subalgebras. Our technique is based on symplectic geometry and the notion of spherical variety. We also characterize the irreducible components of the associated varieties of simple bounded $(\mathfrak g, \mathfrak k)$-modules.

연구 동기 및 목표

• 무한차원 단순 유계 (𝔰𝔩ₙ, 𝔨)-모듈을 허용하는 모든 재수성 부분대수 𝔨 ⊂ 𝔰𝔩ₙ를 분류하는 것.
• (𝔰𝔩ₙ, 𝔨)-모듈이 𝔨-중복도를 균일하게 유계로 가지는 정확한 구조적 조건을 규명하는 것.
• 단순 유계 (𝔰𝔩ₙ, 𝔨)-모듈의 관련 다양체를 기하학적 불변량을 통해 기술하는 것.
• 유계 모듈의 존재를 보장하는 기하학적 기준—즉, ℙ(𝔽ⁿ)이 𝔨-다양체로서의 구면성을 제공하는 조건—을 확립하는 것.

제안 방법

• 분류는 특히, 𝔨의 보렐 부분대수가 관련 다양체의 각 기약 성분에서 열린 궤도를 가진다는 조건을 포함하는 구면적 다양체 이론에 기반한다.
• 유한 생성 (𝔰𝔩ₙ, 𝔨)-모듈 M의 지지 다양체 V(M)는 플라그 다양체의 코탄제인 벡터 필드의 콘형 라그랑주 부분다양체로 분석된다.
• 논문은 Lie 대수의 준동형 τ_X: 𝔨 → 𝒯X를 통한 𝔨-다양체 개념을 사용하며, 𝔠의 보렐 부분대수가 작용하는 열린 궤도의 존재를 통해 구면성을 정의한다.
• 특히 코어지안 오비트와 그 폐쇄의 구조를 포함한 심플렉틱 기하학의 결과를 적용하여 표현론적 유계성과 기하학적 불변량을 연결한다.
• 분류는 𝔨가 ℙ(𝔽ⁿ)에서 구면적 작용을 하는 것으로 줄어들며, 이는 𝔠의 보렐 부분대수가 𝔠의 밀도 궤도를 가지는 것과 동치이다.
• 명시적인 유계 재수성 부분대수 목록은 재수성 리 대수의 분해 불가능한 구면적 표현의 분류를 바탕으로 하며, 기본 무게와 불변 부분공간을 사용하여 유도된다.

실험 결과

연구 질문

• RQ1 어떤 재수성 부분대수 𝔨 ⊂ 𝔰𝔩ₙ에 대해, 𝔨-중복도가 균일하게 유계인 무한차원 단순 (𝔰𝔩ₙ, 𝔨)-모듈이 존재하는가?
• RQ2 𝔠가 ℙ(𝔽ⁿ)에 작용할 때, 이러한 유계 모듈의 존재를 보장하는 기하학적 조건은 무엇인가?
• RQ3 유계 (𝔰𝔩ₙ, 𝔨)-모듈 M의 관련 다양체 V(M)의 기약 성분은 어떻게 기술할 수 있는가?
• RQ4 어떤 재수성 부분대수 𝔠 ⊂ 𝔰𝔩ₙ가 ℙ(𝔽ⁿ)에서 구면적 작용을 하며, 이는 유계 (𝔰𝔩ₙ, 𝔠)-모듈과 어떻게 관련되는가?
• RQ5 무한차원 단순 유계 (𝔰𝔩ₙ, 𝔠)-모듈을 적어도 하나 허용하는 재수성 부분대수 𝔠 ⊂ 𝔰𝔩ₙ의 완전한 목록은 무엇인가?

주요 결과

• 쌍 (𝔰𝔩ₙ, 𝔠)가 무한차원 단순 유계 (𝔰𝔩ₙ, 𝔠)-모듈을 가질 조건은 정확히 프로젝티브 공간 ℙ(𝔽ⁿ)이 구면적 𝔠-다양체일 때이다.
• 모든 유계 (𝔰𝔩ₙ, 𝔠)-모듈 M의 지지 다양체 V(M)는 플라그 다양체의 코탄제인 벡터 필드의 콘형 라그랑주 부분다양체이며, 그 기약 성분들은 모두 구면적 다양체이다.
• 𝔰𝔩ₙ의 유계 재수성 부분대수의 분류는 𝔠가 ℙ(𝔽ⁿ)에 작용할 때의 구면성에 의해 완전히 결정된다.
• 모든 이러한 부분대수는 표 6.1에 명시적으로 나열되어 있으며, 단순, 반단순, 그리고 기약가능하지 않은 리 대수의 경우를 포함하며, 해당 표현과 불변 부분공간이 명시되어 있다.
• (𝔰𝔩ₙ, 𝔠)-모듈의 유계성은 관련 다양체 V(M)의 구면성과 동치이며, 이는 핵심적인 기하학적 기준이다.
• 논문은 재수성 리 대수의 분해 불가능한 구면적 표현의 완전한 목록을 제공하며, 이는 유계 부분대수의 분류를 뒷받침한다.