[논문 리뷰] On Integrable modules for the twisted full toroidal Lie algebra

S. Eswara Rao, Punita Batra|arXiv (Cornell University)|2015. 09. 09.

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

한 줄 요약

이 논문은 유한 차원 단순 리 대수의 상호작용하는 유한 차수의 자동형사상 여러 개에 의해 유도된 비틀린 전체 토로이드 리 대수의 기약 적분 가능 모듈을 분류한다. 다변수로의 다중루프 대수 구축을 확장하고, 일반화된 중심 및 도함수 확장을 통합함으로써, 저자들은 이러한 모듈이 $ gl_n \oplus \mathring{\mathfrak{g}} $의 기약 모듈에서 유도된 모듈의 몫임을 보여주며, 이는 단일 자동형사상에 대한 이전 결과를 일반화한다.

ABSTRACT

The paper is to classify irreducible integrable modules for the twisted full toroidal Lie algebra with some technical conditions. The twisted full toroidal Lie algebra are extensions of multiloop algebra twisted by sevaral finite order automorphisms. The result genaralizes a result by Fu Jiayuan and Cuipo Jiang, where they consider only one automorphism.

연구 동기 및 목표

• 여러 상호작용하는 유한 차수 자동형사상에 의해 정의된 비틀린 전체 토로이드 리 대수에 대한 기약 적분 가능 모듈을 분류하는 것.
• 단일 자동형사상만을 고려한 후 지야위안과 장의 결과를 일반화하는 것.
• 유한 차원 무게 공간을 가지며 중심 작용이 비영인 최고 무게 모듈의 구조를 기술하는 것.
• 최고 무게 공간이 $ gl_n \oplus \mathring{\mathfrak{g}} $에서 유도된 모듈과 동형임을 보이는 것. 여기서 $ \mathring{\mathfrak{g}} $는 고정점 부분대수이다.
• 원래 모듈을 최고 무게 공간에서 유도된 모듈의 몫으로서 실현하는 것.

제안 방법

• 다중루프 대수를 $ n+1 $개의 상호작용하는 유한 차수 자동형사상에 의해 비틀어진 것으로 정의하고, 이에 대한 일반화된 중심 확장을 통해 비틀린 전체 토로이드 리 대수 $ \tau $를 구성한다.
• 삼각 분해 $ \tau = \tau^- \oplus \tau^0 \oplus \tau^+ $를 사용하여 최고 무게 모듈을 정의한다.
• 최고 무게 공간 $ T $를 $ \tau_0 $의 기약 모듈로 식별하며, 이는 $ \mathbb{Z}^n $-등급이다.
• 부분대수 $ L \subset \tau_0 $와 몫대수 $ \tilde{L} $를 정의하여 문제를 유한 차원 표현 이론으로 축소한다.
• $ \tilde{L} $-유한 차원 모듈 $ \tilde{V} $에서 $ L $-모듈 $ L(\tilde{V}) $를 구성하고, $ T $가 이 유도 모듈의 구성 요소로 포함됨을 보인다.
• $ \tilde{V} $가 $ \tilde{L} $-모듈로서 기약일 필요충분조건으로 $ L(\tilde{V}) $가 서로 동형이 아닌 기약 $ L $-모듈로 분해됨을 증명함으로써, $ T $의 명시적 실현이 가능해진다.

실험 결과

연구 질문

• RQ1 여러 자동형사상이 있는 비틀린 전체 토로이드 리 대수의 기약 적분 가능 모듈은 어떻게 분류할 수 있는가?
• RQ2 최고 무게 공간 $ T $는 부분대수 $ \tau_0 $의 모듈로서 어떤 구조를 가지는가?
• RQ3 유도 모듈 $ L(\tilde{V}) $가 $ T $와 동형인 기약 성분으로 분해되는 조건은 무엇인가?
• RQ4 최고 무게 공간 $ T $는 $ gl_n \oplus \mathring{\mathfrak{g}} $의 표현 이론과 어떻게 관련되어 있는가?
• RQ5 원래 모듈 $ V $는 최고 무게 공간에서 유도된 모듈의 몫으로서 실현될 수 있는가?

주요 결과

• 비틀린 전체 토로이드 리 대수 $ \tau $에 대한 기약 적분 가능 모듈 $ V $는 $ M/M^{\text{rad}} $와 동형이며, 여기서 $ M = \text{Ind}_{\tau_0 + \tau^+}^{\tau} T $이고, $ M^{\text{rad}} $는 $ T $와 자명하게 교차하는 최대 부분모듈이다.
• 최고 무게 공간 $ T $는 유도된 $ L $-모듈 $ L(\tilde{V}) $의 구성 요소와 동형이며, $ \tilde{V} $가 $ \tilde{L} $-모듈로서 기약일 경우 이 포함관계는 비틀림이 가해진다.
• $ \tilde{V} $가 $ \tilde{L} $-모듈로서 기약일 경우, $ L(\tilde{V}) $는 상호 동형이 아닌 기약 $ L $-모듈로 분해되며, $ T $는 이러한 구성 요소 중 하나로 나타난다.
• $ \tilde{L} $-모듈 $ \tilde{V} $는 기약 $ gl_n $-모듈과 기약 $ \mathring{\mathfrak{g}} $-모듈의 텐서곱과 동형이며, $ \tilde{V} $는 $ \Lambda_p $-등급이다.
• 각 기약 성분은 $ \tilde{V} $와 동형이며, $ T $는 $ L(\tilde{V}) $의 부분모듈로서 비영인 비틀림을 가진다.
• $ T $의 구조는 $ L $-모듈로서 완전히 실현되었으며, 최종 분류 결과로 $ V \cong M/M^{\text{rad}} $임을 보여주며, 여기서 $ M $은 $ T $에서 유도된 것이다.