A vertex operator algebra for the S-fold realisation of a non-unitary Haagerup--Izumi modular fusion category

기술 요약: 비단위 하거럽-이즈미(Haagerup–Izumi) 모듈러 퓨전 범주의 S-fold 실현을 위한 정점 연산자 대수(Vertex Operator Algebra)

문제 제기
본 논문은 Gang, Kim, Lee가 제안한 비단위 모듈러 데이터(modular data)를 뒷받침하는 정점 연산자 대수(VOA)를 식별하는 문제를 다룬다. 이 데이터는 $S_k$로 명명된 3D $\mathcal{N}=4$ rank-0 S-fold 초공형 장론(SCFT)의 위상적 트위스트(topological twist)를 기술한다. Bethe 진공(vacua)으로부터 유도되어 Evans–Gannon의 grafting 구조와 일치할 것으로 추측되었던 모듈러 데이터(S 및 T 행렬)와 달리, 해당 캐릭터(characters)를 생성하는 구체적인 VOA는 그동안 식별되지 않았다. 구체적으로, 저자는 "하거럽 점(Haagerup point)" ($k=11$)에서의 비단위 하거럽-이즈미 모듈러 데이터를 실현하고, 이와 관련된 모듈러 텐서 범주(MTC)의 구조를 이해하고자 한다.

방법론
저자는 엄밀한 VOA 이론, Virasoro 대수의 표현론, 그리고 컴퓨터 보조 대수 계산을 결합하여 연구를 수행하였다.

1. VOA 구성: 저자는 관련 대수를 중심 전하 $c_k = 13 - 6k$를 갖는 $L(c_k, h_{2j+1, 2j+1})$의 가약(irreducible) Virasoro 모듈들의 직합으로 정의된 Virasoro 대수 $V_k$의 확장(extension)으로 식별하였다. 이 대수는 컨포멀 벡터 $T$와 가중치 $h = 2(k-2)$를 갖는 주 필드(primary field) $W$에 의해 강하게 생성(strongly generated)된다.
2. 존재성 및 유리스성(Rationality): $V_k$가 단순하고 강하게 유리스인(strongly rational) VOA임을 증명하기 위해 다음을 검증하였다:
   • $C_2$-코파이닛성($C_2$-cofiniteness): 저자는 $5 \le k \le 11$ 범위에서 $C_2$-대수 $R_{V_k} = V_k / C_2(V_k)$를 계산하였다. $\mathbb{Q}$ 상에서의 정확한 계산과 소수(prime)에 대한 rank 체크를 사용하여, 유한 차원성 및 특정 멱영 관계($T^{2k-2}=0$, $T^k W = 0$)를 확립하였다.
   • Zhu의 대수: 저자는 Zhu의 대수 $A(V_k)$를 분석하여, 이것이 차원이 $2k+2$인 가환(commutative) 및 반단순(semisimple) 대수임을 증명하였다. 이는 $[T]$와 $[W]$로 생성되는 대수의 관계를 가중치 $4n+4$ (여기서 $n=k-2$)까지 계산하고, 유한체 상의 Gröbner 기저를 통해 반단순성 조건을 검증하는 과정에 의존한다.
   • McRae의 기준: $C_2$-코파이닛성과 반단순 Zhu의 대수가 확립됨에 따라, McRae의 정리를 통해 $V_k$가 강하게 유리스임을 확인하였다.
3. 모듈러 데이터 및 분류: $V_k$의 캐릭터는 Flohr (1993)가 그의 대수 $W(2, 8\kappa)$에 대해 제시한 것과 동일함이 확인되었다. 모듈러 S-행렬은 세타 함수 S-행렬 $S_\theta$임이 밝혀졌다.
4. 부트스트랩 및 확장: 하거럽 점 $k=11$에서, 저자는 확장 $U_2 = V_{11} \oplus M_{\chi_3}$를 조사한다. 여기서 $M_{\chi_3}$는 진공(vacuum)과 구별되는 가중치 0을 갖는 가장 낮은 가중치의 단순 모듈이다. 저자는 4-점 함수(four-point functions)를 분석하고 Fuchs 관계식을 적용하는 "부트스트랩" 접근법을 사용하여, $U_2$가 유일한 단순 VOA 구조를 가짐을 증명한다. 이 구조는 $\text{Rep } V_{11}$의 연결된 에탈 대수(connected étale algebra)에 대응한다.
5. 범주적 식별: 에탈 대수를 응축(condensing)함으로써, 저자는 문제를 rank-6 퓨전 범주를 식별하는 문제로 축소한다. 저자는 뒤틀린 입방 삼중 결합 범주(twisted cubic trivalent categories)의 분류(Morrison–Peters–Snyder)를 활용하여, 이 범주가 Ostrik의 뒤틀린 하거럽 범주의 갈로아 공액(Galois conjugate)임을 식별하였다.

