[논문 리뷰] Essential Signatures and Monomial Bases for $B_n$ and $D_n$

A. A. Gornitskii|arXiv (Cornell University)|2016. 11. 22.

Algebraic structures and combinatorial models참고 문헌 12인용 수 4

한 줄 요약

이 논문은 양의 루트에 대한 특정 번호 부여와 지수에 대한 비균일 단항 순서를 도입하여, $B_n$ 및 $D_n$의 유한차원 기약 표현에 대해 PBW 유형의 단항 기저를 구성한다. 핵심 기여는 기저의 기저를 매개하는 본질적 서명의 교집합을 선형 부등식계로 명시적으로 기술한 것으로, 이는 관련 다각체를 정의한다.

ABSTRACT

In the representation theory of simple Lie algebras, we consider the problem of constructing a monomial basis in an arbitrary irreducible finite-dimensional highest weight module. We construct a PBW-type basis in every finite-dimensional representation of $B_n$ and $D_n$ and we describe the associated semigroup of essential signatures. These bases are parameterized by integer points in some polytopes. We give the inequalities defining these polytopes.

연구 동기 및 목표

• 기약 유한차원 최고중량 모듈러스 $B_n$ 및 $D_n$에 대해 PBW 유형의 단항 기저를 구성하는 것.
• 그러한 기저를 매개하는 본질적 서명의 교집합을 규명하는 것.
• 기저의 지수를 매개하는 다각체를 정의하는 명시적 부등식을 제공하는 것.
• 본질적 서명의 교집합이 $B_n$ 및 $D_n$의 기본 및 최소단순 무게에 의해 생성되며, 포화되어 있음을 증명하는 것.

제안 방법

• 기본 무게 $\lambda$와 $p_i \in \mathbb{Z}_{\geq 0}$로 이루어진 튜플 frac{(\lambda; p_1, \dots, p_N)}$으로 서명을 정의하고, $v(\sigma) = \prod \frac{e_{-\alpha_i}^{p_i}}{p_i!} \cdot v_\lambda$와 같은 관련 벡터를 구성한다.
• 서명에 대해 두 단계 순서를 도입한다: 먼저 기본 무게 계수 $k_i$에 대한 차수 사전순서로 정렬하고, 그 다음 지수 튜플에 대한 고유한 단항 순서를 적용한다.
• $D_n$의 경우, 루트를 블록 단위로 정렬한다: $\varepsilon_i + \varepsilon_j$, 그 다음 $\varepsilon_i - \varepsilon_j$로, $j$가 감소하는 순서로 정렬하고, 그 안에서 $i$에 대해 정렬하며, 각 블록 내부에서는 차수 사전순서를 적용한다.
• $B_n$의 경우, 먼저 짧은 루트 $\varepsilon_i$의 지수를 비교하고, 그 다음 $\varepsilon_i \pm \varepsilon_j$ (i < j)의 긴 루트에 대해 $D_n$ 규칙를 적용하며, $\varepsilon_i$를 주요 루트로 간주한다.
• $n$에 대한 귀납적 추론을 통해 본질적 서명의 집합이 포화된 교집합임을 증명한다.
• $\Sigma_{D_n}$ 및 $\Sigma_{B_n}$의 교집합을 정의하는 명시적 선형 부등식을 $p_{i,j}^{\pm}$ 및 $s_i$ (for $B_n$)로 유도한다.

실험 결과

연구 질문

• RQ1 기약 표현에 대해 $B_n$ 및 $D_n$의 본질적 서명의 교집합의 구조는 무엇인가?
• RQ2 지수 튜플에 대한 비균일 단항 순서를 사용하여 $B_n$ 및 $D_n$에 대해 PBW 유형의 단항 기저를 구성할 수 있는가?
• RQ3 $V(\lambda)$에서 단항 기저 벡터를 매개하는 다각체의 정의 부등식은 무엇인가?
• RQ4 루트 번호 부여 및 단항 순서의 선택이 Lusztig의 구성과 비교해 결과로 얻어지는 PBW 유형 기저에 어떤 영향을 미치는가?
• RQ5 본질적 서명의 교집합은 포화되어 있으며, 기본 및 특수 최소단순 무게의 서명에 의해 생성되는가?

주요 결과

• $\Sigma_{D_n}$는 $\{\omega_1, \dots, \omega_n, 2\omega_{n-1}, 2\omega_n, \omega_{n-1}+\omega_n\}$의 최고 무게 서명에 의해 생성되며, 포화되어 있다.
• $\Sigma_{B_n}$는 $\{\omega_1, \dots, \omega_n, 2\omega_n\}$의 최고 무게 서명에 의해 생성되며, 포화되어 있다.
• $D_n$의 경우, $p_{i,j}^{\pm}$ 및 $k_i$를 포함하는 여섯 종류의 선형 부등식계로 $\Sigma_{D_n}$의 정의 부등식이 주어지며, 루트 지수 합에 대한 명시적 범위가 포함된다.
• $B_n$의 경우, $s_i$ (즉, $\varepsilon_i$의 지수)와 $p_{i,j}^{\pm}$를 포함하는 부등식이 있으며, 여섯 종류의 부등식계로 구성되며, $s_i - s_{i+1} + \cdots \leq k_i$와 같은 항이 포함된다.
• 구성된 PBW 유형 기저는 루트 번호 부여 방식이 다름으로써 Lusztig의 기저와 정확히 일치하지 않지만, 최장 와일 군 원소의 특정 축약 분해에 대해서는 Lusztig의 기저와 일치한다.
• 부등식으로 정의된 다각체는 정수 다각체이며, 그 정수 점들은 $V(\lambda)$ 내 단항 기저 벡터를 일대일로 매개한다.