[논문 리뷰] On the Dynkin index of a principal $\mathfrak{sl}_2$-subalgebra

Dmitri I. Panyushev|ArXiv.org|2009. 03. 02.

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

한 줄 요약

이 논문은 모든 단순 리 대수 ${\mathfrak{g}}$ 에서 주어진 $\mathfrak{sl}_2$-부분대수의 다이닝 지수에 대한 닫힌 형태의 공식을 유도한다. 이는 프뢰덴탈–데 비에브리의 '이상한 공식'을 사용하여 유도되며, 주요 결과는 지수를 $\frac{\dim{\mathfrak{g}}}{6}h^*({\mathfrak{g}}^\vee)r$ 로 표현하는 것으로, 여기서 $h^*({\mathfrak{g}}^\vee)$ 는 랑글랜즈 쌍대 ${\mathfrak{g}}^\vee$ 의 이중 코크셔 수이고 $r$ 은 랭크이다. 이 공식은 ${\mathfrak{g}}$ 의 기약 표현을 $\mathfrak{sl}_2$-모듈로 간주할 때 다이닝 지수를 명시적으로 계산할 수 있게 하며, ${\mathfrak{g}}$ 의 지수들과 ${\mathfrak{g}}$ 와 그의 랑글랜즈 쌍대 ${\mathfrak{g}}^\vee$ 의 이중 코크셔 수 사이의 새로운 항등식을 도출한다. 이 공식은 모든 유형에 대해 균일하며, 다이팅 다이어그램의 전개에 대해 불변성을 갖는다.

ABSTRACT

Let $g$ be a simple Lie algebra over an algebraically closed field of characteristic zero. The goal of this note is to prove a closed formula for the Dynkin index of a principal $sl_2$-subalgebra of $g$. The key step in the proof uses the "strange formula" of Freudenthal--de Vries. As an application, we (1) compute the Dynkin index any simple $g$-module regarded as $sl_2$-module and (2) obtain an identity connecting the exponents of $g$ and the dual Coxeter numbers of both $g$ and the Langlands dual $g^\vee$.

연구 동기 및 목표

• 임의의 단순 리 대수 ${\mathfrak{g}}$ 에서 주어진 $\mathfrak{sl}_2$-부분대수의 다이닝 지수에 대한 닫힌 형태의 표현을 유도하는 것.
• 이 공식을 사용하여 주어진 ${\mathfrak{g}}$-기본 표현을 $\mathfrak{sl}_2$-모듈로 간주할 때 다이닝 지수를 계산하는 것.
• ${\mathfrak{g}}$ 의 지수들과 ${\mathfrak{g}}$ 와 그의 랑글랜즈 쌍대 ${\mathfrak{g}}^\vee$ 의 이중 코크셔 수 사이의 새로운 항등식을 수립하는 것.

제안 방법

• 프뢰덴탈–데 비에브리의 '이상한 공식'을 사용하여 양의 루트들의 제곱 높이의 합이 ${\mathfrak{g}}$ 의 차원과 이중 코크셔 수와 관련이 있음을 밝힌다.
• 중첩된 부분대수에 대해 다이닝 지수의 승법성을 적용한다: ${\mathsf{ind}}({\mathfrak{h}}\subset{\mathfrak{g}}) = {\mathsf{ind}}({\mathfrak{h}}\subset{\mathfrak{s}}) \cdot {\mathsf{ind}}({\mathfrak{s}}\subset{\mathfrak{g}})$.
• 이상한 공식과 루트 높이 합을 이용하여 주어진 $\mathfrak{sl}_2$-부분대수의 다이닝 지수를 $\frac{\dim{\mathfrak{g}}}{6}h^*({\mathfrak{g}}^\vee)r$ 로 표현한다.
• 기약 ${\mathfrak{g}}$-모듈의 지수를 $\mathfrak{sl}_2$-모듈로 간주할 때, 표현의 직접 합에 대한 다이닝 지수의 가역성을 이용하여 지수를 계산한다.
• 표준 정규화를 사용하여 $(\theta,\theta)_{\mathfrak{g}} = 2$ 를 보장함으로써 이중 형식의 척도 일관성을 확보한다.
• 이 공식을 적용하여 ${\mathfrak{g}}$ 의 지수 $m_i$ 에 대해 이항계수 $\binom{2m_i + 2}{3}$ 의 합을 포함하는 새로운 항등식을 도출한다.