주요 기여 및 결과

• $V_k$의 식별: 본 논문은 $5 \le k \le 11$ 범위에서 확장 $V_k = \bigoplus_{j \ge 0} L(c_k, h_{2j+1, 2j+1})$가 단순하고 강하게 유리스인 VOA임을 증명한다. 이들의 캐릭터와 모듈러 데이터는 Gang–Kim–Lee가 제안하고 Evans가 유도한 비단위 데이터와 일치한다.
• $k=11$에서의 구조: 하거럽 점 ($c = -53$)에서, 표현 범주는 $\text{Rep } V_{11} \simeq \text{Sem} \boxtimes \mathcal{C}$로 분해된다. 여기서 $\text{Sem}$은 세미온(semion) 범주(차원이 $-1$)이며,$\mathcal{C}$는 rank-12 인자를 갖는다.
• Drinfeld 중심 실현: 인자 $\mathcal{C}$는 뒤틀린 하거럽-이즈미 범주의 Drinfeld 중심임이 식별되었다. 구체적으로, $\mathcal{C} \simeq Z(\sigma_2 \mathcal{F})$이며, 여기서 $\mathcal{F}$는 Ostrik의 뒤틀린 하거럽 범주이고 $\sigma_2$는 특정 갈로아 자기 동형 사상(Galois automorphism)이다. 이는 비단위 모듈러 데이터가 유니터리 MTC의 갈로아 공액으로부터 발생함을 확인해 준다.
• 추측 해결: 본 연구는 근접 그룹(near-group) 범주 $Z_9 + 9$의 더블(double)에 관한 Evans–Gannon의 추측 2를 확인한다. 이 더블의 rank-12 인자가 유니터리 범주 $Z(\mathcal{F})$를 갖는 모듈러 데이터 $D_{\omega=2}^{\text{Hg}_3}$를 가진다는 것을 보여준다.
• 확장의 유일성: 저자는 $V_{11} \oplus M_{\chi_3}$가 유일한 단순 VOA임을 증명하여, 모듈러 데이터만으로는 결정할 수 없는 누락된 대수적 구조를 제공한다.

의의
본 논문은 비단위 하거럽-이즈미 모듈러 데이터를 정점 연산자 대수를 통해 최초로 엄밀하게 실현하였다. 이는 제안된 S-fold SCFT로부터의 모듈러 데이터와 구체적인 대수적 구조 사이의 간극을 메운다. $V_{11}$의 VOA와 그 강한 유리스성을 식별함으로써, 저자는 비단위 모듈러 텐서 범주가 유니터리한 것(뒤틀린 하거럽 범주의 Drinfeld 중심)의 갈로아 공액임을 입증하였다. 이를 통해 해당 데이터가 $\mathbb{Z}_3$에 대한 뒤틀린 하거럽-이즈미 범의 중심으로 대응함을 보여준다. 본 연구의 결과는 $C_2$-코파이닛성 및 Zhu의 대수 분석을 위한 컴퓨터 보조 증명에 크게 의존하며, 엄밀성을 보장하기 위해 $\mathbb{Q}$ 상에서의 정확한 계산과 소수에 대한 검증이 수행되었다. 또한 저자는 홀수 $k$에 대한 일반적인 추측을 제안하며, $Z_{k-2} + (k-2)$ 근접 그룹 범주를 포함하는 $V_k$의 유사한 구조를 시사한다.