[论文解读] 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: \mathbb{C}^2 \to \mathbb{C} $，使得其在单位三维球面 $ S^3 $ 上的零点集为任意给定的链环，方法是通过三角函数参数化链环的辫闭包，并从傅里叶型系数构造 $ f $。关键结果是构造性证明了任意链环 $ 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.

研究动机与目标

• 提供一种显式、算法化的构造方法，生成一个复多项式，使其在三维球面上的节点集为任意给定的链环。
• 通过系统化方法将先前关于双纽结和拟正则链环的结果推广至所有链环。
• 利用辫不变量 $ \beta(B) $ 建立链环莫尔斯-诺维科夫数的定量上界。
• 证明全纯多项式参数的模长可在 $ S^3 \setminus L $ 上生成一个正则、光滑的实值莫尔斯函数。

提出的方法

• 通过三角函数参数化给定链环的辫闭包，以定义临界辫结构。
• 从参数化辫的傅里叶系数构造函数 $ g_{a,b} $，并通过逼近确保无相位临界点。
• 利用三角多项式在 $ 2\pi $-周期连续函数空间中的稠密性，逼近辫的参数化。
• 在变量 $ u, v, \overline{v} $ 中定义全纯多项式 $ f $，使得 $ f^{-1}(0) \cap S^3 $ 为所期望的链环。
• 通过立体投影将 $ S^3 $ 上的节点集与 $ \mathbb{R}^3 $ 中原始链环关联起来。
• 利用阿廷生成元及其共轭结构，确保临界辫与原始辫在同伦意义下一致。

实验结果

研究问题

• RQ1 是否每个链环都能作为三维球面上全纯多项式的节点集实现？
• RQ2 在 $ S^3 \setminus L $ 上，正则实值莫尔斯函数的最小临界点数是多少？其与辫不变量有何关系？
• 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 $ 上是一个正则、光滑的实值莫尔斯函数，其临界点数恰好为 $ \beta(B) $，其中 $ B $ 是闭合为 $ L $ 的辫。
• 链环 $ L $ 的莫尔斯-诺维科夫数 $ \mathcal{MN}(L) $ 满足 $ \mathcal{MN}(L) \leq \beta(B) $，且对非纤维化链环，等号可能成立。
• 该构造是算法化且显式的，基于用三角多项式逼近辫参数化。
• 上界 $ \mathcal{MN}(L) \leq \beta(B) $ 是紧的，且由全纯多项式参数模长实现，从而将先前关于拟正则与横截 $ \mathbb{C} $-链环的结果推广至更广范围。