Failures of integral Springer's theorem (Q6996875)

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.