On the Castelnuovo-Mumford regularity of the cohomology ring of a group

Symonds, Peter

doi:10.1090/S0894-0347-10-00666-1

On the Castelnuovo-Mumford regularity of the cohomology ring of a group

Author: Peter Symonds
Journal: J. Amer. Math. Soc. 23 (2010), 1159-1173
MSC (2010): Primary 20J06; Secondary 57S15
DOI: https://doi.org/10.1090/S0894-0347-10-00666-1
Published electronically: April 1, 2010
MathSciNet review: 2669710
Full-text PDF Free Access

Abstract | References | Similar Articles | Additional Information

Abstract: We prove Benson’s Regularity Conjecture that the regularity of the cohomology of a finite group is zero. We also prove some of his generalisations to other classes of groups.

References

David Benson, Modules with injective cohomology, and local duality for a finite group, New York J. Math. 7 (2001), 201–215. MR 1856958
Dave Benson, Dickson invariants, regularity and computation in group cohomology, Illinois J. Math. 48 (2004), no. 1, 171–197. MR 2048221
Dave Benson, Commutative algebra in the cohomology of groups, Trends in commutative algebra, Math. Sci. Res. Inst. Publ., vol. 51, Cambridge Univ. Press, Cambridge, 2004, pp. 1–50. MR 2132647, DOI https://doi.org/10.1017/CBO9780511756382.002
David J. Benson, On the regularity conjecture for the cohomology of finite groups, Proc. Edinb. Math. Soc. (2) 51 (2008), no. 2, 273–284. MR 2465907, DOI https://doi.org/10.1017/S0013091505001203
D. J. Benson and J. P. C. Greenlees, Commutative algebra for cohomology rings of classifying spaces of compact Lie groups, J. Pure Appl. Algebra 122 (1997), no. 1-2, 41–53. MR 1479347, DOI https://doi.org/10.1016/S0022-4049%2896%2900078-3
D. J. Benson and J. P. C. Greenlees, Commutative algebra for cohomology rings of virtual duality groups, J. Algebra 192 (1997), no. 2, 678–700. MR 1452682, DOI https://doi.org/10.1006/jabr.1996.6944
Glen E. Bredon, Sheaf theory, McGraw-Hill Book Co., New York-Toronto, Ont.-London, 1967. MR 0221500
Glen E. Bredon, Introduction to compact transformation groups, Academic Press, New York-London, 1972. Pure and Applied Mathematics, Vol. 46. MR 0413144
M. P. Brodmann and R. Y. Sharp, Local cohomology: an algebraic introduction with geometric applications, Cambridge Studies in Advanced Mathematics, vol. 60, Cambridge University Press, Cambridge, 1998. MR 1613627
Carles Broto, Ran Levi, and Bob Oliver, The homotopy theory of fusion systems, J. Amer. Math. Soc. 16 (2003), no. 4, 779–856. MR 1992826, DOI https://doi.org/10.1090/S0894-0347-03-00434-X
Kenneth S. Brown, Cohomology of groups, Graduate Texts in Mathematics, vol. 87, Springer-Verlag, New York-Berlin, 1982. MR 672956
Winfried Bruns and Jürgen Herzog, Cohen-Macaulay rings, Cambridge Studies in Advanced Mathematics, vol. 39, Cambridge University Press, Cambridge, 1993. MR 1251956
Jon F. Carlson, Cohomology, computations, and commutative algebra, Notices Amer. Math. Soc. 52 (2005), no. 4, 426–434. MR 2127572
J. Duflot, Smooth toral actions, Topology 22 (1983), no. 3, 253–265. MR 710100, DOI https://doi.org/10.1016/0040-9383%2883%2990012-5
J. Duflot, Depth and equivariant cohomology, Comment. Math. Helv. 56 (1981), no. 4, 627–637. MR 656216, DOI https://doi.org/10.1007/BF02566231
David Eisenbud, The geometry of syzygies, Graduate Texts in Mathematics, vol. 229, Springer-Verlag, New York, 2005. A second course in commutative algebra and algebraic geometry. MR 2103875
A. M. Gleason, Spaces with a compact Lie group of transformations, Proc. Amer. Math. Soc. 1 (1950), 35–43. MR 33830, DOI https://doi.org/10.1090/S0002-9939-1950-0033830-7
Roger Godement, Topologie algébrique et théorie des faisceaux, Actualités Scientifiques et Industrielles [Current Scientific and Industrial Topics], No. 1252, Hermann, Paris, 1958 (French). Publ. Math. Univ. Strasbourg. No. 13. MR 0102797
Brayton Gray, Homotopy theory, Academic Press [Harcourt Brace Jovanovich, Publishers], New York-London, 1975. An introduction to algebraic topology; Pure and Applied Mathematics, Vol. 64. MR 0402714

