[논문 리뷰] Principal basis in Cartan subalgebra

Rudolf P. Rohr|arXiv (Cornell University)|2008. 04. 21.

Advanced Algebra and Geometry참고 문헌 2인용 수 9

한 줄 요약

이 논문은 단순한 복소 Lie 대수에서 Cartan 부분대수의 주요 기저를 구하는 방법을 제시한다. 이는 Weyl 벡터의 쌍대에서 평가된 불변 다항식의 기울기들을 사용하며, 그 기울기들에 대해 Gram-Schmidt 정규직교화를 적용함으로써 주요 기저를 얻는다. 동일한 구성은 Weyl 벡터에서 평가했을 때 Langlands 쌍대 Lie 대수의 주요 기저를 유도한다. 이 방법은 $\mathfrak{so}(2l,\mathbb{C})$의 경우에 대해 명시적으로 검증되었으며, $l$ 가 짝수일 때 그림 자동형사상에 의한 보완을 통해 유일성이 보장된다.

ABSTRACT

Let $\Lie{g}$ be a simple complex Lie algebra and $\Lie{h}$ a Cartan subalgebra. In this article we explain how to obtain the principal basis of $\Lie{h}$ starting form a set of generators $\{p_1,...,p_r\}$,$r= ank(\Lie{g})$, of the invariants polynomials $\Sgg$. For each invariant polynomial $p$, we define a $G$-equivariant map $Dp$ form $\Lie{g}$ to $\Lie{g}$. We show that the Gram-Schmidt orthogonalization of the elements $\{Dp_1(ρ^\vee), ... Dp_r(ρ^\vee) \}$ gives the principal basis of $\Lie{h}$. Similarly the orthogonalization of the elements $\{Dp_1(ρ), >... Dp_r(ρ) \}$ produces the principal basis of the Cartan subalgebra of $\lLie{g}$, the Langlands dual of $\Lie{g}$.

연구 동기 및 목표

• 불변 다항식 환 $S(\mathfrak{g}^*)^\mathfrak{g}$의 생성자들을 사용하여 Cartan 부분대수의 주요 기저를 체계적으로 구성하는 방법을 제공하는 것.
• 일반적으로 $\mathfrak{so}(2l,\mathbb{C})$에서 $l$ 가 짝수일 때 주요 기저의 유일성 문제가 발생하므로, 그 문제를 그림 자동형사상 $\sigma$를 도입하여 보완하는 것.
• Langlands 쌍대 Lie 대수 $\mathfrak{g}^\vee$의 주요 기저와 $\mathfrak{g}$의 주요 기저 사이의 대응 관계를 $\rho$와 $\rho^\vee$에서의 평가를 통해 설정하는 것.
• 불변 다항식의 기울기가 $\rho^\vee$에서 평가되었을 때 그들이 Cartan 부분대수를 생성하고, 정규직교화를 거친 후 주요 기저를 이룬다는 것을 보여주는 것.

제안 방법

• 각 $S(\mathfrak{g}^*)^\mathfrak{g}$의 생성자 $p_i$에 대해, $p_i$의 미분으로 정의된 $G$-등변 사상 $Dp_i: \mathfrak{g} \to \mathfrak{g}$를 정의한다.
• $\rho^\vee$인 양의 코근들의 합에서, $Dp_i$를 평가하여 $\mathfrak{g}$의 원소를 얻는다.
• 불변 이차형식 $B$를 사용하여 $\mathfrak{g}$를 $\mathfrak{g}^*$와 동일시함으로써, $Dp_i(\rho^\vee)$를 $\mathfrak{g}$의 원소로 간주한다.
• $\{Dp_1(\rho^\vee), \dots, Dp_r(\rho^\vee)\}$ 집합에 대해 Gram-Schmidt 정규직교화를 적용하여 $\mathfrak{h} \subset \mathfrak{g}$의 주요 기저를 얻는다.
• Langlands 쌍대 $\mathfrak{g}^\vee$의 경우, $Dp_i(\rho)$를 평가하고 동일한 정규직교화를 적용하여 $\mathfrak{h}^\vee \subset \mathfrak{g}^\vee$의 주요 기저를 얻는다.
• $\mathfrak{so}(2l,\mathbb{C})$의 경우 $l$ 가 짝수일 때, 기저 원소들이 그림 자동형사상 $\sigma$의 고유벡터여야 한다는 조건을 도입함으로써 유일성을 확보한다.

실험 결과

연구 질문

• RQ1 불변 다항식 환 $S(\mathfrak{g}^*)^\mathfrak{g}$의 생성자들로부터 Cartan 부분대수의 주요 기저를 어떻게 체계적으로 구성할 수 있는가?
• RQ2 Weyl 벡터 $\rho^\vee$는 불변 다항식의 기울기를 통해 주요 기저를 생성하는 데 어떤 역할을 하는가?
• RQ3 $\mathfrak{so}(2l,\mathbb{C})$에서 $l$ 가 짝수일 때 주요 기저가 유일하지 않은 이유는 무엇이며, 이 모순은 어떻게 해결할 수 있는가?
• RQ4 $\mathfrak{g}$의 주요 기저와 그 Langlands 쌍대 $\mathfrak{g}^\vee$의 주요 기저 사이의 관계는 어떻게 되는가?
• RQ5 $\mathfrak{so}(2l,\mathbb{C})$에서 그림 자동형사상 $\sigma$에 대한 불변성 조건을 요구함으로써 주요 기저를 유일하게 정할 수 있는가?

주요 결과

• $\{Dp_1(\rho^\vee), \dots, Dp_r(\rho^\vee)\}$는 정리 4.3에 의해 Cartan 부분대수 $\mathfrak{h}$의 기저를 이룬다.
• Gram-Schmidt 정규직교화를 거친 후, $Dp_i(\rho^\vee)$는 정리 4.3(b)에 따라 $\mathfrak{h} \subset \mathfrak{g}$의 주요 기저 $\{h_1, \dots, h_r\}$을 생성한다.
• $\{Dp_1(\rho), \dots, Dp_r(\rho)\}$는 정리 4.8에 의해 Langlands 쌍대 Lie 대수 $\mathfrak{g}^\vee$의 Cartan 부분대수 $\mathfrak{h}^\vee$의 기저를 이룬다.
• 정규직교화를 거친 후, $Dp_i(\rho)$는 $\mathfrak{h}^\vee \subset \mathfrak{g}^\vee$의 주요 기저를 생성하여 쌍대성 구성이 완성된다.
• $\mathfrak{so}(2l,\mathbb{C})$에서 $l$ 가 짝수일 경우, 동일한 차원을 가진 두 개의 기약 $\mathfrak{s}_0$-모듈이 존재하므로 주요 기저가 유일하지 않지만, 그림 자동형사상 $\sigma$에 대한 고유벡터 성질을 요구함으로써 유일성이 복구된다.
• $\mathfrak{so}(2l,\mathbb{C})$의 경우, $Dp_i(\rho^\vee)$는 $Dp_e(\rho^\vee)$와 직교하며, $Dp_e(\rho^\vee)$는 $\sigma$-불변 고유공간 $\mathfrak{g}_1$에 속하고, 나머지 원소들은 $\mathfrak{g}_0$에 속한다. 이는 5.4조에서 보여진다.