[論文レビュー] A finite-dimensional TQFT for three-manifolds based on group PSL(2, C) and cross-ratios

Rinat Kashaev, I. G. Korepanov+1 more|ArXiv.org|Sep 24, 2008

Geometric and Algebraic Topology参考文献 14被引用数 4

ひとこと要約

本稿は、PSL(2,ℂ)と交比を用いた幾何的不変量の群作用に基づく、新規のチェイン複体を構築することで、3次元多様体に対する有限次元トポロジカル量子場理論（TQFT）を構成する。捩れた複体の正則性を証明し、リーデマイスター捩れを計算することで、レンズ空間に対して非自明な不変量が得られ、それらは辺集合と交比パラメータに依存する明示的表現を持つ。理論の豊かさと位相不変性が示された。

ABSTRACT

In this paper, we begin constructing a new finite-dimensional topological quantum field theory (TQFT) for three-manifolds, based on group PSL(2,C) and its action on a complex variable by fractional-linear transformations, by providing its key ingredient -- a new type of chain complexes. As these complexes happen to be acyclic often enough, we make use of their torsion to construct different versions of manifold invariants. In particular, we show how to construct a large set of invariants for a manifold with boundary, analogous to the set of invariants based on Euclidean geometric values and used in a paper by one of the authors for constructing a "Euclidean" TQFT. We show on examples that our invariants are highly nontrivial.

研究の動機と目的

• PSL(2,ℂ)とそのリーマン球面上の分数線形変換による作用に基づき、3次元多様体に対する新しい有限次元TQFTの構築。
• 三角形分割された多様体と群作用から得られる幾何的不変量（具体的には交比と欠損角）を用いて、チェイン複体を構成すること。
• 適切な条件下で、この複体の捩れた版の正則性を証明し、リーデマイスター捩れを多様体不変量として用いる基盤を提供すること。
• 境界付き3次元多様体、特にレンズ空間に対して明示的な不変量を計算し、それらの非自明性と位相不変性を示すこと。
• ユークリッド的TQFTに類似した枠組みを、双曲幾何的構造に基づいて構築し、双曲幾何や量子不変量との潜在的関係を提示すること。

提案手法

• 頂点座標のPSL(2,ℂ)作用と単体の交比を用いてチェイン複体を構築し、左半分を頂点の摂動、右半分を単体の不変量として定義する。
• 群作用が頂点と交比値に与える影響を記述する写像F1, F2, F3を定義し、F2∘F1 = 0およびF3∘F2 = 0を満たす複体を形成する。
• 内部および境界成分に制限することで捩れた複体を導入し、レンズ空間L(p,q)に対してサイズ4p−2の行列f3を導入し、オイラー標数をゼロに保つ。
• 捩れた複体の行列f3の行列式を不変量の候補とし、境界でない辺に関する積で正規化する。
• 正則な複体に対してリーデマイスター捩れの構成を適用し、三角形分割と交比パラメータに依存する位相不変量を導出する。
• 主要な単体を含まない単体的変形について、先行研究の類推により不変性を検証し、三角形分割の選択に依存しないことを保証する。

実験結果

リサーチクエスチョン

• RQ1 PSL(2,ℂ)と交比を用いたTQFTは、既存のユークリッド的TQFTに類似した形で、3次元多様体に対して有限次元的に構成可能か？
• RQ2 PSL(2,ℂ)作用と交比を含む三角形分割多様体から構成されるチェイン複体は、正則性を保ち、捩れに基づく不変量の利用を可能にするか？
• RQ3 境界に沿って多様体を貼り合わせたとき、不変量はどのように振る舞い、完全なTQFTに拡張可能か？
• RQ4 レンズ空間L(p,q)における不変量の明示的形と非自明性は何か？また、辺集合と交比パラメータにどのように依存するか？
• RQ5 交比と欠損角の使用を踏まえ、この構成と双曲幾何の間に、より深い幾何的または量子的関係が存在するか？

主な発見

• レンズ空間L(p,q)の捩れた複体は、行列f3の行列式が非ゼロである場合に限り正則である。これにより、well-definedな不変量の存在が保証される。
• レンズ空間の不変量は、I_D,n(L(p,q);PSL(2,ℂ)) = det(f3) / ∏' ζ_ij² で与えられ、積は境界集合Dに属さない辺について取る。
• L(7,1)およびL(7,2)に対して、境界に含まれる4つの辺の選び方によって、明示的な比と交比積を含む3成分ベクトルの値が異なる。
• 2つの特徴的な単体を含まない単体的変形に対して不変量は変化せず、位相不変性が確認された。
• 1つの多様体に対して多数の不変量が得られ、それぞれが境界三角形分割における4辺の部分集合に対応する。これは、ユークリッド的TQFTにおける2辺の部分集合とは対照的である。
• 本手法により、頂点の摂動と単体の不変量という、見かけ上異なる2つの幾何的構成が、1つの正則複体に統合されていることが明らかになった。