[논문 리뷰] Vertex-algebraic structure of principal subspaces of the basic modules for twisted Affine Kac-Moody Lie algebras of type $A_{2n-1}^{(2)}, D_n^{(2)}, E_6^{(2)}$

Michael Penn, Christopher Sadowski|arXiv (Cornell University)|2016. 03. 08.

Algebraic structures and combinatorial models참고 문헌 27인용 수 3

한 줄 요약

이 논문은 $A_{2n-1}^{(2)}$, $D_n^{(2)}$, $E_6^{(2)}$ 유형의 순환 아핀 카크 무디 리 대수의 기본 모듈에 대한 주요 부분공간을 정점 대수적 방법으로 구성하며, 생성자와 관계를 통해 다중급수 차원에 대한 정확한 수열과 재귀 관계를 유도한다. 이러한 재귀 관계를 풀면 각각 $C_n$, $B_{n-1}$, $F_4$의 대칭화된 카르탕 행렬에서 유도된 $q$-포흐하머 기호와 대칭 행렬을 포함하는 합으로 표현된 명시적 공식을 얻을 수 있다.

ABSTRACT

We obtain a presentation of principal subspaces of basic modules for the twisted affine Kac-Moody Lie algebras of type $A_{2n-1}^{(2)}$, $D_n^{(2)}$ and $E_6^{(2)}$. Using this presentation, we construct exact sequences among these principal subspaces, and use these exact sequences to obtain recursions satisfied by graded dimensions of the principal subspaces. Solving these recursions, we obtain the graded dimensions of the principal subspaces.

연구 동기 및 목표

• 유형 $A_{2n-1}^{(2)}$, $D_n^{(2)}$, $E_6^{(2)}$의 순환 아핀 카크 무디 리 대수의 기본 모듈에 대한 주요 부분공간의 정점 대수적 표현을 수립하기 위해.
• 자연스러운 이동 사상과 소거 연산자를 사용하여 이러한 주요 부분공간들 사이의 정확한 수열을 구성하기 위해.
• 주요 부분공간의 다중급수 차원에 대한 재귀 관계를 도출하기 위해.
• 이러한 재귀 관계를 풀어 $q$-급수에 대한 명시적 닫힌 형식의 표현을 얻기 위해.

제안 방법

• 다이아그램 자동형사 $\nu$를 활용하여 $A_{2n-1}^{(1)}$, $D_n^{(1)}$, $E_6^{(1)}$ 유형의 격자 정점 연산자 대수 $V_L$의 순환 모듈 $V_L^T$를 구성하기 위해.
• 주요 부분공간 $W_L^T$를 $V_L^T$의 최고 가중치 벡터에 의해 생성되는 $\overline{\mathfrak{n}}[\hat{\nu}]$-모듈로 정의하기 위해.
• 최고 가중치 벡터를 소거하는 자연스러운 연산자들을 도입하고, 이를 통해 좌측 아이디얼을 생성하며, 이 아이디얼들이 주요 부분공간의 표현을 정의하기 위해 사용되기 위해.
• 이데알들 사이의 이동 사상들을 구성하여 주요 부분공간들 사이의 정확한 수열을 수립하기 위해.
• 재귀 관계 (1.1)과 (1.2)를 유도하기 위해, $\nu\alpha_i = \alpha_i$인지 여부에 따라 다릅니다.
• 재귀 관계를 $q$-포흐하머 기호와 $C_n$, $B_{n-1}$, $F_4$의 대칭화된 카르탕 행렬에서 유도된 행렬 형태를 사용하여 풀어내어 (5.31)번 특성 공식을 도출하기 위해.

실험 결과

연구 질문

• RQ1 어떻게 $A_{2n-1}^{(2)}$, $D_n^{(2)}$, $E_6^{(2)}$ 유형의 순환 아핀 카크 무디 대수의 기본 모듈에 대한 주요 부분공간을 정점 대수적 프레임워크 내에서 생성자와 관계를 사용하여 표현할 수 있는가?
• RQ2 자연스러운 이동 사상과 소거 연산자를 사용하여 이러한 주요 부분공간들 사이에 어떤 정확한 수열을 구성할 수 있는가?
• RQ3 이러한 주요 부분공간의 다중급수 차원을 지배하는 재귀 관계는 무엇인가?
• RQ4 이러한 주요 부분공간의 다중급수 차원은 $q$-급수와 어떤 관련이 있으며, 특히 분모에 $(q^a; q^a)_{m_i}$ 가 포함된 나훔 유형의 합과의 관계는 어떠한가?
• RQ5 주요 부분공간의 다중급수 특성 $\chi'(\mathbf{x};q)$에 대한 명시적 닫힌 형식의 표현은 무엇인가?

주요 결과

• 주요 부분공간의 다중급수 차원에 대해 $A_{2n-1}^{(2)}$ 유형은 $\chi'(\mathbf{x};q) = \sum_{\mathbf{m} \in \mathbb{Z}_{\geq 0}^n} \frac{q^{\frac{1}{2} \mathbf{m}^t A \mathbf{m}}}{(q^2;q^2)_{m_1} \cdots (q^2;q^2)_{m_n}} x_1^{m_1} \cdots x_n^{m_n}$ 으로 주어지며, 여기서 $A$ 는 $C_n$ 의 대칭화된 카르탕 행렬이며 마지막 행만 2배로 스케일된 것이다.
• $D_n^{(2)}$ 유형의 특성은 $\chi'(\mathbf{x};q) = \sum_{\mathbf{m} \in \mathbb{Z}_{\geq 0}^{n-1}} \frac{q^{\frac{1}{2} \mathbf{m}^t A \mathbf{m}}}{(q^2;q^2)_{m_1} \cdots (q^2;q^2)_{m_{n-2}} (q;q)_{m_{n-1}}} x_1^{m_1} \cdots x_{n-1}^{m_{n-1}}$ 이며, $A$ 는 $B_{n-1}$ 의 대칭화된 카르탕 행렬이며 첫 번째 $n-2$ 행만 2배로 스케일된 것이다.
• $E_6^{(2)}$ 유형의 특성은 $\chi'(\mathbf{x};q) = \sum_{\mathbf{m} \in \mathbb{Z}_{\geq 0}^4} \frac{q^{\frac{1}{2} \mathbf{m}^t A \mathbf{m}}}{(q^2;q^2)_{m_1} (q;q)_{m_2} (q^2;q^2)_{m_3} (q^2;q^2)_{m_4}} x_1^{m_1} \cdots x_4^{m_4}$ 이며, $A$ 는 $F_4$ 의 대칭화된 카르탕 행렬이며 마지막 두 행만 2배로 스케일된 것이다.
• 이동된 주요 부분공간 $W_L^{T,\gamma}$ 는 특성 $\chi_j'(\mathbf{x};q)$ 를 가지며, $\chi_j'(\mathbf{x};q) = \chi'(x_1, \dots, q^a x_j, \dots, x_k; q)$ 를 만족한다. 여기서 $a=2$ 이며 $\nu\alpha_{i_j} = \alpha_{i_j}$ 이면, 그렇지 않으면 $a=1$ 이다.
• 재귀 관계 (1.1)과 (1.2)는 명시적 특성 공식 (5.31)을 도출하기 위해 해결되었으며, 이는 로저스-라마누잔 유형의 항등식을 순환 아핀 리 대수로 일반화한다.
• 최종적으로 도출된 특성들은 나훔 합과 유사하지만, 분모에 $(q^2; q^2)_{m_i}$ 와 같은 항들이 존재하기 때문에 정확히 나훔 합은 아니며, 이는 별개의 $q$-급수 구조를 나타낸다.