[논문 리뷰] The irreducible modules and fusion rules for the parafermion vertex operator algebras

Chunrui Ai, Chongying Dong외 2명|arXiv (Cornell University)|2014. 12. 28.

Algebraic structures and combinatorial models참고 문헌 41인용 수 13

한 줄 요약

이 논문은 임의의 유한차원 단순 리 대수 $\mathfrak{g}$ 와 양의 정수 $k$ 에 대해 관련된 파라페르미온 보조 연산자 대수 $K(\mathfrak{g},k)$ 의 모든 기약 모듈을 분류하고, 공식 $\prod_{\alpha>0}\frac{(λ+\rho,\alpha)_{q}}{(ρ,\alpha)_{q}}$ 를 사용하여 그들의 양자 차원을 계산하며, 애피니 모듈의 분해와 양자 차원 보존을 통해 융합 규칙을 규명한다. 주요 결과는 $M^{\Lambda^1,\Lambda^1+\beta_i} \boxtimes M^{\Lambda^2,\Lambda^2+\beta_j}$ 의 융합 규칙이 $\sum_{\Lambda^3 \in P^k_+} N^\Lambda^3_{\Lambda^1,\Lambda^2} M^{\Lambda^3,\Lambda^1+\Lambda^2+\beta_i+\beta_j}$ 와 같다는 것이다. 여기서 $N^\Lambda^3_{\Lambda^1,\Lambda^2}$ 는 애피니 대수 $L_{\widehat{\mathfrak{g}}}(k,0)$ 의 융합 규칙이다.

ABSTRACT

The irreducible modules for the parafermion vertex operator algebra associated to any finite dimensional Lie algebra and any positive integer are identified, the quantum dimensions are computed and the fusion rules are determined.

연구 동기 및 목표

• 유한차원 단순 리 대수 $\mathfrak{g}$ 와 양의 정수 $k$ 에 대해 관련된 파라페르미온 보조 연산자 대수 $K(\mathfrak{g},k)$ 의 모든 기약 모듈을 분류하는 것.
• 기약 모듈의 양자 차원을 $q$-변형 내적 공식을 사용하여 계산하는 것.
• 합리적이고 $C_2$-코herent인 VOA 의 텐서 범주 구조와 애피니 VOA $L_{\widehat{\mathfrak{g}}}(k,0)$ 와의 관계를 활용하여 $K(\mathfrak{g},k)$-모듈의 융합 규칙을 규명하는 것.

제안 방법

• 기약 $K(\mathfrak{g},k)$-모듈은 애피니 VOA 상에서 수준-$k$ 적분 최고 가시 모듈 $L_{\widehat{\mathfrak{g}}}(k,\Lambda)$ 의 분해에서 나타나는 구성요소 $M^{\Lambda,\Lambda+\beta_i}$ 로 식별된다.
• 모듈 $M^{\Lambda,\Lambda+\beta_i}$ 의 양자 차원은 공식 $\prod_{\alpha>0}\frac{(\Lambda+\rho,\alpha)_{q}}{(\rho,\alpha)_{q}}$ 를 사용하여 계산되며, 여기서 $q = e^{\pi i/(k+h^\vee)}$ 이다. 이는 해당 $L_{\widehat{\mathfrak{g}}}(k,\Lambda)$ 모듈의 양자 차원과 동일시된다.
• 융합 규칙는 모듈 $M^{\Lambda^1,\Lambda^1+\beta_i} \boxtimes M^{\Lambda^2,\Lambda^2+\beta_j}$ 의 융합 제품의 양자 차원이 애피니 VOA 의 융합 계수 $N^{\Lambda^3}_{\Lambda^1,\Lambda^2}$ 를 가중치로 갖는 $M^{\Lambda^3,\Lambda^1+\Lambda^2+\beta_i+\beta_j}$ 의 양자 차원 합과 일치함을 보여서 유도된다.
• $L_{\widehat{\mathfrak{g}}}(k,\Lambda)$ 의 분해에서 유래한 $M^{\Lambda,\Lambda+\beta_i}$ 의 식별은 기약 모듈의 동치 클래스 수가 $\frac{|P^k_+||Q/kQ_L|}{|P/Q|}$ 임을 확인함으로써 분류의 완전성을 입증한다.
• 증명은 융합 제품의 양자 차원이 개별 양자 차원의 곱과 같고, $K(\mathfrak{g},k)$-모듈의 융합 제품이 애피니 융합 규칙으로 주어진 계수를 가진 $K(\mathfrak{g},k)$-모듈의 직합과 동형임을 이용한다.

