Most totally real fields do not have universal forms or the Northcott property
2025-05-16
We show that, in the space of all totally real fields equipped with the constructible topology, the set of fields that admit a universal quadratic form, or have the Northcott property, is meager. The main tool is a theorem on the number of square classes of totally positive units represented by a quadratic lattice of a given rank.