[論文レビュー] Nonorientable four-ball genus can be arbitrarily large

Joshua Batson|arXiv (Cornell University)|Apr 9, 2012

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

ひとこと要約

この論文は、結び目のシグネチャーやその−1スケーリングのヘーガード＝フロアー d-不変量を用いて、非可換四次元ボールジャンルの新しい下界を確立する。トーラス結び目 $T_{2k,2k-1}$ の非可換四次元ボールジャンルが正確に $k-1$ であることを示し、この不変量が任意に大きく成長しうることを示し、非可換四次元ボールジャンルの無限大性に関する長年の未解決問題を解決する。

ABSTRACT

The nonorientable four-ball genus of a knot K is the smallest first Betti number of any smoothly embedded, nonorientable surface F in B^4 bounding K. In contrast to the orientable four-ball genus, which is bounded below by the Murasugi signature, the Ozsvath-Szabo tau-invariant, the Rasmussen s-invariant, the best lower bound in the literature on the nonorientable four-ball genus for any K is 3. We find a lower bound in terms of the signature of K and the Heegaard-Floer d-invariant of the integer homology sphere given by -1 surgery on K. In particular, we prove that the nonorientable four-ball genus of the torus knot T(2k,2k-1) is k-1.

研究の動機と目的

• 非可換四次元ボールジャンルが任意に大きく取り得るかどうかという未解決問題を解消すること。
• 古典的および現代的な結び目不変量を用いて、非可換四次元ボールジャンル $\gamma_4(K)$ の一般化された下界を確立すること。
• $\gamma_4(T_{2k,2k-1}) = k-1$ を証明し、この不変量の無限大成長を示すこと。
• ヘーガード＝フロアー理論の適用範囲を、四次元ボール内での非可換曲面の障害を示すために拡張すること。

提案手法

• 結び目のシグネチャー $\sigma(K)$ と $S^3_{-1}(K)$（$K$ に対する−1スケーリングで得られる整数ホモロジー球）のヘーガード＝フロアー $d$-不変量を用いて、$\gamma_4(K)$ の下界を導出する。
• G-シグネチャー定理と通常の自己交差数の議論を用い、二重被覆のシグネチャーと自己交差数を、非可換曲面の genus に関連付ける。
• レンズ空間スケーリングの $d$-不変量がアレクサンドラ多項式およびその係数を用いて計算可能であるという事実を応用し、トーラス結び目における $d(S^3_{-1}(K))$ を評価する。
• 標準的なトーラス埋め込みに対するモース移動を用いて、トーラス結び目間の非可換コボルディズムを明示的に構成し、$T_{2k,2k-1}$ を $k-1$ ステップでトレースに還元する。
• 得られた曲面の第一ベッチ数が $k-1$ であることを検証し、下界を用いて最小性を結論づける。
• 既知のトーラス結び目の $d$-不変量とシグネチャーとの関係を活用し、$\frac{\sigma}{2} - d = k-1$ を計算する。

実験結果

リサーチクエスチョン

• RQ1 結び目の非可換四次元ボールジャンルは任意に大きく取り得るか？
• RQ2 シグネチャーなどの古典的不変量と $d$-不変量などの現代的不変量を組み合わせた、$\gamma_4(K)$ の一般化された下界は存在するか？
• RQ3 $k \geq 2$ のとき、$\gamma_4(T_{2k,2k-1})$ の正確な値は何か？
• RQ4 結び目の−1スケーリングの $d$-不変量は、小さな非可換ジャンルを妨げる鋭い障害を提供できるか？

主な発見

• 任意の結び目 $K \subset S^3$ に対して、非可換四次元ボールジャンル $\gamma_4(K)$ は下界 $\gamma_4(K) \geq \frac{\sigma(K)}{2} - d(S^3_{-1}(K))$ を満たす。
• トーラス結び目 $T_{2k,2k-1}$ に対して、この下界は $k-1$ に評価され、明示的な構成によって達成されるため、$\gamma_4(T_{2k,2k-1}) = k-1$ である。
• この結果は、非可換四次元ボールジャンルが無限大に成長しうることを示し、未解決問題に肯定的に答えを出す。
• $S^3_{-1}(T_{2k,2k-1})$ の $d$-不変量は $k^2 - k$ に計算され、$\sigma(T_{2k,2k-1}) = 2k^2 - 2$ と組み合わせて、差 $\frac{\sigma}{2} - d = k - 1$ が得られる。
• トーラス埋め込みに対する連続するモース移動を用いた非可換曲面の構成により、第一ベッチ数 $k-1$ の曲面が得られ、この下界が鋭いことが確認される。
• 本論文は、この構成が $T_{p,q}$ の最小ジャンルを与えると予想し、$d$-不変量による下界が多くのトーラス結び目に対して鋭いと述べている。