[논문 리뷰] Decomposition of the Turaev-Viro TQFT

Jérôme Petit|ArXiv.org|2009. 03. 26.

Homotopy and Cohomology in Algebraic Topology참고 문헌 2인용 수 3

한 줄 요약

이 논문은 구면 분류 $\mathcal{C}$ 와 그 역행성 차원을 갖는 군 $\Gamma_{\mathcal{C}}$ 에서 유도된 군 $\Gamma_{\mathcal{C}}$ 를 이용해 투라에프-비로의 위상적 양자장이론(TQFT)을 분해함으로써, 그 이론이 분류 공간 $B\Gamma_{\mathcal{C}}$ 로의 호모토피 유형에 따라 블록으로 분리됨을 보여준다. 핵심 결과는 원래 TQFT를 보다 세밀하게 만드는 새로운 호모토피적 Turaev-Viro HQFT(고차 코버드르 TQFT)를 구성한 것으로, 이는 Turaev-Viro 불변량을 호모토피 유형에 따라 구성요소로 나누는 데 성공한다.

ABSTRACT

We show that for every spherical category $\C$ with invertible dimension, the Turaev-Viro TQFT admits a splitting into blocks which come from an HQFT, called the Turaev-Viro HQFT. The Turaev-Viro HQFT has the classifying space $B\grad$ as target space, where $\grad$ is a group obtained from the category $\C$. This construction gives a reformulation of the Turaev-Viro TQFT in terms of HQFT. Furthermore the Turaev-Viro HQFT is an extension of the \emph{homotopical Turaev-Viro invariant} which splits the Turaev-Viro invariant. An application of this result is a description of the homological twisted version of the Turaev-Viro invariant in terms of HQFT.

연구 동기 및 목표

• Turaev-Viro TQFT를 목표 공간이 $B\Gamma_{\mathcal{C}}$ 인 고차 코버드르 양자장이론(HQFT)의 관점에서 재구성한다.
• 원래 Turaev-Viro 불변량을 호모토피 유형 $x \in [M, B\Gamma_{\mathcal{C}}]$ 에 따라 색칠을 묶음으로써 분해하는 호모토피적 Turaev-Viro 불변량 $HTV_{\mathcal{C}}(M,x)$ 를 정의한다.
• 원래 TQFT를 이러한 블록들 위에서의 분해로 표현하는 Turaev-Viro HQFT를 구성한다.
• 군의 순서와 분류 공간의 관점에서, Turaev-Viro 불변량의 변형된 형태를 기하학적이고 범주론적으로 이해하기 위한 프레임워크를 제공한다.

제안 방법

• 구면 분류 $\mathcal{C}$ 의 군 $\Gamma_{\mathcal{C}}$ 를 정의하여, 군 범주에서 스칼라 객체의 동형류 집합의 일반화로 간주한다.
• 삼등분의 각 변에 대한 색칠에 대해, 보편적인 순서를 통해 $[M, B\Gamma_{\mathcal{C}}]$ 에 속하는 호모토피 유형을 할당함으로써 상태합의 분해를 가능하게 한다.
• 고정된 호모토피 유형 $x$ 를 갖는 색칠에 제한된 상태합으로서 호모토피적 Turaev-Viro 불변량 $HTV_{\mathcal{C}}(M,x)$ 를 구성한다.
• Turaev-Viro HQFT 가 호모토피적 불변량의 확장임을 증명하고, 원래 Turaev-Viro TQFT 가 모든 호모토피 유형에 대한 직합으로서 나타남을 보인다.
• HQFT 의 목표 공간으로 분류 공간 $B\Gamma_{\mathcal{C}}$ 를 사용하여, Turaev 의 $K(G,1)$-기반 HQFT 를 비아벨 설정으로 일반화한다.
• Turaev-Viro 불변량이 $TV_{\mathcal{C}}(M) = \sum_{x \in [M, B\Gamma_{\mathcal{C}}]} HTV_{\mathcal{C}}(M,x)$ 로 분해됨을 증명하여, HQFT 블록으로의 분해를 보여준다.

실험 결과

연구 질문

• RQ1 Turaev-Viro TQFT 는 분류 공간으로의 사상의 호모토피 유형에 따라 인덱싱된 구성요소로 분해될 수 있는가?
• RQ2 색칠을 호모토피 유형에 따라 묶는 방식으로 Turaev-Viro 불변량을 보다 세밀하게 만드는 HQFT 가 존재하는가?
• RQ3 구면 분류 $\mathcal{C}$ 에서 유도된 군 $\Gamma_{\mathcal{C}}$ 는 Turaev-Viro 불변량의 분해를 어떻게 제어하는가?
• RQ4 Turaev-Viro 불변량의 호모로지적 변형은 이 HQFT 프레임워크를 통해 기술될 수 있는가?
• RQ5 Turaev-Viro TQFT 는 모든 호모토피 유형에 대한 Turaev-Viro HQFT 의 직합과 동형인가?

주요 결과

• Turaev-Viro TQFT 는 호모토피 유형 $x \in [M, B\Gamma_{\mathcal{C}}]$ 에 따라 인덱싱된 블록으로 분해되며, 각 블록은 호모토피적 Turaev-Viro 불변량 $HTV_{\mathcal{C}}(M,x)$ 로 주어진다.
• Turaev-Viro HQFT 는 호모토피적 불변량의 확장으로 구성되며, 원래 TQFT 는 모든 호모토피 유형에 대한 직합으로 표현된다.
• 렌스 공간 $L(n,q)$ 에서 Turaev-Viro 불변량은 $n \mod m$ 에 따라 구성요소로 분리되며, $m=2$ 에서 $9$ 까지의 구체적 값이 주어져 비자명한 블록 분해를 보여준다.
• 만약 $n \equiv 0 \mod m$ 이면, HTV 불변량은 블록 간에 균일하지 않은 값을 갖는다. 예를 들어 $m=6$ 일 때 $1/6(1+2\exp(\pm 4i\pi(2p+1)/6))$ 와 같이 나타나 비자명한 분해를 보인다.
• $L(8p,q)$ 에서 HTV 불변량은 여러 블록에서 비영인 값을 갖는다. 예를 들어 $n \equiv 1 \mod 8$ 일 때 $(1/8, 1/8\exp(i\pi/4), (-1)^p/8, \dots)$ 와 같이 나타나 블록 분해가 확인된다.
• 이 구성은 Turaev 의 $K(G,1)$-기반 HQFT 를 일반화하며, 군 $\Gamma_{\mathcal{C}}$ 를 통한 새로운 틀을 제공하여 변형된 불변량을 기술한다.