[論文レビュー] Decomposition of the Turaev-Viro TQFT

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

Homotopy and Cohomology in Algebraic Topology参考文献 2被引用数 3

ひとこと要約

本稿では、球面的圏 $\mathcal{C}$ で可逆な次元を持つものとして導かれる群 $\Gamma_{\mathcal{C}}$ を用いて、Turaev-Viro トポロジカル量子場理論（TQFT）の分解を示す。このTQFTは、分類空間 $B\Gamma_{\mathcal{C}}$ へのホモトピー型にインデックスが付いたブロックに分解可能であり、主な結果は、元のTQFTをホモトピー型にラベル付けされた成分に分解する、新しいホモトピカルTuraev-Viro HQFT（高次コボルディズムTQFT）の構成である。

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）の観点から再定式化すること。
• ホモトピー型 $x \in [M, B\Gamma_{\mathcal{C}}]$ に従って彩色をグループ化することにより、元のTuraev-Viro不変量を分解するホモトピカルTuraev-Viro不変量 $HTV_{\mathcal{C}}(M,x)$ を定義すること。
• ホモトピカル不変量を拡張するTuraev-Viro HQFT を構成し、Turaev-Viro TQFT がこれらのブロックに沿った直和として実現されることを示すこと。
• 群の順序付けと分類空間の観点から、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)$ の場合、$n \equiv 1 \mod 8$ のとき、HTV不変量は複数のブロックで非ゼロの値をとり、例えば $(1/8, 1/8\exp(i\pi/4), (-1)^p/8, \dots)$ のように確認され、ブロック分解が裏付けられる。
• この構成はTuraevの $K(G,1)$-に基づくHQFTを一般化し、群 $\Gamma_{\mathcal{C}}$ を通じてねじれ不変量の新しいフレームワークを提供する。