[論文レビュー] Torsion numbers of augmented groups: with applications to knots and links

Daniel S. Silver, Susan G. Williams|ArXiv.org|Feb 19, 2002

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

ひとこと要約

本稿は、ℤ へのエピモルフィズムを持つ有限生成群（すなわち、拡張された群）のねじれ数を計算する一般化された枠組みを導入する。これは、結び目やリンクの古典的不変量を拡張したものである。本稿では、ねじれ数が線形再帰関係を満たし、指数関数的成長を示す一方で、その p進成分は指数的成長よりも緩やかに成長することを証明し、結び目のねじれ数における素因数の無限性に関する強化された結果が得られる。

ABSTRACT

Torsion and Betti numbers for knots are special cases of more general invariants associated to a finitely generated group G and epimorphism from G to the integers. The sequence of Betti numbers is always periodic; under mild hypotheses, the sequence of torsion numbers satisfies a linear homogeneous recurrence relation with constant coeffiencts. Generally, the torsion number sequence exhibits exponential growth rate. However, again under mild hypotheses, the p-part has trivial growth for any prime p. Applications to branched cover homology for knots and links are presented.

研究の動機と目的

• 結び目やリンクのねじれ数およびベッチ数を、χ: G → ℤ となる任意の拡張群 (G, χ) に一般化すること。
• やや弱い仮定の下で、このような群のねじれ数 br が線形同次再帰関係を満たすことを確立すること。
• br の成長挙動、特に br の p進成分の挙動を分析し、任意の素数 p に対してその成長が指数的でないことを示すこと。
• C. ゴードンの古典的結果を強化し、任意の結び目について、br が周期的でない限り、その因数分解において無限個の異なる素因数を含むことを証明すること。
• 理論を結び目の分岐サイクリック被覆空間に応用し、代数的モジュール論的手法を用いてホモロジー不変量を計算すること。

提案手法

• χ の核のアーベル化を ℤ[t, t⁻¹]-加群として定義し、ℳ と表記する。これは、提示行列 𝒜 を用いて ℛ₁^N / 𝒜ℛ₁^M として表現できる。
• 各 r ∈ ℕ に対して、商加群 ℳ_r = ℳ / (t^r − 1)ℳ を構成する。これは有限生成アーベル群である。
• ℳ_r を自由部とねじれ部に分解する：ℳ_r ≅ ℤ^{β_r} ⊕ Tℳ_r とし、br = |Tℳ_r| を第 r ねじれ数と定義する。
• 初等イデアルおよび特性多項式 Δ_i(t) の理論を用いて ℳ の構造を分析し、再帰関係を導出する。
• Everest と Fhlathúin の p進版ジェンセンの公式を適用し、br の p 部分が指数的成長よりも緩やかに成長することを示す。
• ℳ のポントリャーギン双対における双対性および固定点論を用いて、特に被覆次数が連結数の因数で割り切れないリンクの分岐被覆のホモロジーを研究する。

実験結果

リサーチクエスチョン

• RQ1 拡張群 (G, χ) のねじれ数 br の列が、どのような条件下で線形再帰関係を満たすか？
• RQ2 br の p進付値は r が増加するにつれてどのように振る舞い、任意の素数 p に対してその成長が指数的でないことを証明できるか？
• RQ3 純粋なねじれ数がアレクサンダー多項式のマーラー測度と等しい速度で成長するという古典的結果を、非純粋な場合に一般化できるか？
• RQ4 任意の結び目の br の列は、周期的でない限り、因数分解において無限個の異なる素因数を含むか？
• RQ5 分岐サイクリック被覆のホモロジーは、拡張群のモジュール論的不変量を用いてどのように計算できるか？

主な発見

• やや弱い仮定を満たす拡張群のねじれ数 br は、定数係数の線形同次再帰関係を満たす。
• br の p 部分、すなわち br を割り切る最大の p のべきは、br 自身が指数関数的に成長するのとは対照的に、任意の素数 p に対して指数的でない速度で成長する。
• 任意の結び目について、br の列は周期的であるか、またはその因数分解に無限個の異なる素因数を含む。これは C. ゴードンの結果を強化するものである。
• 連結数が素数 p で割り切れない 2 成分リンク l について、l に対する p^k 重分岐被覆のホモロジーは、p ねじれが自明で、ベッチ数が 0 である。
• ねじれ数 br は、商加群 ℛ₁/(g, ν_r) の位数として計算可能であり、ν_r は第 r 番目の円分多項式である。これはフォックスの公式を一般化する。
• ℳ が巡回加群の直和として表されるとき、ねじれ数 br は個々の和因子の位数の積として計算可能であり、それぞれの位数は結果式や円分因子を用いて表現可能である。