-
Constructible Witt theory of schemes
Authors:
Onkar Kamlakar Kale,
Girja S Tripathi
Abstract:
We study the constructible Witt theory of étale sheaves of $Λ$-modules on a scheme $X$ for coefficient rings $Λ$ having finite characteristic not equal to 2 and prime to the residue characteristics of the scheme $X$. Our construction is based on the recent advances by Cisinski and Déglise on six-functor formalism for derived categories of étale motives and offers a background for the study of cons…
▽ More
We study the constructible Witt theory of étale sheaves of $Λ$-modules on a scheme $X$ for coefficient rings $Λ$ having finite characteristic not equal to 2 and prime to the residue characteristics of the scheme $X$. Our construction is based on the recent advances by Cisinski and Déglise on six-functor formalism for derived categories of étale motives and offers a background for the study of constructible Witt theory as a cohomological invariant for schemes. In the case of smooth complex algebraic varieties and finite coefficient rings, we show that the algebraic constructible Witt theory studied in this paper can be identified with the topological constructible Witt theory.
△ Less
Submitted 31 December, 2024; v1 submitted 3 July, 2023;
originally announced July 2023.
-
Endomorphisms of Equivariant Algebraic $K$-theory
Authors:
K. Arun Kumar,
Girja S Tripathi
Abstract:
In this paper we study equivariant algebraic $K$-theory for an action of a finite constant group scheme in the equivariant motivic homotopy theory. We prove that the equivariant algebraic $K$-theory is represented by an equivariant ind-scheme defined by Grassmannians. Using this result we show that in the category of equivariant motivic spaces the set of endomorphisms of the motivic space defined…
▽ More
In this paper we study equivariant algebraic $K$-theory for an action of a finite constant group scheme in the equivariant motivic homotopy theory. We prove that the equivariant algebraic $K$-theory is represented by an equivariant ind-scheme defined by Grassmannians. Using this result we show that in the category of equivariant motivic spaces the set of endomorphisms of the motivic space defined by $K_0(G,-)$ coincides with the set of endomorphisms of infinite Grassmannians in the equivariant motivic homotopy category. To this end we explicitly recall the folklore computation of equivariant $K$-theory of Grassmannians.
△ Less
Submitted 5 April, 2023;
originally announced April 2023.
-
Quotients of MGL, their slices and their geometric parts
Authors:
Marc Levine,
Girja Shanker Tripathi
Abstract:
Let $x_1, x_2,\ldots$ be a system of homogeneous polynomial generators for the Lazard ring $\mathbb{L}^*=MU^{2*}$ and let $MGL_S$ denote Voevodsky's algebraic cobordism spectrum in the motivic stable homotopy category over a base-scheme $S$.Take $S$ essentially smooth over a field $k$. Relying on Hopkins-Morel-Hoyois isomorphism of the 0th slice $s_0MGL_S$ for Voevodsky's slice tower with…
▽ More
Let $x_1, x_2,\ldots$ be a system of homogeneous polynomial generators for the Lazard ring $\mathbb{L}^*=MU^{2*}$ and let $MGL_S$ denote Voevodsky's algebraic cobordism spectrum in the motivic stable homotopy category over a base-scheme $S$.Take $S$ essentially smooth over a field $k$. Relying on Hopkins-Morel-Hoyois isomorphism of the 0th slice $s_0MGL_S$ for Voevodsky's slice tower with $MGL_S/(x_1, x_2,\ldots)$ (after inverting the characteristic of $k$), Spitzweck computes the remaining slices of $MGL_S$ as $s_nMGL_S=Σ^n_TH\mathbb{Z}\otimes \mathbb{L}^{-n}$ (again, after inverting the characteristic of $k$). We apply Spitzweck's method to compute the slices of a quotient spectrum $MGL_S/(\{x_i:i\in I\})$ for $I$ an arbitrary subset of $\mathbb{N}$, as well as the mod $p$ version $MGL_S/(\{p, x_i:i\in I\})$ and localizations with respect to a system of homogeneous elements in $\mathbb{Z}[\{x_j:j\not\in I\}]$. In case $S=\text{Spec}\, k$, $k$ a field of characteristic zero, we apply this to show that for $\mathcal{E}$ a localization of a quotient of $MGL$ as above, there is a natural isomorphism for the theory with support \[ Ω_*(X)\otimes_{\mathbb{L}^{-*}}\mathcal{E}^{-2*,-*}(k)\to \mathcal{E}^{2m-2*, m-*}_X(M) \] for $X$ a closed subscheme of a smooth quasi-projective $k$-scheme $M$, $m=$dim${}_kM$.
△ Less
Submitted 11 January, 2015;
originally announced January 2015.
-
Geometric models for higher Grothendieck-Witt groups in A1-homotopy theory
Authors:
Marco Schlichting,
Girja Shanker Tripathi
Abstract:
We show that the higher Grothendieck-Witt groups, a.k.a. algebraic hermitian K-groups, are represented by an infinite orthogonal Grassmannian in the A1-homotopy category of smooth schemes over a regular base for which 2 is a unit in the ring of regular functions. We also give geometric models for various P1- and S1-loop spaces of hermitian K-theory.
We show that the higher Grothendieck-Witt groups, a.k.a. algebraic hermitian K-groups, are represented by an infinite orthogonal Grassmannian in the A1-homotopy category of smooth schemes over a regular base for which 2 is a unit in the ring of regular functions. We also give geometric models for various P1- and S1-loop spaces of hermitian K-theory.
△ Less
Submitted 23 September, 2013;
originally announced September 2013.
