Related papers: Adelic descent for K-theory

The goal of this paper is to prove a version of the non-abelian localization theorem for the rational equivariant K-theory of a smooth variety $X$ with the action of a linear algebraic group $G$. We then use this to prove a Riemann-Roch…

We prove a decomposition theorem for the equivariant K-theory of actions of affine group schemes G of finite type over a field on regular separated noetherian algebraic spaces, under the hypothesis that the actions have finite geometric…

We prove several results showing that the algebraic $K$-theory of valuation rings behave as though such rings were regular Noetherian, in particular an analogue of the Geisser--Levine theorem. We also give some new proofs of known results…

We generalize the Demailly approximation theorem from complex geometry to Arakelov geometry.As an application, let $X/\mathbb{Q}$ be an integral projective variety and $\overline N$ be an adelic line bundle on $X$, we prove that…

In this paper we consider the problem of Galois descent for suitably completed algebraic K-theory of fields. One of the main results is a suitable form of rigidity for Borel-style generalized equivariant cohomology with respect to certain…

The first part of this paper introduces an analogue, for one-dimensional, singular, complete local rings, of Gersten's injectivity conjecture for discrete valuation rings. Our main theorem is the verification of this conjecture when the…

In this paper, we apply Clausen-Scholze's theory of solid modules to the existence of adelic decompositions for schemes of finite type over $\mathbb{Z}$. Specifically, we use the six-functor formalism for solid modules to define the…

We prove some $K$-theoretic descent results for finite group actions on stable $\infty$-categories, including the $p$-group case of the Galois descent conjecture of Ausoni-Rognes. We also prove vanishing results in accordance with…

For a nice algebraic variety $X$ over a number field $F$, one of the central problems of Diophantine Geometry is to locate precisely the set $X(F)$ inside $X(\A_F)$, where $\A_F$ denotes the ring of ad\`eles of $F$. One approach to this…

We prove that algebraic K-theory satisfies `pro-descent' for abstract blow-up squares of noetherian schemes. As an application we derive Weibel's conjecture on the vanishing of negative K-groups.

We prove a non-linear version of a theorem of Grayson which is an analogue of the Fundamental Theorem of Algebraic $K$-theory and identify the $K$-theory of the endomorphism category over a space $X$ in terms of reduced $K$-theory of a…

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,…

In this note we apply Guillen-Navarro descent theorem, \cite{GN02}, to define a descent variant of the algebraic $K$-theory of varieties over a field of characteristic zero, $\mathcal{KD}(X)$, which coincides with $\mathcal{K}(X)$ for…

We show that if two rings have equivalent derived categories then they have the same algebraic K-theory. Similar results are given for G-theory, and for a large class of abelian categories.

Let R be a ring. Let SSE-R be the equivalence relation on square matrices (allowed to have different size) over R generated by A ~ B if there exist matrices U,V over R such that A = UV and B = VU . An invariant of SSE-R is shift equivalence…

Let P be a semigroup that admits an embedding into a group G. Assume that the embedding satisfies a certain Toeplitz condition and that the Baum-Connes conjecture holds for G. We prove a formula describing the K- theory of the reduced…

To any pullback square of ring spectra we associate a new ring spectrum and use it to describe the failure of excision in algebraic $K$-theory. The construction of this new ring spectrum is categorical and hence allows to determine the…

We prove a version of adelic descent for continuous localizing invariants.

Let T be a torus, X a smooth quasi-compact separated scheme equipped with a T-action, and [X/T] the associated quotient stack. Given any localizing A1-homotopy invariant of dg categories E, we prove that the derived completion of E([X/T])…

In this article we describe the $G_{comp}\times G_{comp}$-equivariant topological $K$-ring of a {\em cellular} toroidal embedding $\mathbb{X}$ of a complex connected reductive algebraic group $G$. In particular, our results extend the…