[논문 리뷰] Fusion of Positive Energy Representations of LSpin(2n)

Valerio Toledano-Laredo|arXiv (Cornell University)|2004. 09. 03.

Quantum chaos and dynamical systems인용 수 31

한 줄 요약

이 논문은 고정된 수준에서 $L\mathrm{Spin}(2n)$의 양의 에너지 표현에 대한 융합을 Connes 융합을 사용하여 수학적으로 엄밀한 정의를 내리며, Verlinde 대수와의 호환성을 검증한다. 벡터 표현과 그 대칭べき의 융합을 계산하고 융합 환의 구조가 Verlinde 규칙과 일치함을 증명하여 브레이딩과 양자 차원을 통해 모듈러 텐서 범주 구조를 확인한다.

ABSTRACT

Building upon the Jones-Wassermann program of studying Conformal Field Theory using operator algebraic tools, and the work of A. Wassermann on the loop group of LSU(n) (Invent. Math. 133 (1998), 467-538), we give a solution to the problem of fusion for the loop group of Spin(2n). Our approach relies on the use of A. Connes' tensor product of bimodules over a von Neumann algebra to define a multiplicative operation (Connes fusion) on the (integrable) positive energy representations of a given level. The notion of bimodules arises by restricting these representations to loops with support contained in an interval I of the circle or its complement. We study the corresponding Grothendieck ring and show that fusion with the vector representation is given by the Verlinde rules. The computation rests on 1) the solution of a 6-parameter family of Knizhnik-Zamolodchikhov equations and the determination of its monodromy, 2) the explicit construction of the primary fields of the theory, which allows to prove that they define operator-valued distributions and 3) the algebraic theory of superselection sectors developed by Doplicher-Haag-Roberts.

연구 동기 및 목표

• 고정된 수준에서 $L\mathrm{Spin}(2n)$의 양의 에너지 표현에 대한 융합을 수학적으로 타당한 정의로 제시하여, 초등 이론 및 연산자 대수학 분야에서 오랫동안 남아있던 문제를 해결한다.
• 유도된 융합 환의 구조가 Verlinde 규칙과 일치함을 검증함으로써 물리학자들이 예측한 모듈러 텐서 범주 구조를 확인한다.
• 벡터 표현과 그 대칭べき의 융합을 명시적으로 계산하여 융합 규칙의 핵심 사례를 확립한다.
• Knizhnik–Zamolodchikov (KZ) 방정식과 Dotsenko–Fateev 경로 적분을 사용하여 주요 장의 브레이딩 성질을 분석한다.
• Doplicher–Haag–Roberts 및 Jones–Wassermann 구축을 통해 표현 이론적 융합을 부분형 이론과 양자 3-다양체 불변량과 연결한다.

제안 방법

• von Neumann 대수를 국소 루프 군과 관련지어 정의된 $L\mathrm{Spin}(2n)$의 양의 에너지 표현 위에서 Connes 융합을 범주적 텐서 곱 연산으로 사용한다.
• 벡터 표현의 대칭 텐서 곱에 값이 있는 주요 장에 대해 Knizhnik–Zamolodchikov (KZ) 방정식을 해결하기 위해 Dotsenko–Fateev 적분 표현을 적용한다.
• L\mathrm{Spin}(2n)$의 수준 1 표현의 Fermion 및 Boson 구성 방법을 활용하여 주요 장을 실현하고 그 해석적 성질을 분석한다.
• Doplicher–Haag–Roberts 이론을 사용하여 양의 에너지 표현에 부분형을 연결함으로써 표현 이론과 von Neumann 대수 이론을 연계한다.
• Wenzl의 보조정리와 함께 표현의 양자 차원을 계산하고 Verlinde 공식과의 일致성을 검증한다.
• 스무딩된 주요 장의 고유값과 상호작용 성질을 통해 브레이딩 연산자를 분석하고 모듈러 대칭성을 확인한다.

실험 결과

연구 질문

• RQ1 Connes 융합은 고정된 수준에서 $L\mathrm{Spin}(2n)$의 양의 에너지 표현 범주에 잘 정의되고 결합 법칙을 만족하는 텐서 곱 연산 구조를 제공하는가?
• RQ2 수준 $\ell$에서 $L\mathrm{Spin}(2n)$의 융합 환은 초등 이론이 예측한 바와 같이 Verlinde 대수와 일치하는가?
• RQ3 KZ 방정식과 경로 적분을 사용하여 주요 장의 브레이딩을 명시적으로 계산할 수 있으며, 그 결과는 기대하는 모듈러 S-행렬과 일치하는가?
• RQ4 벡터 표현의 $L\mathrm{Spin}(2n)$와 그 $k$-번째 대칭べき의 융합은 무엇이며, Verlinde 규칙을 만족하는가?
• RQ5 양의 에너지 표현의 범주 $L\mathrm{Spin}(2n)$는 모듈러적인가? 그리고 3-다양체의 불변량을 구성하는 데 사용될 수 있는가?

주요 결과

• 벡터 표현과 그 $k$-번째 대칭べき의 융합이 명시적으로 계산되었으며, Verlinde 규칙과 일치함을 확인하여 융합 환의 구조가 확인되었다.
• 벡터 표현의 브레이딩 연산자는 모듈러 S-행렬의 항들과 일치하는 고유값을 가지며, 모듈러 범주 성질이 검증되었다.
• 벡터 표현의 양자 차원은 $\dim_q(V) = 2^{n-1}$로 계산되었으며, Verlinde 공식과 일致하였다.
• KZ 방정식의 Dotsenko–Fateev 적분 해법은 오직 두 개의 적분 변수만을 사용하여 일반적인 $n$에 대해 계산 가능하게 하였다.
• 수준 $\ell$에서 $L\mathrm{Spin}(2n)$의 양의 에너지 표현의 범주는 모듈러 텐서 범주임을 증명하였으며, 3-다양체 불변량의 구성이 가능함을 보였다.
• 융합 환 $R_0$는 Verlinde 대수와 동형이며, 구조 상수는 벡터 표현의 융합 규칙을 통해 명시적으로 계산되었다.