Inequivalent modular tensor categories with identical $S$, $T$ and $W$

기술적 요약: 동일한 S, T, W를 갖는 불동치 모듈러 텐서 범주

문제 정의
본 연구에서 다루는 핵심 질문은 모듈러 데이터 $(S, T)$가 화이트헤드 연결(Whitehead-link) 행렬 $W$에 의해 보강되었을 때, 리본 동치(ribbon equivalence)까지 모듈러 텐서 범주(MTC)를 유일하게 결정하는가 하는 점이다. 기존의 결과들은 $(S, T)$만으로는 불충분함을 입증하였으며, 그 반례로 군 $G = \mathbb{Z}_q \rtimes \mathbb{Z}_p$의 드린펠드 중심(Drinfeld center)이 제시된 바 있다. 이후의 연구에서는 $W$-행렬을 색이 칠해진 프레임 방향성 화이트헤드 연결(colored framed oriented Whitehead links)의 정규화된 불변량으로 도입하여, $(S, T)$가 실패하는 특정 사례들을 구별해 냈다. 그러나 결합된 데이터 $(S, T, W)$가 리본 동치까지의 완전한 분류를 위해 충분한지에 대해서는 미해결 문제로 남아 있었다.

방법론 및 구성
저자들은 $p \geq 5$인 소수에 대해 유한 아벨 군 $V = (\mathbb{Z}/p\mathbb{Z})^3$와 관련된 디즈그라프-위튼(Dijkgraaf–Witten) 모듈러 범주를 사용하여 반례 군(family of counterexamples)을 구축한다. 이 구성은 $V$ 상의 3-코사이클(3-cocycle) 분류에 기초한다. 코호몰로지 군 $H^3(V, U(1))$은 대칭 부분(이차적)과 교대 부분(alternating part)으로 분해된다.

1. 코사이클 정의: 저자들은 $u \in (\mathbb{Z}/p\mathbb{Z})^\times$에 의해 매개되는 일련의 3-코사이클 $\omega_u = \kappa \cdot \tau_u$를 정의한다.

   • $\kappa$는 정수 대표원과 캐리 함수(carry functions)를 사용하여 정규화를 보장하도록 구성된, 이차 코호몰로지 불변량으로부터 유도된 정규화된 3-코사이클이다.
   • $\tau_u$는 행렬식(determinant)을 통해 정의된 교대 3-코사이클로, $\tau_u(a, b, c) = \zeta^{\frac{u}{6}\det(a,b,c)}$이다 (여기서 $\zeta = e^{2\pi i/p}$).
   • 모듈러 범주는 정규화된 리본 구조를 갖춘 드린펠드 중심 $C_u = \mathcal{Z}(\text{Vec}_{V}^{\omega_u})$로 정의된다.

2. 불변량 일치 (부분 A): 서로 다른 범주들이 동일한 불변량을 공유함을 증명하기 위해, 저자들은 이 범주들을 차수가 최대 2인 부분군 $P \subseteq V$로 제한하여 분석한다.

   • 저자들은 교대 인자 $\tau_u$가 차원이 2 이하인 임의의 부분공간으로 제한될 때 소멸함을 보인다 (3개의 벡터가 2차원 공간에 있을 때 행렬식이 0이 되기 때문).
   • 결과적으로, 제한된 코사이클 $\omega_u|_P$와 $\omega_v|_P$는 이차 부분인 $\kappa|_P$와 일치한다.
   • 플럭스(fluxes)와 사영 캐릭터(projective characters)를 보존하는 단순 대상(simple objects) 간의 전단사 함수 $\Lambda_{uv}$를 확립함으로써, 저자들은 최대 2개의 성분을 가진 프레임 방향성 연결에 대한 레셰티킨-투라에프(Reshetikhin–Turaev, RT) 불변량이 이 전단사 함수 하에서 동일함을 보인다.
   • 이 등식은 $S, T, W$ 행렬로 확장되는데, 이는 1-성분 및 2-성분 연결 평가로부터 유도되기 때문이다.

