[논문 리뷰] Elliptic Algebra U_{q,p}(g^) and Quantum Z-algebras

Rasha M. Farghly, Hitoshi Konno외 1명|arXiv (Cornell University)|2014. 04. 07.

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

한 줄 요약

이 논문은 $p$에 대한 형식적 멱급수 대수로서 탑로지컬하게 새로운 타원 대수 $U_{q,p}(\\-widehat{\mathfrak{g}})$를 정의하고, Lepowsky-Wilson의 $Z$-대수의 양자 동역학적 유사체인 $\mathcal{Z}_k$를 구성하여 무한차원 $U_{q,p}(\widehat{\mathfrak{g}})$-모듈의 기약성에 영향을 미친다. 또한 수준 1의 $U_{q,p}(\widehat{\mathfrak{g}})$-모듈과 수준 $(r-g-1,1)$을 가진 $\widehat{\mathfrak{g}} \oplus \widehat{\mathfrak{g}} \supset (\widehat{\mathfrak{g}})_{\text{diag}}$의 코셋에서 유래한 $W$-대수 사이에 직접적인 연결 고리를 설정하며, $\mathfrak{g} = B_l^{(1)}$인 경우 Fateev-Lukyanov의 $WB_l$-대수를 포함한다. 이 구성은 기본 무게 유형과 정규직교기저 유형의 새로운 타원 보손을 활용하여 이루어지며, 이는 수준 1 표현의 명시적 실현과 $A_l^{(1)}$ 및 $D_l^{(1)}$에 대해 타원 전류가 변형된 $W$-대수의 스크리닝 전류와 일치함을 확인한다. 이 작업은 양자 $Z$-대수 이론을 타원 양자군으로 확장하고, 얼굴 유형의 타원 가환 라티스 모델에 대한 프레임워크를 제공한다.

ABSTRACT

A new definition of the elliptic algebra U_{q,p}(g^) associated with an untwisted affine Lie algebra g^ is given as a topological algebra over the ring of formal power series in p. We also introduce a quantum dynamical analogue of Lepowsky-Wilson's Z-algebras. The Z-algebra governs the irreducibility of the infinite dimensional U_{q,p}(g^)-modules. Some level-1 examples indicate a direct connection of the irreducible U_{q,p}(g^)-modules to those of the W-algebras associated with the coset g^ \oplus g^ \supset (g^)_{diag} with level (r-g-1,1) (g:the dual Coxeter number), which includes Fateev- Lukyanov's WB_l-algebra.

연구 동기 및 목표

• 형식적 멱급수 $p$에 대한 위상 대수로서 $U_{q,p}(\widehat{\mathfrak{g}})$를 정의하여 이전 실현을 초월한 그 구조를 확장한다.
• 무한차원 $U_{q,p}(\widehat{\mathfrak{g}})$-모듈의 기약성에 영향을 주는 $Z$-대수의 양자 동역학적 유사체인 $\mathcal{Z}_k$를 도입한다.
• 수준 1의 $U_{q,p}(\widehat{\mathfrak{g}})$-모듈과 코셋 $\widehat{\mathfrak{g}} \oplus \widehat{\mathfrak{g}} \supset (\widehat{\mathfrak{g}})_{\text{diag}}$에서 유래한 $W$-대수 사이에 직접적인 연결 고리를 설정하며, 수준 $(r-g-1,1)$을 포함한다.
• 새로운 타원 보손 유형—기본 무게 유형의 $A^j_m$과 정규직교기저 유형의 $\mathcal{E}^{\pm j}_m$—을 구성하여 $L$-연산자와 변형된 $W$-대수의 자유장 실현을 실현한다.
• 수준 1의 타원 전류 $e_j(z)$와 $f_j(z)$가 $A_l^{(1)}$ 및 $D_l^{(1)}$에 대해 변형된 $W$-대수의 스크리닝 전류와 일치함을 확인하여, 스크리닝 연산자의 대수적 구조에 대한 추측을 확인한다.

제안 방법

