Let $F$ be a field of characteristic 2 and let $X$ be a smooth projective quadric of dimension $ge 1$ over $F$. We study the unramified cohomology groups with 2-primary torsion coefficients of $X$ in degrees 2 and 3. We determine completely the kernel and the cokernel of the natural map from the cohomology of $F$ to the unramified cohomology of $X$. This extends the results in characteristic different from 2 obtained by Kahn, Rost and Sujatha in the nineteen-nineties.
Let $X$ be a smooth projective quadric defined over a field of characteristic 2. We prove that in the Chow group of codimension 2 or 3 of $X$ the torsion subgroup has at most two elements. In codimension 2, we determine precisely when this torsion subgroup is nontrivial. In codimension 3, we show that there is no torsion if {$dim Xge 11$.} This extends the analogous results in characteristic different from 2, obtained by Karpenko in the nineteen-nineties.
We prove the existence of good smooth integral models of Shimura varieties of Hodge type in arbitrary unramified mixed characteristic $(0,p)$. As a first application we provide a smooth solution (answer) to a conjecture (question) of Langlands for Shimura varieties of Hodge type. As a second application we prove the existence in arbitrary unramified mixed characteristic $(0,p)$ of integral canonical models of projective Shimura varieties of Hodge type with respect to h--hyperspecial subgroups as pro-etale covers of Neron models; this forms progress towards the proof of conjectures of Milne and Reimann. Though the second application was known before in some cases, its proof is new and more of a principle.
We prove a conjecture of Milne pertaining to the existence of integral canonical models of Shimura varieties of abelian type in arbitrary unramified mixed characteristic $(0,p)$. As an application we prove for $p=2$ a motivic conjecture of Milne pertaining to integral canonical models of Shimura varieties of Hodge type.
We prove that a smooth complete intersection of two quadrics of dimension at least $2$ over a number field has index dividing $2$, i.e., that it possesses a rational $0$-cycle of degree $2$.
We establish a formula for computing the unramified Brauer group of tame conic bundle threefolds in characteristic 2. The formula depends on the arrangement and residue double covers of the discriminant components, the latter being governed by Artin-Schreier theory (instead of Kummer theory in characteristic not 2). We use this to give new examples of threefold conic bundles defined over the integers that are not stably rational over the complex numbers.