[論文レビュー] A Quaternionic Proof of the Universality of Some Quadratic Forms

Jesse Ira Deutsch|ArXiv.org|Jun 22, 2004

Advanced Mathematical Identities参考文献 6被引用数 8

ひとこと要約

この論文は、ℚ 上のクaternion代数におけるノルムユークリッド的順序を構成することで、9つの特定の四変数二次形式（古典的四平方定理を含む）の普遍性をクォータニオン的証明によって示している。代数的数論と計算的検証を用いて、これらの形式がすべての正の整数を表すことを示しているが、(1,2,5,10) については、有理係数の適切なユニットクォータニオンが存在しないことによる障害のため、このような手法では対応できない。

ABSTRACT

Quadratic forms over Z that represent all positive integers are called universal. Starting with Ramanujan, 54 universal quaternary quadratic forms without cross product terms were discovered. The form that is the sum of four squares was proved universal by Hurwitz using a special ring of quaternions. Here seven other quaternary quadratic forms are shown universal by investigation of appropriate rings of quaternions.

研究の動機と目的

• ハーツィッツの四平方定理のクォータニオン的証明を、他の普遍的四変数二次形式へと拡張すること。
• ラマヌジャンの54個の普遍的四変数二次形式のうち、どの形式がクォータニオンのノルム構造を用いて証明可能であるかを特定すること。
• 標準的クォータニオン環から生じない形式に対応する、有理クォータニオン代数における新しいノルムユークリッド的順序の構成。
• 代数的障害によって、クォータニオン的手法が通用しない形式 (1,2,5,10) を特定することで、クォータニオン的手法の限界を調査すること。
• 理論的手法が失敗する形式に対して、独自のコンピュータ代数システムを用いて、普遍性を計算的に検証すること。

提案手法

• 乗法について閉じたクォータニオンの ℤ-加群を構成し、その要素のノルムが二次形式に一致するようにする。
• 一般化されたクォータニオン代数 (m,n)/ℚ を用いて、所望の形式がノルムとして現れるノルムユークリッド的で部分環 H_{n,m,…} を定義する。
• 恒等式 N(αβ) = N(α)N(β) を用いて積法則を確立し、ノルム形式が乗法的であることを保証する。
• 各形式に対して、その変数の係数が整数となるような、環内のユニットの両側積を特定する。
• 整数係数の関連要素の存在を用いた降下法を適用し、すべての素数が表せることを示す。
• PUNIMAX を用いたコンピュータ代数により、ユニットの両側積を計算し、特に (1,2,3,6) および (1,1,3,3) の表現を検証する。

実験結果

リサーチクエスチョン

• RQ1 ラマヌジャンの54個の普遍的四変数二次形式のうち、どの形式がクォータニオンのノルム構造を用いて普遍性が証明可能か？
• RQ2 古典的四平方定理は、体系的なクォータニオン的構成によって、他の対角二次形式へと一般化可能か？
• RQ3 形式 (1,2,5,10) がクォータニオン的証明に抵抗するのはなぜか？ その背後にある代数的障害は何か？
• RQ4 対角的四変数二次形式の係数にどのような条件を課すと、有理クォータニオン代数におけるノルムユークリッド的順序のノルムとして現れるか？
• RQ5 理論的手法が失敗する場合に、計算代数を効果的に用いて普遍性を検証するにはどうすればよいか？

主な発見

• 形式 (1,1,1,1) はハーツィッツのクォータニオンを用いて普遍的に表される。これはハーツィッツの元々の証明の拡張である。
• 形式 (1,1,1,4)、(1,1,2,2)、(1,1,2,8)、(1,2,2,4)、(1,2,4,8) は、クォータニオン代数における新しいノルムユークリッド的順序を用いて普遍的であることが示された。
• 形式 (1,1,3,3) および (1,2,3,6) は、新規のノルムユークリッド的順序の構成と、コンピュータ代数による検証によって普遍的であることが確認された。
• 形式 (1,2,5,10) は、有理係数を持つ所望の形のユニットクォータニオンが存在しないため、クォータニオン的手法には適さない。
• このようなユニットの非存在は無限降下法により証明され、e² = 2b² + 5c² + 10d² の任意の解がより小さい解を導くことが示され、最小性に矛盾する。
• PUNIMAX を用いた計算的検証により、(1,2,3,6) の普遍性が確認され、他の形式についての理論的結果の正しさが裏付けられた。