No Arabic abstract
The rings of $p$-typical Witt vectors are interpreted as spaces of vanishing cycles for some perverse sheaves over a disc. This allows to localize an isomorphism emerging in Drinfelds theory of prismatization [Dr], Prop. 3.5.1, namely to express it as an integral of a standard exact triangle on the disc.
In this paper we calculate the Witt ring W(C) of a smooth geometrically connected projective curve C over a finite field of characteristic different from 2. We view W(C) as a subring of W(k(C)) where k(C) is the function field of C. We show that the triviality of the Clifford algebra of a bilinear space over C gives the main relation. The calculation is then completed using classical results for bilinear spaces over fields.
In this work, we present a generalization to varieties and sheaves of the fundamental ideal of the Witt ring of a field by defining a sheaf of fundamental ideals $tilde{I}$ and a sheaf of Witt rings $tilde{W}$ in the obvious way. The Milnor conjecture then relates the associated graded of $tilde{W}$ to Milnor K-theory and so allows the classical invariants of a bilinear space over a field to be extended to our setting using etale cohomology. As an application of these results, we calculate the Witt ring of a smooth curve with good reduction over a non-dyadic local field.
We complement our previous computation of the Chow-Witt rings of classifying spaces of special linear groups by an analogous computation for the general linear groups. This case involves discussion of non-trivial dualities. The computation proceeds along the lines of the classical computation of the integral cohomology of ${rm BO}(n)$ with local coefficients, as done by Cadek. The computations of Chow-Witt rings of classifying spaces of ${rm GL}_n$ are then used to compute the Chow-Witt rings of the finite Grassmannians. As before, the formulas are close parallels of the formulas describing integral cohomology rings of real Grassmannians.
We define push-forwards for Witt groups of schemes along proper morphisms, using Grothendieck duality theory. This article is an application of results of the authors on tensor-triangulated closed categories to such structures on some derived categories of schemes together with classical derived functors.