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
HTML articles powered by AMS MathViewer

by Peter Symonds

J. Amer. Math. Soc. 23 (2010), 1159-1173

DOI: https://doi.org/10.1090/S0894-0347-10-00666-1

Published electronically: April 1, 2010

PDF | Request permission

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 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 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 10.1016/S0022-4049(96)00078-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 10.1006/jabr.1996.6944
Glen E. Bredon, Sheaf theory, McGraw-Hill Book Co., New York-Toronto-London, 1967. MR 0221500
Glen E. Bredon, Introduction to compact transformation groups, Pure and Applied Mathematics, Vol. 46, Academic Press, New York-London, 1972. 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, DOI 10.1017/CBO9780511629204
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 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, DOI 10.1007/978-1-4684-9327-6
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 10.1016/0040-9383(83)90012-5
J. Duflot, Depth and equivariant cohomology, Comment. Math. Helv. 56 (1981), no. 4, 627–637. MR 656216, DOI 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 10.1090/S0002-9939-1950-0033830-7
Roger Godement, Topologie algébrique et théorie des faisceaux, Publ. Inst. Math. Univ. Strasbourg. No. 13, Hermann, Paris, 1958 (French). MR 0102797
Brayton Gray, Homotopy theory, Pure and Applied Mathematics, Vol. 64, Academic Press [Harcourt Brace Jovanovich, Publishers], New York-London, 1975. An introduction to algebraic topology. 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 10.1016/0022-4049(94)00040-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, DOI 10.1007/BFb0073971
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 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, DOI 10.1090/gsm/087
Nicholas J. Kuhn, Primitives and central detection numbers in group cohomology, Adv. Math. 216 (2007), no. 1, 387–442. MR 2353262, DOI 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 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 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 10.2307/1970770
Edwin H. Spanier, Algebraic topology, McGraw-Hill Book Co., New York-Toronto-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 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