[論文レビュー] Constructing a polynomial whose nodal set is any prescribed knot or link

Benjamin Bode, Mark R. Dennis|arXiv (Cornell University)|Dec 19, 2016

Advanced Numerical Analysis Techniques被引用数 5

ひとこと要約

本稿では、三角関数を用いてリンクのブレード閉包をパラメトライズし、フーリエ型係数から$f$を構成することで、単位3次元球面$S^3$上でのゼロ集合が任意の指定されたリンクとなるように、半正則な多項式$f: \mathbb{C}^2 \to \mathbb{C}$を明示的に構成するアルゴリズムを提示する。主な結果は、任意のリンク$L$のモース＝ノヴィコフ数が、$L$にブレード閉包されるブレード$B$の非均質性測度$\beta(B)$によって上から有界であることを構成的証明することであり、この上限は半正則な多項式の偏角によって達成される。

ABSTRACT

We describe an algorithm that for every given braid $B$ explicitly constructs a function $f:\mathbb{C}^{2} ightarrow\mathbb{C}$ such that $f$ is a polynomial in $u$, $v$ and $\overline{v}$ and the zero level set of $f$ on the unit three-sphere is the closure of $B$. The nature of this construction allows us to prove certain properties of the constructed polynomials. In particular, we provide bounds on the degree of $f$ in terms of braid data.

研究の動機と目的

• 与えられたリンクのノード集合が$S^3$上に一致するような複素多項式の明示的かつアルゴリズム的な構成を提供すること。
• リーマン曲線の絡み目や準正則なリンクに関する先行研究を、体系的な手法によりすべてのリンクへと拡張すること。
• ブレード不変量$\beta(B)$を用いて、リンクのモース＝ノヴィコフ数の定量的上限を確立すること。
• 半正則な多項式の偏角が、$S^3 \setminus L$上で正則で滑らかな$S^1$値モース関数となることを示すこと。

提案手法

• 与えられたリンクのブレード閉包を三角関数を用いてパラメトライズし、臨界ブレード構造を定義する。
• パラメトライズされたブレードのフーリエ係数から関数$g_{a,b}$を構成し、近似によって位相臨界点を回避する。
• 三角関数多項式が$2\pi$-周期連続関数空間において稠密であるという事実を用い、ブレードパラメトライズを近似する。
• 変数$u, v, \overline{v}$における半正則多項式$f$を定義し、$f^{-1}(0) \cap S^3$が所望のリンクとなるようにする。
• ステレオグラフィック射影を用いて、$S^3$上でのノード集合を$\mathbb{R}^3$における元のリンクに関連付ける。
• アーティン生成子とその共役の構造を活用し、臨界ブレードが元のブレードとホモトピー的同値となるように保証する。

実験結果

リサーチクエスチョン

• RQ1 任意のリンクは、3次元球面$S^3$上でのノード集合として半正則多項式によって実現可能か？
• RQ2 $S^3 \setminus L$上での正則$S^1$値モース関数の最小臨界点数は何か？また、これはブレード不変量とどのように関係するか？
• RQ3 任意のリンクに対して、多項式の偏角を正則なモース関数にできるか？これにはどのような制約が課されるか？
• RQ4 ブレードの非均質性測度$\beta(B)$は、その閉包のモース＝ノヴィコフ数とどのように関係するか？
• RQ5 存在証明に依存するのではなく、任意のリンクに対してこのような多項式を構成的に生成する方法はあるか？

主な発見

• 任意のリンク$L$に対して、半正則多項式$f: \mathbb{C}^2 \to \mathbb{C}$が存在し、$f^{-1}(0) \cap S^3$は$L$とアモビエント同相である。
• $f$の$u$に関する次数は、$L$のブレード閉包のストランド数に等しい。
• $f$の偏角は、$S^3 \setminus L$上で正則で滑らかな$S^1$値モース関数であり、$L$にブレード閉包されるブレード$B$に対して正確に$\beta(B)$個の臨界点を持つ。
• リンク$L$のモース＝ノヴィコフ数$\mathcal{MN}(L)$は、$\mathcal{MN}(L) \leq \beta(B)$を満たし、非ファイバードリンクに対しては等号が成立する可能性がある。
• 構成はアルゴリズム的かつ明示的であり、ブレードパラメトライズの三角関数多項式による近似に基づく。
• 不等式$\mathcal{MN}(L) \leq \beta(B)$は鋭く、半正則多項式の偏角によって達成され、準正則およびトランスバース$\mathbb{C}$-リンクに関する先行結果を拡張する。