Lifting problem for universal quadratic forms (Q2217547): Difference between revisions

It is shown that \(\mathbb{Q}(\sqrt{5})\) is the only real quadratic field that admits a universal quadratic form whose coefficients are rational integers. Considering totally real number fields of degrees 3, 4, 5 and 7 which have principal codifferent ideal, the only one which admits a universal quadratic form whose coefficients are rational integers is \(\mathbb{Q}(\zeta_7+ \zeta^{-1}_7)\) over which the form \(x^2+ y^2+ z^2+ w^2+ xy+ xz+ xw\) is universal. Furthermore, an upper bound for Pythagoras numbers of orders in number fields is proved that depends only on the degree of the number field.