Subscribe to the gold package and get unlimited access to Shamra Academy
Register a new userCdh descent in equivariant homotopy K-theory
125
0
0.0
(
0
)
Authors
Marc Hoyois
Ask ChatGPT about the research
No Arabic abstract
We construct geometric models for classifying spaces of linear algebraic groups in G-equivariant motivic homotopy theory, where G is a tame group scheme. As a consequence, we show that the equivariant motivic spectrum representing the homotopy K-theory of G-schemes (which we construct as an E-infinity-ring) is stable under arbitrary base change, and we deduce that homotopy K-theory of G-schemes satisfies cdh descent.
rate research
Read More
We construct a semi-orthogonal decomposition on the category of perfect complexes on the blow-up of a derived Artin stack in a quasi-smooth centre. This gives a generalization of Thomasons blow-up formula in algebraic K-theory to derived stacks. We also provide a new criterion for descent in Voevodskys cdh topology, which we use to give a direct proof of Cisinskis theorem that Weibels homotopy invariant K-theory satisfies cdh descent.
We give conditions for the Mayer-Vietoris property to hold for the algebraic K-theory of blow-up squares of toric varieties in any characteristic, using the theory of monoid schemes. These conditions are used to relate algebraic K-theory to topological cyclic homology in characteristic p. To achieve our goals, we develop for monoid schemes many notions from classical algebraic geometry, such as separated and proper maps.
Over any field of characteristic not 2, we establish a 2-term resolution of the $eta$-periodic, 2-local motivic sphere spectrum by shifts of the connective 2-local Witt K-theory spectrum. This is curiously similar to the resolution of the K(1)-local sphere in classical stable homotopy theory. As applications we determine the $eta$-periodized motivic stable stems and the $eta$-periodized algebraic symplectic and SL-cobordism groups. Along the way we construct Adams operations on the motivic spectrum representing Hermitian K-theory and establish new completeness results for certain motivic spectra over fields of finite virtual 2-cohomological dimension. In an appendix, we supply a new proof of the homotopy fixed point theorem for the Hermitian K-theory of fields.
Recall that the definition of the $K$-theory of an object C (e.g., a ring or a space) has the following pattern. One first associates to the object C a category A_C that has a suitable structure (exact, Waldhausen, symmetric monoidal, ...). One then applies to the category A_C a $K$-theory machine, which provides an infinite loop space that is the $K$-theory K(C) of the object C. We study the first step of this process. What are the kinds of objects to be studied via $K$-theory? Given these types of objects, what structured categories should one associate to an object to obtain $K$-theoretic information about it? And how should the morphisms of these objects interact with this correspondence? We propose a unified, conceptual framework for a number of important examples of objects studied in $K$-theory. The structured categories associated to an object C are typically categories of modules in a monoidal (op-)fibred category. The modules considered are locally trivial with respect to a given class of trivial modules and a given Grothendieck topology on the object Cs category.
We show that if X is a toric scheme over a regular ring containing a field then the direct limit of the K-groups of X taken over any infinite sequence of nontrivial dilations is homotopy invariant. This theorem was known in characteristic 0. The affine case of our result was conjectured by Gubeladze.
Log in to be able to interact and post comments
comments
Fetching comments
Sign in to be able to follow your search criteria
