융합 규칙 (Fusion Rules)

1. 융합 규칙의 정의

연산자 곱 전개(OPE)에서 어떤 일차장이 나타나는지에 대한 선택 규칙을 융합 규칙(fusion rules)이라 한다.

정의9.1융합 규칙

두 일차장 $\phi_i$ 와 $\phi_j$ 의 OPE에 일차장 $\phi_k$ 가 나타나는지 여부를 나타내는 음이 아닌 정수 $N_{ij}^{\;\;k}$ 를 융합 계수(fusion coefficient)라 하며, 이들이 결정하는 규칙

[\phi_i] \times [\phi_j] = \sum_k N_{ij}^{\;\;k}\, [\phi_k]

을 융합 규칙(fusion rules)이라 한다. 여기서 $[\phi_i]$ 는 일차장 $\phi_i$ 의 등각 족(conformal family)을 나타내며, $N_{ij}^{\;\;k} \in \mathbb{Z}_{\geq 0}$ 이다. 최소 모형에서는 $N_{ij}^{\;\;k} \in \{0, 1\}$ 이다.

2. 벨린스키-폴리아코프-자모로드치코프(BPZ) 융합 규칙

최소 모형 $\mathcal{M}(p, p')$ 에서 일차장 $\phi_{r_1, s_1}$ 과 $\phi_{r_2, s_2}$ 의 융합 규칙은 다음과 같다:

[\phi_{r_1, s_1}] \times [\phi_{r_2, s_2}] = \sum_{\substack{r_3 = |r_1 - r_2| + 1 \\ \text{step } 2}}^{\min(r_1 + r_2 - 1,\; 2p' - 1 - r_1 - r_2)} \;\; \sum_{\substack{s_3 = |s_1 - s_2| + 1 \\ \text{step } 2}}^{\min(s_1 + s_2 - 1,\; 2p - 1 - s_1 - s_2)} [\phi_{r_3, s_3}]

여기서 "step 2"는 합의 변수가 2씩 증가함을 의미한다.

참고$\mathrm{SU}(2)$ 융합과의 유사성

위 융합 규칙의 구조는 $\mathrm{SU}(2)$ 의 각운동량 합성 규칙과 유사하다. $\mathrm{SU}(2)$ 에서 스핀 $j_1$ 과 $j_2$ 의 합성은 $|j_1 - j_2| \leq j_3 \leq j_1 + j_2$ 를 주지만, 최소 모형에서는 추가로 절단 조건(truncation condition)이 있어 합의 상한이 $p'$ 또는 $p$ 에 의해 제한된다. 이 절단은 영 벡터의 존재에서 기인한다.

3. 벨랑주 공식

융합 계수와 모듈러 $S$ -행렬 사이에는 벨랑주 공식(Verlinde formula)이라 불리는 아름다운 관계가 성립한다.

법칙9.1벨랑주 공식

벨랑주 공식(Verlinde formula)은 융합 계수 $N_{ij}^{\;\;k}$ 를 모듈러 $S$ -행렬로 표현한다:

N_{ij}^{\;\;k} = \sum_\ell \frac{S_{i\ell}\, S_{j\ell}\, S_{k\ell}^*}{S_{0\ell}}

여기서 $S_{i\ell}$ 은 비라소로 지표의 $S$ -변환 행렬의 원소이며, $0$ 은 항등 연산자의 인덱스이다. 이 공식은 융합 대수의 구조가 모듈러 대칭에 의해 완전히 결정됨을 보여준다.

유도벨랑주 공식의 증명 개요

벨랑주 공식은 다음과 같이 유도된다. 모듈러 $S$ -행렬이 융합 행렬(fusion matrix) $\mathbf{N}_i$ 를 대각화함을 이용한다.

융합 행렬 $(\mathbf{N}_i)_j^{\;\;k} = N_{ij}^{\;\;k}$ 는 융합 대수 $[\phi_i] \times [\phi_j] = \sum_k N_{ij}^{\;\;k} [\phi_k]$ 의 구조 상수이므로, 결합 법칙에 의해

[\mathbf{N}_i, \mathbf{N}_j] = 0

을 만족한다. 따라서 모든 $\mathbf{N}_i$ 를 동시에 대각화할 수 있다. $\mathbf{N}_i$ 의 고유값이 $S_{i\ell}/S_{0\ell}$ 임을 보이면

\mathbf{N}_i = S\, \mathrm{diag}\!\left(\frac{S_{i\ell}}{S_{0\ell}}\right) S^\dagger

이므로

N_{ij}^{\;\;k} = (\mathbf{N}_i)_j^{\;\;k} = \sum_\ell S_{j\ell} \frac{S_{i\ell}}{S_{0\ell}} S_{k\ell}^*

를 얻는다.

■

4. 이징 모형의 융합 규칙

예제$\mathcal{M}(4,3)$의 융합 규칙

이징 모형( $c = 1/2$ )의 세 일차장 $\mathbb{1}$ , $\sigma$ , $\epsilon$ 의 융합 규칙은 다음과 같다:

[\mathbb{1}] \times [\phi] = [\phi] \qquad \text{(모든 } \phi\text{에 대해)}

[\sigma] \times [\sigma] = [\mathbb{1}] + [\epsilon]

[\sigma] \times [\epsilon] = [\sigma]

[\epsilon] \times [\epsilon] = [\mathbb{1}]

이 규칙은 $\mathbb{Z}_2$ 대칭을 반영한다. $\sigma$ 는 홀수( $\mathbb{Z}_2$ 기함수), $\mathbb{1}$ 과 $\epsilon$ 은 짝수( $\mathbb{Z}_2$ 우함수)이며, 융합 결과의 $\mathbb{Z}_2$ 전하가 보존된다.

5. 융합 대수의 성질

융합 규칙은 여러 중요한 대수적 성질을 만족한다.

결합 법칙 (Associativity):

\sum_m N_{ij}^{\;\;m} N_{mk}^{\;\;l} = \sum_m N_{ik}^{\;\;m} N_{jm}^{\;\;l}

교환 법칙 (Commutativity): $N_{ij}^{\;\;k} = N_{ji}^{\;\;k}$

항등원의 존재: $N_{\mathbb{1}j}^{\;\;k} = \delta_j^k$ , 즉 항등 연산자와의 융합은 자기 자신을 준다.

전하 켤레(charge conjugation): 각 일차장 $\phi_i$ 에 대해 $N_{i\bar{i}}^{\;\;\mathbb{1}} = 1$ 인 켤레장(conjugate field) $\phi_{\bar{i}}$ 가 유일하게 존재한다.

참고융합 대수와 양자 군

융합 규칙의 수학적 구조는 양자 군(quantum group) $U_q(\mathfrak{sl}_2)$ ( $q$ 가 단위근일 때)의 표현의 텐서곱 분해 규칙과 동형이다. 최소 모형 $\mathcal{M}(p, p')$ 의 경우

q = e^{i\pi p'/p}

이다. 이 관계는 등각장론과 양자 군 이론 사이의 심오한 연결을 제공하며, 매듭 이론(knot theory)과 위상 양자장론(topological quantum field theory)으로의 응용에서 핵심적인 역할을 한다.

6. 융합 행렬과 단범 텐서 범주

융합 규칙은 더 풍부한 수학적 구조인 모듈러 텐서 범주(modular tensor category)의 일부이다.

정의9.2융합 범주

유한 개의 단순 대상(simple object) $\{X_i\}$ 과 텐서곱 $\otimes$ 을 갖는 범주가 융합 범주(fusion category)라 함은 다음을 만족할 때이다:

$X_i \otimes X_j \cong \bigoplus_k N_{ij}^{\;\;k}\, X_k$ (융합 규칙)
결합 법칙: $(X_i \otimes X_j) \otimes X_k \cong X_i \otimes (X_j \otimes X_k)$ (결합자(associator)에 의해 구현)
단위 대상: $X_0 \otimes X_i \cong X_i$
쌍대: 각 $X_i$ 에 대해 $X_i^*$ 가 존재

등각장론의 일차장의 등각 족은 이러한 융합 범주의 대상을 이루며, OPE가 텐서곱에 대응된다. 이 범주에 브레이딩(braiding)과 모듈러 구조를 추가하면 모듈러 텐서 범주가 된다.