[논문 리뷰] Lie algebras constructed with Lie modules and their positively and negatively graded modules

Nagatoshi Sasano|arXiv (Cornell University)|2016. 03. 24.

Advanced Topics in Algebra참고 문헌 3인용 수 5

한 줄 요약

이 논문은 유한차원 표준 4중체에서 무한차원 설정으로 그레이드 리 대수의 구성법을 확장하기 위해 표준 5중체 $(\mathfrak{g}, \rho, V, \mathcal{V}, B_0)$ 를 도입한다. 여기서 $\mathfrak{g}$ 는 비퇴도성 불변 이항형식 $B_0$ 를 가진 리 대수이고, $V$ 는 $\mathfrak{g}$-모듈이며, $\mathcal{V} \subset \mathrm{Hom}(V, \mathfrak{k})$ 는 $\mathfrak{g}$-부분모듈이다. 이 논문은 $\mathfrak{g}$, $V$, $\mathcal{V}$ 를 포함하는 그레이드 리 대수 $L(\mathfrak{g}, \rho, V, \mathcal{V}, B_0) = \bigoplus_{n \in \mathbb{Z}} V_n$ 를 구성하고, 이 대수의 양의 및 음의 그레이드 모듈을 추가로 구성한다. 주요 기여는 $B_0$ 가 대칭이면서 추가적인 호환 조건을 만족할 경우, 이러한 구조를 더 큰 그레이드 리 대수에 통합하는 체인 규칙을 증명하는 것이다.

ABSTRACT

In this paper, we shall give a way to construct a graded Lie algebra $L(\mathfrak{g},ρ,V,{\cal V},B_0)$ from a standard pentad $(\mathfrak{g},ρ,V,{\cal V},B_0)$ which consists of a Lie algebra $\mathfrak{g}$ which has a non-degenerate invariant bilinear form $B_0$ and $\mathfrak{g}$-modules $(ρ, V)$ and ${\cal V}\subset \mathrm {Hom }(V,\mathfrak{k})$ all defined over a field $\mathfrak{k}$. In general, we do not assume that these objects are finite-dimensional. We can embed the objects $\mathfrak{g},ρ,V,{\cal V}$ into $L(\mathfrak{g},ρ,V,{\cal V},B_0)$. Moreover, we construct specific positively and negatively graded modules of $L(\mathfrak{g},ρ,V,{\cal V},B_0)$. Finally, we give a chain rule on the embedding rules of standard pentads.

연구 동기 및 목표

• 유한차원 표준 4중체에서의 그레이드 리 대수 이론을 무한차원 표준 5중체로 일반화하기.
• 표준 5중체 $(\mathfrak{g}, \rho, V, \mathcal{V}, B_0)$ 로부터 $L(\mathfrak{g}, \rho, V, \mathcal{V}, B_0)$ 를 구성하여 $\mathfrak{g}$, $V$, $\mathcal{V}$ 를 대수에 통합하기.
• 주어진 $\mathfrak{g}$-모듈 $U$ 로부터 귀납적 방법을 사용해 $L(\mathfrak{g}, \rho, V, \mathcal{V}, B_0)$ 의 양의 및 음의 그레이드 모듈을 체계적으로 구성하고, 기존의 모듈 구성법을 일반화하기.
• 대칭 이항형식과 호환 조건을 만족할 경우, 리 대수와 그의 그레이드 모듈을 더 큰 그레이드 리 대수에 통합하는 체인 규칙을 수립하기.

제안 방법

