[논문 리뷰] Some non-braided fusion categories of rank 3

Tobias Hagge, Seung-Moon Hong|ArXiv.org|2007. 04. 02.

Algebraic structures and combinatorial models참고 문헌 11인용 수 12

한 줄 요약

이 논문은 특정 비브레이드된 융합 규칙 집합 하에서 세 개의 단순 객체를 가진 모든 융합 분류를 분류하며, 정확히 네 개인 모노이드적으로 비동치인 카테고리가 있음을 증명한다. 이들은 비브레이드된 성질을 지니며, 구체적인 결합성 행렬과 새로운 초보자 수준의 증명을 통해 사중 이중 함자(functor)가 항등 함자와 자연스럽게 위상동치(naturally isomorphic)임을 보이며, 옥스트릭의 가설 하에서 랭크-3 융합 카테고리의 분류를 완성한다.

ABSTRACT

We classify all fusion categories for a given set of fusion rules with three simple object types. If a conjecture of Ostrik is true, our classification completes the classification of fusion categories with three simple object types. To facilitate the discussion we describe a convenient, concrete and useful variation of graphical calculus for fusion categories, discuss pivotality and sphericity in this framework, and give a short and elementary re-proof of the fact that the quadruple dual functor is naturally isomorphic to the identity.

연구 동기 및 목표

• 주어진 비브레이드된 융합 규칙 집합 하에서 세 개의 단순 객체를 가진 모든 융합 카테고리를 분류하는 것.
• 이 카테고리들이 브레이드된 융합 카테고리로 실현될 수 없는지 확인하는 것.
• 명시적인 펄서블 구조를 사용하여 네 개의 카테고리가 구형임을 증명하는 것.
• 사중 이중 함자가 항등 함자와 자연스럽게 위상동치임을 보여주는 새로운 초보자 수준의 증명을 제공하는 것.
• 옥스트릭의 추측 하에서 랭크-3 융합 카테고리의 분류를 완성하는 것.

제안 방법

• 융합 카테고리의 스트릭타이라이제이션(skeletization 및 strictification)을 통해 대수적 계산을 단순화하는 엄격화된 스켈레톤 모델을 구성하는 것.
• 스트릭타이라이제이션된 스켈레톤에서의 결합성 행렬을 사용하여 융합 카테고리의 공리들을 복소수 위에서 다항방정식 시스템으로 기술하는 것.
• 정규화와 그로버 기저(Gröbner basis) 기법을 통해 유도된 다항방정식 시스템을 풀어 모든 모노이드적으로 비동치인 해를 찾는 것.
• 이중성(duality)을 확인하기 위해 직접적으로 쌍대 사상(duality morphisms)을 계산하고 융합 규칙과의 일관성을 검증하는 것.
• 모르피즘 공간 위에서 이중 이중 함자의 작용을 사용하여 구형성을 테스트하며, 이중 이중 행렬의 세 제곱이 항등행렬임을 보이는 것.
• 한 해의 계수에 갈로아 자동형사상(Galois automorphisms)을 적용하여 나머지 세 개의 비동치 카테고리를 생성하는 것.

실험 결과

연구 질문

• RQ1 주어진 비브레이드된 융합 규칙 집합과 세 개의 단순 객체를 가진 상황에서, 몇 개인 모노이드적으로 비동치인 융합 카테고리가 존재하는가?
• RQ2 이 논문에서 분류된 네 개의 카테고리들은 브레이딩을 갖출 수 있는가? 만약 불가능하면 그 이유는 무엇인가?
• RQ3 이 카테고리들에서 사중 이중 함자가 항등 함자와 자연스럽게 위상동치인가? 그리고 이를 초보자 수준의 증명으로 보일 수 있는가?
• RQ4 이 카테고리들은 구형 구조를 갖는가? 이 경우 펄서블성(pivotality)의 역할은 무엇인가?
• RQ5 브레이딩의 부재가 융합 카테고리에서 구형 구조의 존재에 어떤 영향을 미치는가?

주요 결과

• 주어진 융합 규칙과 세 개의 단순 객체(1, x, y)를 가진 융합 카테고리 중 정확히 네 개인 모노이드적으로 비동치인 카테고리가 존재한다.
• 네 개의 카테고리들은 결합성 행렬의 계수에 작용하는 비자명한 갈로아 자동형사상에 의해 관련되어 있다.
• 네 카테고리 모두에서 브레이딩을 갖출 수 없으며, 이는 육각 방정식(hexagon equations)의 해가 존재하지 않기 때문이다.
• 네 카테고리 모두가 구형임을 확인하였으며, 이는 이중 이중 함자가 모르피즘 공간 위에서 항등행렬로 작용하기 때문이다.
• 사중 이중 함자가 항등 함자와 자연스럽게 위상동치임을 보여주는 증명은 초보자 수준이며, 엄격화된 스켈레톤 구조에 기반한다.
• 명시적인 결합성 행렬은 부록 A에 제시되어 있으며, 복소수 계수를 포함한 단위근과 대수적 수를 포함한 모든 융합 규칙에 대한 행렬이 포함되어 있다.