[논문 리뷰] Automorphisms and Verma modules for Generalized Schrödinger-Virasoro algebras

Shaobin Tan, Xiufu Zhang|ArXiv.org|2008. 04. 10.

Advanced Topics in Algebra참고 문헌 7인용 수 4

한 줄 요약

이 논문은 특성 0인 체 위에서 추가군 G와 2α∈G이지만 α∉G인 원소 α에 의해 매개변수화된 일반화된 슈뢰딩거-비라소르 대수 𝔤sv[G,α]를 소개한다. 이 대수의 자동사상군을 완전히 규명하고, 베르마 모듈 V(c,h)의 기약성 문제를 분류하여, V(c,h)가 기약임과 동시에 c≠0 또는 h≠0일 때에만 성립하며, V(0,0)는 일차원 몫을 가지며, h≠0인 V(0,h)는 유일한 최대 부분모듈을 가짐을 보여준다.

ABSTRACT

Let $\mathbb{F}$ be a field of characteristic 0, $G$ an additive subgroup of $\mathbb{F}$, $α\in \mathbb{F}$ satisfying $α otin G, 2α\in G$. We define a class of infinite-dimensional Lie algebras which are called generalized Schrödinger-Virasoro algebras and use $\mathfrak{gsv}[G,α]$ to denote the one corresponding to $G$ and $α$. In this paper the automorphism group and irreducibility of Verma modules for $\mathfrak{gsv}[G,α]$ are completely determined.

연구 동기 및 목표

• 클래식한 슈뢰딩거-비라소르 대수의 자연스러운 확장으로서, 무한차원 리 대수의 새로운 클래스인 일반화된 슈뢰딩거-비라소르 대수 𝔤sv[G,α]를 정의하고 연구하기.
• 두 일반화된 대수 𝔤sv[G,α]와 𝔤sv[G',α'] 사이의 동형 조건을 필요충분조건으로 규명하기.
• 주어진 조건을 만족하는 임의의 추가군 G와 α에 대해 𝔤sv[G,α]의 자동사상군을 완전히 특성화하기.
• 𝔤sv[G,α] 위에서 베르마 모듈 V(c,h)를 정의하고, 일반적으로 그 기약성을 규명하기.
• h≠0인 V(0,h)의 유일한 최대 부분모듈은 U(L−)로의 자연스러운 전사사상의 핵임을 보이며, V(0,0)는 자명한 몫을 가짐을 밝히기.

제안 방법

• 기저 {L_u, M_u, Y_{u+α} | u∈G}와 G 및 α에 관한 특정 교환관계를 가진 리 대수로 일반화된 슈뢰딩거-비라소르 대수 𝔤sv[G,α]를 정의하기.
• 𝔤sv[G,α]가 T=G∪(α+G)에 대해 T-등급임을 보이고, I=M⊕Y가 유일한 최대 아이디얼임을 증명하기.
• 카르탕 부분대수 𝔤sv[G,α]_0와 루트 공간 분해의 구조를 이용해 가중치 모듈을 분석하기.
• 베르마 모듈 V(c,h)를 보일러 부분대수의 일차원 표현으로부터 유도된 모듈로 구성하기.
• 내림 연산자 L_{-i}, M_{-j}, Y_{α-k}를 사용한 재귀적 감소 기법을 적용하여 순환 부분모듈의 구조 분석하기.
• L_{j^{(0)}} 및 Y_{-(α−k^{(0)})}의 작용에 관한 보조정리들을 활용해 M 및 Y 생성자에 대한 다항식의 길이를 감소시키며, 최종적으로 비영인 가중치 벡터일 경우 v_h가 부분모듈에 속함을 보여주기.

실험 결과

연구 질문

• RQ1 두 일반화된 슈뢰딩거-비라소르 대수 𝔤sv[G,α]와 𝔤sv[G',α']가 서로 동형이 되기 위한 필요충분조건은 무엇인가?
• RQ2 일반화된 슈뢰딩거-비라소르 대수 𝔤sv[G,α]의 자동사상군 Aut(𝔤sv[G,α])의 전체적인 구조는 무엇인가?
• RQ3 벡터 공간 𝔤sv[G,α] 위에서 베르마 모듈 V(c,h)가 기약이 되는 c와 h의 값은 무엇인가?
• RQ4 h≠0일 때 V(0,h)의 유일한 최대 부분모듈의 구조는 어떻게 되는가?
• RQ5 V(0,0)/N(0,0)의 몫은 무엇이며, 이는 자명한 표현에 대해 어떤 함의를 갖는가?

주요 결과

• 𝔤sv[G,α]의 자동사상군은 완전히 규명되었으며, 그 구조는 군 G와 원소 α에 대해 호환되는 스케일링 및 이동 대칭성에 의해 유도된 자동사상들로 이루어져 있다.
• 베르마 모듈 V(c,h)는 c≠0 또는 h≠0일 때에만 기약이며, c=0이면서 h=0인 경우 V(0,0)는 기약이 아니며 일차원 몫을 가진다.
• h≠0일 때, 베르마 모듈 V(0,h)는 유일한 최대 부분모듈 N(0,h)을 가지며, 몫 V(0,h)/N(0,h)는 벡터 공간으로서 유니버설 포락 대수 U(L−)와 동형이다.
• V(0,h)의 유일한 최대 부분모듈 N(0,h)은 L_0와 모든 양의 루트 생성자들의 작용에 의해 영이 되는 모든 벡터로 이루어져 있으며, h≠0일 때는 진부분모듈이다.
• V(0,0)에서 벡터 v_h는 부분모듈 N(0,0)에 속하지 않으며, 몫 V(0,0)/N(0,0)는 자명한 모듈 ℱ와 동형이다.
• 기약성의 증명은 내림 연산자를 통한 M 및 Y 생성자에 대한 다항식의 재귀적 감소 기법에 기반하며, c≠0 또는 h≠0이면 비영인 가중치 벡터가 항상 전체 모듈을 생성함을 보여준다.