[論文レビュー] Frobenius algebras and skein modules of surfaces in 3-manifolds

Uwe Kaiser|ArXiv.org|Feb 27, 2008

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

ひとこと要約

本稿では、拡張されたトポロジカル量子場理論の核から生じるスケイン関係を定義することにより、Frobenius代数と3次元多様体内の曲面のスケインモジュールを結びつける一般枠組みを確立する。主な貢献は、スケインモジュールがFrobenius代数の基底要素で彩色された圧縮不能な曲面によって生成され、関係がチューブの幾何と代数的構造によって決定されることを示すプレゼンテーション定理であり、3次元球面のスケインモジュールが代数の基底環に同型であることを示している。

ABSTRACT

For each Frobenius algebra there is defined a skein module of surfaces embedded in a given 3-manifold and bounding a prescribed curve system in the boundary. The skein relations are local and generate the kernel of a certain natural extension of the corresponding topological quantum field theory. In particular the skein module of the 3-ball is isomorphic to the ground ring of the Frobenius algebra. We prove a presentation theorem for the skein module with generators incompressible surfaces colored by elements of a generating set of the Frobenius algebra, and with relations determined by tubing geometry in the manifold and relations of the algebra.

研究の動機と目的

• Frobenius代数を用いて、既存のリンクに基づくスケインモジュールを曲面埋め込みへと拡張する、3次元多様体内の曲面の一般スケイン理論の構築。
• 拡張されたトポロジカル量子場理論の核が、曲面の局所的スケイン関係を生成する役割を明確化すること。
• スケインモジュールのプレゼンテーション定理の証明。生成子はFrobenius代数の基底要素で彩色された圧縮不能な曲面として特定される。
• 3次元球面のスケインモジュールがFrobenius代数の基底環に同型であることを示し、既知のリンクポリノミアルの一般化を達成すること。
• トンネル数のような幾何的不変量が、スケインモジュール内の代数的関係にどのように現れるかを示し、非自明なグローバル埋め込み現象を実証すること。

提案手法

• 拡張されたTQFTの核から導かれる局所的関係を用いて、3次元多様体Mにおける境界曲線系を指定した曲面のスケインモジュールを定義する。
• 首切りと球面関係を用いて、彩色付きグラフから曲面への写像を構成し、スケイン関係を幾何的に符号化する。
• Frobenius代数の生成集合からの色をもつ圧縮不能な曲面によって生成されるモジュール $Ø(M,\alpha,\mathfrak{g})$ を導入する。
• チューブの幾何を用いて、曲面間の関係を定義し、圧縮やハンドル付加がスケインモジュールに与える影響を捉える。
• TQFT拡張の核が、首切り関係と球面関係によって生成されることを証明し、スケインモジュールのプレゼンテーションを導出する。
• プレゼンテーション定理を用いて、3次元球面のスケインモジュールとFrobenius代数の基底環との同型を確立する。

実験結果

リサーチクエスチョン

• RQ1 Frobenius代数から、3次元多様体内の曲面のスケインモジュールを体系的に構成する方法は何か？
• RQ2 拡張されたトポロジカル量子場理論の核が、曲面の局所的スケイン関係を生成する役割は何か？
• RQ3 チューブや曲面の圧縮といった幾何的操作が、スケインモジュール内でどのように代数的に現れるか？
• RQ4 Frobenius代数が自由である場合のスケインモジュールの構造は何か？また、圧縮不能な曲面と代数的関係を用いてどのようにプレゼンテーションできるか？
• RQ5 トンネル数のような古典的3次元多様体不変量は、スケインモジュールの関係にどのように現れるか？

主な発見

• 3次元球面のスケインモジュールはFrobenius代数の基底環に同型であり、リンクスケインモジュールの性質を一般化している。
• 3次元多様体内の曲面のスケインモジュールは、Frobenius代数の基底要素で彩色された圧縮不能な曲面を生成子とするプレゼンテーションを持つ。
• スケインモジュール内の関係は、チューブの幾何とFrobenius代数の代数的関係（特に首切り関係と球面関係）によって決定される。
• トンネル数がgの結び目補間体に対して、gが偶数のときは $2^g t^{g/2}(S - 2) = 0$ が成り立ち、gが奇数のときは $2^g t^{(g-1)/2}(S, X) = 0$ が成り立つ。これによりトンネル数がモジュール構造に与える役割が明らかになる。
• この構成により、スケインモジュールが局所的位相だけでなく、グローバルな埋め込み現象を測定することを示しており、トンネル数のような非自明な幾何的不変量に敏感であることが判明した。