On Lam's conjecture concerning signatures of quadratic forms (Q1590718)

\textit{T.-Y. Lam} [Queen's Papers Pure Appl. Math. 46, 1-102 (1977; Zbl 0396.10008)] raised the following conjecture: Let \(K\) be a formally real field, \(n\geq 1\) be an integer and \(q\) be a quadratic form over \(K\). Assume \(\widehat q(P)\equiv 0\bmod 2^n\) for all \(P\in \text{Spec}_r(K)\), then \(q\in \text{I}^n(K)+ \text{W}_t(K).\) Using the spectacular results of Voevodsky, the author proves the conjecture in many special cases. Among others for fields of transcendence degree \(\leq 3\) over real closed fields and for fields with \(\text{I}^3(K)\cap\text{W}_t(K)=0.\) It covers the case of Lam's conjecture for Pythagorean fields (known as Marshall's conjecture) which was managed earlier by \textit{M. A. Dickmann} and \textit{F. Miraglia} [Invent. Math. 133, No. 2, 243-278 (1998; Zbl 0908.11021)] Reviewer's remark: Quite recently Lam's conjecture has been verified for any formally real field (see for example the remark after Corollary 2.7 in [\textit{J. Kr. Arason} and \textit{R. Elman}, J. Algebra 239, No. 1, 150-169 (2001; Zbl 0990.11021)].