Related papers: Motivic Atiyah-Segal completion theorem

We establish a purely geometric form of the concentration theorem (also called localization theorem) for actions of a linearly reductive group $G$ on an affine scheme $X$ over an affine base scheme $S$. It asserts the existence of a…

We prove an equivariant localization theorem over an algebraically closed field of characteristic zero for smooth quotient stacks by reductive groups $X/G$ in the setting of derived loop spaces as well as Hochschild homology and its cyclic…

We consider twisted equivariant K--theory for actions of a compact Lie group $G$ on a space $X$ where all the isotropy subgroups are connected and of maximal rank. We show that the associated rational spectral sequence \`a la Segal has a…

Let $G$ be a reductive group over $\mathbb{F}_{p}$ with associated finite group of Lie type $G^{F}$. Let $T$ be a maximal torus contained inside a Borel $B$ of $G$. We relate the (rational) Tate motives of $\text{B}G^{F}$ with the…

We develop an algebraic formalism for topological $\mathbb{T}$-duality. More precisely, we show that topological $\mathbb{T}$-duality actually induces an isomorphism between noncommutative motives that in turn implements the well-known…

We define a theory of etale motives over a noetherian scheme. This provides a system of categories of complexes of motivic sheaves with integral coefficients which is closed under the six operations of Grothendieck. The rational part of…

We use a category-theoretic formulation of Aczel's Fullness Axiom from Constructive Set Theory to derive the local cartesian closure of an exact completion. As an application, we prove that such a formulation is valid in the homotopy…

We describe the Segal $K$-theory of the symmetric monoidal category of finite-dimensional vector spaces over a perfect field $\mathbb{F}$ together with an automorphism, or, equivalently, the group-completion of the $E_\infty$-algebra of…

Let A be a dg category, F:A->A a dg functor inducing an equivalence of categories in degree-zero cohomology, and A/F the associated dg orbit category. For every A1-homotopy invariant (e.g. homotopy K-theory, K-theory with coefficients,…

Given a torus action on a compact space X, a fundamental result of Borel and Atiyah-Segal asserts that the equivariant cohomology of X is concentrated in the fixed locus X^T, up to inverting enough Chern classes. We prove an analogue for…

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…

Let $G$ be a complex, linear algebraic group acting on an algebraic space $X$. The purpose of this paper is to prove a Riemann-Roch theorem (Theorem 5.3) which gives a description of the completion of the equivariant Grothendieck group…

We prove that for torsion-free amenable ample groupoids, an isomorphism in groupoid homology induced by an \'etale correspondence yields an isomorphism in the K-theory of the associated $\mathrm{C}^\ast$-algebras. We apply this to extend X.…

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…

For twisted K-theory whose twist is classified by a degree three integral cohomology of infinite order, universal even degree characteristic classes are in one to one correspondence with invariant polynomials of Atiyah and Segal. The…

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

Given a commutative ring $R$ and finitely generated ideal $I$, one can consider the classes of $I$-adically complete, $L_0^I$-complete and derived $I$-complete complexes. Under a mild assumption on the ideal $I$ called weak pro-regularity,…

We formulate and prove a version of the Segal Conjecture for infinite groups. For finite groups it reduces to the original version. The condition that G is finite is replaced in our setting by the assumption that there exists a finite model…

Let G be a split semisimple linear algebraic group over a field k0. Let E be a G-torsor over a field extension k of k0. Let h be an algebraic oriented cohomology theory in the sense of Levine-Morel. Consider a twisted form E/B of the…

Let G be a discrete group. We give methods to compute for a generalized (co-)homology theory its values on the Borel construction (EG x X)/G of a proper G-CW-complex X satisfying certain finiteness conditions. In particular we give formulas…