[論文レビュー] Involutory Hopf algebras and 3-manifold invariants

Greg Kuperberg|arXiv (Cornell University)|May 19, 1990

Algebraic structures and combinatorial models参考文献 6被引用数 4

ひとこと要約

本稿では、任意の有限次元自己対合ホップ代数を用いて、ヘーガード図または三角形分割におけるテンソルネットワークの縮約によって3次元多様体不変量を構成する。主な結果として、ホップ代数が群Gの群代数である場合、その不変量は基本群からGへの準同型の数を数えることが示され、形式的なテンソル式と多様体の間には、既知の同値関係を modulo した一対一対応が存在することが示唆され、3次元多様体の同相写像検出のための可能性あるアルゴリズムを示唆する。

ABSTRACT

We establish a 3-manifold invariant for each finite-dimensional, involutory Hopf algebra. If the Hopf algebra is the group algebra of a group $G$, the invariant counts homomorphisms from the fundamental group of the manifold to $G$. The invariant can be viewed as a state model on a Heegaard diagram or a triangulation of the manifold. The computation of the invariant involves tensor products and contractions of the structure tensors of the algebra. We show that every formal expression involving these tensors corresponds to a unique 3-manifold modulo a well-understood equivalence. This raises the possibility of an algorithm which can determine whether two given 3-manifolds are homeomorphic.

研究の動機と目的

• 有限次元自己対合ホップ代数を用いて3次元多様体の位相的不変量を定義すること。
• 形式的なテンソル式と多様体の間の対応関係を、よく理解された同値関係を modulo して確立すること。
• このような不変量が、3次元多様体の同相写像を決定するためのアルゴリズムに繋がるかどうかを検討すること。
• 量子群に限らない、より広範な代数的構造へと、3次元多様体不変量の状態和構成を一般化すること。
• 三角形分割またはヘーガード分割におけるテンソル縮約を通じて、不変量が計算可能である枠組みを提供すること。

提案手法

• 不変量は、3次元多様体のヘーガード図または三角形分割における状態和モデルを用いて定義される。
• 自己対合ホップ代数の構造テンソル（乗法、余乗法など）のテンソル積と縮約を用いて不変量を計算する。
• ハンドルスライドおよび安定化に関して不変であるため、位相的不変量が保証される。
• この手法は、特にS² = idを満たす反対称作用素を特徴とする自己対合ホップ代数の代数的性質に依存する。
• ホップ代数のテンソルから構成される形式的式は、既知の同値関係を modulo した多様体に対して一意に対応する。
• この枠組みにより、細胞的分解におけるテンソルの組み合わせ的縮約を通じて、不変量の明示的計算が可能になる。

実験結果

リサーチクエスチョン

• RQ1 任意の有限次元自己対合ホップ代数を用いて、テンソルネットワークの縮約によって3次元多様体不変量を構成できるか？
• RQ2 群Gの群代数から構成される不変量は、3次元多様体の基本群からGへの準同型の数を数えるか？
• RQ3 ホップ代数から構成される形式的テンソル式と多様体の間には、よく理解された同値関係を modulo した一対一対応が存在するか？
• RQ4 この対応関係が、2つの3次元多様体が同相であるかどうかを決定するアルゴリズムに繋がるか？
• RQ5 ヘーガード図または三角形分割における状態和構成と、得られる不変量の位相的不変性の関係は何か？

主な発見

• ハンドルスライドおよび安定化に関して不変であるため、ヘーガード図や三角形分割の選択に依存しない well-defined な不変量が得られる。
• ホップ代数が有限群Gの群代数である場合、不変量は3次元多様体の基本群からGへの準同型の数に等しい。
• ホップ代数の構造テンソルから構成される任意の形式的式は、既知の同値関係を modulo した多様体に対して一意に対応する。
• この構成は、自己対合ホップ代数の代数的データのみを用いて、計算可能な状態和モデルを提供する。
• この枠組みは、テンソル式の同値関係に基づく3次元多様体の同相写像問題へのアルゴリズム的アプローチの可能性を示唆する。
• この手法は、従来の量子群に基づく不変量を一般化し、位相的量子場理論の構成の範囲を拡張する。