[논문 리뷰] Coadjoint structure of Borel subgroups and their nilradicals

Bertram Kostant|arXiv (Cornell University)|2012. 05. 10.

Advanced Algebra and Geometry참고 문헌 1인용 수 5

한 줄 요약

이 논문은 복소 단순연결성 반단순 리 군 $G$ 의 보렐 부분군 $B$ 의 최대 코어티브 궤도가 계수 $\ell$ 와 강한 정규직교 루트의 수 $m$ 에 대해 codimension $\ell - m$ 를 가짐을 증명한다. 핵심 결과는 $B$ 가 비어 있지 않은 열린 코어티브 궤도를 가질 조건이 $-1$ 이 $G$ 의 웨일 군에 속해 있을 때이며, 이는 정확히 $\ell = m$ 일 때 성립한다. 즉, $\ell$ 개의 정규직교 루트가 존재할 때이다.

ABSTRACT

Let $G$ be a complex simply-connected semisimple Lie group and let $\frak{g}= Lie G$. Let $\frak{g} = \frak{n}_- +\frak{h} + \frak{n}$ be a triangular decomposition of $\frak{g}$. One readily has that $Cent\,U({\frak n})$ is isomorphic to the ring $S({\frak n})^{\frak }$ of symmetric invariants. Using the cascade ${\cal B}$ of strongly orthogonal roots, some time ago we proved that $S({\frak n})^{{\frak n}$ is a polynomial ring $\Bbb C [ξ_1,...,ξ_m]$ where $m$ is the cardinality of ${\cal B}$. Using this result we establish that the maximal coadjoint of $N = exp \frak {n}$ has codimension $m$. Let $\frak {b}= \frak {h} + \frak {n}$ so that the corresponding subgroup $B$ is a Borel subgroup of $G$. Let $\ell = rank \frak{g}$. Then in this paper we prove the theorem that the maximal coadjoint orbit of $B$ has codimension $\ell - m$ so that the following statements (1) and (2) are equivalent: (1) -1 is in the Weyl group of $G$ (i.e., $\ell = m$), and (2), B has a nonempty open coadjoint orbit. We remark that a nilpotent or a semisimple group cannot have a nonempty open coadjoint orbit. Celebrated examples where a solvable Lie group has a nonempty open coadjoint orbit are due to Piatetski--Shapiro in his counterexample construction of a bounded complex homogeneous domain which is not of Cartan type.

연구 동기 및 목표

• 보렐 부분군의 복소 반단순 리 군에서의 최대 코어티브 궤도의 codimension 를 결정하는 것.
• 보렐 부분군이 비어 있지 않은 열린 코어티브 궤도를 가질 조건을 규명하는 것.
• 이러한 궤도의 존재성을 웨일 군의 구조, 특히 $-1$ 의 존재성과 연결하는 것.
• 강한 정규직교 루트의 연속과 리 대수 $\mathfrak{n}$ 의 구조를 이용해 코어티브 궤도 기하학을 분석하는 것.
• 열린 코어티브 궤도가 존재할 경우, 이것이 정확히 $\mathfrak{b}_{-}$ 의 조르기 열린 밀도 부분집합 $\mathfrak{b}_{-}' \subset \mathfrak{b}_{-}$ 라는 것을 확립하는 것.

제안 방법

• 리 대수의 삼각 분해 $\mathfrak{g} = \mathfrak{n}_- + \mathfrak{h} + \mathfrak{n}$ 을 사용하고, 칼링 형식을 통해 $\mathfrak{b}^* \cong \mathfrak{b}_-$ 를 식별한다.
• 강한 정규직교 루트의 연속에 관한 코스타ント의 이전 결과를 응용하여 $S(\mathfrak{n})^\mathfrak{n} \cong \mathbb{C}[\xi_1, \dots, \xi_m]$ 를 얻으며, 이는 랭크 $m$ 의 다항식 환이다.
• $N = \exp(\mathfrak{n})$ 의 $\mathfrak{n}_-$ 에 대한 코어티브 작용을 분석하여, $\mathfrak{r}_-^\times \subset \mathfrak{n}_-$ 에서의 궤도가 $N/R$ 과 동형임을 보인다. 여기서 $R$ 은 연속에 의해 생성된 루트 공간에 대응하는 유니포텐트 부분군이다.
• $B = H \ltimes N$ 의 $\mathfrak{n}_-$ 작용과 $H$ 가 $\mathfrak{r}_-^\times \cong (\mathbb{C}^\times)^m$ 에서 추이적으로 작용한다는 사실을 이용해 궤도 구조를 분석한다.
• $\Phi_\mathfrak{b} = \Phi_\mathfrak{n} + \Phi_\mathfrak{h}$ 의 무한소 코어티브 작용을 적용하여 이소트로피 대수를 계산하고 궤도의 codimension 을 유도한다.
• $\mathfrak{h}$ 에 의한 이동에 대한 $B$-동형성과 극한 추론을 통해 $\mathfrak{r}_-^\times$ 에서의 결과를 조밀한 열린 부분집합 $\mathfrak{b}_{-}'$ 으로 확장한다.

실험 결과

연구 질문

• RQ1 복소 반단순 리 군 $G$ 의 보렐 부분군 $B$ 가 $\mathfrak{b}_{-}$ 에서 비어 있지 않은 열린 코어티브 궤도를 가질 조건은 무엇인가?
• RQ2 보렐 부분군 $B$ 의 최대 코어티브 궤도의 codimension 은 무엇이며, 이는 루트 시스템의 구조에 어떻게 의존하는가?
• RQ3 열린 코어티브 궤도의 존재성은 웨일 군과 어떻게 관련되어 있으며, 특히 $-1$ 의 존재성과의 관계는 무엇인가?
• RQ4 강한 정규직교 루트의 연속은 $S(\mathfrak{n})^\mathfrak{n}$ 과 코어티브 궤도 기하학의 구조를 결정하는 데 어떤 역할을 하는가?
• RQ5 $\mathfrak{b}_{-}$ 의 코어티브 벡터 $w$ 의 이소트로피 대수 $\mathfrak{b}_w$ 는 $\mathfrak{h}^o$ 와 루트 시스템과 어떻게 관련되어 있는가?

주요 결과

• 보렐 부분군 $B$ 의 최대 코어티브 궤도는 $\ell - m$ 의 codimension 을 가지며, 여기서 $\ell = \mathrm{rank}(\mathfrak{g})$ 이고 $m = \#\mathcal{B}$ 는 강한 정규직교 루트의 수이다.
• 보렐 부분군 $B$ 가 비어 있지 않은 열린 코어티브 궤도를 가질 조건은 $-1$ 이 $G$ 의 웨일 군에 속해 있을 때이며, 이는 정확히 $\ell = m$ 일 때이다.
• $\ell = m$ 이면 열린 코어티브 궤도는 정확히 $\mathfrak{b}_{-}$ 의 조르기 열린 밀도 부분집합 $\mathfrak{b}_{-}' \subset \mathfrak{b}_{-}$ 이며, $\mathfrak{r}_-^\times \subset \mathfrak{b}_{-}'$ 이다.
• 열린 궤도에 속한 임의의 점 $w$ 의 이소트로피 대수 $\mathfrak{b}_w$ 는 $\mathfrak{h}^o$ 이며, 이는 차원이 $\ell - m$ 이므로 codimension 이 확인된다.
• $B$ 의 코어티브 작용은 궤도 구조를 보존하며, $\mathfrak{h}$ 에 의한 이동은 궤도들 사이에 $B$-동형을 유도하여 $\mathfrak{b}_{-}'$ 에서 codimension 이 일정함을 보장한다.
• 단순 리 대수에 대해서는 열린 코어티브 궤도가 존재하는 경우는 $B_\ell$, $C_\ell$, $D_\ell$ ($\ell$ 가 짝수), $G_2$, $F_4$, $E_7$, $E_8$ 타입에서만 존재하며, 이는 $-1$ 이 웨일 군에 속해 있을 때에 해당한다.