[論文レビュー] On $d$-invariants and generalised Kanenobu knots

Marco Marengon|arXiv (Cornell University)|Dec 10, 2014

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

ひとこと要約

本稿は、一般化カネノブ結び目に対する分岐二重被覆として得られる特定の無限族のL空間について、Ozsváth–Szabóのd不変量が上でも下でも無限大に発散することを証明する。L空間の分岐被覆におけるd不変量とトゥラエフ torsionの関係を用いることで、任意の奇数の行列式Δ² ≥ 25 を持つ無限個の非擬代数的でホモロジカルに細い結び目、およびS³内の結び目のスケーリングとして得られない無限個の双曲的で重み1の多様体が存在することを確立する。

ABSTRACT

We prove that for particular infinite families of $L$-spaces, arising as branched double covers, the $d$-invariants defined by Ozsváth and Szabó are arbitrarily large and small. As a consequence, we generalise a result by Greene and Watson by proving, for every odd number $Δ\geq 5$, the existence of infinitely many non-quasi-alternating homologically thin knots with determinant $Δ^2$, and a result by Hoffman and Walsh concerning the existence of hyperbolic weight $1$ manifolds that are not surgery on a knot in $S^3$.

研究の動機と目的

• 一般化カネノブ結び目の分岐二重被覆として得られる特定のL空間族におけるd不変量の無限大発散を確立すること。
• GreeneとWatsonの非擬代数的で細い結び目の結果を、すべての奇数の行列式Δ² ≥ 25 にまで一般化すること。
• HoffmanとWalshの双曲的で重み1の多様体がS³内の結び目のスケーリングとして得られないことの結果を、任意に大きな奇数の行列式Δ²を持つ無限個のこのような多様体にまで拡張すること。
• Turaev torsionを用いた計算フレームワークを提供し、L空間の分岐被覆におけるd不変量を決定すること。
• d不変量が3次元多様体が結び目のスケーリングであることを妨げる強力な障害であることを示し、特に重み1の設定においてその有効性を強調すること。

提案手法

• MullinsとRustamovの結果に基づく既知のL空間におけるd不変量とTuraev torsionの関係を活用し、d不変量の計算をTuraev torsionの計算に還元する。
• 3ブレードを用いて、定数の行列式およびホモロジー的不変量（Khovanov、奇数Khovanov、および結び目Floerホモロジー）を保つ一般化カネノブ結び目の無限族を構成する。
• 分岐二重被覆の基本群および第一ホモロジー群を計算し、Turaev torsionの計算を準備する。
• Turaev torsion多項式の係数を解析し、特定のパrameter族に対してそれが無限大に発散することを証明し、その結果d不変量の無限大発散を示す。
• duality性質 d(−Y, t) = −d(Y, t) を用いて負のスケーリング勾配を扱い、結び目のスケーリングに対する障害を拡張する。
• S³内の結び目のスケーリングのd不変量が有界であることから、d不変量が無限大に発散することは、その多様体が結び目のスケーリングでないことを示唆する。

実験結果

リサーチクエスチョン

• RQ1 一般化カネノブ結び目の分岐二重被覆のd不変量は、正負の両方向に無限大に発散しうるか？
• RQ2 任意の与えられた奇数の行列式Δ² ≥ 25 を持つ無限個の非擬代数的でホモロジカルに細い結び目が存在するか？
• RQ3 任意に大きな奇数Δについて、|H₁| = Δ² を持つ無限個の双曲的で重み1の3次元多様体M_{Δ,p} が、S³内のいかなる結び目のスケーリングとしても得られないか？
• RQ4 Turaev torsionの計算が、L空間の分岐被覆におけるd不変量を効果的に決定できるか？
• RQ5 d不変量は、特に重み1の設定において、3次元多様体が結び目のスケーリングでないことを妨げる程度がどの程度強いのか？

主な発見

• 任意のn ≥ 2に対して、|H₁(Σₘ; ℤ)| = (2n+1)² を満たすL空間の族{Σₘ}ₘ∈ℤ が存在し、そのd不変量は上でも下でも無限大に発散する。
• 任意の奇数Δ ≥ 5 に対して、行列式Δ² で、Khovanov、奇数Khovanov、および結び目Floerホモロジーが同一である無限個の非擬代数的でホモロジカルに細い結び目が存在する。
• 一般化カネノブ結び目の分岐二重被覆のd不変量は、そのTuraev torsion多項式の係数が無限大に発散するため、無限大に発散する。
• 任意の奇数Δ ≫ 0 に対して、|H₁(M_{Δ,p}; ℤ)| = Δ² を満たす無限個の双曲的で重み1の3次元多様体M_{Δ,p} が存在し、これらはS³内のいかなる結び目のスケーリングとしても得られない。
• これらの族におけるd不変量の無限大発散は、その多様体が結び目のスケーリングでないことを強く妨げる障害を提供し、HoffmanとWalshの結果を一般化する。
• L空間の分岐被覆におけるd不変量を計算するTuraev torsionの手法は有効であり、結び目のスケーリングの可能性に鋭い数論的制約を与える。