실험 결과

연구 질문

• RQ1 단순 리 대수 ${\mathfrak{g}}$ 에서 주어진 $\mathfrak{sl}_2$-부분대수의 다이닝 지수에 대한 닫힌 형태의 표현은 무엇인가요?
• RQ2 이 지수는 주어진 ${\mathfrak{g}}$-기본 표현을 주어진 $\mathfrak{sl}_2$-부분대수로 제한했을 때 다이닝 지수를 계산하는 데 어떻게 사용될 수 있나요?
• RQ3 ${\mathfrak{g}}$ 의 지수들과 ${\mathfrak{g}}$ 와 그의 랑글랜즈 쌍대 ${\mathfrak{g}}^\vee$ 의 이중 코크셔 수 사이에 균일한 항등식이 존재하는가요?
• RQ4 다중 레이스된 다이팅 다이어그램의 전개에 대해 주어진 $\mathfrak{sl}_2$-부분대수의 다이닝 지수가 불변성을 갖는가요?

주요 결과

• 단순 리 대수 ${\mathfrak{g}}$ 에서 주어진 $\mathfrak{sl}_2$-부분대수의 다이닝 지수는 $\frac{\dim{\mathfrak{g}}}{6}h^*({\mathfrak{g}}^\vee)r$ 로 주어지며, 여기서 $h^*({\mathfrak{g}}^\vee)$ 는 랑글랜즈 쌍대 ${\mathfrak{g}}^\vee$ 의 이중 코크셔 수이고 $r$ 은 ${\mathfrak{g}}$ 의 랭크이다.
• 이 지수는 ${\mathfrak{g}}$ 를 그의 단순 레이스 코팅 $\tilde{\mathfrak{g}}$ 로 전개하는 과정에 대해 불변성을 갖는다. 예를 들어 $\mathbf{B}_n \to \mathbf{D}_{n+1}$ 또는 $\mathbf{F}_4 \to \mathbf{E}_6$ 와 같이, 승법성과 ${\mathsf{ind}}({\mathfrak{g}}\hookrightarrow\tilde{\mathfrak{g}}) = 1$ 이라는 사실 덕분이다.
• 기약 ${\mathfrak{g}}$-모듈 $V_\lambda$ 가 $\mathfrak{sl}_2$-모듈로 간주될 때의 다이닝 지수는 승법성에 기반하여 $\frac{\dim V_\lambda}{6} h^*({\mathfrak{g}}^\vee) r (\lambda, \lambda + 2\rho)_{\mathfrak{g}}$ 로 주어진다.
• 새로운 항등식이 수립된다: $\sum_{i=1}^n \binom{2m_i + 2}{3} = 2h^*({\mathfrak{g}}) \cdot \frac{\dim{\mathfrak{g}}}{6} h^*({\mathfrak{g}}^\vee)r$, 여기서 $m_i$ 는 ${\mathfrak{g}}$ 의 지수이며, 지수와 이중 코크셔 수를 연결한다.
• 중요한 표현의 제곱 무게 합 $\sum_{\mu \dashv V\lambda} (\mu, \rho^\vee)^2_{\mathfrak{g}} = \frac{\dim V_\lambda}{12} h^*({\mathfrak{g}}^\vee) r (\lambda, \lambda + 2\rho)_{\mathfrak{g}}$ 를 유도하였으며, 단순 레이스 케이스에서 프뢰덴탈–데 비에브리 공식과 일관됨을 보였다.
• 결과적으로 $\sum_{\gamma > 0} {\mathsf{ht}}^2(\gamma)$ 에 대한 균일한 표현 $\frac{\dim{\mathfrak{g}}}{6} h^*({\mathfrak{g}}^\vee)r$ 를 제공하며, 이러한 균일한 표현이 $s=2$ 외에는 존재하지 않을 수 있음을 시사한다.