Let k be a perfect field of characteristic different from two. We show that the filtration on the Grothendieck-Witt group GW(k) induced by the slice filtration for the sphere spectrum in the motivic stable homotopy category is the I-adic filtration, where I is the augmentation ideal in GW(k).
Grothendieck-Witt spectra represent higher Grothendieck-Witt groups and higher Hermitian K-theory in particular. A description of the Grothendieck-Witt spectrum of a finite dimensional projective bundle $\mathbb{P}(\mathcal{E})$ over a base scheme $X$ is given in terms of the Grothendieck-Witt spectra of the base, using the dg category of strictly perfect complexes, provided that $X$ is a scheme over $\text{Spec }\mathbb{Z}[1/2]$ and satisfies the resolution property, e.g. if $X$ has an ample family of line bundles.
We establish new structures on Grothendieck-Witt rings, including a GW(k)-module structure on the unit group GW(k)^x and a presentation of \ul{GW}^x as an infinite Gm-loop sheaf. Even though our constructions are motivated by speculations in stable A1-homotopy theory, our arguments are purely algebraic.
We study the algebraic $K$-theory and Grothendieck-Witt theory of proto-exact categories of vector bundles over monoid schemes. Our main results are the complete description of the algebraic $K$-theory space of an integral monoid scheme $X$ in terms of its Picard group $\operatorname{Pic}(X)$ and pointed monoid of regular functions $Γ(X, \mathcal{O}_X)$ and a description of the Grothendieck-Witt space of $X$ in terms of an additional involution on $\operatorname{Pic}(X)$. We also prove space-level projective bundle formulae in both settings.
The category of effective Grothendieck-Witt-motives $\mathbf{DM}^{GW}_{\mathrm{eff},-}(k)$ (and Witt-motives $\mathbf{DM}^W_{\mathrm{eff},-}(k)$) by Voevodsky-Suslin method starting with some category of GW-correspondences (and Witt-correspondences) over a perfect field $k$, $char\,k\neq 2$, is defined. The functor $M^{GW}_{eff}\colon Sm_k\to \mathbf{DM}^{GW}_{\mathrm{eff},-}(k)$ of Grothendieck-Witt-motives of smooth varieties is computed and it is proved that for any smooth scheme $X$ and homotopy invariant sheave with GW-transfers $F$ $$ Hom_{\mathbf{DM}^{GW}_{\mathrm{eff},-}(k)}(M^{GW}_{ef…
We establish some structural results for the Witt and Grothendieck-Witt groups of schemes over $\mathbb{Z}[1/2]$, including homotopy invariance for Witt groups and a formula for the Witt and Grothendieck-Witt groups of punctured affine spaces over a scheme. All these results hold for singular schemes and at the level of spectra.
We reformulate a conjecture of Beauville on algebraic cycles on an abelian variety in terms of certain compatibility and vanishings of some naturally defined filtrations on the Grothendieck group of the abelian variety.
We prove some new cases of the Grothendieck-Serre conjecture for classical groups. This is based on a new construction of the Gersten-Witt complex for Witt groups of Azumaya algebras with involution on regular semilocal rings, with explicit second residue maps; the complex is shown to be exact when the ring is of dimension $\le 2$ (or $\le 4$, with additional hypotheses on the algebra with involution). Note that we do not assume that the ring contains a field.
Using a filtration on the Grothendieck ring of triangulated categories, we define the categorical dimension of a birational map between smooth projective varieties. We show that birational automorphisms of bounded categorical dimension form subgroups, which provide a nontrivial filtration of the Cremona group. We discuss some geometrical aspect and some explicit example. In the case of threefolds, we can moreover recover the genus of a birational automorphism, and the filtration defined by Frumkin.
We study duality theorems for the relative logarithmic de Rham-Witt sheaves on semi-stable schemes $X$ over a local ring $\mathbb{F}_q[[t]]$, where $\mathbb{F}_q$ is a finite field. As an application, we obtain a new filtration on the maximal abelian quotient $π^{\text{ab}}_1(U)$ of the étale fundamental groups $π_1(U)$ of an open subscheme $U \subseteq X$, which gives a measure of ramification along a divisor $D$ with normal crossing and $\text{Supp}(D) \subseteq X-U$. This filtration coincides with the Brylinski-Kato-Matsuda filtration in the relative dimension zero case.
The main purpose of this article is to define a quadratic analog of the Chern character, the so-called Borel character, which identifies rational higher Grothendieck-Witt groups with a sum of rational MW-motivic cohomologies and rational motivic cohomologies. We also discuss the notion of ternary laws due to Walter, a quadratic analog of formal group laws, and compute what we call the additive ternary laws, associated with MW-motivic cohomology. Finally, we provide an application of the Borel character by showing that the Milnor-Witt K-theory of a field F embeds into suitable higher Grothendie…
In this paper we study Schlichting's K-theory groups of the Buchweitz-Orlov singularity category $\mathcal{D}^{sg}(X)$ of a quasi-projective algebraic scheme $X/k$ with applications to Algebraic K-theory. We prove that for isolated quotient singularities $\mathrm{K}_0(\mathcal{D}^{sg}(X))$ is finite torsion, and that $\mathrm{K}_1(\mathcal{D}^{sg}(X)) = 0$. One of the main applications is that algebraic varieties with isolated quotient singularities satisfy rational Poincare duality on the level of the Grothendieck group; this allows computing the Grothendieck group of such varieties in terms …
Let $(A,σ)$ be an Azumaya algebra with involution over a regular ring $R$. We prove that the Gersten-Witt complex of $(A,σ)$ defined by Gille is isomorphic to the Gersten-Witt complex of $(A,σ)$ defined by Bayer-Fluckiger, Parimala and the author. Advantages of both constructions are used to show that the Gersten-Witt complex is exact when $\dim R\leq 3$, $\mathrm{ind}\, A\leq 2$ and $σ$ is orthogonal or symplectic. This means that the Grothendieck-Serre conjecture holds for the group $R$-scheme of $σ$-unitary elements in $A$ under the same hypotheses; $R$ is not required to contain a field.
We show the $\mathbb{A}^{1}$-Euler characteristic of a smooth, projective scheme over a characteristic $0$ field is represented by its Hochschild complex together with a canonical bilinear form, and give an exposition of the compactly supported $\mathbb{A}^{1}$-Euler characteristic $χ^{c}_{\mathbb{A}^{1}}: K_0(\mathbf{Var}_{k}) \to \text{GW}(k)$ from the Grothendieck group of varieties to the Grothendieck--Witt group of bilinear forms. We also provide example computations.
In mixed characteristic and in equal characteristic $p$ we define a filtration on topological Hochschild homology and its variants. This filtration is an analogue of the filtration of algebraic $K$-theory by motivic cohomology. Its graded pieces are related in mixed characteristic to the complex $AΩ$ constructed in our previous work, and in equal characteristic $p$ to crystalline cohomology. Our construction of the filtration on $\mathrm{THH}$ is via flat descent to semiperfectoid rings. As one application, we refine the construction of the $AΩ$-complex by giving a cohomological construction o…
Given an Azumaya algebra with involution $(A,σ)$ over a commutative ring $R$ and some auxiliary data, we construct an $8$-periodic chain complex involving the Witt groups of $(A,σ)$ and other algebras with involution, and prove it is exact when $R$ is semilocal. When $R$ is a field, this recovers an $8$-periodic exact sequence of Witt groups of Grenier-Boley and Mahmoudi, which in turn generalizes exact sequences of Parimala--Sridharan--Suresh and Lewis. We apply this result in several ways: We establish the Grothendieck--Serre conjecture on principal homogeneous bundles and the local purity c…
We show that for a reductive group $G$ over a field $k$ the $\mathbb{A}^1$-Euler characteristic of the variety of maximal tori in $G$ is an invertible element of the Grothendieck-Witt ring $\mathrm{GW}(k)$, settling the weak form of a conjecture by Fabien Morel. As an application we obtain a generalized splitting principle which allows one to reduce the structure group of a Nisnevich locally trivial $G$-torsor to the normalizer of a maximal torus.
