Algebraic & Geometric Topology

Complete intersections and mod $p$ cochains

David J Benson, John P C Greenlees, and Shoham Shamir

Full-text: Open access


We give homotopy invariant definitions corresponding to three well-known properties of complete intersections, for the ring, the module theory and the endomorphisms of the residue field, and we investigate them for the mod p cochains on a space, showing that suitable versions of the second and third are equivalent and that the first is stronger. We are particularly interested in classifying spaces of groups, and we give a number of examples. The case of rational homotopy theory is treated in [J. Pure Appl. Algebra 217 (2013) 636–663], and there are some interesting contrasts.

Article information

Algebr. Geom. Topol., Volume 13, Number 1 (2013), 61-114.

Received: 15 April 2011
Revised: 14 August 2012
Accepted: 14 August 2012
First available in Project Euclid: 19 December 2017

Permanent link to this document

Digital Object Identifier

Mathematical Reviews number (MathSciNet)

Zentralblatt MATH identifier

Primary: 13C40: Linkage, complete intersections and determinantal ideals [See also 14M06, 14M10, 14M12] 55P43: Spectra with additional structure ($E_\infty$, $A_\infty$, ring spectra, etc.) 13D99: None of the above, but in this section 20J06: Cohomology of groups 55N99: None of the above, but in this section
Secondary: 14M10: Complete intersections [See also 13C40] 55P42: Stable homotopy theory, spectra 55U35: Abstract and axiomatic homotopy theory 20J05: Homological methods in group theory

complete intersection commutative ring spectrum derived category group cohomology mod $p$ cochains


Benson, David J; Greenlees, John P C; Shamir, Shoham. Complete intersections and mod $p$ cochains. Algebr. Geom. Topol. 13 (2013), no. 1, 61--114. doi:10.2140/agt.2013.13.61.

