[論文レビュー] Quaternion Orders and Ternary Quadratic Forms

Stefan Lemurell|arXiv (Cornell University)|Mar 25, 2011

Algebraic and Geometric Analysis参考文献 15被引用数 4

ひとこと要約

本稿は、クaternion順序と3次形式の間の対応関係を確立し、p進体および数体上のクォータニオン代数の順序の同型類を体系的に分類する手法を提供する。既知の3次形式の分類を活用することで、非2進的および2進的場合の同型類の明示的代表元が得られ、環論的記述とは対照的に計算可能な枠組みを提供し、判別式が主理想である場合の最大順序の明示的基底を導出する。

ABSTRACT

We give details of a formerly known relation between ternary quadratic forms and quaternion orders through the even Clifford algebra. Based on this and classifications of ternary quadratic forms we give a completely explicit classification of quaternion orders in the padic case.

研究の動機と目的

• Eichler順序のような制限されたクラスにとどまらない、クォータニオン順序の同型類を体系的に分類するための手法の開発。
• クォータニオン順序と3次形式の間の対応関係を確立し、分類のための道具とする。
• 既知の2次形式の分類を用いて、非2進的および2進的状況における同型類の明示的代表元を導出する。
• 判別式が主イデアルである場合に、クォータニオン代数における最大順序の明示的基底を構成する。
• 古典的な環論的記述と、2次形式を介した計算可能な表現との間のギャップを埋める。

提案手法

• 3次形式とクォータニオン順序の対応関係を活用し、分類問題を2次形式の言語に翻訳する。
• p進体上での3次形式の既知の分類を応用し、非2進的および2進的状況における順序の同型類を同定する。
• 要素 $ e_1 = \frac{x+i}{2} $ および $ e_2 = \frac{mi + ij}{a} $ を含む基底を用いて最大順序を構成する。ここで $ x^2 \equiv a \pmod{4} $ かつ $ m^2 \equiv -d \pmod{a} $ である。
• 判別式条件 $ d(\mathfrak{A}) = (d) $ が主イデアルであることを用いて代数を $ (a, -d)_K $ と定義し、最大順序の明示的構成を可能にする。
• ノルムおよびトレースの条件を用いて整数性および乗法的閉包性を検証し、構成された集合が順序をなすことを保証する。
• 順序および形式の種数・型数理論を適用し、ノルム形式の類数と順序の型数との関係を明らかにする。

実験結果

リサーチクエスチョン

• RQ1 p進体上でのクォータニオン順序の同型類は、Eichler順序に限定されない形で、どのように分類可能か？
• RQ2 3次形式とクォータニオン代数の順序との間の正確な対応関係は何か？
• RQ3 判別式が主イデアルである場合に、最大順序をどのように明示的に構成できるか？
• RQ4 クォータニオン順序の型数と、その関連ノルム形式の類数との関係は何か？
• RQ5 固定された判別式を持つ異なるクォータニオン代数において、順序の同型類はどのように変化するか？

主な発見

• 判別式 $ (72) $ をもつ有理クォータニオン代数において、分解代数（$ d(\mathfrak{A}) = 1 $）では9つの種と9つの型を有し、2で分岐する代数では型数が10に増加する。
• 3進体の場合、除法代数 $ \mathbb{H}_3 $ では判別式 $ (72) $ の順序が1つの同型類をもち、$ M_2(\mathbb{Q}_3) $ では3つの同型類を有する。
• 2進体の場合、除法代数 $ \mathbb{H}_2 $ では判別式 $ (72) $ の順序が2つの同型類をもち、$ M_2(\mathbb{Q}_2) $ では3つの同型類を有する。そのうちの1つはGorensteinでもBassでもない。
• 順序のノルム形式の型数は、順序自体の型数に等しく、形式理論と順序分類の間の直接的な関連を確立する。
• 明示的な最大順序が $ \mathcal{O} = \langle 1, e_1, e_2, e_1e_2 \rangle $ として構成され、ここで $ e_1 = \frac{x+i}{2} $、$ e_2 = \frac{mi + ij}{a} $、$ x^2 \equiv a \pmod{4} $ かつ $ m^2 \equiv -d \pmod{a} $ であり、$ d(\mathfrak{A}) = (d) $ が主イデアルである場合に成立する。
• 構成された順序が最大順序であるための必要十分条件は、$ [\mathcal{O} : \mathcal{O}'] = 4a $ が成り立つことであり、これは基底変換行列の行列式計算により検証される。