• 체 $\mathfrak{k}$ 위에서의 표준 5중체를 5중체 $(\mathfrak{g}, \rho, V, \mathcal{V}, B_0)$ 로 정의한다. 여기서 $\mathfrak{g}$ 는 비퇴도성 불변 이항형식 $B_0$ 를 가진 리 대수이고, $\rho$ 는 $V$ 에 대한 $\mathfrak{g}$-모듈이며, $\mathcal{V}$ 는 $\mathrm{Hom}(V, \mathfrak{k})$ 의 $\mathfrak{g}$-부분모듈이다.
• 선형 사상 $\Phi_\rho: V \otimes \mathcal{V} \to \mathfrak{g}$ 를 도입하여 호환 조건을 설정한다. 이는 모든 $a \in \mathfrak{g}, v \in V, \phi \in \mathcal{V}$ 에 대해 $B_0(a, \Phi_\rho(v \otimes \phi)) = \langle \rho(a \otimes v), \phi \rangle$ 를 만족하며, 이는 5중체가 표준적임을 보장한다.
• 귀납적 관계를 통해 $L(\mathfrak{g}, \rho, V, \mathcal{V}, B_0) = \bigoplus_{n \in \mathbb{Z}} V_n$ 를 구성하고, $\mathfrak{g} \simeq V_0$, $V \simeq V_1$, $\mathcal{V} \simeq V_{-1}$ 를 포함함을 보장한다.
• 양의 그레이드 $L(\mathfrak{g}, \rho, V, \mathcal{V}, B_0)$-모듈 $\tilde{U}^+ = \bigoplus_{m \geq 0} U_m^+$ 와 음의 그레이드 모듈 $\tilde{U}^- = \bigoplus_{m \leq 0} U_m^-$ 를 귀납적으로 정의한다. 이때 $U_0^+ \simeq U$ 이고 $U_0^- \simeq U$ 는 $\mathfrak{g}$-모듈로서 동치이다.
• 만약 $B_0$ 가 대칭이면서 $(\mathfrak{g}, \pi, U, \mathcal{U}, B_0)$ 가 표준 5중체라면, $L(\mathfrak{g}, \rho, V, \mathcal{V}, B_0)$ 와 $\tilde{U}^+$ 는 체인 규칙을 통해 더 큰 그레이드 리 대수에 통합될 수 있음을 증명한다.
• 킬링 형식과 고유공간 분해를 사용하여 동형을 검증한다. 예를 들어, $L(L(\mathfrak{g}, \rho, V, \mathcal{V}, B_0), \tilde{\pi}^+, \tilde{U}^+, \tilde{\mathcal{U}}^-, B_L) \simeq \mathfrak{sl}_4$ 를 얻는다.

실험 결과

연구 질문

• RQ1 유한차원 표준 4중체에서의 그레이드 리 대수 구성법을 어떻게 무한차원 설정으로 일반화할 수 있는가?
• RQ2 표준 5중체에서 구성된 리 대수 $L(\mathfrak{g}, \rho, V, \mathcal{V}, B_0)$ 가 잘 정의되어 있고 원래의 대상들을 포함하는 데 필요한 조건은 무엇인가?
• RQ3 주어진 $\mathfrak{g}$-모듈 $U$ 로부터 $L(\mathfrak{g}, \rho, V, \mathcal{V}, B_0)$ 의 양의 및 음의 그레이드 모듈을 어떻게 체계적으로 구성할 수 있는가?
• RQ4 어떤 조건에서 $L(\mathfrak{g}, \rho, V, \mathcal{V}, B_0)$ 와 그의 그레이드 모듈 $\tilde{U}^+$ 가 더 큰 그레이드 리 대수에 통합될 수 있는가?
• RQ5 대칭 이항형식 $B_0$ 는 이러한 통합을 가능하게 하고 총 대수에 유도된 형식의 비퇴도성 보장에 어떤 역할을 하는가?

주요 결과

• 논문은 임의의 표준 5중체 $(\mathfrak{g}, \rho, V, \mathcal{V}, B_0)$ 로부터 $L(\mathfrak{g}, \rho, V, \mathcal{V}, B_0) = \bigoplus_{n \in \mathbb{Z}} V_n$ 를 구성하고, $\mathfrak{g} \simeq V_0$, $V \simeq V_1$, $\mathcal{V} \simeq V_{-1}$ 를 포함함을 보였다.
• 만약 $B_0$ 가 대칭이라면, 이형식 $B_0$ 는 $L(\mathfrak{g}, \rho, V, \mathcal{V}, B_0)$ 에 비퇴도성 대칭 불변 이항형식 $B_L$ 으로 확장되며, 이는 $V_0 \times V_0$ 에 제한된 형태에서 $B_0$ 와 일치한다.
• 논문은 양의 그레이드 $L(\mathfrak{g}, \rho, V, \mathcal{V}, B_0)$-모듈 $\tilde{U}^+ = \bigoplus_{m \geq 0} U_m^+$ 와 음의 그레이드 모듈 $\tilde{U}^- = \bigoplus_{m \leq 0} U_m^-$ 를 구성하였고, 이때 $U_0^+ \simeq U$ 이고 $U_0^- \simeq U$ 는 $\mathfrak{g}$-모듈로서 동치이다.
• 만약 $B_0$ 가 대칭이면서 $(\mathfrak{g}, \pi, U, \mathcal{U}, B_0)$ 가 표준 5중체라면, 리 대수 $L(\mathfrak{g}, \rho, V, \mathcal{V}, B_0)$ 와 그 모듈 $\tilde{U}^+$ 는 체인 규칙을 통해 더 큰 그레이드 리 대수에 통합될 수 있다.
• 구체적인 예시에서 구성은 $L(L(\mathfrak{g}, \rho, V, \mathcal{V}, B_0), \tilde{\pi}^+, \tilde{U}^+, \tilde{\mathcal{U}}^-, B_L) \simeq \mathfrak{sl}_4$ 를 도출하였고, 이는 결과 대수가 잘 알려진 단순 리 대수와 동형임을 보여준다.