[논문 리뷰] On fusion categories

Pavel Etingof, Dmitri Nikshych외 1명|arXiv (Cornell University)|2002. 03. 07.

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

한 줄 요약

이 논문은 약한 호프 대수와 카테고리적 딜로우티를 사용하여 특성 0 체 위의 융합 분류에 기본적인 결과를 수립한다. 융합 분류의 전역 차원이 항상 양수임을 증명하고, 임의의 모듈라 분류의 S-행렬이 유니터리임을 보이며, 모듈러 함수가 형성하는 카테고리는 반단순임을 증명하고, 변형에 대해 융합 분류가 강한 고정성(오츠네아우 고정성)을 가짐을 보인다. 주요 기여는 프로베니우스-페르로우 차원의 개발과 카테고리적 차원 및 릿지 속성 기술에서의 역할이다.

ABSTRACT

Using a variety of methods developed in the literature (in particular, the theory of weak Hopf algebras), we prove a number of general results about fusion categories in characteristic zero. We show that the global dimension of a fusion category is always positive, and that the S-matrix of any modular category (not necessarily hermitian) is unitary. We also show that the category of module functors between two module categories over a fusion category is semisimple, and that fusion categories and tensor functors between them are undeformable (generalized Ocneanu rigidity). In particular the number of such categories (functors) realizing a given fusion datum is finite. Finally, we develop the theory of Frobenius-Perron dimensions in an arbitrary fusion category and classify categories of prime dimension.

연구 동기 및 목표

• 제한 조건 없이 융합 분류의 일반적 구조적 성질을 수립하기 위해.
• 특성 0에서 융합 분류의 전역 차원이 항상 양수임을 증명하기 위해.
• 헤르미티안 구조를 가정하지 않더라도 임의의 모듈라 분류의 S-행렬이 항상 유니터리임을 보여주기 위해.
• 융합 분류 위의 모듈러 카테고리 간의 모듈러 함수 카테고리가 항상 반단순임을 증명하기 위해.
• 융합 분류와 그 사이의 텐서 함수가 변형에 대해 불가능함(옥네아누 고정성)임을 증명하여, 주어진 융합 데이터에 대해 유한 개의 실현이 존재함을 의미하기 위해.

제안 방법

• 정규화된 약한 호프 대수 이론을 사용하여 항등 함자가 네 번째 쌍대 함자와 자연동치임을 증명함으로써 전역 차원의 양수성을 기반으로 함.
• 반단순 연결 정규 약한 호프 대수에서 제곱 쌍대 사상의 트레이스 공식을 적용하여 핵심 차원 항등식을 도출함.
• 약한 호프 대수 확장의 코호모로지 복합체에서 B-불변 부분복합체의 비순환성을 증명하고, 이를 변형 복합체와 연결함.
• 반단순 준호프 대수에 대해 니컬즈-조엘러 자유성 정리의 카테고리적 동반체를 수립함.
• 리프팅 이론을 사용하여 양의 특성에서의 융합 분류를 그 특성 0 리프팅과 연결함으로써 차원의 나눗셈 논증을 가능하게 함.
• S-행렬 성분에 갈루아 이론을 적용하여 그들이 원분체에 속함을 보이고, 이를 통해 SL(2,Z) 표현의 유니터리성을 증명함.

실험 결과

연구 질문

• RQ1 특성 0에서 융합 분류의 전역 차원이 항상 양수인가?
• RQ2 헤르미티안 구조 없이도 모듈라 분류의 S-행렬이 항상 유니터리인가?
• RQ3 융합 분류 위의 두 모듈러 카테고리 간의 모듈러 함수 카테고리가 항상 반단순인가?
• RQ4 융합 분류와 그 사이의 텐서 함수는 변형 가능한가, 아니면 변형에 대해 고정되어 있는가?
• RQ5 프로베니우스-페르로우 차원은 카테고리적 차원과 리프팅 성질을 기술하는 데 어떤 역할을 하는가?

주요 결과

• 특성 0 체 위의 임의의 융합 분류의 전역 차원은 엄밀히 양수이다.
• 복소수 위의 임의의 모듈라 분류의 S-행렬은 갈루아 불변성과 크로네커-우버 정리의 결과로 유니터리이다.
• 융합 분류 위의 두 모듈러 카테고리 간의 모듈러 함수 카테고리는 반단수이며, 이는 쌍대 및 드린펠트 중심 구성에도 적용된다.
• 융합 분류와 그 사이의 텐서 함수는 변형에 대해 고정되어 있다(옥네아누 고정성), 이는 주어진 융합 데이터에 대해 이러한 분류나 함수가 유한 개 존재함을 의미한다.
• 융합 분류의 프로베니우스-페르로우 차원은 대수적 정수의 링 안에서 전역 차원을 나누며, 그 몫은 1 이하이다.
• 프로베니우스-페르로우 차원이 정수일 경우, 전역 차원과 일치하며, 소수 차원 p를 가진 융합 분류는 3-코호몰로지가 있는 순환군의 표현 카테고리와 동치이다.