[논문 리뷰] Homotopy field theory in dimension 2 and group-algebras

Vladimir Turaev|ArXiv.org|1999. 10. 04.

Algebraic structures and combinatorial models참고 문헌 8인용 수 77

한 줄 요약

이 논문은 차원 2에서 호모토피 양자장이론(HQFTs)을 도입하며, 공간 $X = K(\pi,1)$로의 사상들을 포함시켜 위상적 양자장이론(TQFTs)을 일반화한다. 이는 교차 $π$-대수를 통해 $(1+1)$차원 HQFTs를 완전히 분류하며, 특성 0인 체 위에서의 준공동호론적(HQFTs)은 단순한 교차 군-대수로 분류되며 버린드 유형의 공식을 만족함을 보여준다.

ABSTRACT

We apply the idea of a topological quantum field theory (TQFT) to maps from manifolds into topological spaces. This leads to a notion of a (d+1)-dimensional homotopy quantum field theory (HQFT) which may be described as a TQFT for closed d-dimensional manifolds and (d+1)-dimensional cobordisms endowed with homotopy classes of maps into a given space. For a group $π$, we introduce cohomological HQFT's with target $K(π,1)$ derived from cohomology classes of $π$ and its subgroups of finite index. The main body of the paper is concerned with (1+1)-dimensional HQFT's. We classify them in terms of so called crossed group-algebras. In particular, the cohomological (1+1)-dimensional HQFT's over a field of characteristic 0 are classified by simple crossed group-algebras. We introduce two state sum models for (1+1)-dimensional HQFT's and prove that the resulting HQFT's are direct sums of rescaled cohomological HQFT's. We also discuss a version of the Verlinde formula in this setting.

연구 동기 및 목표

• 맨드로이드와 코버디즘에서의 사상의 호모토피 클래스를 포함시켜 위상적 양자장이론(TQFTs)을 일반화함으로써, $(d+1)$차원 호모토피 양자장이론(HQFT)의 개념을 도입하는 것.
• 목표 공간 $X = K(\pi,1)$를 가진 $(1+1)$차원 HQFTs를 교차 $π$-대수를 통해 대수적 구조로 분류하는 것.
• 이중각 및 비퇴화된 $π$-대수를 사용하여 $(1+1)$차원 HQFTs의 상태합 모델을 구성하고, 그 호모토피 불변성과 공동호론적 HQFTs와의 관계를 증명하는 것.
• 준공동호론적 $(1+1)$차원 HQFTs에 대해 버린드 유형의 공식을 수립하고, 대수적으로 닫힌 체에서 특성 0인 경우 모든 이러한 HQFTs가 준공동호론적임을 보이는 것.

제안 방법

• 고정된 공간 $X$로의 다양체와 코버디즘의 사상에 대한 호모토피 클래스를 포함시킨 TQFT로 $(d+1)$차원 HQFT의 개념을 도입하며, 특히 $(1+1)$차원의 경우 $X = K(\pi,1)$가 중심적인 역할을 한다.
• $\pi$-대수를 군 $\pi$에 의해 분할된 결합 대수 $L$로 정의하며, $L_\alpha L_\beta \subset L_{\alpha\beta}$를 만족시키고, 군 작용과 내적과의 추가적 호환 조건을 만족하는 교차 $π$-대수의 하위류를 도입한다.
• $(1+1)$차원 HQFTs에 대한 두 가지 상태합 모델을 구성한다: 하나는 이중각 $π$-대수를 기반으로 하고, 다른 하나는 비퇴화된 $π$-대수를 사용하며, 후자는 고정된 호모토피 클래스 내의 모든 $π$-시스템에 대해 합을 구함으로써 호모토피 불변성을 확보한다.
• $\pi$-대수의 구조를 통해 정의된 $π$-시스템의 분할 함수를 사용하여 상태합 불변량을 정의하고, 그 결과로 얻어진 할당이 잘 정의된 HQFT임을 증명한다.
• 프로베누스 대수 이론과 군 공동호론을 활용하여 $H^2(\pi, K^*)$의 2-공동호론에서 유도된 공동호론적 HQFTs를 구성하고, 이들이 교차 $π$-대수와 대응됨을 보여준다.
• 특성 0인 체 위에서 비퇴화된 $π$-대수로부터 유도된 $(1+1)$차원 HQFTs가 항상 준공동호론적임을 증명하고, 따라서 버린드 유형의 공식을 만족함을 보인다.

실험 결과

연구 질문

• RQ1 위상적 공간 $X$로의 사상의 호모토피 클래스를 포함시켜 위상적 양자장이론(TQFTs)을 어떻게 일반화할 수 있으며, 이를 통해 호모토피 양자장이론(HQFT)의 개념을 어떻게 도출할 수 있는가?
• RQ2 목표 공간 $X = K(\pi,1)$를 가진 $(1+1)$차원 HQFTs는 어떤 대수적 구조로 분류되며, 이는 군 공동호론과 프로베누스 대수와 어떻게 관련이 있는가?
• RQ3 이중각 $π$-대수나 비퇴화된 $π$-대수를 사용하여 $(1+1)$차원 HQFTs의 상태합 모델을 구성할 수 있으며, 이는 호모토피 불변 불변량을 유도하는가?
• RQ4 언제 $(1+1)$차원 HQFTs가 버린드 유형의 공식을 만족하는가? 이는 기초가 되는 교차 $π$-대수의 단순성과 어떻게 관련이 있는가?
• RQ5 특성 0인 대수적으로 닫힌 체 위에서 $(1+1)$차원 HQFTs는 모두 준공동호론적인가? 이는 그들의 분류에 어떤 함의를 갖는가?

주요 결과

• 목표 공간 $X = K(\pi,1)$를 가진 $(1+1)$차원 HQFTs의 이somorphism 클래스와 교차 $π$-대수 사이에 일대일 대응이 존재하며, 이는 완전한 대수적 분류를 확립한다.
• 특성 0인 체 위에서 준공동호론적 $(1+1)$차원 HQFTs는 단순한 교차 $π$-대수로 분류되며, 이러한 HQFTs는 버린드 유형의 공식을 만족한다.
• 이중각 $π$-대수를 기반으로 한 상태합 모델은 호모토피 불변 분할 함수를 유도하며, 잘 정의된 $(1+1)$차원 HQFT를 정의한다.
• 비퇴화된 $π$-대수의 경우 분할 함수는 일반적으로 호모토피 불변이 아니지만, 고정된 호모토피 클래스 내의 모든 $π$-시스템에 대해 합을 구함으로써 불변성이 복원되며, 이는 HQFT를 유도한다.
• 대수적으로 닫힌 특성 0인 체 위에서 비퇴화된 $π$-대수로부터 유도된 $(1+1)$차원 HQFTs는 모두 준공동호론적이며, 이는 버린드 공식을 만족함을 의미한다.
• 공동호론 클래스 $H^2(\pi, K^*)$에서 유도된 교차 $π$-대수의 구성은 공동호론적 HQFTs를 유도하며, $π = 1$일 경우 기존의 $(1+1)$차원 TQFTs의 공통 프로베누스 대수에 의한 분류를 복원한다.