3. 동치에 대한 장애 (부분 B): 범주들이 리본 동치가 아님을 증명하기 위해, 저자들은 브레이디드 동치(braided equivalences)의 구조를 분석한다.

   • 모든 브레이디드 동치 $\Phi: C_u \to C_v$는 "전기적 부분 범주"(가역 대상들의 부분 범주)를 보존해야 하며, 이는 $\text{Rep}(V)$와 동형이다.
   • 이 동치는 기저가 되는 점 표적 범주(pointed categories) $\text{Vec}_{V}^{\omega_u}$와 $\text{Vec}_{V}^{\omega_v}$ 사이의 모노이달 동치를 유도한다.
   • 이차 불변량 $q$와 교대 불변량 $\text{Alt}$를 사용하는 코호몰로지 불변량을 통해, 저자들은 동치에 의해 유도된 자기 동형 사상 $M \in GL_3(\mathbb{F}_p)$에 대한 제약 조건을 도출한다.
   • 이차 불변량은 $\det(M) = \pm 1$을 강제하고, 교대 불변량은 $v \det(M) = u$를 강제한다.
   • 이러한 조건들은 브레이디드 동치가 존재할 필요충분조건이 $u = \pm v$임을 의미한다. 따라서 $u \neq \pm v$인 경우, 범주들은 브레이디드 비동치이며(따라서 리본 비동치), 결과적으로 리본 비동치이다.

4. 3-다양체 불변량을 통한 구별: 저자들은 보로메오 연결(Borromean link)에 계수 $+p$로 서저리(surgery)를 가하여 얻은 특정 폐쇄 방향성 3-다양체 $M_p$ 상의 색이 칠해지지 않은 분할 함수(uncolored partition function)를 사용하여 이들을 추가로 구별한다.

   • 계산 과정은 홀로노미(holonomy)에 대한 유한 합을 포함하며, 이는 명시적으로 교대 항 $u \det(a, b, c)$에 의존한다.
   • 결과적으로 도출된 분할 함수 $Z_u(M_p)$는 $u = \pm v$가 아닌 한 $u$와 $v$를 구별하여, 모든 $(p-1)/2$개의 동치류를 분리해 낸다.

주요 결과

• 주 정리: 모든 소수 $p \geq 5$에 대하여, $(\mathbb{Z}/p\mathbb{Z})^3$와 관련된 디즈그라프-위튼 모듈러 범주족 $\{C_u\}_{u \in \mathbb{F}_p^\times}$가 존재하며, 다음을 만족한다:
  1. 단순 대상들 사이의 전단사가 존재하여, 임의의 쌍 $C_u, C_v$에 대해 행렬 $S, T, W$ (및 2-성분 이하의 연결에 대한 모든 RT 불변량)가 동일하다.
  2. $C_u$와 $C_v$는 $u = \pm v$일 때만 브레이디드 동치이다.
• 따름 정리: $p=5$인 경우, 차수가 125인 트위스티드 드린펠드 이중체(twisted Drinfeld doubles)인 $C_1$과 $C_2$는 동일한 $S, T, W$ 데이터를 공유하지만 리본 동치가 아니다.

의의
본 논문은 $(S, T, W)$가 리본 동치까지 MTC를 결정하는가라는 질문에 부정적인 답변을 제공한다. 이는 색이 칠해진 프레임 방향성 연결(최대 2개 성분)의 결합된 데이터가 모든 모듈러 텐서 범주를 구별하기에는 불충분함을 보여준다. 이 구성은 특정한 메커니즘을 강조한다: 즉, (2차원 제한 및 1-, 2-성분 연결 불변량을 지배하는) 이차 코호몰로지 성분을 고정하는 동시에, (이러한 탐지 도구에는 보이지 않지만 전체 브레이디드 구조나 3-성분 불변량에는 감지되는) 교대 성분을 변화시키는 것이다.

결론적으로, 본 연구는 리본 동치까지의 모듈러 텐서 범주의 완전한 분류를 위해서는 색이 칠해진 프레임 방향성 연결의 불변량 이상의 것이 필요함을 시사한다. 저자들은 이러한 구별 가능한 불변량으로서, 3-다양체 상의 명시적인 분석적 평가를 제공하는 uncolored partition function을 제시한다.