Enumerating maximal definite quadratic forms of bounded class number over Z in n >= 3 variables
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.
- Publication:
-
arXiv e-prints
- Pub Date:
- October 2011
- DOI:
- 10.48550/arXiv.1110.1876
- arXiv:
- arXiv:1110.1876
- Bibcode:
- 2011arXiv1110.1876H
- Keywords:
-
- Mathematics - Number Theory;
- 11E12;
- 11E41;
- 11E08
- E-Print:
- 20 pages, 12 tables