[논문 리뷰] A modular functor from state sums for finite tensor categories and their bimodules

Jürgen Fuchs, Gregor Schaumann외 1명|arXiv (Cornell University)|2019. 11. 14.

Intracranial Aneurysms: Treatment and Complications인용 수 6

한 줄 요약

이 논문은 유한 텐서 범주와 그 이중모듈러의 상태합으로 2-프레임된 경계론에 대해 모듈러 함수를 구성한다. 이는 유한 텐서 범주와 그 이중모듈러를 사용하여 1-다양체에 범주를, 2-다양체에 함자를 할당하며, 반순수성 또는 펄서럴 구조를 요구하지 않는다. 핵심 기여는 이중모듈러 범주를 통해 상태공간 위의 매핑 클래스 군 작용을 완전히 명시적이고 계산 가능한 방식으로 실현한 것이다. 이는 반순수성 설정을 초월하는 투라에프–비로 이론을 일반화한 이중범주적 상태합 형식론을 통해 이루어진다.

ABSTRACT

We construct a modular functor which takes its values in the monoidal bicategory of finite categories, left exact functors and natural transformations. The modular functor is defined on bordisms that are 2-framed. Accordingly we do not need to require that the finite categories appearing in our construction are semisimple, nor that the finite tensor categories that are assigned to two-dimensional strata are endowed with a pivotal structure. Our prescription can be understood as a state-sum construction. The state-sum variables are assigned to one-dimensional strata and take values in bimodule categories over finite tensor categories, whereby we also account for the presence of boundaries and defects. Our construction allows us to explicitly compute functors associated to surfaces and representations of mapping class groups acting on them.

연구 동기 및 목표

• 반순수성 또는 펄서럴 구조를 가정하지 않는 상태합 모델을 일반화하여 2-프레임된 경계론에 대해 모듈러 함수를 개발하는 것.
• 이중모듈러 범주를 사용하여 유한 텐서 범주 위의 이중모듈러에서 유한 텐서 범주에 대해 1차원 결함 다양체에 범주를, 2차원 표면에 함자를 할당하는 상태합 구성법을 제공하는 것.
• 입력 데이터에서 펄서럴 또는 구면 구조가 필요 없도록 제거하여, 반순수성 설정을 초월하는 상태합 구성의 범위를 확장하는 것.
• 유한 범주들의 모он로이드 이중범주 내의 자연변환을 통해 상태공간 위의 매핑 클래스 군 작용을 명시적으로 실현하는 것.
• 카테고리 대수학과 결함 구조를 사용하여 확장된 위상적 장 이론에서 함자와 표현을 계산할 수 있는 프레임워크를 구축하는 것.

제안 방법

• 1차원 스트라타에 변수를 할당하는 상태합 규정을 사용하며, 이는 유한 텐서 범주의 이중모듈러에서 값을 취한다.
• 유한 텐서 범주 위의 모듈러 범주를 통해 결함 1-다양체에 대해 범주를 할당한다.
• 일관되고 이중범주적 프레임워크 내에서 채워넣을 수 있는 디스크 대체와 정밀화 대체를 조합하여 결함 표면 위의 함자를 구성한다.
• 2-프레임 설정에서 미분형식 불변성을 확보하기 위해 평행화 절차와 프레임 이동을 적용한다.
• 정밀화 대체와 공통 부분정밀화를 기반으로 한 다이어그램 계산법을 적용하여 대체 시퀀스의 동치성을 증명한다.
• 유한 범주, 왼쪽 정확한 함자, 자연변환의 이중범주를 모듈러 함수의 대상으로 사용한다.

실험 결과

연구 질문

• RQ1 입력 유한 텐서 범주에서 반순수성 또는 펄서럴 구조를 가정하지 않고 2-프레임된 경계론에 대해 모듈러 함수를 구성할 수 있는가?
• RQ2 이중모듈러 범주를 체계적으로 활용하여 상태합 구성에서 표면과 결함에 대해 함자를 할당할 수 있는가?
• RQ3 정밀화 대체와 채워넣을 수 있는 디스크 대체는 상태합 구성의 불변성과 일관성을 확보하는 데 어떤 역할을 하는가?
• RQ4 이 프레임워크에서 상태공간 위의 매핑 클래스 군 작용을 어떻게 명시적으로 계산할 수 있는가?
• RQ5 이 구성이 완전히 계산 가능하고 카테고리적으로 구성될 수 있으며, 매핑 클래스 군 원소에 대한 명시적 자연변환을 제공할 수 있는가?

주요 결과

• 입력 유한 텐서 범주에서 반순수성 또는 펄서럴 구조를 요구하지 않고 모듈러 함수가 구성되었으며, 이는 이전의 상태합 모델을 일반화한다.
• 모든 2-프레임 표면에 대해 유한 범주가 할당되고, 매핑 클래스 군 원소에 대해 자연변환이 할당되며, 이는 이중모듈러 대체를 통해 명시적으로 계산 가능하다.
• 결함 표면의 두 정밀화 사이의 정밀화 대체가 상호 동치임을 증명하여, 상태합 규정의 일관성을 확보한다.
• 공통 부분정밀화와 이중범주 내의 관련 다이어그램의 교환성에 의해 채워넣을 수 있는 디스크 대체의 시퀀스 동치성이 확립된다.
• 표준 정밀화 대체가 창출, 해소, 소거 대체의 임의의 시퀀스와 동치임을 증명하여 구성의 보편성을 확보한다.
• 최종 결과로, 유한 범주, 왼쪽 정확한 함자, 자연변환의 모노이드 이중범주를 값으로 가지는 잘 정의되고 계산 가능한 모듈러 함수가 도출된다.