[논문 리뷰] On $G$--modular functor

Alexander Kirillov, Tanvir Prince|ArXiv.org|2008. 07. 07.

Algebraic structures and combinatorial models참고 문헌 16인용 수 4

한 줄 요약

이 논문은 유한군 $G$에 대해 $G$--equivariant 모듈라 함수와 $G$-equivariant 융합 카테고리 사이의 등가성을 확립한다. 이는 비-equivariant 경우에 알려진 대응을 일반화한 것이다. 표면의 $G$-덮개에 대한 Moore-Seiberg 유형의 형식을 사용하여, 저자들은 융합 카테고리로부터 $G$-equivariant 모듈라 함수 데이터를 구성하고, 그 반대로도 마찬가지로 구성하며, 표준 표면와 $G$-덮개의 호환성 관계 및 $G$-덮개의 위상동형사상에 기반한 공리적 관계를 통해 종수 0에서 정확한 카테고리적 등가성을 증명한다.

ABSTRACT

In this paper, we extend the notion of modular functor and fusion category to what we called $G$ equivariant modular functor and $G$ equivariant fusion category, where $G$ is a finite group, and establish a correspondence between between these notions.

연구 동기 및 목표

• 유한군 $G$에 대해 모듈라 함수와 융합 카테고리 사이의 대응을 $G$-equivariant 설정으로 확장하는 것.
• orbifold conformal field theories를 위한 대수적 형식을 $G$-equivariant 구조를 사용하여 제공하는 것.
• Moore-Seiberg 공리 체계를 리만 표면의 $G$-덮개로 일반화하는 것.
• 종수 0에서 $G$-equivariant 모듈라 함수와 $G$-equivariant 융합 카테고리가 카테고리적으로 등가임을 증명하는 것.
• 위상적 자료(예: $G$-덮개의 위상동형사상)와 대수적 자료(예: $G$-작용과 브레이딩을 갖춘 텐서 카테고리) 사이의 정확한 사전을 수립하는 것.

제안 방법

• $G$-grading, $G$-작용 함자 $R_g$, 그리고 결합성과 그 grading과의 호환성을 만족하는 이sovism $\alpha_{g,h}$를 통해 $G$-equivariant 융합 카테고리를 정의한다.
• 모듈라 함수의 공리적 체계를 일반화하여, $G$-equivariant Moore-Seiberg 자료를 함수적 이sovism 집합(예: 브레이딩 $R_{V,W}$, 평가, 코평가)으로 정의하며, 이는 육각형, 이중성, $\phi$-관계 공리에 따라 구성된다.
• 표준 표면에 $G$-덮개를 부착하고 접합 관계를 이용하여 $G$-equivariant 모듈라 함수를 $G$-equivariant 융합 카테고리에서 구성한다.
• 모듈라 함수의 함자성에 기반하여, $G$-덮개 복합체 $M(\widetilde{\Sigma}, \Sigma)$ 상에서 $G$-equivariant 모듈라 함수가 $G$-equivariant Moore-Seiberg 자료를 유도함을 보여 주어 주요 정리를 증명한다.
• 모듈라 함수의 해당 공리들로부터 $G$-equivariant Moore-Seiberg 자료의 모든 공리(결합성, 육각형, 디엔 투그, 등)가 유도됨을 검증한다.
• 위상동형사상(예: $\tilde{b}$, $\tilde{\alpha}_{k,l}$)을 사용하여 모듈라 함수 설정에서의 conformal block과 이sovism을 정의하고 상호 연결한다.

실험 결과

연구 질문

• RQ1 모듈라 함수와 융합 카테고리 사이의 대응은 유한군 $G$에 대해 $G$-equivariant 설정으로 확장될 수 있는가?
• RQ2 표면의 $G$-덮개에 대응하는 공리적 체계는 무엇인가? 이는 $G$-equivariant 융합 카테고리에 해당한다.
• RQ3 모듈라 함수의 표준 Moore-Seiberg 공리 체계는 $G$-틀린 섹터가 카테고리에 포함될 경우 어떻게 일반화되는가?
• RQ4 모듈라 함수로부터 $G$-equivariant 융합 카테고리를 재구성할 수 있는 표준적인 방법이 있는가?
• RQ5 $G$-덮개 위상동형사상은 $G$-equivariant 텐서 카테고리의 대수적 자료를 어떻게 코딩하는가?

주요 결과

• 논문은 종수 0에서 $G$-equivariant 모듈라 함수와 $G$-equivariant 융합 카테고리 사이에 일대일 대응을 확립한다.
• 융합 카테고리로부터 $G$-equivariant 모듈라 함수를 구성하는 데에는 표준 표면에 $G$-덮개를 부착하고, 함수적 이sovism을 통해 conformal block을 정의하는 접합 관계가 사용된다.
• 역으로, 모듈라 함수로부터 $G$-equivariant Moore-Seiberg 자료를 유도하는 데에는 모듈라 함수의 복합체 $M(\widetilde{\Sigma}, \Sigma)$ 상에서의 함자성에 기반한다.
• 모듈라 함수의 해당 공리들로부터 $G$-equivariant Moore-Seiberg 자료의 모든 공리(육각형, 디엔 투그, $\phi$-관계 포함)가 유도됨을 보였다.
• 모듈라 함수의 복합체 $M(\widetilde{\Sigma}, \Sigma)$에서의 디엔 투그 관계에 기반하여, $G$-equivariant Moore-Seiberg 자료의 디엔 투그 공리가 함자성에 의해 도출된다.
• 등가성은 모듈라 함수 설정에서의 모든 구조적 이sovism(브레이딩, 이중성, 교환성 등)이 융합 카테고리 프레임워크에서 요구되는 공리들과 정확히 대응됨을 보여 줌으로써 증명된다.