• 형식적 멱급수 $\mathbb{C}[[p]]$ 위의 위상 대수로서 $U_{q,p}(\widehat{\mathfrak{g}})$를 정의하고, $p = q^{2r}$일 때 $U_q(\widehat{\mathfrak{g}})$의 드리플란드 실현을 일반화한다.
• 위상 대수로서 $\mathbb{C}[[q^{2k}]]$ 위에 생성자 $Z_{j,m}^\pm$와 $q_j^{\pm h_j}$를 갖는 양자 동역학적 $Z$-대수 $\mathcal{Z}_k$를 도입하고, 이는 수준 $k$의 $U_{q,p}(\widehat{\mathfrak{g}})$-모듈로부터 유도된 관계를 갖는다.
• 새로운 타원 보손을 구성한다: 기본 무게 유형의 $A^j_m$과 정규직교기저 유형의 $\mathcal{E}^{\pm j}_m$이며, 기존의 $\alpha_{j,m}$와는 다름을 나타내며, $L$-연산자와 스크리닝 전류를 실현한다.
• 수준 $k$의 타원 보손과 $\mathcal{Z}_k$를 사용하여 $\mathfrak{g} = A_l^{(1)}, B_l^{(1)}, D_l^{(1)}, E_6^{(1)}, E_7^{(1)}, E_8^{(1)}$에 대해 수준 1 최고 무게 표현을 실현한다.
• 수준 1의 타원 전류 $e_j(z)$와 $f_j(z)$가 $A_l^{(1)}$ 및 $D_l^{(1)}$에 대해 변형된 $W$-대수의 스크리닝 전류와 정확히 일치함을 확인하며, [26,27,28]의 자유장 실현과의 직접적 비교를 통해 이를 검증한다.
• 기본 수준 1의 기약 $U_{q,p}(\widehat{\mathfrak{g}})$-모듈이 $A_l^{(1)}, B_l^{(1)}, D_l^{(1)}$에 대해 코셋 유형의 기약 $W$-대수의 직합으로 분해됨을 보이며, $B_l^{(1)}$에 대해 $WB_l$-대수의 변형이 존재할 가능성을 시사한다.

실험 결과

연구 질문

• RQ1 타원 대수 $U_{q,p}(\widehat{\mathfrak{g}})$는 어떻게 $p$에 대한 형식적 멱급수 대수 위의 위상 대수로서 엄밀하게 정의할 수 있는가?
• RQ2 기본 $Z$-대수의 양자 동역학적 유사체인 $U_{q,p}(\widehat{\mathfrak{g}})$에 대해 그 구조는 무엇이며, 어떻게 무한차원 모듈의 기약성을 지배하는가?
• RQ3 수준 1의 $U_{q,p}(\widehat{\mathfrak{g}})$-모듈과 코셋 $\widehat{\mathfrak{g}} \oplus \widehat{\mathfrak{g}} \supset (\widehat{\mathfrak{g}})_{\text{diag}}$에서 유도된 $W$-대수 사이에 직접적인 대수적 연결 고리가 존재하는가? 수준 $(r-g-1,1)$을 포함하여.
• RQ4 기본 무게 유형과 정규직교기저 유형의 새로운 타원 보손을 명시적으로 구성하여 $L$-연산자와 변형된 $W$-대수의 자유장 실현을 실현할 수 있는가?
• RQ5 수준 1의 타원 전류 $e_j(z)$와 $f_j(z)$가 $A_l^{(1)}$ 및 $D_l^{(1)}$에 대해 변형된 $W$-대수의 스크리닝 전류와 일치하는가? 이는 추측된 바이다.

주요 결과

• 타원 대수 $U_{q,p}(\widehat{\mathfrak{g}})$는 $\mathbb{C}[[p]]$ 위의 위상 대수로서 엄밀히 정의되었으며, 이는 이전 실현을 일반화하고 $p$-진 변형을 위한 일관된 프레임워크를 제공한다.
• 기본 $Z$-대수 이론을 타원 설정으로 확장하여, $\mathbb{C}[[q^{2k}]]$ 위의 위상 대수로서 양자 동역학적 $Z$-대수 $\mathcal{Z}_k$를 구성하였으며, 이는 무한차원 $U_{q,p}(\widehat{\mathfrak{g}})$-모듈의 기약성에 영향을 준다.
• $A_l^{(1)}$ 및 $D_l^{(1)}$에 대해, 수준 1의 타원 전류 $e_j(z)$와 $f_j(z)$가 수준 $(r-g-1,1)$을 가진 코셋 $\widehat{\mathfrak{g}} \oplus \widehat{\mathfrak{g}} \supset (\widehat{\mathfrak{g}})_{\text{diag}}$에서 유도된 변형된 $W$-대수의 스크리닝 전류와 정확히 일치하며, [1,2]의 추측을 확인한다.
• 기본 수준 1의 기약 $U_{q,p}(\widehat{\mathfrak{g}})$-모듈은 $A_l^{(1)}$, $B_l^{(1)}$, $D_l^{(1)}$에 대해 코셋 유형의 기약 $W$-대수의 직합으로 분해되며, 표현 이론의 깊은 대수적 구조를 시사한다.
• Fateev-Lukyanov의 $WB_l$-대수의 변형이 존재할 가능성이 암시되며, 이는 $U_{q,p}(B_l^{(1)})$의 수준 1 타원 전류가 제공하는 스크리닝 연산자의 여유부분(commutant)으로서 나타난다.
• 기본 무게 유형의 $A^j_m$과 정규직교기저 유형의 $\mathcal{E}^{\pm j}_m$으로 구성된 새로운 타원 보손 유형이 명시적으로 구성되었으며, 이는 $L$-연산자와 변형된 $W$-대수의 자유장 실현을 실현하는 데 필수적임을 보였다. 이는 이전 실현을 확장한다.