Algorithms for computing maximal lattices in bilinear (and quadratic) spaces over number fields

  title={Algorithms for computing maximal lattices in bilinear (and quadratic) spaces over number fields},
  author={Jonathan Hanke},
  journal={arXiv: Number Theory},
  • J. Hanke
  • Published 13 August 2012
  • Mathematics, Computer Science
  • arXiv: Number Theory
In this paper we describe an algorithm that quickly computes a maximal a-valued lattice in an F-vector space equipped with a non-degenerate bilinear form, where a is a fractional ideal in a number field F. We then apply this construction to give an algorithm to compute an a-maximal lattice in a quadratic space over any number field F where the prime 2 is unramified. We also develop the theory of p-neighbors for a-valued quadratic lattices at an arbitrary prime p of O_F (including when p | 2… 


The number of representations of an integer by a quadratic form
Introduction. Our quadratic form x → φ[x] is defined on a vector space V of dimension n (> 1) over a totally real algebraic number field F . We let G denote the orthogonal group of φ, and g the
On the Solutions of Quadratic Diophantine Equations
We determine a finite set of representatives of the set of local solutions in a maximal lattice modulo the stabilizer of the lattice in question for a quadratic Diophantine equation. Our study is
Local densities of 2-adic quadratic forms☆
Integer-valued quadratic forms and quadratic Diophantine equations.
We investigate several topics on a quadratic form Φ over an algebraic number field including the following three: (A) an equation ξΦ · ξ = Ψ for another form Ψ of a smaller size; (B) classification
Quadratic Diophantine equations, the class number, and the mass formula
with a given q ∈ F×. In particular, in the classical case with F = Q and V = Q, we usually assume that φ is Z-valued on Z and q ∈ Z. The purpose of the present article is to present some new ideas on
Identifying the Matrix Ring: Algorithms for Quaternion Algebras and Quadratic Forms
We discuss the relationship between quaternion algebras and quadratic forms with a focus on computational aspects. Our basic motivating problem is to determine if a given algebra of rank 4 over a
Ternary quadratic forms and Shimura's correspondence
In his paper [11] Shimura defined a correspondence between modular forms of half integral weight and modular forms of integral weight. To each pair (t, f(z)), consisting of a square-free integer t >
An algorithm for computing genera of ternary and quaternary quadratic forms
It is sometimes desirable to be able to quickly determine representatives of all classes in some fixed genus of quadratic forms of possibly high discriminant without having to generate along the way all forms of smaller discriminant.
Spinor equivalence of quadratic forms