[논문 리뷰] S-Structures for k-linear categories and the definition of a modular functor

Ulrike Tillmann|ArXiv.org|1998. 02. 18.

Homotopy and Cohomology in Algebraic Topology참고 문헌 7인용 수 6

한 줄 요약

이 논문은 k-선형 범주에 대해 S-구조를 도입하여 모듈라 함수자와 양자적 위상론의 공리를 통합적인 프레임워크로 정의한다. 표면의 기하학적 성질에서 위상적 양자 이론의 공리와 모듈라 함수자의 공리가 자연스럽게 유도됨을 보여주며, 표면 범주에 대한 작용을 갖는 임의의 k-선형 범주는 반드시 준단순적이고 아르틴ian임을 증명한다. 이는 위상적 원리에서 대수적 구조를 유도하는 것이다.

ABSTRACT

Motivated by ideas from string theory and quantum field theory new invariants of knots and 3-dimensional manifolds have been constructed from complex algebraic structures such as Hopf algebras (Reshetikhin and Turaev), monoidal categories with additional structure (Turaev and Yetter), and modular functors (Walker and Kontsevich). These constructions are very closely related. We take a unifying categorical approach based on a natural 2-dimensional generalization of a topological field theory in the sense of Atiyah and Segal, and show that the axioms defining these complex algebraic structures are a consequence of the underlying geometry of surfaces. In particular, we show that any linear category over a field with an action of the surface category is semi-simple and Artinian.

연구 동기 및 목표

• 양자 위상수학에서의 불변량, 예를 들어 호프 대수, 단일 범주, 모듈라 함수자로부터 유도된 다양한 구성들을 하나의 범주론적 프레임워크로 통합하기 위해.
• S-구조를 도입하여 위상적 양자 이론과 모듈라 함수자의 대수적 공리의 기하적 기원을 명확히 하기 위해.
• 표면 범주가 k-선형 범주에 작용할 경우 준단순성과 아르틴ian 조건이라는 대수적 성질이 자연스럽게 유도됨을 입증하기 위해.
• 표면의 기하학과 2차원 장 이론과의 연결을 통해 모듈라 함수자의 엄밀한 범주론적 기초를 제공하기 위해.

제안 방법

• 아티야-세갈 위상적 장 이론의 2차원 일반화로 간주되는 k-선형 범주에 대한 S-구조 개념을 도입하기 위해.
• 표면와 그들의 코버디즘을 사상으로서 작용하는 표면 범주가 k-선형 범주에 작용하도록 정의하기 위해.
• 표면의 기하학적 구조를 이용해 범주에 대한 대수적 제약 조건, 예를 들어 준단순성과 아르틴ian 성질을 도출하기 위해.
• 범주론적 및 호몰로지 기법을 적용하여 범주가 단순 객체들로 분해되고 모든 객체가 유한 길이를 가짐을 보여주기 위해.
• 모듈라 함수자 및 관련 대수적 구조의 공리들이 부호화된 것이 아니라, 기초가 되는 위상수학에서 유도됨을 보여주기 위해.
• 기하 위상수학과 범주론의 결과를 활용하여 표면 범주의 작용이 유한성과 준단순성을 강제함을 보여주기 위해.

실험 결과

연구 질문

• RQ1 모듈라 함수자와 관련된 대수적 불변량들이 표면의 기하 원리에서 체계적으로 어떻게 도출될 수 있는가?
• RQ2 모듈라 함수자의 공리와 위상적 양자 이론의 공리들을 뒷받침하는 범주론적 구조는 무엇인가?
• RQ3 왜 k-선형 범주가 표면 작용을 갖는 경우 반드시 준단순적이고 아르틴ian이 되는가?
• RQ4 호프 대수와 단일 범주의 공리들이 대수적으로 강제되는 것이 아니라, 위상적 자료에서 어떻게 유도되는가?
• RQ5 3차원 다면체와 끈의 양자 불변량의 공통된 대수적 특성을 설명할 수 있는 통합 프레임워크를 구축할 수 있는가?

주요 결과

• 표면 범주에 대한 작용을 갖는 임의의 k-선형 범주는 반드시 준단순적이다.
• 동일한 범주는 아르틴ian이기도 하며, 모든 객체가 유한 길이를 가진다.
• 모듈라 함수자 및 관련 구조의 공리들은 임의적이지 않으며, 2차원 코버디즘의 기하학에서 유도된다.
• S-구조 프레임워크는 아티야-세갈 위상적 장 이론의 자연스러운 2차원 일반화를 제공한다.
• 이 구성은 양자 불변량의 대수적 성질이 표면에 대한 위상적 제약 조건에서 기인함을 드러낸다.
• 결과적으로 기하 위상수학과 양자장 이론에서의 대수적 구조의 표현 이론 사이에 깊은 연결 고리가 있음을 입증한다.