[논문 리뷰] The index of a Lie algebra, the centraliser of a nilpotent element, and the normaliser of the centraliser

Dmitri I. Panyushev|ArXiv.org|2001. 07. 04.

Advanced Algebra and Geometry참고 문헌 13인용 수 7

한 줄 요약

이 논문은 특성 0인 대수적으로 닫힌 체 위의 단순 리 대수에서 비가역 원소의 중심화자 및 정규화자의 지수를 조사한다. 표현 이론 기법과 $\mathfrak{sl}_2$-삼중체를 사용하여, 정규 및 일부 작은 비가역 궤도에 대해 $\mathrm{ind}\,\mathfrak{n}_\mathfrak{g}(x) = \mathrm{rk}\,\mathfrak{g} - \dim\mathfrak{d}_\mathfrak{g}(x)$ 를 증명하며, 엘라슈빌리의 추측을 통합하고 정규화자의 지수에 대한 기하학적 설명을 제공하는 추측을 뒷받침한다.

ABSTRACT

In this paper, we study the index for several natural classes of non-reductive subalgebras of semisimple Lie algebras. Namely, we look at parabolic subalgebras, centralisers of nilpotent elements, and the normalisers of the centralisers. We discuss a conjecture of Elashvili to the effect that the index of any centraliser is equal to the rank of the semisimple algebra in question. It is shown that Elashvili's conjecture is true for `small' and `large' orbits. Some properties of the index for the normaliser of the centraliser are proved. In particular, we prove that, for a regular nilpotent element, the normaliser of the centraliser is a Frobenius Lie algebra.

연구 동기 및 목표

• 단순 리 대수 $\mathfrak{g}$ 에서 비가역 원소 $x$ 에 대해 중심화자 $\mathfrak{z}_\mathfrak{g}(x)$ 의 정규화자 $\mathfrak{n}_\mathfrak{g}(x)$ 의 지수를 결정하는 것.
• 모든 비가역 원소 $x$ 에 대해 $\mathrm{ind}\,\mathfrak{z}_\mathfrak{g}(x) = \mathrm{rk}\,\mathfrak{g}$ 라는 엘라슈빌리의 추측의 타당성을 조사하는 것.
• 일반 공식 $\mathrm{ind}\,\mathfrak{n}_\mathfrak{g}(x) = \mathrm{rk}\,\mathfrak{g} - \dim\mathfrak{d}_\mathfrak{g}(x)$ 를 수립하고, 정규 궤도 및 $({\rm ad}\,x)^3=0$ 궤도와 같은 극한 경우에 이를 증명하는 것.
• 지수와 표현의 안정자 차원 및 비퇴화 형식을 통해 리 대수와 그 표현의 지수를 계산할 수 있는 기하학적 및 대수적 조건을 명확히 하는 것.

제안 방법

• 쌍대 표현과 지수의 정의를 사용하여, 쌍대 공간 위의 선형 함수에 대한 안정자 최소 차원을 기반으로 지수를 정의한다.
• $\mathfrak{sl}_2$-삼중체를 적용하여 $\mathfrak{g}$ 를 $\mathbb{Z}$-중수 분해하고, 중심화자 $\mathfrak{z}_\mathfrak{g}(x)$ 와 $\mathfrak{d}_\mathfrak{g}(x)$ 에서의 중수의 음이 아닌 성질을 이용한다.
• 표현의 지수를 도입하여 $\tilde{\mathfrak{q}}$ 의 이상 $\mathfrak{q}$ 에 대해 $\mathrm{ind}\,\tilde{\mathfrak{q}}$ 와 $\mathrm{ind}\,\mathfrak{q}$ 를 연결하고, 부등식 $\mathrm{ind}\,\tilde{\mathfrak{q}} + \mathrm{ind}\,\mathfrak{q} \leq \dim(\tilde{\mathfrak{q}}/\mathfrak{q}) + 2\,\mathrm{ind}(\tilde{\mathfrak{q}}, \mathfrak{q})$ 를 이끌어내는 것.
• 킬링 형식과 쌍대성을 사용하여 $\mathfrak{d}_\mathfrak{g}(x) \oplus \mathfrak{d}_\mathfrak{g}(y)$ 가 비퇴화임을 보이며, 이는 $\mathfrak{d}_\mathfrak{g}(y) \oplus [\mathfrak{g}, \mathfrak{z}_\mathfrak{g}(x)] = \mathfrak{g}$ 와 동치임을 보여주는 것.
• $\mathfrak{n}_\mathfrak{g}(x)$ 가 $\mathfrak{d}_\mathfrak{g}(x)^*$ 위에 작용할 때, 이 작용이 쌍대 공간 위에 전사적이라면 $\mathrm{ind}\,\mathfrak{n}_\mathfrak{g}(x) = \mathrm{ind}\,\mathfrak{z}_\mathfrak{g}(x) - \dim\mathfrak{d}_\mathfrak{g}(x)$ 를 증명하는 것.
• 이중 중심화자 $\mathfrak{d}_\mathfrak{g}(x)$ 와 고유값 공간 분해의 구조를 이용하여, 행렬 $D(e_{-\lambda})$ 가 비특이임을 증명하고, 이는 $\mathfrak{d}_\mathfrak{g}(x) \oplus \mathfrak{d}_\mathfrak{g}(y)$ 위에서 킬링 형식의 비퇴화성을 뒷받침한다.

실험 결과

연구 질문

• RQ1 모든 비가역 원소 $x$ 에 대해 단순 리 대수 $\mathfrak{g}$ 에서 $\mathrm{ind}\,\mathfrak{n}_\mathfrak{g}(x) = \mathrm{rk}\,\mathfrak{g} - \dim\mathfrak{d}_\mathfrak{g}(x)$ 가 성립하는가?
• RQ2 엘라슈빌리의 추측—모든 비가역 원소 $x$ 에 대해 $\mathrm{ind}\,\mathfrak{z}_\mathfrak{g}(x) = \mathrm{rk}\,\mathfrak{g}$ 라는 것—이 모든 고전적 리 대수에서 참인가?
• RQ3 $\mathfrak{n}_\mathfrak{g}(x)$ 가 $\mathfrak{d}_\mathfrak{g}(x)^*$ 위에 전사적으로 작용하는 조건은 무엇이며, 이는 $\mathfrak{n}_\mathfrak{g}(x)$ 의 지수 공식을 보장하는가?
• RQ4 정규화자 $\mathfrak{n}_\mathfrak{g}(x)$ 의 지수는 $\mathfrak{g}$ 의 랭크와 이중 중심화자 $\mathfrak{d}_\mathfrak{g}(x)$ 의 차원에 대해 균일하게 표현될 수 있는가?
• RQ5 궤도 폐쇄와 안정자 맥락에서 조건 $\dim\mathfrak{d}_\mathfrak{g}(x)^* \cap \mathfrak{n}_\mathfrak{g}(x)\cdot\xi = \dim\mathfrak{d}_\mathfrak{g}(x)^*$ 의 기하학적 의미는 무엇인가?

주요 결과

• 정규 비가역 원소 $x$ 에 대해 정규화자 $\mathfrak{n}_\mathfrak{g}(x)$ 는 프로베누스 리 대수이며, 이는 $\mathrm{ind}\,\mathfrak{n}_\mathfrak{g}(x) = 0$ 이며, 고전 양역 방정식의 해를 제공한다.
• 원소 $x$ 가 정규이거나 $({\rm ad}\,x)^3 = 0$ 인 경우, 공식 $\mathrm{ind}\,\mathfrak{n}_\mathfrak{g}(x) = \mathrm{rk}\,\mathfrak{g} - \dim\mathfrak{d}_\mathfrak{g}(x)$ 가 성립하며, 일반성에 대한 강력한 증거를 제공한다.
• 단순 $\mathfrak{g}$ 에 대해 이중 중심화자 $\mathfrak{d}_\mathfrak{g}(x)$ 는 $\mathfrak{d}_\mathfrak{g}(x)(2) = \langle x \rangle$ 를 만족하며, 킬링 형식은 $\mathfrak{d}_\mathfrak{g}(x) \oplus \mathfrak{d}_\mathfrak{g}(y)$ 에서 비퇴화되며, 이는 $\mathfrak{d}_\mathfrak{g}(y) \oplus [\mathfrak{g}, \mathfrak{z}_\mathfrak{g}(x)] = \mathfrak{g}$ 와 동치이다.
• $\mathfrak{g} = \mathfrak{sl}_n, \mathfrak{sp}_{2n}, \mathfrak{so}_{2n+1}$ 이며, $\mathfrak{so}_{2n}$ 에서는 분할이 3개 이상의 부분을 포함하는 경우, 어떤 $\xi \in \mathfrak{d}_\mathfrak{g}(x)^*$ 에 대해 $\mathfrak{n}_\mathfrak{g}(x)\cdot\xi = \mathfrak{d}_\mathfrak{g}(x)^*$ 가 성립하여 $\mathrm{ind}\,\mathfrak{n}_\mathfrak{g}(x) = \mathrm{ind}\,\mathfrak{z}_\mathfrak{g}(x) - \dim\mathfrak{d}_\mathfrak{g}(x)$ 가 보장된다.
• 모든 지수 $\mathfrak{g}$ 가 서로 다를 경우, 행렬 $D(e_{-\lambda})$ 는 비특이이며 반대각선 성분은 0이 아니며, 이는 $[e_i, [e_{p+1-i}, f]] = \mu_i e_\lambda$ 를 만족하며 $\mu_i \neq 0$ 이므로, 형식의 비퇴화성을 뒷받침한다.
• 포물형 부분대수 $\mathfrak{p}$ 에 대해 부등식 $\mathrm{ind}\,\mathfrak{p} + \mathrm{ind}\,\mathfrak{p}^u \leq \dim\mathfrak{l}$ 이 성립하며, 하한 $\geq \mathrm{rk}\,\mathfrak{g}$ 도 성립할 것이라 추측된다.