[論文レビュー] Chirality and the Conway polynomial

James Conant|arXiv (Cornell University)|Mar 28, 2005

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

ひとこと要約

この論文は、アンフィケイラルな絡み目のコンウェイ多項式の代数的構造を調査し、ある整数係数多項式 $f$ に対して $f(z)f(-z)$ に因数分解可能であると提案する。形式的対数関数とモジュラー算術を用いて、この因数分解が成り立つならば、$\mathbb{Z}_4[[z]]$ において $C(z)C(iz)C(z^2)$ は完全平方であることを示し、ヴァシリエフ不変量に関する予想を支持するとともに、すべてのアンフィケイラルな絡み目がこのような因数分解可能なコンウェイ多項式を持つというより広範な予想に対する証拠を提供する。

ABSTRACT

In recent work with J.Mostovoy and T.Stanford,the author found that for every natural number n, a certain polynomial in the coefficients of the Conway polynomial is a primitive integer-valued degree n Vassiliev invariant, but that modulo 2, it becomes degree n-1. The conjecture then naturally suggests itself that these primitive invariants are congruent to integer-valued degree n-1 invariants. In this note, the consequences of this conjecture are explored. Under an additional assumption, it is shown that this conjecture implies that the Conway polynomial of an amphicheiral knot has the property that C(z)C(iz)C(z^2) is a perfect square inside the ring of power series with integer coefficients, or, equivalently, the image of C(z)C(iz)C(z^2) is a perfect square inside the ring of polynomials with Z_4 coefficients. In fact, it is probably the case that the Conway polynomial of an amphicheiral knot always can be written as f(z)f(-z) for some polynomial f(z) with integer coefficients, and this actually implies the above "perfect squares" conditions. Indeed, by work of Kawauchi and Hartley, this is known for all negative amphicheiral knots and for all strongly positive amphicheiral knots. In general it remains unsolved, and this paper can be seen as some evidence that it is indeed true in general. [Added 2/22/12: Of note is the recent paper arXiv:1106.5634v1 [math.GT] by Ermotti, Hongler and Weber, which finds a counterexample to the conjecture that all Conway polynomials of amphicheiral knots are of the form f(z)f(-z). Intriguingly, their main example still satisfies C(z)C(iz)C(z^2)=f(z)^2 for a power series f(z), making the main conjecture of the present paper that much more compelling, in the author's opinion.]

研究の動機と目的

• アンフィケイラルな絡みもののコンウェイ多項式が、ある整数係数多項式 $f$ に対して $f(z)f(-z)$ と書けるかどうかを調査すること。
• この因数分解が、$\mathbb{Z}_4$ 係数の形式的べき級数環における $C(z)C(iz)C(z^2)$ の構造に与える影響を検討すること。
• $C(z)C(iz)C(z^2)$ が modulo 4 で完全平方であるという予想を、ヴァシリエフ不変量の整数性および torsion 性質と結びつけて証明する根拠を提供すること。
• 強いアンフィケイラルおよび負のアンフィケイラルな絡みめについて既知の結果を、一般の場合にまで拡張すること。

提案手法

• 整数係数のべき級数に対して離散的対数関数 $\operatorname{log}_{\mathbb{Z}}$ を定義し、コンウェイ多項式から原始的ヴァシリエフ不変量を構成する。
• 形式的指数関数 $\operatorname{exp}_{\mathbb{Z}}$ を用いて対数関数を逆転させ、対数係数からコンウェイ多項式を再構成する。
• 4を法としての還元を適用し、$C(z)C(iz)C(z^2)$ の構造を分析し、それが $\mathbb{Z}_4[[z]]$ で平方であるならば、$\mathbb{Z}[[z]]$ に引き上げられることを示す。
• 命題 4.2 を用いて、整数係数のべき級数が 4 を法として平方であるならば、その平方根も整数係数を持つことを示す。
• 命題 4.3 を用いて、$\mathbb{Z}_4[[z]]$ の形式的べき級数の構造を分析し、その平方が多項式であるならば、その級数は 2 を法として多項式でなければならないことを示す。
• ハートレーおよびカワウチによる負のアンフィケイラルおよび強いアンフィケイラルな絡みめに関する既知の結果を活用し、それらのコンウェイ多項式が $f(z)f(-z)$ に因数分解可能であり、したがって予想を満たすことを示す。

実験結果

リサーチクエスチョン

• RQ1 すべてのアンフィケイラルな絡みもののコンウェイ多項式は、ある整数係数多項式 $f$ に対して $f(z)f(-z)$ に因数分解可能か？
• RQ2 そのような因数分解が成り立つならば、$C(z)C(iz)C(z^2)$ は $\mathbb{Z}_4[[z]]$ で完全平方であるか？
• RQ3 離散的対数関数およびモジュラー還元の技法を用いて、$C(z)C(iz)C(z^2)$ が $\mathbb{Z}_4[[z]]$ で完全平方であるという予想を証明できるか？
• RQ4 $C(z) = f(z)f(-z)$ という条件は、$\mathbb{Z}_4[[z]]$ における平方条件よりも厳密に強いものか？ そして、その knot の行列式にどのような意味があるか？
• RQ5 ${\mathbb{Z}_{4k}}$ 対称性を持つ双曲的アンフィケイラルな絡み目において、$C(z) = f(z)f(-z)$ の因数分解に反例は存在するか？

主な発見

• アンフィケイラルな絡みもののコンウェイ多項式が $f(z)f(-z)$ に因数分解可能であるならば、$C(z)C(iz)C(z^2)$ は整数係数のべき級数環で完全平方である。
• $C(z)C(iz)C(z^2)$ が $\mathbb{Z}_4[[z]]$ で完全平方であるという条件は、$F^2 = C(z)C(iz)C(z^2)$ を満たす多項式 $F \in \mathbb{Z}_4[[z]]$ の存在と同値である。
• すべての負のアンフィケイラルおよび強いアンフィケイラルな絡み目において、コンウェイ多項式は $f(z)f(-z)$ に因数分解可能であり、したがって $\mathbb{Z}_4[[z]]$ における平方条件を満たす。これにより、これらのケースで予想が確認された。
• アンフィケイラルな絡みものの行列式は二つの平方数の和である。これは、$C(z) = f(z)f(-z)$ の因数分解によって示唆され、予想と整合的である。
• 本論文は、双曲的絡み目であっても ${\mathbb{Z}_{4k}}$ 対称性を持つアンフィケイラルな絡みも含め、すべてのアンフィケイラルな絡み目について、$C(z) = f(z)f(-z)$ の予想が成り立つ証拠を提供しているが、一般には未解決のままである。
• 著者らは、$C(z)C(iz)C(z^2)$ が 4 を法として平方であり、かつ整数係数のべき級数の係数と合同であるならば、その平方根も整数係数を持つことを示し、$\mathbb{Z}_4$ における平方条件が $\mathbb{Z}$ に引き上げられることを支持する。