Failures of integral Springer's theorem

From MaRDI portal





When \(R\) is a commutative ring and \(A\) is a quadratic form \(Q\in R[X_1,\dots,X_n]\), we say that an element \(a \in R\), is represented by \(A\) over \(R\) if \(a = Q(x_1,\dots,x_n)\) for some \(x_1,\dots,x_n \in R\). An important result in this area is Springer's Theorem, which is as follows. Let \(K\) be a field, \(Q \in K[X_1,X_2,\dots,X_n]\) a quadratic form over \(k\), \(L/K\) a field extension of odd degree, \(a \in K\). If \(a \in Q(L)\), then \(a \in Q(K).\)\N\NIn this paper, the authors consider cases where this type or result is false, namely they consider the question where an element in a number field is not integrally represented by a given positive definite quadratic form but becomes integrally represented by this form over a totally real extension of odd degree. They show that this occurs infinitely often and establish finiteness results about the situation when the quadratic form is fixed.



Cites work









This page was built for publication: Failures of integral Springer's theorem

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