[論文レビュー] Torsion homology growth beyond asymptotics

Oliver Bräunling|arXiv (Cornell University)|Feb 21, 2017

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

ひとこと要約

この論文は、アレクサンダー多項式にディオファントス的根（単位円上にあるが単位根でない根）がない場合、ねじれホモロジーの母関数が、複素平面全体に有理型関数としての解析接続をもつことを確立する。この結果により、スリバー＝ウィリアムズの漸近公式に対する新しい解析的証明が得られ、ねじれデータからアレクサンダー多項式を再構成可能となる。さらに、リードマイスター＝フランツねじれを用いた高次元のねじれにも一般化可能である。一方、ディオファントス的根が存在する場合、関数は単位円を自然境界として持ち、内在的な解析的障害が生じる。

ABSTRACT

We show that (under mild assumptions) the generating function of log homology torsion of a knot exterior has a meromorphic continuation to the entire complex plane. As corollaries, this gives new proofs of (a) the Silver-Williams asymptotic, (b) Fried's theorem on reconstructing the Alexander polynomial (c) Gordon's theorem on periodic homology. Our results generalize to other rank 1 growth phenomena, e.g. Reidemeister-Franz torsion growth for higher-dimensional knots. We also analyze the exceptional cases where the meromorphic continuation does not exist.

研究の動機と目的

• 巡回被覆のねじれホモロジーの対数を符号化する母関数 E(z) のグローバルな解析的構造を理解すること。
• E(z) が単位円板を超えて有理型関数としての解析接続をもつための条件を同定すること。
• 解析的数論および複素解析を用いて、スリバー＝ウィリアムズの漸近公式を一般化すること。
• ねじれ成長、特別なL値、およびアレクサンダー多項式の根の算術との関係を調査すること。
• 多変数母関数を用いたリードマイスター＝フランツねじれを介して、高次元のねじれへ結果を拡張すること。

提案手法

• Kの補空間の巡回被覆 X_r に対して、E(z) = ∑_{r≥1} log|H₁(X_r, ℤ)_tor| · z^r を定義する。
• フーリエ解析とディリクレ級数を用いて、log|H₁(X_r, ℤ)_tor| の算術的構造を分析する。
• 複素解析的技法を用いて、E(z) の有理型関数としての解析接続を、特にその極と特異点を研究する。
• 極の位置と位数が、アレクサンダー多項式 Δ_K の根、特に単位円上・外の根とどのように関係するかを関連付ける。
• 代数的数論およびL関数の結果を用いて、E(z) の特別な値を s=1 におけるディリクレL値で表現する。
• 多変数母関数を用いて、リードマイスター＝フランツねじれの成長を分析することで、高次元のねじれへ枠組みを一般化する。

実験結果

リサーチクエスチョン

• RQ1 アレクサンダー多項式 Δ_K がディオファントス的根を持たないとき、対数ねじれホモロジーの母関数 E(z) が複素平面 ℂ 全体に有理型関数として解析接続可能となる条件は何か？
• RQ2 E(z) の極はアレクサンダー多項式 Δ_K の根、特に単位円上の根とどのように関係するか？
• RQ3 スリバー＝ウィリアムズの漸近公式は、E(z) の解析的性質から導出可能か？　数論的極限ではなく、解析的性質から導出可能か？
• RQ4 アレクサンダー多項式にディオファントス的根（単位円上にありながら単位根でない根）が存在する場合、E(z) の解析的構造はどのように変化するか？
• RQ5 特に z=1 の近傍で、E(z) の展開に現れるディリクレ指標の特別なL値はどのように現れるか？

主な発見

• アレクサンダー多項式 Δ_K にディオファントス的根が存在しない場合、E(z) は、開単位円板の外にある Δ_K の根の整数乗の位置に極を持つ複素平面全体に有理型関数としての解析接続をもつ。
• これらの位置に於ける極はすべて単位極であるが、z=1 は1次または2次極をもつ可能性があり、これは直接的にスリバー＝ウィリアムズの漸近公式を示す。
• 各極における留数は、対応する Δ_K の根の重複度を符号化しており、E(z) の解析的データからアレクサンダー多項式を再構成可能である。
• Δ_K に少なくとも1つのディオファントス的根が存在する場合、E(z) は単位円を自然境界として持ち、開単位円板を超えての解析的接続は不可能である。
• ディオファントス的根の乗法的生成する単位円上の各点 p に対して、z→p における径方向極限 (1−|z|)E(z) は非ゼロであり、強い特異的挙動を示す。
• 結果は高次元のねじれへ拡張可能である：リードマイスター＝フランツねじれの母関数は、アレクサンダー多項式が絶対値1の根を持たない場合に限り、有理型関数としての解析接続をもち、そうでない場合は自然境界を持つ。