[论文解读] Quaternion Orders and Ternary Quadratic Forms

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

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

一句话总结

本文建立了四元数整环与三元二次型之间的对应关系，从而实现了对 p 进数域与数域上四元数代数中整环的同构类的系统分类。通过利用已知的三元二次型分类，作者在非二奇与 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.

研究动机与目标

• 开发一种系统化方法，对四元数整环的同构类进行分类，超越如艾希勒整环等受限类别。
• 建立四元数整环与三元二次型之间的对应关系，作为分类的工具。
• 利用已知的二次型分类，在非二奇与 2 进数情形下，导出同构类的显式代表元。
• 在判别式为主理想时，构造四元数代数中极大整环的显式基底。
• 通过二次型将经典环论描述与计算上可处理的形式联系起来，弥合两者之间的鸿沟。

提出的方法

• 利用三元二次型与四元数整环之间的对应关系，将分类问题转化为二次型的语言。
• 将 p 进域上三元二次型的已知分类应用于确定非二奇与 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 进数域上四元数整环的同构类进行分类？
• RQ2 三元二次型与四元数代数中整环之间的确切对应关系是什么？
• 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 $ 中有 2 个同构类的整环，判别式为 $ (72) $，在 $ M_2(\mathbb{Q}_2) $ 中有 3 个，其中仅有一个不是戈伦斯坦或巴斯特型。
• 整环的范数型的型数等于该整环自身的型数，建立了型理论与整环分类之间的直接联系。
• 当 $ d(\mathfrak{A}) = (d) $ 为主理想时，显式构造出极大整环 $ \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} $。
• 当且仅当 $ [\mathcal{O} : \mathcal{O}'] = 4a $ 时，该构造给出极大整环，该条件通过基变换矩阵的行列式计算得到验证。