×

Comparison of equivariant algebraic and topological K-theory. (English) Zbl 0614.14002

Let k be a separably closed field, G a reduced linear algebraic scheme over k, X a separated scheme of finite type over X, and suppose G acts on X. Fix a prime power \(\ell^{\nu}\) which is invertible in k. The author’s main result is a G-equivariant version of an earlier theorem of his: if the \(mod\quad \ell^{\nu}\) equivariant algebraic K-groups of the category of coherent G-modules on X are localized by inverting the Bott element \(\beta\) and then completed with respect to the augmentation ideal of the representation ring of G, the resulting groups are isomorphic to the equivariant topological K-groups of the same category: \[ G/\ell_*^{\nu}(G,X)[\beta^{-1}]^{{\hat{\;}}}_{IG}\quad \approx \quad G/\ell_*^{\nu Top}(G,X). \] If X and G are smooth over k, a similar isomorphism holds for the category of algebraic G-vector bundles on X.
Reviewer: M.Stein

MSC:

14C35 Applications of methods of algebraic \(K\)-theory in algebraic geometry
18F25 Algebraic \(K\)-theory and \(L\)-theory (category-theoretic aspects)
55N15 Topological \(K\)-theory
PDFBibTeX XMLCite
Full Text: DOI

References:

[1] S. Anantharaman, Schémas en groupes, espaces homogènes et espaces algébriques sur une base de dimension 1 , Sur les groupes algébriques, Soc. Math. France, Paris, 1973, 5-79. Bull. Soc. Math. France, Mém. 33. · Zbl 0286.14001
[2] M. Artin and J. L. Verdier, Seminar on etale cohomology of number fields , AMS Lecture Notes, mimeographed, Summer Institute on Algebraic Geometry, Woods Hole, 1964.
[3] M. F. Atiyah, Characters and cohomology of finite groups , Inst. Hautes Études Sci. Publ. Math. (1961), no. 9, 23-64. · Zbl 0107.02303
[4] M. F. Atiyah and G. B. Segal, Equivariant \(K\)-theory and completion , J. Differential Geometry 3 (1969), 1-18. · Zbl 0215.24403
[5] J. M. Boardman, Conditionally convergent spectral sequences , preprint, 1981. · Zbl 0947.55020
[6] A. K. Bousfield, The localization of spectra with respect to homology , Topology 18 (1979), no. 4, 257-281. · Zbl 0417.55007
[7] A. K. Bousfield, \(K\)-localizations and \(K\)-equivalences of infinite loop spaces , Proc. London Math. Soc. (3) 44 (1982), no. 2, 291-311. · Zbl 0511.55007
[8] J. Fogarty, Geometric quotients are algebraic schemes , Adv. in Math. 48 (1983), no. 2, 166-171. · Zbl 0556.14023
[9] A. Grothendieck, Le groupe de Brauer. III. Exemples et compléments , Dix Exposés sur la Cohomologie des Schémas, North-Holland, Amsterdam, 1968, pp. 88-188. · Zbl 0198.25901
[10] D. Knutson, Algebraic spaces , Lecture Notes in Mathematics, vol. 203, Springer-Verlag, Berlin, 1971. · Zbl 0221.14001
[11] S. Lang, Algebraic number theory , Addison-Wesley Publishing Co., Inc., Reading, Mass.-London-Don Mills, Ont., 1970. · Zbl 0211.38404
[12] D. Mumford and J. Fogarty, Geometric invariant theory , 2nd Edition ed., Ergebnisse der Mathematik und ihrer Grenzgebiete [Results in Mathematics and Related Areas], vol. 34, Springer-Verlag, Berlin, 1982. · Zbl 0504.14008
[13] M. Raynaud, Faisceaux amples sur les schémas en groupes et les espaces homogènes , Lecture Notes in Mathematics, vol. 119, Springer-Verlag, Berlin, 1970. · Zbl 0195.22701
[14] A. Robinson, Derived tensor products in stable homotopy theory , Topology 22 (1983), no. 1, 1-18. · Zbl 0519.55004
[15] G. Segal, Equivariant \(K\)-theory , Inst. Hautes Études Sci. Publ. Math. (1968), no. 34, 129-151. · Zbl 0199.26202
[16] G. Segal, Fredholm complexes , Quart. J. Math. Oxford Ser. (2) 21 (1970), 385-402. · Zbl 0213.25403
[17] J. P. Serre, Cohomologie Galoisienne , Lecture Notes in Mathematics, vol. 5, Springer-Verlag, Berlin, 1973. · Zbl 0259.12011
[18] J. P. Serre, Groupes de Grothendieck des schémas en groupes réductifs déployés , Inst. Hautes Études Sci. Publ. Math. (1968), no. 34, 37-52. · Zbl 0195.50802
[19] C. S. Seshadri, Geometric reductivity over arbitrary base , Advances in Math. 26 (1977), no. 3, 225-274. · Zbl 0371.14009
[20] H. Sumihiro, Equivariant completion. II , J. Math. Kyoto Univ. 15 (1975), no. 3, 573-605. · Zbl 0331.14008
[21] R. W. Thomason, Algebraic \(K\)-theory and étale cohomology , Ann. Sci. École Norm. Sup. (4) 18 (1985), no. 3, 437-552. · Zbl 0596.14012
[22] R. Thomason, Algebraic \(K\)-theory of group scheme actions , to appear, Proceedings of the Moore conference, Annals of Math. Studies, Princeton. · Zbl 0701.19002
[23] R. Thomason, Lefschetz-Riemann-Roch theorem and coherent trace formula , preprint (1984), to appear, Invent. Math. · Zbl 0653.14005
[24] R. W. Thomason, The homotopy limit problem , Proceedings of the Northwestern Homotopy Theory Conference (Evanston, Ill., 1982), Contemp. Math., vol. 19, Amer. Math. Soc., Providence, R.I., 1983, pp. 407-419. · Zbl 0528.55008
[25] R. Thomason, The finite stable homotopy type of some topoi , preprint (1985), to appear, J. Pure Applied Algebra. · Zbl 0626.18004
[26] 1 A. Grothendieck and J. Dieudonné, Éléments de géométrie algébrique I. Le langage des schémas , Inst. Hautes Études Sci. Publ. Math. 4 (1960), 228, 2nd ed. Grundlehren 166, Springer. · Zbl 0118.36206
[27] 2 A. Grothendieck and J. Dieudonné, Éléments de géométrie algébrique. II. Étude globale élémentaire de quelques classes de morphismes , Inst. Hautes Études Sci. Publ. Math. (1961), no. 8, 222, 2nd ed. Grundlehren 166, Springer. · Zbl 0118.36206
[28] 3 A. Grothendieck and J. Dieudonné, Éléments de géométrie algébrique III. Étude cohomologique des faisceaux cohérents. I , Inst. Hautes Études Sci. Publ. Math. 11 (1961), 167, 2nd ed. Grundlehren 166, Springer. · Zbl 0118.36206
[29] 4 A. Grothendieck and J. Dieudonné, Éléments de géométrie algébrique III. Étude cohomologique des faisceaux cohérents. II , Inst. Hautes Études Sci. Publ. Math. 17 (1963), 91, 2nd ed. Grundlehren 166, Springer. · Zbl 0122.16102
[30] 5 A. Grothendieck and J. Dieudonné, Éléments de Géométrie Algébrique. IV. Étude locale des schémas et des morphismes de schémas. I , Inst. Hautes Études Sci. Publ. Math. (1964), no. 20, 259, 2nd ed. Grundlehren 166, Springer. · Zbl 0136.15901
[31] 6 A. Grothendieck and J. Dieudonné, Éléments de géométrie algébrique. IV. Étude locale des schémas et des morphismes de schémas. II , Inst. Hautes Études Sci. Publ. Math. (1965), no. 24, 231, 2nd ed. Grundlehren 166, Springer. · Zbl 0135.39701
[32] 7 A. Grothendieck and J. Dieudonné, Éléments de géométrie algébrique IV. Étude locale des schémas et des morphismes de schémas. III , Inst. Hautes Études Sci. Publ. Math. 28 (1966), 255, 2nd ed. Grundlehren 166, Springer. · Zbl 0144.19904
[33] 8 A. Grothendieck and J. Dieudonné, Éléments de géométrie algébrique. IV. Étude locale des schémas et des morphismes de schémas IV , Inst. Hautes Études Sci. Publ. Math. (1967), no. 32, 361, 2nd ed. Grundlehren 166, Springer. · Zbl 0153.22301
[34] A. Grothendieck, Revêtements étales et groupe fondamental , Lecture Notes in Math., vol. 224, Springer-Verlag, Berlin, 1971. · Zbl 0234.14002
[35] 1 A. Grothendieck and M. Demazure, Schémas en groupes. I: Propriétés générales des schémas en groupes , Séminaire de Géométrie Algébrique du Bois Marie 1962/64 (SGA 3). Dirigé par M. Demazure et A. Grothendieck. Lecture Notes in Mathematics, Vol. 151, Springer-Verlag, Berlin, 1970. · Zbl 0207.51401
[36] 2 A. Grothendieck and M. Demazure, Schémas en groupes. II: Groupes de type multiplicatif, et structure des schémas en groupes généraux , Séminaire de Géométrie Algébrique du Bois Marie 1962/64 (SGA 3). Dirigé par M. Demazure et A. Grothendieck. Lecture Notes in Mathematics, Vol. 152, Springer-Verlag, Berlin, 1962/1964. · Zbl 0209.24201
[37] 3 A. Grothendieck and M. Demazure, Schémas en groupes. III: Structure des schémas en groupes réductifs , Séminaire de Géométrie Algébrique du Bois Marie 1962/64 (SGA 3). Dirigé par M. Demazure et A. Grothendieck. Lecture Notes in Mathematics, Vol. 153, Springer-Verlag, Berlin, 1962/1964. · Zbl 0212.52804
[38] 1 M. Artin, A. Grothendieck, and J.-L. Verdier, Théorie des topos et cohomologie étale des schémas. Tome 1: Théorie des topos , Lecture Notes in Mathematics, vol. 269, Springer-Verlag, Berlin, 1972. · Zbl 0234.00007
[39] 2 M. Artin, A. Grothendieck, and J.-L. Verdier, Théorie des topos et cohomologie étale des schémas. Tome 2 , Lecture Notes in Mathematics, vol. 270, Springer-Verlag, Berlin, 1972. · Zbl 0237.00012
[40] 3 M. Artin, A. Grothendieck, and J.-L. Verdier, Théorie des topos et cohomologie étale des schémas. Tome 3 , Lecture Notes in Mathematics, vol. 305, Springer-Verlag, Berlin, 1973. · Zbl 0245.00002
[41] P. Deligne, Cohomologie étale , Lecture Notes in Math., vol. 569, Springer-Verlag, Berlin, 1977. · Zbl 0345.00010
[42] P. Berthelot, A. Grothendieck, and L. Illusie, Théorie des intersections et théorème de Riemann-Roch , Lecture Notes in Math, vol. 225, Springer-Verlag, Berlin, 1971. · Zbl 0218.14001
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.