[논문 리뷰] Annihilating fields of standard modules of sl(2,C)~ and combinatorial identities

Arne Meurman, Mirko Primc|ArXiv.org|1998. 06. 19.

Advanced Mathematical Identities인용 수 98

한 줄 요약

이 논문은 유한형 리 대수 $\tilde{\frak{sl}}(2,\bbC)$에 대해 정점 연산자 대수를 구축하고, 수준 $k = k_0 + k_1$에서 표준 모듈러의 소멸 필드를 규명한다. 차원 조건과 초기 조건을 만족하는 색상이 부여된 분할을 통해 이러한 모듈의 기저를 매개변수화함으로써, 새로운 로저스-라마누잔 유형의 조합론적 항등식을 도출하며, 정렬 이론과 분할 항등식 간의 직접적인 연결을 정점 대수의 구조를 통해 확립한다.

ABSTRACT

We show that a set of local admissible fields generates a vertex algebra. For an affine Lie algebra $ ilde\goth g$ we construct the corresponding level $k$ vertex operator algebra and we show that level $k$ highest weight $ ilde\goth g$-modules are modules for this vertex operator algebra. We determine the set of annihilating fields of level $k$ standard modules and we study the corresponding loop $ ilde\goth g$ module---the set of relations that defines standard modules. In the case when $ ilde\goth g$ is of type $A_1^{(1)}$, we construct bases of standard modules parameterized by colored partitions and, as a consequence, we obtain a series of Rogers-Ramanujan type combinatorial identities.

연구 동기 및 목표

• 유한형 리 대수 $\tilde{\frak{sl}}(2,\bbC)$의 임의의 수준 $k$에 대해 정점 연산자 대수의 구조를 구축하는 것.
• 표준 $\tilde{\frak{sl}}(2,\bbC)$-모듈러에서 관계를 정의하는 소멸 필드의 집합을 규명하는 것.
• 차원 조건과 초기 조건을 만족하는 색상이 부여된 분할을 사용하여 표준 모듈러의 기저를 수립하는 것.
• 표준 모듈러 $L(\tilde{\frak{sl}}(2,\bbC), \tilde{\frak{g}})$의 특성 함수에 대해 두 표현식을 동치로 놓음으로써 새로운 로저스-라마누잔 유형의 조합론적 항등식을 유도하는 것.

제안 방법

• 음의 부분대수 $\tilde{\frak{n}}_-$의 보편 포괄 대수를 사용하여 국소 적응 필드의 집합으로부터 정점 연산자 대수를 구성한다.
• 기저 원소 $\bar{B} = \{x(n), h(n), y(n) \mid n \in \bbZ\}$에 대해 선형 순서 $\preccurlyeq$를 정의하여 $U(\tilde{\frak{g}})$ 내의 단항식을 정렬한다.
• 각 부분에 색상($x,h,y$)과 차수 $n$이 부여된 분할 $\pi: \bar{B} \to \bbN$을 통해 표준 모듈러의 기저 벡터를 매개변수화한다.
• 기저가 되는 스트레칭 집합을 정의하기 위해 $\pi$에 차원 조건을 도입한다. 예를 들어 $\pi(y(j-1)) + \pi(h(j-1)) + \pi(y(j)) \leq k$와 같은 조건이다.
• 정점 연산자 공식 $X(z) = E^-(z)E^+(z)E^0(z)$를 사용하여 수준 $k$ 모듈러에서의 작용을 연결하고 기저 벡터 간의 관계를 도출한다.
• 두 가지 표현식을 비교함으로써 특성 함수 $\operatorname{ch} L(\Lambda)$를 유도한다: 하나는 레포우스키-워키모토의 곱공식에서 유도되고, 다른 하나는 차원 조건과 초기 조건을 만족하는 분할 이상의 이상으로 정의된다.

실험 결과

연구 질문

• RQ1 표준 모듈러에서 관계를 정의하는 소멸 필드의 완전한 집합은 무엇인가? 이는 $\tilde{\frak{sl}}(2,\bbC)$의 수준 $k$에서 성립한다.
• RQ2 특정 차원 조건과 초기 조건을 만족하는 색상이 부여된 분할을 사용하여 표준 모듈러 $L(\Lambda)$의 기저를 어떻게 구성할 수 있는가?
• RQ3 정점 연산자 곱공식을 통해 표현된 특성 함수와 분할 이상을 통해 표현된 특성 함수를 동치로 놓을 때 도출되는 조합론적 항등식은 무엇인가?
• RQ4 특성 함수 공식에 의존하지 않고, 정점 대수 기법을 사용하여 색상이 부여된 분할로 매개변수화된 기저 벡터의 일차 독립성을 어떻게 증명할 수 있는가?
• RQ5 $\tilde{\frak{sl}}(2,\bbC)$의 특성 함수 공식의 $(s_0,s_1)$-특수화로부터 새로운 로저스-라마누잔 유형 항등식이 도출되는가?

주요 결과

• 차원 조건 5개와 초기 조건 2개를 모두 만족하는 $\pi \in \mathcal{P}(\bar{B}_-)$에 대해 $u(\pi) \cdot v_0$의 벡터 집합은 수준 $k = k_0 + k_1$의 표준 모듈러 $L(\Lambda)$의 기저를 이룬다.
• 주요 특수화 $s = (1,1)$에서 특성 함수 $d^{1,1}_{k_0,k_1}(q)$는 $\pi_{\underline{2i+1}} + \pi_{2i+1} + \pi_{2i} \leq k$를 만족하는 색상이 부여된 분할의 생성 함수와 일치하며, $\pi_{\underline{1}} \leq k_0$, $\pi_1 \leq k_1$ 조건을 추가로 만족함으로써 새로운 로저스-라마누잔 유형 항등식을 도출한다.
• $(1,2)$-특수화에서 $k_0 = k_1 = n-1$일 경우, $f_j > 0$이 성립하는 $j$가 $n$의 배수가 아닐 때의 분할 수는 $f_{3j+2} + f_{3j+1} + f_{3j} \leq 2n-2$ 조건을 만족하는 분할 수와 일치하며, $f_1 \leq n-1$, $f_2 \leq n-1$ 조건도 추가로 만족함으로써 새로운 항등식을 확립한다.
• 특수화 $s = (1,2)$, $k_0 = k_1 = n-1$에 대해 유도된 조합론적 항등식은 $A_2^{(2)}$ 유형의 수준 3 모듈러에서 유도된 항등식과 정확히 일치하며, 서로 다른 유한형 리 대수 표현 간의 깊은 연결 고리를 시사한다.
• $s = (1,1)$, $k_0 = 1$, $k_1 = 2$일 경우, 부분집합 $\{\underline{i} \mid i \text{ 홀수}\} \cup \{i \mid i \equiv \pm1 \mod{5}\}$에 속하는 부분을 가진 색상이 부여된 분할의 수는 네 개의 차원 부등식과 $\pi_{\underline{1}} \leq 1$, $\pi_1 \leq 2$ 조건을 만족하는 분할의 수와 일치하며, 이는 모듈러 제약 조건이 있는 새로운 항등식을 제공한다.
• 기저의 일차 독립성은 특성 함수 비교와 정점 연산자 공식을 통해 증명되었으며, Weyl-Kac 공식이나 로저스-라마누잔 항등식을 사전 입력으로 사용하지 않음으로써 보다 보편적인 접근을 가능하게 한다.