[论文解读] Enumerating maximal definite quadratic forms of bounded class number over Z in n >= 3 variables

Jonathan Hanke|arXiv (Cornell University)|Oct 9, 2011

Algebraic Geometry and Number Theory参考文献 15被引用 3

一句话总结

本文提出了一种算法，用于枚举所有在 n ≥ 3 个变量下、类数至多为 B 的本原、正定、最大 Z-取值二次型，利用精确质量公式和局部不变量的界。关键结果是显式枚举出恰好 115 个类数为一的此类二次型，为维度 3 至 10 提供了完整列表。

ABSTRACT

In this paper we give an algorithm for enumerating all primitive (positive) definite maximal Z-valued quadratic forms Q in n >= 3 variables with bounded class number h(Q) <= B. We do this by analyzing the exact mass formula [GHY], and bounding all relevant local invariants to give only finitely many possibilities. We also briefly describe an open-source implementation of this algorithm we have written in Python/Sage which explicitly enumerates all such quadratic forms of bounded class number in n >= 3 variables. Using this we determine that there are exactly 115 primitive positive definite maximal Z-valued quadratic forms in n >= 3 variables of class number one, and produce a list of them. In a future paper we will complete this chain of ideas by extending these algorithms to allow the enumeration of all primitive maximal totally definite O_F-valued quadratic lattices of rank n >= 3, where O_F is the ring of integers of any totally real number field F.

研究动机与目标

• 开发一种算法，用于枚举所有在 n ≥ 3 个变量下、类数有界 h(Q) ≤ B 的本原、正定、最大 Z-取值二次型。
• 将对小类数二次型的理解从二元和三元情形扩展至更高秩情形，尤其针对表示理论效果较弱的高维情形。
• 提供所有此类类数为一的二次型的完整且显式列表，解决长期存在的正定型分类空白。
• 为未来在全实数域上对最大完全正定 OF-格的枚举奠定基础。

提出的方法

• 该算法使用 [GHY01] 中的精确质量公式，以约束类数有界的二次型的可能不变量。
• 对所有相关局部不变量（例如在 R 和 Z_p 上）进行有界处理，以确保仅剩下有限多个候选。
• 该方法应用了几何与代数数论技术，包括对判别式和局部环上表示条件的分析。
• 该算法在 Python/Sage 中实现，支持对二次型的显式计算与验证。
• 其利用了类数为一意味着局部表示蕴含全局表示的性质，从而简化了搜索过程。
• 该算法系统性地检查所有满足推导出的界的所有可能二次型，并验证其最大性与本原性。

实验结果

研究问题

• RQ1 在 n ≥ 3 个变量下，有多少个本原、正定、最大 Z-取值二次型的类数为一？
• RQ2 此类二次型的完整列表是什么？其不变量（如行列式、二次型表达式及表示性质）是什么？
• RQ3 能否通过系统化、算法化的方法，将类数为一的枚举扩展至三元型之外？
• RQ4 在高维中，限制此类二次型数量的结构与算术约束是什么？
• RQ5 该算法能否推广至全实数域上的 OF-格？

主要发现

• 本文显式枚举出恰好 115 个本原、正定、最大 Z-取值二次型，其在 n ≥ 3 个变量下类数为一。
• 该列表包含维度 3 至 10 的二次型，此类二次型的数量从维度 3 的 64 个递减至维度 10 的 1 个。
• 该算法通过约束局部不变量并应用精确质量公式，成功识别出所有类数为一的二次型。
• 在 Python/Sage 中的实现确认了该列表的完备性，并支持对全部 115 个二次型的验证。
• 结果表明，在类数为一的条件下，维度高于 10 的此类二次型不存在，与先前的界一致。
• 本文提供了包含所有 115 个二次型的完整表格，包括其行列式、判别式及显式二次表达式。