The completion problem for equivariant \(K\)-theory
type: Item
instance of: scholarly article
title: The completion problem for equivariant \(K\)-theory
zbMATH Open document ID: 1406.14016
author: Amalendu Krishna
published in: Journal für die Reine und Angewandte Mathematik
publication date: 2018-07-12T00:00:00Z
review text: For \(G\) a compact Lie group and \(X\) a compact \(G\)-space, the Atiyah-Segal theorem (Theorem 1.1) identifies the topological \(K\)-theory of the Borel space \(X_G=X\times_GE_G\) with the completion of the equivariant \(K\)-theory of \(X\) with respect to the augmentation ideal, assuming a finiteness condition on the equivariant \(K\)-groups. In this paper, the author gives an elegant answer to the same question in algebraic geometry, using Morel-Voevodsky's \(\mathbb{A}^1\)-homotopy theory [\textit{F. Morel} and \textit{V. Voevodsky}, Publ. Math., Inst. Hautes Étud. Sci. 90, 45--143 (1999; Zbl 0983.14007)] to produce a model for the Borel space (see Section 3.1). The main theorem (Theorem 8.7) gives a positive answer to the completion problem for a connected split reductive algebraic group acting over a scheme under a condition of being filtrable (see Section 5.2), condition always satisfied for smooth projective schemes (Theorem 6.4). For non-projective schemes, the author shows that the result still holds at the level of \(K_0\) (Theorem 9.10), and more generally for singular schemes by working with equivariant \(G\)-theory (i.e. \(K\)-theory of coherent sheaves); for higher \(K\)-groups the completion theorem fails and the author gives a counterexample on complex numbers (Theorem 10.1).
reviewed by: Fangzhou Jin
Mathematics Subject Classification ID: 14F42
Mathematics Subject Classification ID: 14C35
Mathematics Subject Classification ID: 19L47
zbMATH DE Number: 6902331
zbMATH Keywords: algebraic \(K\)-theory
zbMATH Keywords: equivariant \(K\)-theory
zbMATH Keywords: motivic homotopy theory
MaRDI profile type: Publication
full work available at URL: crelle-2015-0063
OpenAlex ID: W2562279575
cites work: Etale homotopy
cites work: Characters and cohomology of finite groups
cites work: Q3844098
cites work: Equivariant \(K\)-theory and completion
cites work: Some theorems on actions of algebraic groups
cites work: Q3999894
cites work: Equivariant Chow groups for torus actions
cites work: Voevodsky's Lectures on Motivic Cohomology 2000/2001
cites work: Q4946328
cites work: Equivariant intersection theory (With an appendix by Angelo Vistoli: The Chow ring of \({\mathcal M}_2\))
cites work: Riemann-Roch for equivariant Chow groups
cites work: Equivariant algebraic cobordism
cites work: Q3919819
cites work: Q4220599
cites work: The homotopy limit problem for Hermitian \(K\)-theory, equivariant motivic homotopy theory and motivic real cobordism
cites work: Calculating limits and colimits in pro-categories
cites work: Higher \(K\)-theory of toric stacks
cites work: Categories and Sheaves
cites work: Equivariant cobordism of schemes
cites work: Higher Chow groups of varieties with group action
cites work: Riemann-Roch for equivariant \(K\)-theory
cites work: \(\mathbb{A}^1\)-homotopy theory of schemes
cites work: Q4519756
cites work: Higher algebraic K-theory: I
cites work: Equivariant K-theory
cites work: Linear algebraic groups.
cites work: Equivariant completion. II
cites work: Q3829629
cites work: Comparison of equivariant algebraic and topological K-theory
cites work: Lefschetz-Riemann-Roch theorem and coherent trace formula
cites work: Q3478587
cites work: Equivariant algebraic vs. topological K-homology Atiyah-Segal-style
cites work: Q4946334
cites work: Chow groups, Chow cohomology, and linear varieties
cites work: Higher algebraic \(K\)-theory for actions of diagonalizable groups
cites work: \(\mathbb{A}^1\)-homotopy theory
cites work: On motivic cohomology with \(\mathbb{Z}/l\)-coefficients
cites work: Q4899821
cites work: Coniveau filtration of cohomology of groups
DOI: 10.1515/CRELLE-2015-0063
Recommended article: Algebraic analogue of the Atiyah completion theorem
Recommended article: Transchromatic generalized character maps
Recommended article: Families of subgroups and completion
Recommended article: The Atiyah-Segal completion theorem in twisted \(K\)-theory
Recommended article: Equivariant algebraic \(K\)-theory, \(G\)-theory and derived completions
Recommended article: Q3312930
Recommended article: Bredon-style homology, cohomology and Riemann-Roch for algebraic stacks
Recommended article: Locally trivial principal homogeneous spaces
Recommended article: On the nonexistence of higher twistings over a point for Borel cohomology of \(K\)-theory
Recommended article: Comparison of equivariant algebraic and topological K-theory
description: scientific article; zbMATH DE number 6902331