Universality criterion sets for quadratic forms over number fields

From MaRDI portal





Let \(K\) be a totally real algebraic number field with ring of integers \(\mathcal O_K\), and let \(\mathcal O_K^+\) and \(\mathcal U_K\) denote the set of all totally positive elements of \(\mathcal O_K\) and the unit group of \(K\), respectively. A totally positive definite integral quadratic form over \(K\) is said to be universal if it represents all elements of \(\mathcal O_K^+\). A subset \(\mathcal C\) of \(\mathcal O_K^+\) is a universality criterion set for \(K\) if a totally positive definite integral quadratic form over \(K\) is universal whenever it represents the elements of \(\mathcal C\). The existence of finite universality criterion sets for general totally real number fields was recently established by \textit{W. K. Chan} and \textit{B.-K. Oh} [Adv. Math. 433, Article ID 109317, 20 p. (2023; Zbl 1540.11026)]. In the present paper, the authors prove that for every totally real number field \(K\), there exists a unique universality criterion set \(\mathcal C_K\) which is minimal with respect to set inclusion. In order to obtain the uniqueness here, it is noted that the elements of \(\mathcal C_K\) need to be considered as elements of \(\mathcal O_K^+/\mathcal U_K^2\). It is further shown that certain elements must always be contained in universality criterion sets. For example, these sets must contain all squarefree indecomposables. The results are shown to carry over to the more general context of studying quadratic forms representing any given subset of elements of \(\mathcal O_K^+\).



Cites work









This page was built for publication: Universality criterion sets for quadratic forms over number fields

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q7299777)