[논문 리뷰] Operator Algebras and Conformal Field Theory III. Fusion of positive energy representations of LSU(N) using bounded operators

Antony Wassermann|ArXiv.org|1998. 06. 07.

Cold Atom Physics and Bose-Einstein Condensates인용 수 31

한 줄 요약

이 논문은 유계 연산자를 사용하여 LSU(N)의 양에너지 표현의 Connes 병합을 엄밀하고 통합적인 프레임워크로 설정하며, 페르미온 구조를 통해 명시적인 병합 규칙을 도출하고 Knizhnik–Zamolodchikov 방정식을 해결한다. 주요 기여는 수준 ℓ에서 LSU(N)에 대해 명백히 유니터리이고 계산 가능한 병합 텐서 범주를 제공하며, 특성의 모듈러 성질과 페르미온 설정에서의 운반 행렬을 통해 베르린데 유형의 병합 규칙을 도출한다.

ABSTRACT

Fusion of positive energy representations is defined using Connes' tensor product for bimodules over a von Neumann algebra. Fusion is computed using the analytic theory of primary fields and explicit solutions of the Knizhnik-Zamolodchikov equation.

연구 동기 및 목표

• LSU(N)의 양에너지 표현에 대한 유니터리이고 연산자 대수학적 병합 구축을 제공하여 conformal field theory와 subfactor theory를 조율한다.
• 페르미온 양자화를 사용하여 algebraic quantum field theory에서의 수렴 가능한 주요 장과 그의 상호작용자 구축이라는 오랫동안 남아있던 과제를 해결한다.
• 특성 이론과 운반 행렬의 모듈러 성질을 통해 수준 ℓ에서의 LSU(N)에 대한 명시적인 병합 규칙(베르린데 공식)을 도출한다.
• Connes 병합을 텐서 곱으로 사용하여, 양에너지 표현의 병합 범주가 유니터리 텐서 범주이자 유한한 통계적 차원을 가짐을 확립한다.
• SU(N)의 표현 링이 수준-ℓ 제약 조건을 갖는 Young 다이어그램에 의해 결정되는 핵을 가지며, LSU(N)의 병합 링으로 위상사상으로 surjective임을 증명한다.

제안 방법

• 원환선 위의 페르미온 제2 양자화를 통해 LSU(N)의 양에너지 표현을 구성하여, 스메어드 주요 장의 유니터리성과 유계성을 확보한다.
• 페르미온 Fock 공간을 사용하여 벡터 및 쌍대 벡터 주요 장을 유계 연산자로 정의하며, 그의 상호작용자는 Knizhnik–Zamolodchikov(KZ) 미분 방정식에 의해 지배된다.
• 기본 상미분 방정식의 사영된 급수 해의 오일러–톰에 적분 표현을 통해 해석적 계속성을 적용하고 KZ 방정식을 해결한다.
• 모듈러 이론과 Takesaki의 분해 이론을 적용하여 국소 루프 군 대수의 Haag–Araki 대칭성과 모듈러 군의 에르고딕성을 확립한다.
• 네 점 함수 공식과 유계 상호작용자를 사용하여 Connes 병합을 정의함으로써 유니터리성과 병합 링의 구조와의 호환성을 확보한다.
• 대칭성과 해석성 성질을 통해 운반 행렬을 계산하고, 베르린데 공식을 통한 명시적 특성 공식과 병합 규칙을 이끌어낸다.

실험 결과

연구 질문

• RQ1 유계 연산자를 사용하여 LSU(N)의 양에너지 표현의 Connes 병합을 어떻게 명백히 유니터리하고 계산 가능한 방식으로 정의할 수 있는가?
• RQ2 수준 ℓ에서의 LSU(N) 병합 링의 정확한 구조는 무엇이며, 이는 SU(N)의 고전적 텐서 곱 규칙과 어떻게 관련되어 있는가?
• RQ3 LSU(N) conformal field theory의 주요 장은 Knizhnik–Zamolodchikov 방정식을 어떻게 만족하며, 페르미온 양자화가 유계성을 보장하는 데 어떤 역할을 하는가?
• RQ4 루프 군과 관련된 국소 von Neumann 대수의 모듈러 대칭성은 무엇이며, 이는 주요 장의 존재성과 어떻게 관련되어 있는가?
• RQ5 최대 토러스 위의 동치 함수 공간으로의 특성 사상이 병합 계수에 대한 베르린데 공식을 어떻게 실현하는가?

주요 결과

• LSU(N)의 양에너지 표현의 Connes 병합은 유계 상호작용자를 통해 정의되며, 유한한 통계적 차원을 가진 유니터리 텐서 범주를 이룬다.
• 표현 $ H_f \triangleright H_g $의 병합 규칙은 $ \bigoplus N_{fg}^h \text{sign}(\theta_h) H_{h'} $ 로 주어지며, 여기서 $ h' $ 는 $ h' = \rho(\text{sign}) $ 를 만족하는 유일한 웨일 군 원소에 의한 이미지이다. $ \rho $ 는 웨일 벡터이다.
• 특성 사상 $ \text{ch}: \text{K}_0 \to \text{Class functions} $ 는 *-동형사상이며, 병합 링은 $ V_f $ 가 $ f_1 - f_N = \rho + 1 $ 를 만족할 때 생성하는 이상으로의 몫인 대칭 함수의 링과 동형이다.
• 베르린데 공식은 KZ 방정식의 운반 행렬 해를 통해 모듈러 S-행렬로부터 도출되며, 명시적인 적분 표현을 가진다.
• $ H_f $ 의 켤레는 $ H_{f'} $ 이며, 여기서 $ f'_i = -f_{N-i+1} $ 이고, $ H_f \triangleright H_{f'} $ 는 진공 표현 $ H_0 $ 을 정확히 한 번 포함한다.
• 병합 링은 벡터 표현 $ H_{[k]} $ 에 의해 생성되며, 특성 사상 $ \text{ch}(H_f) = \theta_f|_{\tau} $ 는 토러스 위의 대칭 함수 공간으로의 링 동형사상을 제공한다.