[論文レビュー] Curves defined by Chebyshev polynomials

Gene Freudenburg, Jenna K. C. Freudenburg|ArXiv.org|Feb 19, 2009

Algebraic Geometry and Number Theory参考文献 14被引用数 8

ひとこと要約

本稿は、第一種チェビシェフ多項式を用いて、アフィン直線の3次元空間への多項式埋め込みを調査する。写像 $(T_i, T_j, T_k)$ が埋め込みであるための必要十分条件は、$i,j,k$ の対ごとの最大公約数の最大値が 1 であること、すなわち $\text{pgcd}(i,j,k) = 1$ である。さらに、固定された互いに素な $i,j$ に対して、$k$ を変化させたとき、$\text{pgcd}(i,j,k) = 1$ を満たす埋め込みが生成する結び目の種類は有限個に限られ、$\mathbb{R}$ 上での t-有限性が示される。また、交わりを持つ交替的 $(i,j)$-結び目についての明示的なパラメータ表示を提供し、特定のチェビシェフ曲線が $(2,2n+1)$ ホールドリッジ結び目をパラメータ表示することを証明する。

ABSTRACT

Working over a field $\kk$ of characteristic zero, this paper studies line embeddings of the form $ϕ= (T_i,T_j,T_k):\A^1 o\A^3$, where $T_n$ denotes the degree $n$ Chebyshev polynomial of the first kind. In {\it Section 4}, it is shown that (1) $ϕ$ is an embedding if and only if the pairwise greatest common divisor of $i,j,k$ is 1, and (2) for a fixed pair $i,j$ of relatively prime positive integers, the embeddings of the form $(T_i,T_j,T_k)$ represent a finite number of algebraic equivalence classes. {\it Section 2} gives an algebraic definition of the Chebyshev polynomials, where their basic identities are established, and {\it Section 3} studies the plane curves $(T_i,T_j)$. {\it Section 5} establishes the Parity Property for Nodal Curves, and uses this to parametrize the family of alternating $(i,j)$-knots over the real numbers.

研究の動機と目的

• アフィン直線 $\mathbb{A}^1$ からアフィン3次元空間 $\mathbb{A}^3$ への写像 $\phi = (T_i, T_j, T_k)$ が代数的埋め込みとなる条件を、チェビシェフ多項式を用いて特徴付けること。
• 固定された互いに素な $i,j$ に対して、$\text{pgcd}(i,j,k) = 1$ を満たす $k$ を変化させたとき、$\mathbb{R}$ 上でどのくらいの種類の結び目が得られるかを特定し、t-有限性を検討すること。
• 第一種および第二種チェビシェフ多項式を用いて、交替的 $(i,j)$-結び目およびトーラス結び目の明示的な多項式パラメータ表示を提供すること。
• 結び目の不変量とパラメータ表示に用いられる多項式の代数的構造との関係、特に再帰関係を通じての関係を探索すること。

提案手法

• 三角関数的恒等式および再帰関係を用いた第一種チェビシェフ多項式の代数的定義を用いる。
• エピモルフィズム定理を適用し、誘導される代数同型 $\phi^*$ の単射性と全射性を分析することで、埋め込みの条件を保証する。
• 代数的同値性と可約性の概念を用いて、$\mathbb{A}^3$ の自己同型に関して埋め込みを分類し、可約な場合と非可約な場合を区別する。
• ノード曲線における交差（上／下）をモデル化するため、再帰的かつ周期的な符号パターンを持つ交差列 $a_m$ を導入する。
• 数学的帰納法を $n$ について用い、曲線 $(T_3, T_{3n+1})$ とその交差列 $a_m$ がすべての $n \geq 1$ に対して $(2,2n+1)$ ホールドリッジ結び目をパラメータ表示することを証明する。
• ノード曲線 $(T_i, T_j)$ のノード数とその交差の性質を分析し、結び目の種類の分類に結びつける。

実験結果

リサーチクエスチョン

• RQ1 写像 $\phi = (T_i, T_j, T_k)$ が $\mathbb{A}^1$ から $\mathbb{A}^3$ への代数的埋め込みであるための $i,j,k$ の条件は何か？
• RQ2 固定された互いに素な $i,j$ に対して、$\text{pgcd}(i,j,k) = 1$ を満たす $k$ を変化させたとき、どのくらいの異なる結び目の種類が得られるか？
• RQ3 交替的 $(i,j)$-結び目の族は、第一種および第二種チェビシェフ多項式を用いて明示的にパラメータ表示可能か？
• RQ4 $k = \max\{i,j\}$ または $k = ij - i - j$ のとき、曲線 $(T_i, T_j, T_k)$ は $(2,2n+1)$ ホールドリッジ結び目をパラメータ表示するか？
• RQ5 結び目 $(T_i, T_j, T_k)$ の結び目不変量（例えば交差数）を $i,j,k$ の関数として一般に表す公式は存在するか？

主な発見

• 写像 $\phi = (T_i, T_j, T_k)$ が代数的埋め込みであるための必要十分条件は、$\text{pgcd}(i,j,k) = 1$ であり、ここで $\text{pgcd}(i,j,k) = \max\{\gcd(i,j), \gcd(i,k), \gcd(j,k)\}$ である。
• 固定された互いに素な $i,j$ に対して、集合 $\{(T_i, T_j, T_k) \mid \text{pgcd}(i,j,k) = 1\}$ が生成する代数的同値類は有限個に限られ、$\mathbb{R}$ 上での t-有限性が示される。
• 交差列 $a_m$ を定義した曲線 $(T_3, T_{3n+1})$ は、すべての $n \geq 1$ に対して $(2,2n+1)$ ホールドリッジ結び目をパラメータ表示する。これは $n$ を変数とする数学的帰納法により証明された。
• $i=3$, $j=3n+1$ のとき、$k = 3n+2$ であれば、$(T_i, T_j, T_k)$ が $(2,2n+1)$ ホールドリッジ結び目をパラメータ表示することを、$n \leq 7$ まで数値的に検証したが、一般の証明は未解決のままである。
• 本稿では、奇数の $i \geq 3$ に対して、三つ組 $(T_i, T_{i+1}, T_{i+2})$ が交差数 $i$ の結び目をパラメータ表示するのだと予想し、同様に $(T_i, T_{i+2}, T_{i+4})$ が交差数 $i+1$ の結び目をパラメータ表示すると予想する。これは観察されたパターンに基づくものである。
• $(2,n)$ ホールドリッジ結び目のコンウェイ多項式が、$n-1$ 次のモニックな第一種チェビシェフ多項式と一致することが示され、結び目不変量とチェビシェフ再帰構造との間に深い代数的関係がある可能性が示唆された。