Two improvements in Brauer's theorem on forms

Abstract: Let $k$ be a Brauer field, that is, a field over which every diagonal form in sufficiently many variables has a nonzero solution; for instance, $k$ could be an imaginary quadratic number field. Brauer proved that if $f_1, \ldots, f_r$ are homogeneous polynomials on a $k$-vector space $V$ of degrees $d_1, \ldots, d_r$, then the variety $Z$ defined by the $f_i$'s has a non-trivial $k$-point, provided that $\dim{V}$ is sufficiently large compared to the $d_i$'s and $k$. We offer two improvements to this theorem, assuming $k$ is infinite. First, we show that the Zariski closure of the set $Z(k)$ of $k$-points has codimension $<C$, where $C$ is a constant depending only on the $d_i$'s and $k$. And second, we show that if the strength of the $f_i$'s is sufficiently large in terms of the $d_i$'s and $k$, then $Z(k)$ is actually Zariski dense in $Z$. The proofs rely on recent work of Ananyan and Hochster on high strength polynomials.