[論文レビュー] On singularities of the inverse problems associated with perfect cuboids

John Ramsden, Руслан Шарипов|arXiv (Cornell University)|Aug 9, 2012

Limits and Structures in Graph Theory参考文献 25被引用数 10

ひとこと要約

本稿は、立方体の有理的完全長方形の逆問題における特異点を、三次方程式および補助方程式の係数の代数的構造を分析することによって調査する。特異点は3つの要因に起因する：2つの有理曲線（b = 1/(c−1) および b = c/(c−2)）と1つの孤立した有理点（b=0, c=0）であり、単純な特異点構造を明らかにし、完全長方形の有限探索境界の特定に役立つ可能性がある。

ABSTRACT

Two cubic equations and three auxiliary equations for edges and face diagonals of a rational perfect cuboid have been recently derived. They constitute a background for two inverse problems. The coefficients of cubic equations and the right hand sides of auxiliary equations are rational functions of two rational parameters, i. e. they have denominators. Hence the inverse problems have singular points. These singular points are studied in the present paper.

研究の動機と目的

• 有理的完全長方形の逆問題の定式化において生じる特異点を分析すること。
• 三次方程式および補助方程式の係数式における分母の代数的構造を特定すること。
• 逆問題のパrameter空間 (b, c) におけるすべての特異点を分類すること。
• 特異点構造が有理的完全長方形の探索を簡略化するかどうかを評価すること。
• 特異点多様体が有理的か楕円的かを特定し、解の有限性に及ぼす影響を明らかにすること。

提案手法

• 逆問題の有理式から、すべての係数式（E₁₀, E₀₁, ..., E₁₂）の共通分母を導出する。
• 繰り返し項を因数分解することで共通分母を最小形式に簡略化し、3つの異なる既約因数を特定する。
• 各因数を分析して、(b, c)-平面上における対応する特異点部分多様体を特定する。
• 因数分解された方程式（b c − 1 − b = 0、b c − c − 2b = 0、およびbに関する四次方程式）を解き、特異集合を特徴付ける。
• 3番目の因数におけるbに関する二次方程式の判別式を評価し、有理的解を特定する。
• 特異点として、唯一の孤立した有理点と2つの有理曲線が生じることを結論づけ、楕円曲線は関与しない。

実験結果

リサーチクエスチョン

• RQ1 逆問題が特異的になる (b, c)-パrameter空間内の代数的多様体は何か？
• RQ2 逆問題の係数の特異点は、有理曲線か、楕円曲線のようなより複雑な多様体か？
• RQ3 3番目の特異点因数に対して、孤立点 (b=0, c=0) 以外に有理的解は存在するか？
• RQ4 特異点構造を用いて、有理的完全長方形の探索を制約または簡略化できるか？
• RQ5 特異点集合は有限かパラメータ化可能か？これにより完全長方形の存在にどのような含意が生じるか？

主な発見

• 逆問題の特異点は、簡約化された共通分母の消滅によって決定される：(b²c⁴ − 6b²c³ + 13b²c² − 12b²c + 4b² + c²)(b c − 1 − b)(b c − c − 2b) = 0。
• 最初の2つの特異点部分多様体は有理曲線である：b = 1/(c−1) および b = c/(c−2)，それぞれ直線と双有理同型である。
• 3番目の部分多様体（b²c⁴ − 6b²c³ + 13b²c² − 12b²c + 4b² + c² = 0）の判別式は、c ≠ 0,1,2 のとき D = −4(c−1)²(c−2)²c² < 0 である。
• 3番目の因数の唯一の有理的解は、孤立点 (b, c) = (0, 0) である。c=1 および c=2 は矛盾を引き起こす。
• 方程式 b²c⁴ − 6b²c³ + 13b²c² − 12b²c + 4b² + c² = 0 は (c−1)²(c−2)²b² + c² = 0 に簡約され、(0,0)以外に実解が存在しないことが確認される。
• 全特異点集合は、2つの有理曲線と1つの孤立した有理点から構成され、楕円曲線は含まれない。