Export citation


  • J Aguadé, C Broto, D Notbohm, Homotopy classification of spaces with interesting cohomology and a conjecture of Cooke, I, Topology 33 (1994) 455–492
  • J L Alperin, R Brauer, D Gorenstein, Finite groups with quasi-dihedral and wreathed Sylow $2$–subgroups, Trans. Amer. Math. Soc. 151 (1970) 1–261
  • K K S Andersen, J Grodal, The classification of 2–compact groups, J. Amer. Math. Soc. 22 (2009) 387–436
  • K K S Andersen, J Grodal, J M Møller, A Viruel, The classification of $p$–compact groups for $p$ odd, Ann. of Math. 167 (2008) 95–210
  • L L Avramov, Infinite free resolutions, from: “Six lectures on commutative algebra”, (J Elias, J M Giral, R M Miró-Roig, S Zarzuela, editors), Progr. Math. 166, Birkhäuser, Basel (1998) 1–118
  • L L Avramov, Locally complete intersection homomorphisms and a conjecture of Quillen on the vanishing of cotangent homology, Ann. of Math. 150 (1999) 455–487
  • L L Avramov, R-O Buchweitz, Support varieties and cohomology over complete intersections, Invent. Math. 142 (2000) 285–318
  • D Benson, An algebraic model for chains on $\Omega BG\sp \wedge\sb p$, Trans. Amer. Math. Soc. 361 (2009) 2225–2242
  • D J Benson, J F Carlson, Projective resolutions and Poincaré duality complexes, Trans. Amer. Math. Soc. 342 (1994) 447–488
  • D J Benson, J P C Greenlees, Complete intersections and derived categories (2009)
  • N Castellana, The homotopic adjoint representation for the exotic $p$–compact groups, preprint (1999) Available at \setbox0\makeatletter\@url {\unhbox0
  • N Castellana, On the $p$–compact groups corresponding to the $p$–adic reflection groups $G(q,r,n)$, Trans. Amer. Math. Soc. 358 (2006) 2799–2819
  • W G Dwyer, Strong convergence of the Eilenberg–Moore spectral sequence, Topology 13 (1974) 255–265
  • W G Dwyer, J P C Greenlees, Complete modules and torsion modules, Amer. J. Math. 124 (2002) 199–220
  • W G Dwyer, J P C Greenlees, S Iyengar, Duality in algebra and topology, Adv. Math. 200 (2006) 357–402
  • W Dwyer, J P C Greenlees, S Iyengar, Finiteness in derived categories of local rings, Comment. Math. Helv. 81 (2006) 383–432
  • W G Dwyer, C W Wilkerson, Homotopy fixed-point methods for Lie groups and finite loop spaces, Ann. of Math. 139 (1994) 395–442
  • D Eisenbud, Subrings of Artinian and Noetherian rings, Math. Ann. 185 (1970) 247–249
  • D Eisenbud, Homological algebra on a complete intersection, with an application to group representations, Trans. Amer. Math. Soc. 260 (1980) 35–64
  • A D Elmendorf, I Kriz, M A Mandell, J P May, Rings, modules, and algebras in stable homotopy theory, Mathematical Surveys and Monographs 47, American Mathematical Society (1997)
  • K Erdmann, Algebras and semidihedral defect groups, II, Proc. London Math. Soc. 60 (1990) 123–165
  • Y Félix, S Halperin, J-C Thomas, Elliptic Hopf algebras, J. London Math. Soc. 43 (1991) 545–555
  • Y Félix, S Halperin, J-C Thomas, Rational homotopy theory, Graduate Texts in Mathematics 205, Springer, New York (2001)
  • Y Felix, J-C Thomas, M Vigué-Poirrier, The Hochschild cohomology of a closed manifold, Publ. Math. Inst. Hautes Études Sci. (2004) 235–252
  • Z Fiedorowicz, S Priddy, Homology of classical groups over finite fields and their associated infinite loop spaces, Lecture Notes in Mathematics 674, Springer, Berlin (1978)
  • J P C Greenlees, Spectra for commutative algebraists, from: “Interactions between homotopy theory and algebra”, (L L Avramov, J D Christensen, W G Dwyer, M A Mandell, B E Shipley, editors), Contemp. Math. 436, Amer. Math. Soc., Providence, RI (2007) 149–173
  • J P C Greenlees, K Hess, S Shamir, Complete intersections in rational homotopy theory, J. Pure Appl. Algebra 217 (2013) 636–663
  • T H Gulliksen, A change of ring theorem with applications to Poincaré series and intersection multiplicity, Math. Scand. 34 (1974) 167–183
  • T H Gulliksen, On the deviations of a local ring, Math. Scand. 47 (1980) 5–20
  • M Hovey, B Shipley, J Smith, Symmetric spectra, J. Amer. Math. Soc. 13 (2000) 149–208
  • N R Kitchloo, Topology of Kac–Moody groups, Ph.D. thesis, Massachusetts Institute of Technology (1998) Available at \setbox0\makeatletter\@url {\unhbox0
  • S N Kleinerman, The cohomology of Chevalley groups of exceptional Lie type, Mem. Amer. Math. Soc. 39 (1982) viii+82
  • R Levi, On finite groups and homotopy theory, Mem. Amer. Math. Soc. 118 (1995) xiv+100
  • R Levi, A counter-example to a conjecture of Cohen, from: “Algebraic topology: New trends in localization and periodicity”, (C Broto, C Casacuberta, G Mislin, editors), Progr. Math. 136, Birkhäuser, Basel (1996) 261–269
  • R Levi, On homological rate of growth and the homotopy type of $\Omega BG\sp \wedge\sb p$, Math. Z. 226 (1997) 429–444
  • R Levi, On $p$–completed classifying spaces of discrete groups and finite complexes, J. London Math. Soc. 59 (1999) 1064–1080
  • T Y Lin, Duality and Eilenberg–Mac Lane spectra, Proc. Amer. Math. Soc. 56 (1976) 291–299
  • M A Mandell, $E\sb \infty$ algebras and $p$–adic homotopy theory, Topology 40 (2001) 43–94
  • J M Møller, $N$–determined 2–compact groups, I, Fund. Math. 195 (2007) 11–84
  • J M Møller, $N$–determined 2–compact groups, II, Fund. Math. 196 (2007) 1–90
  • B Oliver, Equivalences of classifying spaces completed at the prime two, Mem. Amer. Math. Soc. 180 (2006) vi+102
  • D Quillen, The ${\rm mod}$ $2$ cohomology rings of extra-special $2$–groups and the spinor groups, Math. Ann. 194 (1971) 197–212
  • D Quillen, On the cohomology and $K$–theory of the general linear groups over a finite field, Ann. of Math. 96 (1972) 552–586
  • J-P Serre, Sur la dimension homologique des anneaux et des modules noethériens, from: “Proceedings of the international symposium on algebraic number theory”, Science Council of Japan, Tokyo (1956) 175–189
  • J Shamash, The Poincaré series of a local ring, J. Algebra 12 (1969) 453–470
  • S Shamir, Hochschild cohomology of cochain-algebras and local coefficients, In preparation
  • B Shipley, $H\mathbb{Z}$–algebra spectra are differential graded algebras, Amer. J. Math. 129 (2007) 351–379
  • K Ziemiański, A faithful unitary representation of the 2–compact group ${\rm DI}(4)$, J. Pure Appl. Algebra 213 (2009) 1239–1253