[논문 리뷰] Derivations and automorphism groups of the original deformative Schrödinger-Virasoro algebras

Qifen Jiang, Song Wang|arXiv (Cornell University)|2012. 09. 14.

Algebraic structures and combinatorial models참고 문헌 17인용 수 3

한 줄 요약

이 논문은 위트 대수와 텐서 밀도 모듈러스의 반직접곱인 원래 변형 슈뢰딩거-비라소로 대수의 유도 대수와 자동환군을 결정한다. 등급 붙인 리 대수 기법과 코homological 분석을 사용하여, 매개수 $ a $가 정수이거나 아닐 경우에 따라 다른 구조를 가지는, 무한차원 아벨 군과 유한 대칭을 포함하는 반직접곱으로 자동환군을 분류한다.

ABSTRACT

In this paper, we determine the derivation algebra and the automorphism group of the original deformative ${ m Schr\ddot{o}dinger}$-{ m Virasoro} algebras which is the semi-direct product Lie algebra of the Witt algebra and its tensor density module ${ m I^g}(a,b)$.

연구 동기 및 목표

• 원래 변형 슈뢰딩거-비라소로 대수 $\mathbf{W}^g(a,b)$의 전체 유도 대수를 결정하는 것, 이는 위트 대수와 텐서 밀도 모듈러스의 반직접곱이다.
• 매개수 $\mathbf{W}^g(a,b)$의 자동환군을 분류하여 그 구조적 구성요소와 대칭성을 규명하는 것.
• $\mathbf{W}^g(a,b)$의 $\frac{1}{2}\mathbb{Z}$-등급을 통해 대수적 구조를 분석하고, 완전성과 중심과 같은 성질을 도출하는 것.
• 매개수 $a$의 짝수 정수 이동에 따른 동형 불변성을 확립하여 분류를 단순화하는 것.
• 리 대수 괄호 관계로부터 유도된 재귀 관계를 해결하여 자동환군의 구조를 해결하는 것.

제안 방법

• $\mathbf{W}^g(a,b)$의 $\frac{1}{2}\mathbb{Z}$-등급을 사용하여 유도와 자동환을 동차 성분으로 분해하는 것.
• 특히 등급 성분의 $H^1$-군을 활용한 코homological 기법을 적용하여 유도를 분석하고 비자명한 외부 유도를 제거하는 것.
• 리 괄호 관계 (1.1)–(1.6)로부터 유도된 재귀 관계를 사용하여 자동환의 기저 원소에 대한 작용을 결정하는 것.
• 매개수 $\lambda_{\epsilon m-1}, \mu_{\epsilon m-1}$에 대한 다항식 방정식 시스템을 해결하여 가능한 자동환을 분류하는 것.
• 매개수 $a$ (정수 대비 비정수)와 $b$에 따라 경우를 나누어 서로 다른 자동환군 구조를 도출하는 것.
• 매개수 $\lambda_{\epsilon m-1}$에 대한 재귀 관계를 푸는 고차수 귀납 단계에서 컴퓨터 보조 계산을 사용하는 것.

실험 결과

연구 질문

• RQ1 원래 변형 슈뢰딩거-비라소로 대수 $\mathbf{W}^g(a,b)$의 유도 대수의 구조는 무엇인가?
• RQ2 $\mathbf{W}^g(a,b)$의 자동환군은 매개수 $a$와 $b$에 따라 어떻게 달라지는가?
• RQ3 $\frac{1}{2}\mathbb{Z}$-등급은 유도와 자동환을 분류하는 데 어떤 역할을 하는가?
• RQ4 $\mathbf{W}^g(a,b)$에는 비자명한 외부 유도가 존재하는가, 그리고 그것들은 $a$와 $b$에 따라 어떻게 달라지는가?
• RQ5 $a \in \mathbb{Z}$이냐 $a \notin \mathbb{Z}$이냐에 따라 자동환군은 어떻게 다를까?

주요 결과

• $\mathbf{W}^g(a,b)$의 유도 대수는 $a \notin \mathbb{Z}$일 경우 자명하고, $a \in \mathbb{Z}$일 경우 비자명하며, 그 구조는 $b$에 따라 달라진다.
• $a \notin \mathbb{Z}$일 경우 $\mathbf{W}^g(a,b)$의 자동환군은 $(\mathbb{C}^\infty \rtimes \mathbb{C}^\infty) \rtimes (\mathbb{C}^* \times \mathbb{C}^*)$와 동형이며, 여기서 $\mathbb{C}^\infty$는 거의 영인 수열의 공간을 의미한다.
• $a \in \mathbb{Z}$일 경우 자동환군은 $(\mathbb{C}^\infty \rtimes \mathbb{C}^\infty) \rtimes (\mathbb{Z}_2 \ltimes (\mathbb{C}^* \times \mathbb{C}^*))$와 동형으로, 추가적인 $\mathbb{Z}_2$ 대칭이 존재한다.
• $b = 5$일 경우, $\mu_{\epsilon m-1} = m \mu_{\epsilon-1}$ 및 $\lambda_{\epsilon m-1} = m \lambda_{\epsilon-1}$ 관계에 의해 자동환군의 구조가 완전히 결정되며, 이는 비정수 $a$의 경우와 동일한 군 구조를 가진다.
• $b = 3$일 경우 두 개의 서로 다른 해 분지가 발생한다: 하나는 $\mu_{\epsilon m-1} = m \mu_{\epsilon-1}$이고 다른 하나는 $\mu_{\epsilon m-1} = m^2 \mu_{\epsilon-1}$이며, 그러나 대칭 제약 조건으로 인해 둘 다 동일한 자동환군 구조를 유도한다.
• $\mathbf{W}^g(a,b)$의 중심은 $a = b = 0$일 경우 $\mathbb{C}I_0$이고, 그 외의 경우 자명하며, 이는 자동환군의 구조에 영향을 준다.