[논문 리뷰] Subfactors and Connes fusion for twisted loop groups

Antony Wassermann|arXiv (Cornell University)|2010. 03. 11.

Algebraic structures and combinatorial models참고 문헌 16인용 수 6

한 줄 요약

이 논문은 Connes fusion 를 통해 비틀린 루프 군 부분군과 그들의 융합 규칙에 대한 구체적 실현을 확립한다. 양의 에너지 표현들이 $L^\tau SU(2N)$ 의 비틀린 루프 군에서 형성하는 것은 Verlinde 대수 $LSU(2N)$ 의 모듈러 구조를 이루며, 이는 $Sp(N)$ 과 $SU(N)$ 표현의 절단된 고전적 텐서곱 규칙으로부터 유도된 융합 규칙을 가진다. 핵심 결과는 특성함수와 양자 차원을 이용한 융합 분류의 완전한 대수적 및 해석적 기술이며, 이는 모듈러 불변성과 Verlinde 유형 공식에 의해 검증된다.

ABSTRACT

In this announcement we explain how to extend the von Neumann algebra definition of fusion to the case of twisted loop groups. This project completes research started by my student Robert Verrill in his 2001 Cambridge Ph.D. thesis.

연구 동기 및 목표

• 비틀린 루프 군 $L^\tau SU(2N)$ 의 양의 에너지 표현의 융합 분류를 Connes fusion 를 사용하여 구성하고 분석한다.
• 비틀린 표현의 그로텐디크 군에 대한 Verlinde 대수 $R_\ell(SU(2N))$ 에 대한 모듈러 구조를 확립한다.
• Sp(N) 과 기본적인 $SU(N)$ 표현의 절단된 고전적 텐서곱 규칙과의 연관성을 통해 융합 규칙을 명시적으로 계산한다.
• 양자 차원 항등식과 특성합의 모듈러 불변성을 통해 융합 규칙의 일관성을 검증한다.

제안 방법

• Connes fusion 을 사용하여 $L^\tau SU(2N)$ 의 양의 에너지 표현의 융합을 정의하고, 이들을 von Neumann 대수 위의 이중모듈러와 연결한다.
• 특성함수를 $\zeta_i = \exp(2\pi i(g_i + N + 1/2 - i)/(2N + \ell))$ 를 포함하는 행렬식 공식으로 표현하며, $g_i$ 는 유한 집합 $S$ 에 속한다.
• 평가 사상 $\theta: R(Sp(N)) \to \mathbb{C}^\mathcal{T}$ 를 정의하며, 여기서 $\mathcal{T}$ 는 대각행렬 $D(g)$ 의 집합이며, $\theta(R(Sp(N))) = \mathbb{C}^\mathcal{T}$ 를 보인다.
• 허용 가능한 $h$ 에 대해 $\theta_h$ 가 이미지 대수의 $\mathbb{Z}$-기저를 이룬다는 것을 증명하며, $h_1 + h_2 = \ell + 1$ 인 $\theta_h$ 가 생성하는 핵을 규명한다.
• 양자 차원과 Perron–Frobenius 이론을 사용하여 융합 분해 부등식의 등식을 도출하고, $d(\mathcal{K}_h) = C \psi_h(D(0))$ 를 확립한다.
• Kac 와 Petersen 의 모듈러 변환 규칙을 사용하여 $\sum_f d(\mathcal{H}_f)^2 = \sum_h d(\mathcal{K}_h)^2$ 를 통해 정규화 상수 $C$ 를 계산한다.

실험 결과

연구 질문

• RQ1 Connes fusion 을 사용하여 비틀린 루프 군 $L^\tau SU(2N)$ 의 양의 에너지 표현의 융합 규칙을 어떻게 명시적으로 계산할 수 있는가?
• RQ2 비틀린 표현의 그로텐디크 군의 대수적 구조는 무엇이며, $LSU(2N)$ 의 Verlinde 대수와 어떻게 관련되어 있는가?
• RQ3 비틀린 루프 군 $L^\tau SU(2N)$ 의 융합 규칙은 어떻게 고전적 텐서곱 규칙의 $Sp(N)$ 과 기본적인 $SU(N)$ 표현과 관련되어 있는가?
• RQ4 양자 차원 공식 $d(\mathcal{K}_h) = C \psi_h(D(0))$ 에서 정확한 정규화 상수 $C$ 는 무엇인가?
• RQ5 특성합의 모듈러 불변성이 융합 분류의 일관성을 어떻게 확인하는가?

주요 결과

• 비틀린 루프 군 $L^\tau SU(2N)$ 의 융합 규칙은 $Sp(N)$ 과 기본적인 $SU(N)$ 표현의 고전적 텐서곱 규칙의 절단된 형태로 주어진다.
• 비틀린 표현의 그로텐디크 군은 Verlinde 대수 $R_\ell(SU(2N))$ 에 대한 모듈러를 이룬다.
• 특성함수 $\psi_h(D(g))$ 는 $h_1 + h_2 = \ell + 1$ 일 때 0이 되며, 이는 평가 사상 $\theta$ 의 핵을 정의한다.
• $R(Sp(N))$ 의 $\theta$ 에 의한 이미지는 전체 대수 $\mathbb{C}^\mathcal{T}$ 이며, 허용 가능한 $h$ 에 대해 $\theta_h$ 는 이 이미지의 $\mathbb{Z}$-기저를 이룬다.
• 정규화 상수 $C$ 는 제곱된 양자 차원의 합의 비율로 결정되며, Kac 와 Petersen 의 모듈러 변환 규칙으로부터 명시적 공식이 유도된다.
• $d(\mathcal{H}_k)d(\mathcal{K}_h) \leq \sum \psi_g(D(0))$ 의 차원 부등식에서 등식이 성립함을 확인하여 융합 분류의 일관성을 확인한다.