Related papers: Gillet descent for connective K-theory

We present an algebro-geometric proof of the K-semistability of the projective plane.

These notes give a proof of the representability of homotopy invariant K-theory in the stable homotopy category of schemes (which was announced by Voevodsky). One deduces from the proper base change theorem in stable homotopy theory of…

We prove a blow-up formula for cyclic homology which we use to show that infinitesimal $K$-theory satisfies $cdh$-descent. Combining that result with some computations of the $cdh$-cohomology of the sheaf of regular functions, we verify a…

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…

We show that Hilbert schemes for quantum planes are projective.

We define $k$-rationalized $G$-equivariant elliptic cohomology, for a field of characteristic zero $k$ and a compact Lie group $G$, via adelic descent. We also give adelic descriptions of rationalized $G$-equivariant singular cohomology and…

In this expository paper we present a proof of the equivalence of the standard definition of descent data on schemes with another one mentioned in the literature that involves certain cartesian diagrams. Using this equivalence, we discuss…

We define twisted equivariant K-homology groups using geometric cycles. We compare them with approaches using Kasparov KK-Theory and (twisted) group C*-algebras.

We show that the hermitian K-theory space of a commutative ring R can be identified, up to A^1-homotopy, with the group completion of the groupoid of oriented finite Gorenstein R-algebras, i.e., finite locally free R-algebras with…

We prove an adelic descent result for localizing invariants: for each Noetherian scheme $X$ of finite Krull dimension and any localizing invariant $E$, e.g., algebraic K-theory of Bass-Thomason, there is an equivalence $E(X)\simeq \lim…

Algebraic K-theory is the stable homotopy theory of homotopy theories, and it interacts with algebraic structures accordingly. In particular, we prove the Deligne Conjecture for algebraic K-theory.

In this paper, we define the $K$-theoretic Hall algebra for $0$-dimensional coherent sheaves on a smooth projective surface, prove that the algebra is associative and construct a homomorphism to a redefined shuffle algebra analogous to…

In geometric representation theory, it is common to compute equivariant $K$ theory of schemes like $Hilb^n ( \mathbb{A}^2 )$ or $Hilb^n (X)$ for an ALE resolution $X \to \mathbb{A}^2 / \Gamma$. If we abandon the algebraic nature and just…

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.

Let $K$ be a $C_1$-field of any characteristic and $X$ a projective variety over $K$. In this article we prove that for a finite Galois extension $L$ of $K$, a simple sheaf with covering datum on $X \times_K L$ descends to a simple sheaf on…

We determine the A(1)-homotopy of the topological cyclic homology of the connective real K-theory spectrum ko. The answer has an associated graded that is a free F_2[v_2^4]-module of rank 52, on explicit generators in stems -1 \le * \le 30.…

In this paper we compute Lawson homology groups and semi-topological K-theory for some threefolds and fourfolds. We consider smooth complex projective varieties whose zero cycles are supported on a proper subvariety. Rationally connected…

We prove the excision theorem for the $K$-theory of perfect complexes on Deligne-Mumford stacks. This is then used to study the Nisnevich site of such stacks. We prove the Nisnevich descent for the $K$-theory of perfect complexes. We also…

We advance the understanding of K-theory of quadratic forms by computing the slices of the motivic spectra representing hermitian K-groups and Witt-groups. By an explicit computation of the slice spectral sequence for higher Witt-theory, we…

Let $A \to B$ be a $G$-Galois extension of rings, or more generally of $\mathbb{E}_\infty$-ring spectra in the sense of Rognes. A basic question in algebraic $K$-theory asks how close the map $K(A) \to K(B)^{hG}$ is to being an equivalence,…