[論文レビュー] A basis for the Kauffman skein module of the product of a surface and a circle

Renaud Detcherry, Maxime Wolff|arXiv (Cornell University)|Jan 15, 2020

Geometric and Algebraic Topology参考文献 19被引用数 9

ひとこと要約

本稿は、g ≥ 2 である閉じた向き付け可能な曲面 Σ と S¹ の積である 3-多様体 Σ×S¹ の Kaufmann スキーンモジュールに明示的な基底を構成する。矢印を添えた図式的曲線とスキーン関係を用いて、モジュールの次元が 2²ᵍ⁺¹ + 2ᵍ − 1 に等しいことを証明し、Gilmer と Masbaum の予想を解決する。著者らの構成的で素朴な手法により、完全な生成集合が得られ、このクラスの多様体に対してスキーンモジュールの有限次元性が確認される。

ABSTRACT

The Kauffman bracket skein module $S(M)$ of a 3-manifold $M$ is a $\mathbb{Q}(A)$-vector space spanned by links in $M$ modulo the so-called Kauffman relations. In this article, for any closed oriented surface $\Sigma$ we provide an explicit spanning family for the skein modules $S(\Sigma imes S^1)$. Combined with earlier work of Gilmer and Masbaum, we answer their question about the dimension of $S(\Sigma imes S^1)$ being $2^{2g+1} + 2g -1$.

研究の動機と目的

• 閉じた向き付け可能な曲面 Σ（genus g ≥ 2）と円周の積 Σ×S¹ の Kaufmann スキーンモジュール S(Σ×S¹) に対して、構成的で明示的な基底を提供すること。
• Gilmer と Masbaum が提起した、S(Σ×S¹) の次元に関する予想を解消すること。この予想は、当初下界でのみ与えられ、完全には特定されていなかった。
• スキーンモジュールが有限次元であることを示し、任意のフレームドリンクを基底要素にアルゴリズム的に分解できることを示すこと。
• スキーンモジュールの整数的構造に関するより広範な予想を支持すること。具体的には、S(Σ×S¹, Z[A±¹]) のねじれ要素がすべて {k}-ねじれ（k ≥ 1）であることを示すこと。

提案手法

• 著者らは、Σ×S¹ 内のフレームドリンクを矢印を添えた図式で表現する。矢印は、リンクが Σ×{0} を通過する方向を示す。
• 次のようになる生成族 B を定義する：(1) 0 個または 1 個の矢印をもつ非分離単純閉曲線、(2) 0 から 2g 個の矢印をもつ自明な曲線、(3) H₁(Σ, ℤ/2ℤ) のすべての非ゼロホモロジー類の代表元に 0 個または 1 個の矢印を付加する。
• 証明は、初等的なスキーン関係と直接計算に依拠し、因子化代数や DQ-代数といった高度な道具を用いない。
• 彼らは、マッピングクラス群によるデーンねじりが、基底要素の同値類を保存することを示し、幾何的交差数と曲線のホモトピー類を用いる。
• 非分離単純閉曲線がマッピングクラス群の作用で基底要素と同値であることを示すことにより、生成性を証明する。
• 証明はアルゴリズム的である：Σ×S¹ 内の任意のフレームドリンクは、スキーン移動を繰り返し適用することで、基底要素の線形結合に体系的に還元可能である。

実験結果

リサーチクエスチョン

• RQ1 閉じた向き付け可能な曲面 Σ（genus g ≥ 2）に対して、Kaufmann スキーンモジュール S(Σ×S¹) の明示的な構造は何か？
• RQ2 矢印を添えた図式の生成族 B は、S(Σ×S¹) の基底をなすか？ もしそうであれば、モジュールの次元は何か？
• RQ3 Gilmer と Masbaum が提起した予想、すなわち dim Q(A)(S(Σ×S¹)) ≥ 2²ᵍ⁺¹ + 2ᵍ − 1 を、等式に強化できるか？
• RQ4 スキーンモジュールの構造は、整数スケールのスキーンモジュール S(Σ×S¹, Z[A±¹]) とどのように関係するか？ 特にねじれ要素に関して。
• RQ5 Gilmer-Masbaum 評価写像 ev: S(Σ×S¹) → CUₐₑ は、S(Σ×S¹) の各 H₁(Σ, ℤ/2ℤ)-次数部分空間上で単射か？ その像はどのような形をとるか？

主な発見

• 2²ᵍ⁺¹ + 2ᵍ − 1 個の要素からなる族 B は、Q(A) 上の Kaufmann スキーンモジュール S(Σ×S¹) の基底をなす。
• S(Σ×S¹) の次元は正確に 2²ᵍ⁺¹ + 2ᵍ − 1 であり、Gilmer と Masbaum の予想が確認された。
• 証明は構成的である：Σ×S¹ 内の任意のフレームドリンクは、スキーン関係のみを用いて、基底要素の線形結合にアルゴリズム的に表現可能である。
• 整数スケールのスキーンモジュール S(Σ×S¹, Z[A±¹]) は、k ≥ 1 に対して {k}-ねじれを除き、ねじれを持たない。これは Marché の予想 1.1 を支持する。
• Gilmer-Masbaum 評価写像 ev: S(Σ×S¹) → CUₐₑ は、各 H₁(Σ, ℤ/2ℤ)-次数部分空間上で単射であり、その像は i ∈ {g−1, g+1, ..., 3g−3} ∪ {g} の範囲の有理関数 Ri(A)pi の有限線形結合である。
• 基底展開の係数は A の有理関数として計算可能であり、初期的な計算結果から、これらが Z[A±¹] に属する可能性があることが示唆され、整数性の性質が予想される。