[논문 리뷰] The Harish-Chandra isomorphism for Clifford algebras

Yuri Bazlov|ArXiv.org|2008. 12. 11.

Algebraic structures and combinatorial models참고 문헌 16인용 수 7

한 줄 요약

이 논문은 클리포드 대수 ${\mathit{C}\!\ell}(\mathfrak{g})$의 $\sigma$-불변 부분대수와 ${\mathit{C}\!\ell}(\mathfrak{h})$ 사이의 호모모르피즘을 수립하며, 이는 클리포드 대수의 하리시-찬드라 이sovorphism의 유사체로 간주된다. 더 나아가 이 이sovorphism은 원시 불변량의 공간을 랑글랜드 쌍대 리 대수 $\mathfrak{g}^\vee$의 주요 grading에 따라 정렬된 카르탕 부분대수 $\mathfrak{h}$와 매칭함으로써, 쿠스타트의 $\mathfrak{h}$의 정규 기저의 기원에 대한 추측을 확인한다.

ABSTRACT

We study the analogue of the Harish-Chandra homomorphism where the universal enveloping algebra is replaced by the Clifford algebra, $Cl(g)$, of a semisimple Lie algebra $g$. Two main goals are achieved. First, we prove that there is a Harish-Chandra type isomorphism between the subalgebra of $g$-invariants in $Cl(g)$ and the Clifford algebra of the Cartan subalgebra of $g$. Second, the Cartan subalgebra is identified, via this isomorphism, with a graded space of the so-called primitive skew-symmetric invariants of $g$. This leads to a distinguished orthogonal basis of the Cartan subalgebra, which turns out to be induced from the Lie algebra Langlands dual to $g$ via the action of its principal three-dimensional subalgebra. This settles a conjecture of Kostant.

연구 동기 및 목표

• 클리포드 대수 ${\mathit{C}\!\ell}(\mathfrak{g})$에 대해 유니버설 포괄 대수 $U(\mathfrak{g})$를 대체하는 하리시-찬드라 유형의 이sovorphism을 수립하는 것.
• 클리포드 대수 ${\mathit{C}\!\ell}(\mathfrak{g})$ 내의 $\mathfrak{g}$-불변 부분대수를 카르탕 부분대수의 클리포드 대수 ${\mathit{C}\!\ell}(\mathfrak{h})$로 식별하는 것.
• 이sovorphism을 통해 유도되는 $\mathfrak{h}$의 grading을 규명하고, 이가 랑글랜드 쌍대 리 대수 $\mathfrak{g}^\vee$의 주요 grading과 연결되는지 밝혀내는 것.
• 쿠스타트의 추측, 즉 $\mathfrak{h}$의 정규 기저가 $\mathfrak{g}^\vee$의 주요 3차원 부분대수에서 유래한다는 것을 확인하는 것.

제안 방법

• 리 대수의 삼각 분해 $\mathfrak{g} = \mathfrak{n}_- \oplus \mathfrak{h} \oplus \mathfrak{n}_+$를 활용하여 클리포드 대수 ${\mathit{C}\!\ell}(\mathfrak{g})$를 ${\mathit{C}\!\ell}(\mathfrak{n}_-) \otimes {\mathit{C}\!\ell}(\mathfrak{h}) \otimes {\mathit{C}\!\ell}(\mathfrak{n}_+)$로 분해한다.
• 고전적 하리시-찬드라 호모모르피즘과 유사한 사영 $\Phi: {\mathit{C}\!\ell}(\mathfrak{g}) \to {\mathit{C}\!\ell}(\mathfrak{h})$를 구성한다.
• 쿠스타트의 변수 분리 결과를 적용하여 ${\mathit{C}\!\ell}(\mathfrak{g}) = E \otimes J$로 표현하며, 여기서 $J = {\mathit{C}\!\ell}(\mathfrak{g})^\mathfrak{g}$는 $\mathfrak{g}$-불변 부분대수이다.
• 이sovorphism $\Phi: J \xrightarrow{\sim} {\mathit{C}\!\ell}(\mathfrak{h})$를 통해 $J$ 내의 원시 불변량의 공간 $P$를 $\mathfrak{h}$로 식별한다.
• 랑글랜드 쌍대 대수 $\mathfrak{g}^\vee$의 주요 $\mathfrak{sl}_2$-삼중체를 이용하여 $\mathfrak{h}$에 대한 grading을 정의한다. 이는 $\mathfrak{sl}_2$-스트링이 $\mathfrak{h}$와 만나는 교차점들을 통해 유도된다.
• 체바렐 사영과 쌍대 불변량을 활용하여, $\Phi$에 의해 원시 불변량의 이미지가 $({\rm ad}\,e_0^\vee)^{m_k+1}$의 핵에 속한다는 것을 입증함으로써 주요 기저의 구조를 확인한다.

실험 결과

연구 질문

• RQ1 클리포드 대수 ${\mathit{C}\!\ell}(\mathfrak{g})$에 대해 고전적 $U(\mathfrak{g})$의 하리시-찬드라 이sovorphism과 유사한 이sovorphism이 존재하는가?
• RQ2 클리포드 대수 ${\mathit{C}\!\ell}(\mathfrak{g})$ 내의 $\mathfrak{g}$-불변 부분대수를 카르탕 부분대수의 클리포드 대수 ${\mathit{C}\!\ell}(\mathfrak{h})$로 식별할 수 있는가?
• RQ3 이sovorphism $J \xrightarrow{\sim} {\mathit{C}\!\ell}(\mathfrak{h})$를 통해 유도되는 $\mathfrak{h}$의 grading은 무엇인가?
• RQ4 이 grading은 랑글랜드 쌍대 리 대수 $\mathfrak{g}^\vee$의 주요 grading에서 유래하는가?
• RQ5 유도된 $\mathfrak{h}$의 기저는 $\mathfrak{g}^\vee$에서 유래하는 정규 주요 기저인가?

주요 결과

• 하리시-찬드라 사영 $\Phi$는 $\mathfrak{g}$-불변 부분대수 $J = {\mathit{C}\!\ell}(\mathfrak{g})^\mathfrak{g}$와 카르탕 부분대수의 클리포드 대수 ${\mathit{C}\!\ell}(\mathfrak{h})$ 사이의 이sovorphism으로서 제한된다.
• 부분대수 $J$ 내의 원시 불변량의 공간 $P$는 이sovorphism $\Phi$를 통해 $\mathfrak{h}$와 직접적으로 매칭되며, 이는 직접적인 대응 관계를 수립한다.
• 이sovorphism을 통해 유도된 $\mathfrak{h}$의 grading은 랑글랜드 쌍대 리 대수 $\mathfrak{g}^\vee$의 주요 grading과 그 주요 3차원 부분대수의 작용을 통해 대응된다.
• 유도된 $\mathfrak{h}$의 기저는 카illing 형식에 대해 수직이며, $\mathfrak{g}^\vee$의 정규 주요 기저와 일치한다.
• 간단한 리 대수 $\mathfrak{g}$에 대해 $\mathfrak{h}$의 각 차수 성분은 일반적으로 일차원이며, 이는 특별한 정규 수직 기저를 유도한다.
• 결과적으로 쿠스타트의 추측, 즉 $\mathfrak{h}$의 정규 기저가 랑글랜드 쌍대 대수 $\mathfrak{g}^\vee$의 주요 $\mathfrak{sl}_2$-삼중체를 통해 유래한다는 것을 확인한다.