Related papers: $\mathbb{A}^1$-invariance of localizing invariants

We prove a generalization of the fundamental theorem of algebraic K-theory for Verdier-localizing functors by extending the proof for algebraic K-theory of spaces to the realm of stable $\infty$-categories. The formula behaves much better…

C. Weibel and Thomason-Trobaugh proved (under some assumptions) that algebraic K-theory with coefficients is A1-homotopy invariant. In this article we generalize this result from schemes to the broad setting of dg categories. Along the way,…

We compute the value of finitary localizing invariants, including algebraic $K$-theory, on categories of sheaves over stably locally compact spaces $X$. Our formula simultaneously generalizes the cases of locally compact Hausdorff and…

We study two different flavours of A^1-homotopy theory in the setting of spectral algebraic geometry, and compare them to classical A^1-homotopy theory. As an application we show that the spectral analogue of Weibel's homotopy invariant…

We prove that every functor defined on dg categories, which is derived Morita invariant, localizing, and A^1-homotopy invariant, satisfies the fundamental theorem. As an application, we recover in a unified and conceptual way, Weibel and…

We study the homotopy fixed points under the Frobenius endomorphism on the stable $\mathbb A^1$-homotopy category of schemes in characteristic $p>0$ and prove a rigidity result for cellular objects in these categories after inverting $p$.…

We show that the Frobenius and Verschiebung maps that are fundamental to Witt vectors lift to the reduced K-theory of endomorphisms. In particular, we define Frobenius and Verschiebung maps for the reduced K-theory of twisted endomorphisms…

We provide a fairly self-contained account of the localisation and cofinality theorems for the algebraic $\mathrm{K}$-theory of stable $\infty$-categories. It is based on a general formula for the evaluation of an additive functor on a…

We refine the invariant on $K_2(A[C_{p_e}]/I_m,(T-1))$ constructed in a previous paper to one which is an isomorphism for all $\lambda$-rings $A$.

In this paper, we obtain a localization formula in differential K-theory for $S^1$-action. Then by combining an extension of Goette's result on the comparison of two types of equivariant $\eta$-invariants, we establish a version of…

We consider functors from the category of locally convex algebras to abelian groups and prove invariance under smooth homotopies for weakly J-stable algebras, where J is a harmonic operator ideal. This applies in particular to negative…

Let k be a field. Let G be an absolutely almost simple simply connected k-group of type A_l, l>=2, or D_l, l>=4, containing a 2-dimensional split torus. If G is of type D_l, assume moreover that char k is different from 2. We show that the…

We show that the algebraic K-theory space of stable infinity-categories is canonically functorial in polynomial functors. As a consequence, we obtain a new proof of B\"okstedt's calculation of $\mathrm{THH}(\mathbb{F}_p)$.

We provide an explicit formula for localizing $A^1$-homotopy invariants of topological Fukaya categories of marked surfaces. Following a proposal of Kontsevich, this differential $\mathbb Z$-graded category is defined as global sections of…

We prove some fundamental results like localization, excision, Nisnevich descent and the Mayer-Vietoris property for equivariant regular blow-up for the equivariant K-theory of schemes with an affine group scheme action. We also show that…

Given an abelian category and a stability condition satisfying appropriate conditions, we define generalized $K$-theoretic invariants and prove that they satisfy wall-crossing formulas. For this, we introduce a new associative algebra…

Let k be an algebraically closed field. Using the Eilenberg-Watts theorem over schemes, we determine the structure of k-linear right exact direct limit and coherence preserving functors from the category of quasi-coherent sheaves on P^1_k…

To any rigid analytic space (in the sense of Fujiwara-Kato) we assign an $\mathbb{A}^1$-invariant rigid analytic homotopy category with coefficients in any presentable category. We show some functorial properties of this assignment as a…

We give a proof of the Breuil-Schneider conjecture in a large number of cases, which complement the indecomposable case, which we dealt with earlier in [Sor]. In some sense, only the Steinberg representation lies at the intersection of the…

Let us denote by $\mathcal K_n$ the hyperspace of all convex bodies of $\mathbb R^n$ equipped with the Hausdorff distance topology. An affine invariant point $p$ is a continuous and Aff(n)-equivariant map $p:\mathcal K_n\to \mathbb R^n$,…