[논문 리뷰] Homotopy field theory in dimension 3 and crossed group-categories

Vladimir Turaev|arXiv (Cornell University)|2000. 05. 31.

Homotopy and Cohomology in Algebraic Topology참고 문헌 25인용 수 152

한 줄 요약

이 논문은 대상 공간이 K(π,1)인 3차원 호모토피 양자 필드이론(HQFT)을 유도하는 대수적 구조로 모듈러 크로스드 π-카테고리(modular crossed π-categories)를 도입한다. 브레이드 및 레이버리카테고리의 군-중복 구조로의 일반화를 통해, K(π,1)로의 호모토플레인 사상의 호모토피류를 지닌 3차원 다면체의 불변량을 구성하며, 쿼라스트리앙귤러 크로스드 호프 π-코알제브라와 상태합(state-sum) 구성법을 통해 양자 불변량을 π-다면체로 확장한다.

ABSTRACT

A 3-dimensional homotopy quantum field theory (HQFT) can be described as a TQFT for surfaces and 3-cobordisms endowed with homotopy classes of maps into a given space. For a group $π$, we introduce a notion of a modular crossed $π$-category and show that such a category gives rise to a 3-dimensional HQFT with target space $K(π,1)$. This includes numerical invariants of 3-dimensional $π$-manifolds and a 2-dimensional homotopy modular functor. We also introduce and discuss a parallel notion of a quasitriangular crossed Hopf $π$-coalgebra.

연구 동기 및 목표

• 대상 공간이 K(π,1)인 3차원 호모토피 양자 필드이론(HQFT)을 체계적으로 구성하기 위한 대수적 프레임워크를 개발하는 것.
• 모듈러 텐서 카테고리의 일반화로서, 군-중복된 구조—크로스드 π-카테고리—를 도입하여 π-구조를 지닌 3차원 다면체의 불변량을 가능하게 하는 것.
• 모듈러 크로스드 π-카테고리와 3D HQFT 사이의 대응관계를 확립하여, 기존의 TQFT 구성법을 호모토플리컬 설정으로 확장하는 것.
• 쿼라스트리앙귤러 호프 π-코알제브라와 군의 준아벨 코hom로지와 같은 대수적 원천을 탐색하는 것.
• 3차원 π-다면체의 불변량을 위한 상태합 구성법을 제안하고, 수술과 影법(surgery 및 shadow) 방법과 연관짓는 것.

제안 방법

• 군 π에 의해 중복되는 모노이드 카테고리로서 크로스드 π-카테고리의 개념을 도입하며, 호환 가능한 작용과 브레이딩을 포함한다.
• 크로스드 π-카테고리 위에 브레이드, 리본, 모듈러 구조를 정의하여, 표준적인 모듈러 텐서 카테고리의 개념을 일반화한다.
• 함자에 의한 리본 크로스드 π-카테고리로의 사상에 의한 π-색을 가진 트링글과 R³ 내의 그래프의 불변량을 구성하며, 이를 사상값 불변량으로 산출한다.
• 카테고리 내의 대상에 대한 트레이스 및 차원 함수를 정의하며, 이는 모듈러 데이터 및 불변량을 정의하는 데 필수적이다.
• 모듈러 크로스드 π-카테고리로부터 3차원 HQFT를 수립하며, π-표면에는 K-모듈을, π-코버디즘에는 불변량을 할당한다.
• 삼각분할과 카테고리의 대수적 자료를 사용하여 3차원 π-다면체의 불변량을 위한 상태합 구성법(부록 2)을 개발한다.

실험 결과

연구 질문

• RQ1 어떻게 모듈러 텐서 카테고리가 비자명한 대상 공간을 지닌 3D HQFT를 묘사하기 위해 군-중복 설정으로 일반화될 수 있는가?
• RQ2 어떤 대수적 구조가 3차원 π-다면체—즉, K(π,1)로의 호모토플레인 사상의 호모토플레인류를 지닌 3차원 다면체—의 불변량을 유도하는가?
• RQ3 쿼라스트리앙귤러 호프 π-코알제브라가 모듈러 크로스드 π-카테고리와 3D HQFT를 구성하는 데 사용될 수 있는가?
• RQ4 π-다면체의 맥락에서 상태합 불변량과 수술 기반 불변량 사이의 관계는 무엇인가?
• RQ5 이 이론은 스핀-구조, 사이버그-위튼 불변량, 또는 고차원 HQFT를 포함하도록 어떻게 확장될 수 있는가?

주요 결과

• 모듈러 크로스드 π-카테고리는 K(π,1)를 대상 공간으로 하는 3차원 HQFT를 유도하며, π-다면체에 대해 불변량을 할당하고 π-표면에는 K-모듈을 할당한다.
• 이 구성은 리셰티힌-투레프 TQFT를 일반화한다: π = 1일 경우 이 이론은 표준적인 모듈러 카테고리 구성으로 수렴한다.
• 모듈러 크로스드 π-카테고리로부터 2차원 호모토플리컬 모듈러 함수가 유도되며, π-표면에는 K-모듈을, π-코버디즘에는 상호작용 맵을 할당한다.
• 쿼라스트리앙귤러 크로스드 호프 π-코알제브라는 모듈러 크로스드 π-카테고리의 원천을 제공하며, 드린펠트 원소와 구면 구조에서 유래한 예가 존재한다.
• 삼각분할과 카테고리의 대수적 자료를 사용하여 3차원 π-다면체의 상태합 불변량을 구성하며, 투레프-비로 구성법을 일반화한다.
• 구면 크로스드 호프 π-코알제브라로부터 표현의 구면 카테고리가 유도되며, 이는 π-중복과 호환되는 쌍대성과 트레이스 구조를 지닌다.