[논문 리뷰] Frobenius algebras and planar open string topological field theories

Aaron D. Lauda|ArXiv.org|2005. 08. 18.

Algebraic structures and combinatorial models참고 문헌 41인용 수 21

한 줄 요약

이 논문은 2Thick라는 카테고리의 도입을 통해 평면 개방 끈의 위상적 장 이론에 대한 범주론적 기초를 구축한다. 여기서 사상은 평면 개방 끈 월드시트의 미분구조 동치류로 정의된다. 이 논문은 2Thick가 비가환 프로베누스 대수로 생성된 자유 모노이드 카테고리임을 증명함으로써, 모어-세갈의 축하에 따라 개방 끈이 이러한 대수로 기술된다는 것을 엄밀히 정당화하고, 3차원 막으로의 프레임워크를 2-카테고리로 확장한다.

ABSTRACT

Motivated by the Moore-Segal axioms for an open-closed topological field theory, we consider planar open string topological field theories. We rigorously define a category 2Thick whose objects and morphisms can be thought of as open strings and diffeomorphism classes of planar open string worldsheets. Just as the category of 2-dimensional cobordisms can be described as the free symmetric monoidal category on a commutative Frobenius algebra, 2Thick is shown to be the free monoidal category on a noncommutative Frobenius algebra, hence justifying this choice of data in the Moore-Segal axioms. Our formalism is inherently categorical allowing us to generalize this result. As a stepping stone towards topological membrane theory we define a 2-category of open strings, planar open string worldsheets, and isotopy classes of 3-dimensional membranes defined by diffeomorphisms of the open string worldsheets. This 2-category is shown to be the free (weak monoidal) 2-category on a `categorified Frobenius algebra', meaning that categorified Frobenius algebras determine invariants of these 3-dimensional membranes.

연구 동기 및 목표

• 평면 개방 끈 위상적 장 이론에 대한 엄밀한 범주론적 프레임워크를 제공하기 위해.
• 모어-세갈의 축하에 따라 개방 끈이 비가환 프로베누스 대수로 기술된다는 것을 정당화하기 위해.
• 표준적인 2차원 코버드יזם 형식을 개방 끈과 그들의 평면 월드시트를 포함하도록 일반화하기 위해.
• 개방 끈, 월드시트, 그리고 미분구조 동치류의 호모토피류를 포함하는 2-카테고리로 이론을 3차원 막으로 확장하기 위해.
• 범주화된 프로베누스 대수가 3차원 막의 불변량을 결정한다는 것을 확립하기 위해.

제안 방법

• 객체가 자연수이고 사상이 경계 구간을 가진 컴acts, 정향, 미분가능한 곡면의 미분구조 동치류인 카테고리 2Thick를 도입한다.
• 평면 개방 끈 위상적 장 이론을 2Thick에서 어떤 모노이드 카테고리 C로의 모노이드 함자로 정의한다.
• 유일성 성질을 사용하여 2Thick가 비가환 프로베누스 대수로 생성된 자유 모노이드 카테고리임을 보인다.
• 평면 월드시트의 호모토피류에 대한 미분구조 동치류를 고려하여 3차원 막을 모델링하기 위한 2-카테고리 확장 2Thick2를 구성한다.
• 자유 생성과 유일성 성질을 포함한 형식적 카테고리 이론을 적용하여 이론의 대수적 구조를 확립한다.
• 높은 차원의 위상 불변량을 포착하기 위해 프레임워크를 2-카테고리적 설정으로 확장한다.

실험 결과

연구 질문

• RQ1 평면 개방 끈 월드시트는 어떻게 엄밀히 카테고리로 형식화될 수 있는가?
• RQ2 왜 비가환 프로베누스 대수가 위상적 장 이론에서 개방 끈에 대한 올바른 대수적 구조인가?
• RQ3 2Cob의 유일성 성질은 개방 끈과 평면 월드시트를 포함하도록 일반화될 수 있는가?
• RQ4 개방 끈 월드시트로부터 유도된 3차원 막은 어떻게 범주론적으로 포착될 수 있는가?
• RQ5 이 형식에서 3차원 막의 불변량을 지배하는 대수적 구조는 무엇인가?

주요 결과

• 2Thick는 비가환 프로베누스 대수로 생성된 자유 모노이드 카테고리이며, 이는 모어-세갈의 축하에 따라 개방 끈이 이러한 대수로 기술된다는 것을 범주론적으로 정당화한다.
• 평면 개방 끈 위상적 장 이론은 모노이드 카테고리 내에서 비가환 프로베누스 대수의 선택과 동치이다.
• 2Thick는 개방 끈과 평면 월드시트를 포함함으로써 표준적인 2차원 코버드יזם 카테고리를 일반화한다.
• 개방 끈, 평면 월드시트, 그리고 미분구조 동치류의 호모토피류를 포함하는 2-카테고리 2Thick2는 범주화된 프로베누스 대수로 생성된 자유(약한 모노이드) 2-카테고리로 구성된다.
• 이 2-카테고리는 3차원 막의 불변량을 위한 프레임워크를 제공하며, 기초 자료로 범주화된 프로베누스 대수가 존재한다.
• 이 형식은 2Cob의 유일성 성질을 개방 끈과 막을 포함하도록 확장하여, 높은 차원의 범주론적 설정에서 개방 끈과 닫힌 끈의 구조를 통합한다.