[Paper Review] Universal quadratic forms and indecomposables in number fields: A survey

Vítězslav Kala|arXiv (Cornell University)|Jan 30, 2023

Algebraic Geometry and Number Theory4 citations

TL;DR

This survey provides a comprehensive overview of universal quadratic forms and indecomposable algebraic integers over rings of integers in totally real number fields, focusing on recent developments since 2015. It establishes that in such fields, the existence of universal forms of low rank is constrained by the structure of indecomposable elements and trace conditions, with key results showing finiteness of universal forms and obstructions tied to unit signatures and minimal vectors in tensor products of lattices.

ABSTRACT

We give an overview of universal quadratic forms and lattices, focusing on the recent developments over the rings of integers in totally real number fields. In particular, we discuss indecomposable algebraic integers as one of the main tools.

Motivation & Objective

• To synthesize recent progress in the theory of universal quadratic forms over rings of integers in totally real number fields since 2015.
• To explore the role of indecomposable algebraic integers as a central tool in analyzing universality and representation properties.
• To investigate the constraints on the existence of classical universal forms of low rank (3–5) in number fields.
• To examine the interplay between trace forms, codifferent modules, and E-type lattices in determining universality.
• To establish finiteness results for number fields admitting universal lattices representing all totally positive elements in a given ideal

Proposed method

• Utilizes the trace form $ T_ ho(x) = ext{Tr}( ho x^2) $ on the ring of integers $ heta_K $ to analyze representations of totally positive elements.
• Applies the concept of E-type lattices, where all minimal vectors in tensor products are simple tensors, to constrain the structure of universal forms.
• Employs the tensor product construction $ (L_1 imes L_2, Q_1 imes Q_2) $ to relate $ heta_K $-lattices to $ heta_K $-forms via trace conditions.
• Uses the minimal vector condition $ ext{Tr}( ho eta) = ext{Tr}( ho eta) $ for $ eta eq 0 $ to identify indecomposable elements and units.
• Applies Newman’s result on arithmetic progressions in units to limit the number of possible $ D $ for which $ heta_K $ admits a universal form.
• Leverages the 15- and 290-Theorems over $ heta_{ ext{int}} $ as foundational analogs, extending their logic to number fields via trace and duality

Experimental results

Research questions

• RQ1 Which totally real number fields admit classical universal quadratic forms of rank 3, 4, or 5?
• RQ2 How do indecomposable algebraic integers constrain the existence of universal forms over number fields?
• RQ3 What role do trace forms $ T_ ho $ and the codifferent $ heta_K^ullet $ play in characterizing universal representations?
• RQ4 Can the E-type lattice property be used to prove universality or finiteness in higher-rank lattices over number fields?
• RQ5 For which number fields $ K eq heta_{ ext{int}}, heta_{ heta( heta_5)} $ does there exist a universal form representing all totally positive elements?

Key findings

• There is no classical universal $ heta_K $-form of rank 3, 4, or 5 in any totally real number field $ K eq heta_{ ext{int}}, heta_{ heta_5} $, as shown in [54, Corollary 3.4].
• For a real quadratic field $ K = heta( heta_D) $, the existence of a universal form implies that the set of $ heta_K $-elements with $ ext{Tr}( ho eta) = 1 $ forms an arithmetic progression of length at least $ heta_D - 1 $, which is bounded by Newman’s result on unit progressions.
• Only finitely many totally real number fields $ K eq heta_{ ext{int}}, heta_{ heta_5} $ can admit a universal $ heta_K $-form of rank $ heta_K $, due to the finiteness of such fields satisfying trace and signature constraints.
• If $ ho eta $ achieves the minimum trace value over $ heta_K^+ $, then $ eta $ is a square and indecomposable, and if $ eta $ satisfies this for some $ ho $, then $ eta $ is a unit.
• The tensor product $ L_1 imes L_2 $ of $ heta_{ ext{int}} $-lattices preserves integrality when at least one form is classical, and the E-type property ensures minimal vectors are split, which is essential for universality proofs.
• For a fixed number field $ F $, ideal $ m $, and rank $ d $, there are only finitely many totally real extensions $ K i F $ of degree $ d $ such that $ L imes heta_K $ represents all elements of $ m heta_K^+ $, as per [55, Theorem 2].