The crossed braided tensor category of twisted and untwisted representations of the Heisenberg conformal net

기술 요약: 뒤틀린 및 뒤틀리지 않은 하이젠베르크 컨포멀 넷(Heisenberg Conformal Net)의 교차 브레이디드 텐서 범주

문제 제기
본 논문은 비유리적(non-rational) 컨포멀 넷, 구체적으로 하이젠베르크 컨포멀 넷($\text{Heis}$)과 그 $\mathbb{Z}/2$-고정점 부넷($\text{Heis}^{\mathbb{Z}/2}$)의 표현 범주에 대한 분류와 명시적 계산을 다룬다. 유한한(rational) 컨포멀 넷의 표현 범주는 모듈러 텐서 범주(modular tensor categories, 유한하고 반단순함)로서 잘 이해되어 있다. 그러나 비유리적 영역에서는 단순 대상(simple objects)의 공간이 이산적이지 않고 자연스러운 위상(Fell 위상)을 가지며, 융합 규칙(fusion rules)은 유한한 직접 합(direct sum)이 아닌 직접 적분(direct integral)을 포함한다. 저자는 $\text{Heis}$의 표현 범주가 "연속 텐서 범주(continuous tensor category)"를 형성함을 입증하는 것을 목표로 하며, 뒤틀린 표현들로부터 발생하는 교차 브레이딩(crossed braiding)을 포함한 그 브레이디드 구조를 명시적으로 계산하고자 한다.

방법론
저자는 연산자 대수 기법, 루프 군(loop group)의 표현론, 그리고 연속 텐서 범주의 이론을 종합하여 활용한다.

1. 연속 텐서 범주: 본 연구는 $C^*$-대수, $C^*$-상응(correspondences), 그리고 유니터리 인터위너(unitary intertwiner)들의 바이카테고리(bicategory) 내의 대수적 대상으로서 정의된 연속 텐서 범주의 프레임워크에 의존한다. 이 프레임워크는 대상 공간의 위상적 구조와 직접 적분의 존재를 수용할 수 있다.
2. 루프 군으로의 제한: 저자는 $\text{Heis}$의 표현 범주 $\text{Rep}(\text{Heis})$와 연관된 루프 군의 표현 범주들 사이의 동치 관계를 확립하는 전략을 취한다. 구체적으로 저자는 다음과 같은 일련의 동치 사슬을 구축한다:
   $$\text{Rep}(C_0(\mathbb{R})) \xrightarrow{\sim} \text{Rep}(\mathbb{R}) \xrightarrow{\sim} \text{Rep}_{pe}(\widetilde{LR}) \xrightarrow{\sim} \text{Rep}(\text{Heis})$$
   여기서 $\widetilde{LR}$은 $\mathbb{R}$의 루프 군의 중심 확장(central extension)이며, $\text{Rep}_{pe}$는 양의 에너지(positive energy) 표현을 의미한다.
3. 뒤틀린 표현(Twisted Representations): 고정점 넷 $\text{Heis}^{\mathbb{Z}/2}$를 분석하기 위해, 저자는 $G$-교차 브레이디드 텐서 범주(G-crossed braided tensor categories) 이론을 활용한다. 저자는 비자명한 원소 $\sigma \in \mathbb{Z}/2$에 대응하는 뒤틀린 표현의 범주 $\text{Rep}_{\sigma}(\text{Heis})$를 구성한다. 이는 뒤틀린 루프 군 $L_\sigma \mathbb{R}$과 그 중심 확장을 분석하는 과정을 포함한다.
4. 탐바라-야마가미(Tambara-Yamagami) 분류: 뒤틀리지 않은 표현과 뒤틀린 표현의 결합 범주인 $\text{Rep}_{\mathbb{Z}/2}(\text{Heis}) = \text{Rep}(\text{Heis}) \oplus \text{Rep}_{\sigma}(\text{Heis})$는 연속 탐바라-야마가미 텐서 범주로 식별된다. 저자는 이 범주를 분류하는 특정 쌍적 함수(bicharacter) $\chi$와 부호 $\xi$를 계산한다.
5. 부호를 위한 VOA 기법: 결합자(associators)와 교차 밸런스(crossed balance, twist)에서의 구체적인 부호를 해결하기 위해, 저자는 컨포멀 넷과 정점 연산자 대수(Vertex Operator Algebra, VOA)를 연결하는 결과들을 활용한다. 구체적으로, 뒤틀린 표현에서의 컨포멀 해밀토니안 $L_0$의 스펙트럼은 고정점 넷에 대한 알려진 VOA 결과들을 사용하여 계산되며, 이를 통해 밸런스의 위상 인자(phase factors)를 결정한다.

