Subscribe to the gold package and get unlimited access to Shamra Academy
Register a new userAlgebraic K-theory of quasi-smooth blow-ups and cdh descent
369
0
0.0
(
0
)
Authors
Adeel A. Khan
Ask ChatGPT about the research
No Arabic abstract
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.
rate research
Read More
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.
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.
Let $R$ be the homogeneous coordinate ring of a smooth projective variety $X$ over a field $k$ of characteristic~0. We calculate the $K$-theory of $R$ in terms of the geometry of the projective embedding of $X$. In particular, if $X$ is a curve then we calculate $K_0(R)$ and $K_1(R)$, and prove that $K_{-1}(R)=oplus H^1(C,cO(n))$. The formula for $K_0(R)$ involves the Zariski cohomology of twisted Kahler differentials on the variety.
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 $Gamma(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.
We introduce a functor $mathfrak{M}:mathbf{Alg}timesmathbf{Alg}^mathrm{op}rightarrowmathrm{pro}text{-}mathbf{Alg}$ constructed from representations of $mathrm{Hom}_mathbf{Alg}(A,Botimes ?)$. As applications, the following items are introduced and studied: (i) Analogue of the functor $pi_0$ for algebras and affine schemes. (ii) Cotype of Weibels concept of strict homotopization. (iii) A homotopy invariant intrinsic singular cohomology theory for affine schemes with cup product. (iv) Some extensions of $mathbf{Alg}$ that are enriched over idempotent semigroups. (v) Classifying homotopy pro-algebras for Corti~{n}as-Thoms KK-groups and Weibels homotopy K-groups.
Log in to be able to interact and post comments
comments
Fetching comments
Sign in to be able to follow your search criteria
