[論文レビュー] KBSM of the product of a disk with two holes and S^{1}

Mieczysław K. Dąbkowski, Maciej Mroczkowski|ArXiv.org|Aug 27, 2008

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

ひとこと要約

本稿では、$F \times S^1$（$F$ は向き付け可能な曲面）におけるリンクの図式的記法とリーデマイスター移動を導入し、$F_{0,3} \times S^1$（2つの穴あき円板と円周の積）のクラスカル・ブラケット・スケイン・モジュール（KBSM）を計算する。新規の図式的アプローチと拡張されたリーデマイスター移動における不変性の議論を用いて、著者らは $F_{0,3} \times S^1$ の KBSM が自由であることを証明し、Przytycki（2000）の問題4.4を解決するとともに、KBSM における torsion が、圧縮可能で境界に平行でない曲面から生じるという予想を支持する。

ABSTRACT

We introduce diagrams and Reidemeister moves for links in FxS^{1}, where F is an orientable surface. Using these diagrams we compute (in a new way) the Kauffman Bracket Skein Modules (KBSM) for D^{2}xS^{1} and AxS^{1}, where D^{2} is a disk and A is an annulus. Moreover, we also find the KBSM for the F_{0,3}xS^{1}, where F_{0,3} denotes a disk with two holes, and thus show that the module is free.

研究の動機と目的

• Przytycki（2000）の問題4.4を解決すること。この問題は、$F_{0,3}$（2つの穴あき円板）と $S^1$ の積である3次元多様体 $F_{0,3} \times S^1$ のクラスカル・ブラケット・スケイン・モジュール（KBSM）の計算を求めている。
• 図式的およびスケイン理論的枠組みを、境界を持つ曲面、特に $F_{0,3}$ にまで拡張するため、新しいリーデマイスター移動と図式的不変量を導入すること。
• $F_{0,3} \times S^1$ の KBSM が自由であることを証明することで、KBSM における torsion が、圧縮可能で境界に平行でない曲面から生じるという予想を支持すること。
• $D^2 \times S^1$ および $A \times S^1$（アニュラスと $S^1$ の積）における KBSM の既存の計算手法を、$F_{0,3} \times S^1$ の場合に一般化する。矢印を伴う点を含む新しい図式的記法と強化されたリーデマイスター移動を用いる。

提案手法

• リンクを $F \times S^1$ に埋め込む図式的表現を導入し、$F$ に投影することで、交差、$F \times \{1\}$ におけるリンクの交点に対応する点（ドット）、および $S^1$ 座標の流れを示す矢印の方向を符号化する。
• $F \times S^1$ のトポロジーとドットにおける矢印の挙動を考慮した、新しいリーデマイスター移動のクラスを定義する。これには、タイプ I, II, III の $\Omega_5$-移動が含まれる。
• 図式に対して、$\langle \cdot \rangle_f$ と表されるブラケット不変量を構成し、それがすべてのリーデマイスター移動（新規の $\Omega_5$-移動を含む）に対して不変であることを、ケース解析と平滑化の議論により示す。
• ブラケットの不変性を用いて、スケインモジュールから $R[A^{\pm 1}]$ 上の自由モジュールへのwell-definedな写像を定義する。これは、$x$, $y$, $z$, $t$ とラベル付けされた成分とその矢印配置の構造を活用する。
• 複雑な $\Omega_5$-移動を、より単純な移動（例：$\Omega_2$, $\Omega_1$, および低次の $\Omega_5$-移動）に分解する分解技術を適用し、不変性の証明を基本ケースに還元する。
• Lemma 4.2 を用いた還元議論により、$z$-型成分および $y$-および $t$-型成分上の矢印の数が 0 または 1 に制限されると仮定できるため、不変性の検証が簡略化される。

実験結果

リサーチクエスチョン

• RQ1 $F_{0,3} \times S^1$ のクラスカル・ブラケット・スケイン・モジュールは、予想通り自由であるか？
• RQ2 $F \times S^1$ におけるリンクの図式的記法は、$F_{0,3}$ のような複数の境界を持つ曲面へと拡張可能か？
• RQ3 タイプ I, II, III の新規 $\Omega_5$-移動は、ブラケット不変量 $\langle \cdot \rangle_f$ を保存するか？
• RQ4 すべてのリーデマイスター移動におけるブラケットの不変性は、単純な移動への分解と基本ケースへの還元によって確立可能か？
• RQ5 $F_{0,3} \times S^1$ の KBSM が自由であるという結果は、torsion が圧縮可能で境界に平行でない曲面から生じるという予想を支持するか？

主な発見

• $R$ を単位元をもつ可換環とし、$A$ を $R$ 内の単元とするとき、クラスカル・ブラケット・スケイン・モジュール $\mathcal{S}_{2,\infty}(F_{0,3} \times S^1; R, A)$ は $R[A^{\pm 1}]$-加群として自由である。
• $F_{0,3} \times S^1$ の KBSM が自由であるという結果は、Przytycki（2000）の問題4.4を解決する。この問題は、明示的にこのモジュールの計算を求めている。
• ブラケット不変量 $\langle D \rangle_f$ は、新規に導入されたタイプ I, II, III の $\Omega_5$-移動を含むすべてのリーデマイスター移動に対して不変である。これは、単純な移動への分解とケース解析により証明された。
• $F \times S^1$ におけるリンクの図式的記法は、矢印を伴うドットと拡張されたリーデマイスター移動を組み込むことで、境界を持つ曲面（例：$F_{0,3}$）へと自然に一般化された。
• 結果は、Przytycki（2000）の予想4.3を支持する。この予想は、KBSM における torsion が、圧縮可能で境界に平行でない曲面から生じるのみであると述べている。$F_{0,3} \times S^1$ にはこのような曲面が存在しないため、この予想の裏付けとなる。
• ブラケットの不変性に依存する移動の分解に基づく証明技法は、$F \times S^1$ の積3次元多様体における KBSM の計算に新たな手法を提供する。