주요 기여 및 결과

• 연속 탐바라-야마가미 범주로의 동치: 본 논문은 $\text{Rep}(\text{Heis})$가 연속 텐서 범주 $\text{Hilb}_{\mathbb{R}}$(유니터리 $\mathbb{R}$-표현)과 동치임을 증명한다. 또한, 뒤틀린 및 뒤틀리지 않은 표현의 범주 $\text{Rep}_{\mathbb{Z}/2}(\text{Heis})$는 연속 탐바라-야마가미 텐서 범주 $\text{TY}(\mathbb{R}, \chi_-, +1)$와 동치임을 보인다 (여기서 $\chi_-(x, y) = e^{-ixy}$).
• 구조 상수(Structure Constants)의 명시적 계산: 저자는 다음 항목들에 대한 명시적 공식을 제공한다:
  • 연속 탐바라-야마가미 범주의 결합자(associators).
  • 뒤틀리지 않은 대상과 뒤틀린 대상의 텐서 곱 사이의 유니터리 맵을 상세히 기술하는 $\mathbb{Z}/2$-교차 브레이딩(crossed braiding).
    정해진 부호 모호성을 제외하고 결정된 뒤틀린 섹터에서의 $\mathbb{Z}/2$-교차 밸런스(crossed balance, twist).
• 고정점 넷의 특성 규명: $\mathbb{Z}/2$-동가변화(equivariantization) 절차를 적용함으로써, 저자는 브레이디드 텐서 범주 $\text{Rep}(\text{Heis}^{\mathbb{Z}/2})$에 대한 명시적인 설명을 도출한다. 이 범주는 $\text{TY}(\mathbb{R}, \chi_-, +1)$의 $\mathbb{Z}/2$-동가변화로 식별된다.
• 직접 적분을 포함하는 융합 규칙: 저자는 $\text{Rep}(\text{Heis}^{\mathbb{Z}/2})$에서 두 개의 기약 뒤틀린 표현의 텐서 곱이 양의 실수로 매개변수화된 기약 표현들의 직접 적분임을 명시적으로 보여준다. 이는 융합이 유한 합이 아닌 연속 적분인 컨포멀 넷의 구체적인 사례를 제공한다.

의의 및 주장

본 논문은 두 기약 표현의 텐서 곱이 기약 표현들의 직접 적분을 포함하는, 컨포멀 넷의 표현 범주에 대한 최초의 명시적 계산을 제공한다고 주장한다. 이는 융합이 유한한 경우인 기존의 유리적(rational) 사례를 넘어선다.

이 연구는 모든 컨포멀 넷의 표현 범주가 밸런스된 연속 텐서 범주(balanced continuous tensor category)라는 **추측 A(Conjecture A)**를 뒷받침한다. 저자는 하이젠베르크 컨포멀 넷과 그 $\mathbb{Z}/2$-고정점 부넷에 대해 이 추측을 검증한다.

논문은 $\text{Rep}_{\mathbb{Z}/2}(\text{Heis})$ 상의 정확한 $\mathbb{Z}/2$-교차 밸런스를 결정하는 것에 대해 겸손한 태도를 취한다. 밸런스의 제곱은 VOA 기법을 통해 정확히 계산되지만, 밸런스 자체의 부호는 여전히 모호하게 남아 있다. 저자는 "유니터리" 밸런스(유니터리 리본 범주의 의미에서)가 특정 부호 선택에 대응할 것이라고 추측하지만, 이 동치 관계를 엄밀하게 증명했다고 주장하지는 않는다.

마지막으로, 본 논문은 사용된 방법들—특히 넷 $A$의 뒤틀린 표현과 고정점 넷 $A^G$의 표현 사이의 관계—이 다른 비유리적 컨포멀 넷(예: 압축 리 군의 루프 군 또는 하이젠베르크 넷의 곱)으로 일반화될 수 있으며, 이들의 표현 범주를 연속 텐서 범주를 통해 기술할 수 있음을 시사한다.