Cyclic Haagerup-Izumi fusion categories at every odd order

기술 요약: 모든 홀수 차수에서의 순환 하거럽-이즈미 융합 범주 (Cyclic Haagerup–Izumi Fusion Categories at Every Odd Order)

문제 정의
본 논문은 모든 홀수 정수 $n \geq 3$에 대하여 하거럽-이즈미(Haagerup–Izumi) 융합 규칙을 실현하는 구형 융합 범주(spherical fusion categories)의 존재성을 다룬다. 하거럽-이즈미 융합 환(fusion ring)은 유한 아벨 군 $G$ (여기서는 $G = \mathbb{Z}/n\mathbb{Z}$)와 기저 원소 $\{\alpha_a, \rho_a \mid a \in G\}$ 및 특정한 곱셈 규칙으로 정의된다. 이러한 범주의 존재성은 이즈미(Izumi) 등에 의해 작은 차수(예: $n=3, 5$)에 대해 명시적 구성이 이루어졌고, 더 큰 순환 차수에 대해서는 수치적 증거가 존재했으나, 모든 홀수 $n \geq 3$에 대한 일반적인 구성적 증명은 결여되어 있었다. 과제는 펜타곤 방정식(associativity constraints)을 푸는 것이며, 이는 쿤츠 대수(Cuntz algebra) 또는 레비트 대수(Leavitt algebra)의 생성원 위에서 비가역적 단순 대상 $\rho$를 정의하는 계수들에 대한 다항 방정식 시스템으로 귀결된다.

방법론
저자는 에반스(Evans)와 개넌(Gannon)의 프레임워크를 기반으로 한 비유니터리 재구성 접근법을 사용하며, 이는 $C^*$-대수 대신 레비트 대수의 종사(endomorphism)를 활용한다. 이를 통해 양-리(Yang–Lee) 범주와 유사하게 음의 범주적 차원을 갖는 비가역적 단순 대상을 가진 구형 융합 범주를 구성할 수 있다.

증명은 네 가지 별개의 부분으로 구성된다:

1. 구성 및 이차 항등식 (Construction and Quadratic Identities):
   저자는 쌍곡선 감마 함수 $\gamma^{(2)}(z; \omega_1, \omega_2)$의 샘플로부터 유도된 실수 계수 행렬 $A$를 명시적으로 구성한다. 주기(periods)는 $\omega_1 = d+1$ 및 $\omega_2 = 1+d^{-1}$로 선택되며, 여기서 $d = (n+\sqrt{n^2+4})/2$는 비가역적 단순 대상의 프로베니우스-페런 차원(Frobenius–Perron dimension)이다. 행렬의 성분들은 이러한 샘플들의 곱을 포함한다. 행렬의 역행렬에 대응하는 이차 항등식은 행렬 열의 유한 푸리에 변환을 계산하고, 쌍곡선 감마 함수의 반사(reflection) 및 이동(shift) 항등식을 활용함으로써 증명된다.

2. 3차 항등식을 위한 경로 계산 (Contour Calculation for Cubics):
   증명의 핵심은 펜타곤 방정식을 위해 요구되는 3차 항등식을 검증하는 것이다. 저자는 3차 잔차(cubic residual)를 곱의 변환(product transforms)의 차이로 환원한다. 이 잔차들의 푸리에 계수를 분석함으로써, 특정 범위의 계수들이 소멸함을 보여준다. 이러한 소멸은 네 개의 감마 적분의 성질로부터 유도된 "4개 항 경로 항등식(four-term contour identity)"을 통해 확립된다. 증명은 오일러 변환(Euler transformations)과 세심한 경로 변형(contour deformation)을 사용하여, 이 적분들의 선형 결합이 특정 주파수에 대해 0이 됨을 보여주는 데 활용된다.

3. 3차 항등식의 대수적 완결 (Algebraic Completion of the Cubics):
   경로 계산이 푸리에 계수의 일부 집합의 소멸만을 증명하기 때문에, 나머지 계수들은 대수적으로 회복된다. 저자는 3차 방정식의 치환 대칭(permutation symmetries)을 활용하고 다항 보간법(polynomial interpolation)을 사용한다. 경로 계산을 통해 3차 잔차가 충분한 수의 점들에서 소멸함을 보이고, 대칭성을 이용하여 퇴화된 인덱스를 알려진 사례로 매핑함으로써, 3차 잔차가 모든 인덱스에 대해 소멸함을 증명한다. 행렬 역행법을 사용하여 남은 인덱스 구성들을 커버하도록 솔루션을 반영한다.

4. 범주적 재구성 (Categorical Reconstruction):
   선형, 이차, 3차 항등식이 검증됨에 따라, 4차 항등식(전체 펜타곤 방정식)은 수축(contraction)에 의해 뒤따른다. 구성된 행렬에 파라미터 $\delta = -1/d$ (즉, $d^2 = nd + 1$의 음의 근)를 적용하여 에반스-개넌 재구성 정리를 적용한다. 이는 원하는 융합 규칙과 음의 범주적 차원을 갖는 복소 구형 융합 범주를 산출한다. 마지막으로, $\delta$를 $d$ (양의 근)로 매핑하는 $\mathbb{C}$의 체 자기동형 사상(field automorphism)을 적용한다. 이 변환은 다항식 재구성 방정식을 보존하며, 따라서 양의 범주적 차원을 갖는 의사 유니터리(pseudo-unitary) 범주를 산출한다.

주요 기여 및 결과

• 존재성 정리: 본 논문은 모든 홀수 $n \geq 3$에 대하여 순환 하거럽-이즈미 융합 규칙을 갖는 복소 구형 융합 범주가 존재함을 증명한다.
• 명시적 구성: 존재성 증명에서 수치적 근사를 피하기 위해 쌍곡선 감마 함수의 샘플을 사용하는 재구성 행렬 $A$의 명시적 공식을 제공한다.
• 의사 유니터리성 (Pseudo-unitarity): 이 구성은 모든 홀수 $n \geq 3$에 대하여 범주적 차원이 프로베니우스-페런 차원과 일치하는 의사 유니터리 범주화를 산출한다.
• 무한 가족: 이 결과는 랭크 $2n$에 의해 구별되는 이 유형의 서로 다른 무한히 많은 융합 범주들의 존재를 확립한다.
• 형식적 검증: 저자는 선형, 이차, 3차, 4차 계수 항등식이 Lean 4와 Mathlib을 사용하여 형식적으로 검증되었음을 언급하며, 이를 통해 해석적 입력값의 대수적 정확성을 보장한다.

의의
본 논문은 모든 홀수 순환 차수에 대한 하거럽-이즈미 융합 범주의 존재성에 관한 미해결 문제를 해결한다. 이는 작은 차수($n=3, 5, 7, 9$)의 분류와 높은 차수에 대한 수치적 증거를 넘어 확장된 결과를 제공한다. 비유니터리 재구성 프레임워크를 활용함으로써, 저자는 유니터리 범주를 직접 구성하는 어려움을 우회하여, 복소 구형 범주를 구축한 후 체 자기동형 사상을 적용하여 의사 유니터리 버전을 얻어낸다. 이 연구는 서브팩터 이론(subfactor theory)과 융합 범주에서의 이국적인 대칭(exotic symmetries)의 구조적 지형을 명확히 하며, 하거럽-이즈미 가족이 고립된 현상이 아닌 무한한 급례(infinite series)임을 확인한다. 본 논문은 결과물인 범주의 유니터리성을 확립한다고 주장하는 것이 아니라, 의사 유니터리성을 확립하는 것을 목적으로 한다.