D.J. Green, S.A. King, The computation of the cohomology rings of all groups of order $128$, preprint, arXiv:1001.2577v1.

J. P. C. Greenlees, Commutative algebra in group cohomology, J. Pure Appl. Algebra 98 (1995), no. 2, 151–162. MR 1319967, DOI https://doi.org/10.1016/0022-4049%2894%2900040-P

Robin Hartshorne, Local cohomology, Lecture Notes in Mathematics, No. 41, Springer-Verlag, Berlin-New York, 1967. A seminar given by A. Grothendieck, Harvard University, Fall, 1961. MR 0224620

Hans-Werner Henn, Jean Lannes, and Lionel Schwartz, Localizations of unstable $A$-modules and equivariant mod $p$ cohomology, Math. Ann. 301 (1995), no. 1, 23–68. MR 1312569, DOI https://doi.org/10.1007/BF01446619

Srikanth B. Iyengar, Graham J. Leuschke, Anton Leykin, Claudia Miller, Ezra Miller, Anurag K. Singh, and Uli Walther, Twenty-four hours of local cohomology, Graduate Studies in Mathematics, vol. 87, American Mathematical Society, Providence, RI, 2007. MR 2355715

Nicholas J. Kuhn, Primitives and central detection numbers in group cohomology, Adv. Math. 216 (2007), no. 1, 387–442. MR 2353262, DOI https://doi.org/10.1016/j.aim.2007.05.015

G. Hochschild, The structure of Lie groups, Holden-Day, Inc., San Francisco-London-Amsterdam, 1965. MR 0207883

J. Lannes, private communication, 2008.

Ernest Michael, A note on paracompact spaces, Proc. Amer. Math. Soc. 4 (1953), 831–838. MR 56905, DOI https://doi.org/10.1090/S0002-9939-1953-0056905-8

E. Michael, Another note on paracompact spaces, Proc. Amer. Math. Soc. 8 (1957), 822–828. MR 87079, DOI https://doi.org/10.1090/S0002-9939-1957-0087079-9

Daniel Quillen, The spectrum of an equivariant cohomology ring. I, II, Ann. of Math. (2) 94 (1971), 549–572; ibid. (2) 94 (1971), 573–602. MR 298694, DOI https://doi.org/10.2307/1970770

Edwin H. Spanier, Algebraic topology, McGraw-Hill Book Co., New York-Toronto, Ont.-London, 1966. MR 0210112

P. Symonds, On the Castelnuovo-Mumford regularity of rings of polynomial invariants, preprint (2009). http://www.maths.manchester.ac.uk/~pas/preprints.

Burt Totaro, The Chow ring of a classifying space, Algebraic $K$-theory (Seattle, WA, 1997) Proc. Sympos. Pure Math., vol. 67, Amer. Math. Soc., Providence, RI, 1999, pp. 249–281. MR 1743244, DOI https://doi.org/10.1090/pspum/067/1743244

B. B. Venkov, Cohomology algebras for some classifying spaces, Dokl. Akad. Nauk SSSR 127 (1959), 943–944 (Russian). MR 0108788