[논문 리뷰] Fusion categories between $C \boxtimes D$ and $C * D$

Masaki Izumi, Scott Morrison외 1명|arXiv (Cornell University)|2013. 08. 27.

Algebraic structures and combinatorial models참고 문헌 15인용 수 8

한 줄 요약

이 논문은 두 융합 카테고리 $C$와 $D$의 자유곱 $C * D$와 텐서곱 $C \boxtimes D$ 사이의 중간 융합 카테고리들을 조사한다. 특히 $C = D = A_2$ 및 $C = D = T_2$의 경우에 초점을 맞춘다. 젤리피시 알고리즘과 다이어그램 계산법을 사용하여, 매개변수 $n \geq 1$과 $n$제 단위근인 $\omega$를 통해 이러한 복합체를 분류하고, $n \geq 4$일 때 $C = A_2$, $D = T_2$ 또는 $C = D = T_2$인 경우 그러한 복합체가 존재하지 않음을 증명한다. 이는 비슈 및 하아거룹의 추측을 해결하고, 명시적인 다이어그램 평가를 통해 존재하지 않음을 확인한다.

ABSTRACT

Given a pair of fusion categories $C$ and $D$, we may form the free product $C * D$ and the tensor product $C \boxtimes D$. It is natural to think of the tensor product as a quotient of the free product. What other quotients are possible? When $C=D=A_2$, there is an infinite family of quotients interpolating between the free product and the tensor product (closely related to the $A_{2n-1}^{(1)}$ and $D_{n+2}^{(1)}$ subfactors at index 4). Bisch and Haagerup discovered one example of such an intermediate quotient when $C=A_2$ and $D=T_2$, and suggested that there might be another family here. We show that such quotients are characterized by parameters $n \geq 1$ and $ω$ with $ω^{2n}=1$. For $n=1,2,3$, we show $ω$ must be 1, and construct the corresponding quotient ($n=1$ is the tensor product, $n=2$ is the example discovered by Bisch and Haagerup, and $n=3$ is new). We further show that there are no such quotients for $4 \leq n \leq 10$. Our methods also apply to the case when $C=D=T_2$, and we prove similar results there. During the preparation of this manuscript we learnt of an independent result of Liu's on subfactors. With the translation between the subfactor and fusion category settings provided here, it follows there are no such quotients for any $n \geq 4$.

연구 동기 및 목표

• 자유곱 $C * D$와 텐서곱 $C \boxtimes D$ 사이의 중간 융합 카테고리들을 융합 카테고리 $C$와 $D$에 대해 분류하는 것.
• 비슈와 하아거룹이 제안한 바와 같이, $C = A_2$, $D = T_2$일 때 무한한 가족의 복합체가 존재하는지 조사하는 것.
• 특히 작은 $n$에 대해 이러한 복합체가 존재하는 조건을 규명하고, $n \geq 4$일 때 존재하지 않음을 증명하는 것.
• 특수한 경우 $C = D = T_2$에 대해 분류를 확장하고, 결과를 부분형 이론과 비교하는 것.

제안 방법

• 융합 카테고리 내의 다이어그램 표현을 평가하기 위해 젤리피시 알고리즘을 사용하며, 특히 기차 궤도 기저에서 경계를 가진 특정 다이어그램의 평가에 초점을 맞춘다.
• 단일 다이어그램에 대해 두 가지 다른 젤리피시 이동 순서를 계산하여 기차 궤도 기저에서 서로 다른 표현을 도출한다.
• 복합체의 존재는 이러한 두 평가 간의 일관성에 달려 있으며, 일관성이 없으면 존재하지 않음을 의미한다.
• Mathematica를 사용하여 'JellyfishCalculations' 노트북을 활용해 $n = 1$부터 $n = 4$까지 기차 궤도 기저에서 사상의 계수를 명시적으로 계산한다.
• 매개변수 $n$은 $C$와 $D$의 생성자에서 이루어진 교차하는 길이 $n$의 단어들이 서로 동형임을 보장하는 최소 길이로 정의되며, $\omega$는 $n$제 단위근이다.
• 융합 카테고리와 부분형 이론 간의 번역을 통해, 류의 독립적인 결과를 활용하여 $n \geq 4$일 때 항상 존재하지 않음을 결론내린다.

실험 결과

연구 질문

• RQ1 어느 $n$과 단위근 $\omega$ 값들에 대해 $A_2 * T_2$와 $A_2 \boxtimes T_2$ 사이의 중간 융합 카테고리가 존재하는가?
• RQ2 $A_2 * A_2$와 $A_2 \boxtimes A_2$ 사이의 무한한 가족의 복합체가 $A_2 * T_2$의 경우로 확장될 수 있는가?
• RQ3 $n = 2$일 때 비슈와 하아거룹의 예시는 $A_2 * T_2$의 경우에서 $n = 2$에 대해 유일한 복합체인가?
• RQ4 매개변수 $\omega$는 이러한 복합체를 분류하는 데 어떤 역할을 하는가? 그리고 왜 $n = 1,2,3$일 때 $\omega = 1$이어야 하는가?
• RQ5 $A_2 * T_2$ 또는 $T_2 * T_2$의 경우에 대해 $n \geq 4$일 때 이러한 복합체가 존재하는가?

주요 결과

• $C = A_2$, $D = T_2$일 때, 복합체는 $n = 1, 2, 3$이고 $\omega = 1$일 때만 존재하며, $4 \leq n \leq 10$일 때는 두 젤리피시 이동 순서에 의한 다이어그램 평가가 일관되지 않아 존재하지 않음을 입증하였다.
• $n = 1$은 텐서곱 $A_2 \boxtimes T_2$에 해당하고, $n = 2$는 비슈-하아거룹 예시와 일치하며, $n = 3$은 새로운 구성이다.
• $C = D = T_2$일 때는 $n = 2$와 $n = 3$에 대해 유일한 복합체가 존재하며, $\omega = 1$이면서 $4 \leq n \leq 10$일 때는 존재하지 않으며, 동일한 존재하지 않음의 논증이 적용된다.
• $n \geq 4$일 때의 존재하지 않음은 기차 궤도 기저에서의 명시적 다이어그램 평가를 통해 확인되었으며, 두 가지 다른 젤리피시 이동 순서가 서로 다른 결과를 도출한다.
• $A_4 - A_4$ 복합체의 $n = 2$와 $n = 3$의 주요 그래프는 명시적으로 계산되었고, 알려진 부분형 그래프와 일치한다.
• 결과는 류의 독립적인 부분형 이론 결과와 일치하며, 부분형 이론과 융합 카테고리 이론 간의 번역을 통해 $n \geq 4$일 때 항상 존재하지 않음을 결론내렸다.