Related papers: On the K-theory of pullbacks

We prove that the tangent complex of K-theory, in terms of (abelian) deformation problems over a characteristic 0 field k, is cyclic homology (over k). This equivalence is compatible with the $\lambda$-operations. In particular, the…

It has been shown by Nistor that given any extension of associative algebras over C, the connecting morphism in periodic cyclic homology is compatible, under the Chern-Connes character, with the index morphism in lower algebraic K-theory.…

We define higher semiadditive algebraic K-theory, a variant of algebraic K-theory that takes into account higher semiadditive structure, as enjoyed for example by the $K(n)$- and $T(n)$-local categories. We prove that it satisfies a form of…

We formulate and prove a Conner-Floyd isomorphism for the algebraic K-theory of arbitrary qcqs derived schemes. To that end, we study a stable $\infty$-category of non-$\mathbb A^1$-invariant motivic spectra, which turns out to be…

Let $G$ be a reductive group over a field $k$ of characteristic $\neq 2$, let ${\mathfrak g}=\Lie(G)$, let $\theta$ be an involutive automorphism of $G$ and let ${\mathfrak g}={\mathfrak k}\oplus{\mathfrak p}$ be the associated symmetric…

We identify the $K$-theoretic fiber of a localization of ring spectra in terms of the $K$-theory of the endomorphism algebra spectrum of a Koszul-type complex. Using this identification, we provide a negative answer to a question of Rognes…

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…

Twisted complex $K$-theory can be defined for a space $X$ equipped with a bundle of complex projective spaces, or, equivalently, with a bundle of C$^*$-algebras. Up to equivalence, the twisting corresponds to an element of $H^3(X;\Z)$. We…

We give a description of the value of a finitary localizing invariant, such as algebraic $K$-theory, on the category of sheaves on a locally coherent space $X$. This in particular includes all spaces that arise as spectra of commutative…

Given a henselian pair $(R, I)$ of commutative rings, we show that the relative $K$-theory and relative topological cyclic homology with finite coefficients are identified via the cyclotomic trace $K \to \mathrm{TC}$. This yields a…

Let $f:A \to B$ be a ring homomorphism of not necessarily unital rings and $I\triangleleft A$ an ideal which is mapped by f isomorphically to an ideal of B. The obstruction to excision in K-theory is the failure of the map between relative…

We compare the K-theories of symplectic quotients with respect to a compact connected Lie group and with respect to its maximal torus, and in particular we give a method for computing the former in terms of the latter. More specifically,…

We show that for a coconnective ring spectrum satisfying regularity and flatness assumptions, its algebraic K-theory agrees with that of its $\pi_0$. We prove this as a consequence of a more general devissage result for stable infinity…

Let X be a smooth scheme, Z a smooth closed subscheme, and U the open complement. Given any localizing and A1-homotopy invariant of dg categories E, we construct an associated Gysin triangle relating the value of E at the dg categories of…

We study the algebraic $K$-theory of rings of the form $R[x]/x^e$. We do this via trace methods and filtrations on topological Hochschild homology and related theories by quasisyntomic sheaves. We produce computations for $R$ a perfectoid…

We prove a reduced version of the Chevalley restriction conjecture on the commuting scheme posed by T.H. Chen and B.C. Ng\^o, extending the results of Hunziker for classical groups. In particular, we prove that for any connected reductive…

We introduce a family of twisted $K(n)$-local theories that behave analogous to twisted K-theory. Let $R_n= E_n^{hS\mathbb G_n}$, the homotopy fixed point spectrum under the action of the subgroup $S\mathbb G_n$ of the Morava stabilizer…

We extend the theorem of Hausel and the author from arXiv:2212.11836 that relates equivariant cohomology rings and algebras of functions on zero schemes. This paper combines three separate results. We prove that for a reductive group G…

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…

We study the twisted K-theory and K-homology of some infinite dimensional spaces, like SU(\infty), in the bivariant setting. Using a general procedure due to Cuntz we construct a bivariant K-theory on the category of separable…