실험 결과

연구 질문

• RQ1 유한차원 단순 리 대수 $\mathfrak{g}$ 와 양의 정수 $k$ 에 대해 파라페르미온 보조 연산자 대수 $K(\mathfrak{g},k)$ 의 모든 기약 모듈의 완전한 분류는 무엇인가?
• RQ2 기약 $K(\mathfrak{g},k)$-모듈 $M^{\Lambda,\Lambda+\beta_i}$ 의 양자 차원에 대한 명시적 공식은 무엇인가?
• RQ3 $K(\mathfrak{g},k)$-모듈의 융합 규칙는 애피니 보조 연산자 대수 $L_{\widehat{\mathfrak{g}}}(k,0)$ 의 융합 규칙를 어떻게 기술하는가?
• RQ4 기약 $K(\mathfrak{g},k)$-모듈의 동치 클래스 수가 정확히 $\frac{|P^k_+||Q/kQ_L|}{|P/Q|}$ 인 이유는 무엇인가?
• RQ5 융합 제품 $M^{\Lambda^1,\Lambda^1+\beta_i} \boxtimes M^{\Lambda^2,\Lambda^2+\beta_j}$ 의 정확한 구조는 무엇이며, 애피니 융합 규칙과의 관계는 어떻게 되는가?

주요 결과

• 기약 모듈은 $M^{\Lambda,\Lambda+\beta_i}$ 로 완전히 분류되며, 여기서 $\Lambda$ 는 수준-$k$ 최고 가시 정수 무게의 집합 $P^k_+$ 를 범위로 하고, $i$ 는 $Q/kQ_L$ 의 코셋을 인덱싱한다. 동치 클래스의 수는 정확히 $\frac{|P^k_+||Q/kQ_L|}{|P/Q|}$ 이다.
• 각 기약 $K(\mathfrak{g},k)$-모듈 $M^{\Lambda,\Lambda+\beta_i}$ 의 양자 차원은 $\prod_{\alpha>0}\frac{(\Lambda+\rho,\alpha)_{q}}{(\rho,\alpha)_{q}}$ 로 주어지며, 여기서 $q = e^{\pi i/(k+h^\vee)}$ 이고 $h^\vee$ 는 $\mathfrak{g}$ 의 이중 코xe터 수이다.
• $M^{\Lambda^1,\Lambda^1+\beta_i} \boxtimes M^{\Lambda^2,\Lambda^2+\beta_j}$ 의 융합 규칙은 $\sum_{\Lambda^3 \in P^k_+} N^{\Lambda^3}_{\Lambda^1,\Lambda^2} M^{\Lambda^3,\Lambda^1+\Lambda^2+\beta_i+\beta_j}$ 와 같다. 여기서 $N^{\Lambda^3}_{\Lambda^1,\Lambda^2}$ 는 애피니 VOA $L_{\widehat{\mathfrak{g}}}(k,0)$ 의 융합 계수이다.
• $N^{\Lambda^3}_{\Lambda^1,\Lambda^2} \neq 0$ 인 모듈 $M^{\Lambda^3,\Lambda^1+\Lambda^2+\beta_i+\beta_j}$ 는 상호 간 비동치이며, 이는 합의 구조에서 다중도 없음을 보장한다.
• 융합 제품 $M^{\Lambda^1,\Lambda^1+\beta_i} \boxtimes M^{\Lambda^2,\Lambda^2+\beta_j}$ 의 양자 차원은 $N^{\Lambda^3}_{\Lambda^1,\Lambda^2}$ 를 가중치로 갖는 구성요소 $M^{\Lambda^3,\Lambda^1+\Lambda^2+\beta_i+\beta_j}$ 의 양자 차원 합과 일치하며, 이는 융합 규칙 공식의 정확성을 확인한다.
• $L_{\widehat{\mathfrak{g}}}(k,\Lambda)$ 의 분해에서 유래한 $M^{\Lambda,\Lambda+\beta_i}$ 의 식별은 히젠베르크 대수의 작용 하에서 분류가 완전하고, 동형사상이 누락되지 않음을 보장한다.