[論文レビュー] Determinations of rational Dedekind-zeta invariants of hyperbolic manifolds and Feynman knots and links

Jonathan M. Borwein, David Broadhurst|ArXiv.org|Nov 19, 1998

Geometric and Algebraic Topology参考文献 26被引用数 17

ひとこと要約

本論文は、実験的数学と高精度計算を用いて、虚二次体のDedekindゼータ関数値と有理的に関係する体積を持つ998体の閉じた双曲的3次元多様体と152体のカスプ付き多様体を同定した。10成分24交差のプラトン的リンクで、Dedekindゼータ不変量が有理数26であるものを見つけ、これらのゼータ関数値を量子場理論のフェニマン図に結びつけ、数論、位相幾何学、物理学の間の深い関係を明らかにした。

ABSTRACT

We identify 998 closed hyperbolic 3-manifolds whose volumes are rationally related to Dedekind zeta values, with coprime integers $a$ and $b$ giving $a/b vol(M)=(-D)^{3/2}/(2π)^{2n-4} (ζ_K(2))/(2ζ(2))$ for a manifold M whose invariant trace field $K$ has a single complex place, discriminant $D$, degree $n$, and Dedekind zeta value $ζ_K(2)$. The largest numerator of the 998 invariants of Hodgson-Weeks manifolds is, astoundingly, $a=2^4 imes23 imes37 imes691 =9,408,656$; the largest denominator is merely b=9. We also study the rational invariant a/b for single-complex-place cusped manifolds, complementary to knots and links, both within and beyond the Hildebrand-Weeks census. Within the censi, we identify 152 distinct Dedekind zetas rationally related to volumes. Moreover, 91 census manifolds have volumes reducible to pairs of these zeta values. Motivated by studies of Feynman diagrams, we find a 10-component 24-crossing link in the case n=2 and D=-20. It is one of 5 alternating platonic links, the other 4 being quartic. For 8 of 10 quadratic fields distinguished by rational relations between Dedekind zeta values and volumes of Feynman orthoschemes, we find corresponding links. Feynman links with D=-39 and D=-84 are missing; we expect them to be as beautiful as the 8 drawn here. Dedekind-zeta invariants are obtained for knots from Feynman diagrams with up to 11 loops. We identify a sextic 18-crossing positive Feynman knot whose rational invariant, a/b=26, is 390 times that of the cubic 16-crossing non-alternating knot with maximal D_9 symmetry. Our results are secure, numerically, yet appear very hard to prove by analysis.

研究の動機と目的

• 虚二次体のDedekindゼータ関数値と有理的に関係する体積を持つ双曲的3次元多様体を同定すること。
• 双曲的幾何学、数論（Dedekindゼータ関数を介して）、および量子場理論（フェニマン図を介して）の間の関係を探ること。
• Dedekindゼータ関数値の有理数倍と関係する体積を持つリンクおよび結び目の発見と特徴付け。
• 双曲的体積とゼータ関数の特別な値との間の未解決の関係に対する強力な数値的証拠を提供すること。
• 実験的数学が、数学的物理および数論の分野において、深く予期せぬ関係を明らかにする力の高さを示すこと。

提案手法

• カスタムの多倍長精度コードとSnapPea、Pari、Mapleなどのツールを用いて、多様体の双曲的体積を高精度で計算した。
• 整数関係を検出するためにPSLQアルゴリズムを用いた。
• 有理Dedekindゼータ不変量 $ a/b $ を、$ \frac{a}{b} \cdot \text{vol}(\mathcal{M}) = \frac{(-D)^{3/2}}{(2\pi)^{2n-4}} \cdot \frac{\zeta_K(2)}{2\zeta(2)} $ と定義した。ここで $ K $ は不変トレース体である。
• 3次元多様体およびリンクの三角形分割を分析し、幾何的不変量を抽出し、有理関係を検証した。
• 10成分24交差リンクおよび18交差結び目の体積をDedekindゼータ関数値にマッピングし、有理不変量を同定した。
• 1ループおよびマルチループフェニマン図と、特定のゼータ関数値および多対数的恒等式の出現との関係を調査した。

実験結果

リサーチクエスチョン

• RQ1 虚二次体に対するDedekindゼータ関数値 $ \zeta_K(2) $ と有理数倍の体積を持つ双曲的3次元多様体はどれか？
• RQ2 量子場理論におけるフェニマン図から導かれる結び目およびリンクに対して、有理不変量を体系的に同定できるか？
• RQ3 なぜ特定の10成分および18交差リンクが $ a/b = 26 $ のような非常に大きな有理不変量を示すのか。その幾何学的・算術的構造はどのように説明できるか？
• RQ4 双曲的体積と特殊なゼータ関数値との間の観察された有理関係の起源は何か。特に、解析的証明が未だ得られていない状況で。
• RQ5 プラトン的対称性や多対数的恒等式のような、双曲的幾何学と数論の間の観察された関係を裏付ける、より深い代数的または幾何的構造は存在するか？

主な発見

• Hodgson–Weeksのリストに含まれる998体の閉じた双曲的3次元多様体が、Dedekindゼータ関数値と有理的に関係する体積を持つことが判明した。最大の有理不変量は $ a/b = 9,408,656/9 $ であった。
• 152体の異なるカスプ付き多様体が、Dedekindゼータ関数値と有理関係にあると同定され、そのうち91体は2つのそのようなゼータ関数値に還元可能であった。
• 体 $ \mathbb{Q}(\sqrt{-5}) $ 内に存在する10成分24交差のプラトン的リンクが発見され、有理Dedekindゼータ不変量が26であった。さらに4体の四次元プラトン的リンクが同定された。
• 有理関係がゼータ関数値と体積の間で成立する10体の二次体のうち8体に対して、対応するフェニマンリンクが発見された。$ D = -39 $ および $ D = -84 $ の場合については未解決のままである。
• 有理不変量 $ a/b = 26 $ の6次元18交差正のフェニマン結び目が発見され、これは最大の $ D_9 $ 対称性を持つ3次元16交差非交番結び目よりも390倍も大きな値であった。
• Dirichlet級数 $ \sum_{n>0} \left\{ 3\left(-\frac{3}{4} + \frac{\sqrt{-7}}{4}\right)^n - \cdots \right\} \frac{1}{n^2} = 13\zeta(2) - 6\pi\arctan\sqrt{7} + \frac{7\sqrt{-7}}{4} \sum_{n>0} \left(\frac{n}{7}\right) \frac{1}{n^2} $ に関する深い未解決恒等式が、経験的証拠によって支持されている。虚部は依然として取り扱いが困難である。