Summary
A new way of computing MacLane cohomology of finite fields is described. Closely related to this theory are L. Breen's “extensions du groupe additif” and M. Bökstedt's topological Hochschild homology (and so is stable K-theory, hence). Our approach makes essential use of a cancellation result for MacLane cohomology ofF P with coefficients in the symmetric algebra where the Frobenius has been inverted. We then proceed through an analysis of the Koszul complex and the De Rham complex in non-zero characteristic.
Résumé
Nous décrivons une nouvelle méthode de calcul de la cohomologie de MacLane des corps finis. Cette théorie est intimement reliée aux extensions du groupe additif déjà étudiées par L. Breen et à l'homologie de Hochschild topologique de M. Bökstedt (et donc à la K-théorie stable). Notre approche utilise de manière cruciale l'annulation de la cohomologie de MacLane du corpsF P , avec pour coefficients l'algèbre symétrique où l'on a inversé le Frobenius. Nous recourons alors à l'analyse des complexes de Koszul et de De Rham en caractéristique non nulle.
Article PDF
Similar content being viewed by others
Avoid common mistakes on your manuscript.
Références
[A-M] Artin, M., Milne, J.S.: Duality in the flat cohomology of curves. Invent. Math.35, 111–129 (1976)
[Bö 1] Bökstedt, M.: Topological Hochschild homology. (à paraître)
[Bö 2] Bökstedt, M.: The topological Hochschild homology ofℤ andℤ/p. (à paraître)
[B 1] Breen, L.: Extensions du groupe additif. Publ. Sci., Inst. Hautes Etud. Sci.48, 39–125 (1978)
[B 2] Breen, L.: Extensions du groupe additif sur le site parfait. In: Giraud, J., Illusie, L., Raynaud, M. (éds.), Surfaces algébriques. (Lect. Notes Math., vol. 868, pp. 238–262) Berlin Heidelberg New-York: Springer 1981
[Ct] Cartier, P.: Une nouvelle opération sur les formes différentielles. C.R. Acad. Sci. Paris244, 426–428 (1957)
[C-S] Campbell, H.E.A., Selick, P.S.: Polynomial algebras over the Steenrod algebra. Comment. Math. Helv.65, 171–180 (1990)
[Cs] Carlsson, G.: G.B. Segal's Burnside ring conjecture for 537-1. Topology22–1, 83–103 (1983)
[C-E] Cartan, H., Eilenberg, S.: Homological Algebra. Princeton: Princeton University Press 1956
[D-P] Dold, A., Puppe, D.: Homologie nicht-additiver Funktoren. Anwendungen. Ann. Inst. Fourier11, 201–312 (1961)
[E-ML 1] Eilenberg, S., MacLane, S.: Cohomology theory of abelian groups and homotopy theory I, II. Proc. Natl. Acad. Sci. USA36, 443–447, 657–663 (1950)
[E-ML 2] Eilenberg, S., MacLane, S.: On the groupsH(π,n) I, II. Ann. Math.58, 55–106 (1953); Ann. Math.60, 49–139 (1954)
[H-L-S] Henn, H.-W., Lannes, J., Schwartz, L.: The categories of unstable modules and unstable algebras modulo nilpotent objects. Am. J. Math. (à paraître 1993)
[J-P] Jibladze, M., Pirashvili, T.: Cohomology of algebraic theories. J. Algebra137, 253–296 (1991)
[K] Kuhn, N.J.: Generic representations of the finite general linear groups and the Steenrod algebra, I. Am. J. Math. (à paraître); II (à paraître); III. Prépublications, Charlottesville (1990, 1992, 1993)
[L-S] Lannes, L., Schwartz, L.: Sur la structure desA-modules instables injectifs. Topology28–2, 153–169 (1989)
[Md] Macdonald, I.G.: Symmetric Functions and Hall Polynomials. (Oxf. Math. Monogr.) Oxford: Clarendon 1979
[ML] MacLane, S.: Homologie des anneaux et des modules. In: CBRM, Colloque de topologie algébrique, pp. 55–80. Louvain: Librairie universitaire 1957
[Ml] Miller, H.R.: The Sullivan conjecture on maps from classifying spaces. Ann. Math.120, 39–87 (1984)
[Mn] Milne, J.S.: Duality in the flat cohomology of a surface. Ann. Sci. Ec. Norm. Supér.9, 171–202 (1976)
[P] Pirashvili, T.: Higher additivisations. Proc. Math. Inst. Tbilissi91, 44–54 (1988)
[P-W] Pirashvili, T., Waldhausen, F.: MacLane homology and topological Hochschild homology. J. Pure Appl. Algebra82–1, 81–98 (1992)
[S] Schwartz, L.: Unstable Modules over the Steenrod Algebra and Sullivan's Fixed Point Conjecture. (Chicago Lect. Notes) (à paraître)
[Sm] Smith, J.H.: Homotopy additive simplicial functors. (Prépublication 1992)
Author information
Authors and Affiliations
Additional information
Oblatum 28-XI-1992 & 3-IX-1993
Rights and permissions
About this article
Cite this article
Franjou, V., Lannes, J. & Schwartz, L. Autour de la cohomologie de MacLane des corps finis. Invent Math 115, 513–538 (1994). https://doi.org/10.1007/BF01231771
Issue Date:
DOI: https://doi.org/10.1007/BF01231771