[논문 리뷰] Derivations and automorphisms of twisted deformative Schrödinger-Virasoro Lie algebras

Wei Wang, Junbo Li외 1명|arXiv (Cornell University)|2010. 05. 30.

Nonlinear Waves and Solitons참고 문헌 7인용 수 3

한 줄 요약

이 논문은 매개변수 $\lambda$ 및 $\mu$ 에 대한 특정 조건 하에서 비틀린 변형 슈뢰딩거-비라소로 리 대수의 유도 대수와 자기동형군을 결정한다. 등급을 가진 리 대수의 구조와 내부 자기동형 기법을 사용하여, 모든 유도는 내부 유도와 0차 유도의 유한차원 공간의 합임을 증명하고, 모든 자기동형은 내부 자기동형, 스케일링, 그리고 $\lambda$ 에 따라 달라지는 특정 자기동형의 복합체임을 보인다. $\lambda = -2, -1, 1$, 그리고 $\lambda \notin \{-2,0,\pm1\}$ 의 경우에 대해 명시적인 분류가 이루어진다.

ABSTRACT

In this paper the derivation algebra and automorphism group of the twisted deformative Schrödinger-Virasoro Lie algebras are determined.

연구 동기 및 목표

• 비틀린 변형 슈뢰딩거-비라소로 리 대수 $\mathscr{L}$ 의 전체 유도 대수를 매개변수 제약 조건 $\mu \notin \frac{1}{2}+\mathbb{Z}$ 와 $\mu=0, \lambda \neq 0$ 이면 $\mu \in \mathbb{Z}$ 일 때에 대해 결정한다.
• 이전 특수 케이스의 결과를 확장하여 동일한 매개변수 조건 하에서 $\mathscr{L}$ 의 자동형군을 분류한다.
• 모든 유도가 내부 유도와 0차 유도의 합임을 보이며, 모든 자동형이 내부 자동형, 스케일링, 그리고 $\lambda$ 에 따라 달라지는 특정 자동형의 복합체임을 확립한다.
• 지수 사상에 의한 수반 작용과 스케일링 변환을 통해 자동형을 명시적으로 매개변수화하며, $\lambda$ 에 따른 경우 분석을 제공한다.

제안 방법

• 등급 구조 $\mathscr{L} = \bigoplus_{n \in \mathbb{Z}} \mathscr{L}_n$ 를 이용하여 유도를 0차와 그 이상 차수의 성분으로 분해함으로써 유도 대수를 분석한다.
• 리 괄호 관계로부터 유도된 선형 방정식계를 풀어 0차 유도의 공간 $ (\text{Der} \mathscr{L})_0 $ 을 계산한다.
• 내부 자동형(수반 작용의 지수사상), 스케일링 사상 $ \varphi_\epsilon $, 그리고 특정 자동형 $ \varphi_{1,\bar{\beta}} $, $ \psi_e $, $ \phi_{\alpha} $ 를 통한 자동형을 구성한다.
• 자기동형의 분류는 $\lambda$ 에 따른 사례 분석을 통해 진행되며, $\lambda = -2, -1, 1$, 그리고 $\lambda \notin \{-2,0,\pm1\}$ 에 대해 각각 다른 구성법을 사용한다. 이는 $\text{ad}_{Y_0} $ 및 $\text{ad}_{M_0}$ 의 지수 사상에 기반한다.
• 모든 자동형은 내부 자동형군 $\text{Inn}\,\mathscr{L}$ 이 $\text{Aut}\,\mathscr{L}$ 의 정규부분군임을 이용하여 내부 자동형과 외부 성분의 곱으로 분해됨을 이용한다.
• 핵심 방정식으로는 $\mathscr{L}$ 을 정의하는 리 괄호 관계, 유도 조건 $ d([x,y]) = [d(x),y] + [x,d(y)] $, 그리고 $ \phi(L_n), \phi(Y_n), \phi(M_n) $ 에 대한 자동형 관계가 있으며, 이는 $n$ 에 대한 명시적 계수 함수를 포함한다.

실험 결과

연구 질문

• RQ1 주어진 매개변수 제약 조건 하에서 비틀린 변형 슈뢰딩거-비라소로 리 대수 $\mathscr{L}$ 의 유도 대수의 구조는 어떠한가?
• RQ2 매개변수 조건 $\mu \notin \frac{1}{2}+\mathbb{Z}$ 와 $\mu=0$, $\lambda \neq 0$ 이면 $\mu \in \mathbb{Z}$ 일 때에 대해 $\mathscr{L}$ 의 자동형군은 어떻게 완전히 분류할 수 있는가?
• RQ3 특히 $\lambda = -2, -1, 1$, 그리고 $\lambda \notin \{-2,0,\pm1\}$ 의 경우에 대해 자동형의 명시적 형태는 무엇인가?
• RQ4 내부 자동형과 스케일링 사상이 $\mathscr{L}$ 의 전체 자동형군을 얼마나 잘 생성하는가?
• RQ5 자동형 공식의 계수들은 매개변수 $\lambda$, $\mu$, 그리고 $b_i$, $c_i$, $\bar{c}_i$ 와 같은 추가 상수들에 어떻게 의존하는가?

주요 결과

• 유도 대수 $\mathscr{L}$ 는 내부 유도 $\text{ad}\,\mathscr{L}$ 와 0차 유도의 유한차원 공간 $ (\text{Der}\,\mathscr{L})_0 $ 의 직합이다.
• $\lambda = -2$ 인 경우 자동형군은 내부 자동형, 스케일링 사상 $\varphi_\epsilon$, $\varphi_{1,\bar{\beta}}$, 그리고 자동형 $\phi_{\alpha_1}$ 에 의해 생성되며, $\alpha_1 = \frac{1}{6}(c_1 - 2\bar{c}_1 + 2b_1^2)$ 이다.
• $\lambda = -1$ 인 경우 자동형군은 $\psi_{b_2}$ 와 $\phi_{\alpha_2}$ 를 포함하며, $\alpha_2 = \frac{1}{2}(c_2 - 2\bar{c}_2)$ 이고, 자동형은 $\theta_2$ 와 $\psi_{b_2}$ 를 통해 구성된다.
• $\lambda = 1$ 인 경우 자동형군은 $\psi_e$ 와 $\theta_4$ 를 포함하며, $\theta_4 = \exp\big{(}b_4\text{ad}_{Y_0} - \frac{1}{2}(b_4^2 - 2c_4)\text{ad}_{M_0}\big{)}$ 이고, $\psi_e$ 는 $M_n$-성분의 이동을 처리한다.
• $\lambda \notin \{-2,0,\pm1\}$ 인 경우 자동형은 $\theta_5 = \exp\big{(}2b_5(\lambda+1)^{-1}\text{ad}_{Y_0} + (\bar{c}_5(\lambda+1) - b_5^2)(\lambda^2 + \lambda)^{-1}\text{ad}_{M_0}\big{)}$ 로 완전히 기술되며, 이는 $\phi = \theta_5^{-1}$ 임을 보여준다.
• 전체 자동형군은 내부 자동형과 외부 성분의 곱으로 표현되며, $\sigma = \bar{\theta}_i \varphi_{1,\bar{\beta}} \varphi_\epsilon \circ \text{other maps} $ 로 표현되며, $\lambda$ 에 따라 달라지며, 모든 자동형이 이러한 구성 요소들의 복합체임을 증명한다.