×

A generalized Dade’s lemma for local rings. (English) Zbl 1422.13014

The classical Dade’s Lemma says that over group algebras of elementary abelian \(p\)-groups, a finitely generated module is projective if and only if its restriction to all the cyclic shifted subgroups are projective, provided that the ground field is algebraically closed. For local complete intersections (that is, quotients of regular local rings by ideals generated by regular sequences), a cohomological generalization of Dade’s Lemma is proved implicitly by L. L. Avramov [Invent. Math. 96, No. 1, 71–101 (1989; Zbl 0677.13004)], and by L. L. Avramov and R.-O. Buchweitz [Invent. Math. 142, No. 2, 285–318 (2000; Zbl 0999.13008)]. In the paper under review the authors further generalize Dade’s Lemma to quotients of arbitrary local rings, and provide both a homological and a cohomological version. More precisely, let \((S, n, k)\) be a local ring with \(k\) algebraically closed, \(I\subseteq S\) an ideal generated by a regular sequence, and denote by \(R\) the quotient \(S/I\). The authors provide criteria for the vanishing of \(\mathrm{Tor}^{R}_{n}(M,N)\) and \(\mathrm{Ext}_{R}^{n}(M,N)\) for \(n\gg 0\), where \(M\) and \(N\) are two finitely generated \(R\)-modules, in terms of the vanishing of \(\mathrm{Tor}^{S/(f)}_{n}(M,N)\) and \(\mathrm{Ext}_{S/(f)}^{n}(M,N)\) for \(n\gg 0\) and all \(f\in I\backslash nI\).
Reviewer: Li Liang (Lanzhou)

MSC:

13D02 Syzygies, resolutions, complexes and commutative rings
13D07 Homological functors on modules of commutative rings (Tor, Ext, etc.)

References:

[1] Avramov, L.L.: Modules of finite virtual projective dimension. Invent. Math. 96 (1), 71-101 (1989) · Zbl 0677.13004 · doi:10.1007/BF01393971
[2] Avramov, L.L., Buchweitz, R.-O.: Support varieties and cohomology over complete intersections. Invent. Math. 142(2), 285-318 (2000) · Zbl 0999.13008 · doi:10.1007/s002220000090
[3] Bergh, P.A., Jorgensen, D.A.: Realizability and the Avrunin-Scott theorem for higher-order support varieties, preprint · Zbl 1401.13044
[4] Bourbaki, N.: Algèbre commutative. IX: anneaux locaux réguliers Complets. Masson, Paris (1983) · Zbl 0579.13001
[5] Bruns, W., Herzog, J.: Cohen-Macaulay rings Cambridge studies in advanced mathematics, vol. 39. Cambridge University Press, Cambridge (1993) · Zbl 0788.13005
[6] Dade, E.C.: Endo-permutation modules over p-groups. II. Ann. of Math. 108(2), 317-346 (1978) · Zbl 0404.16003 · doi:10.2307/1971169
[7] Eisenbud, D.: Homological algebra on a complete intersection, with an application to group representations. Trans. Amer. Math. Soc. 260(1), 35-64 (1980) · Zbl 0444.13006 · doi:10.1090/S0002-9947-1980-0570778-7
[8] Huneke, C., Jorgensen, D.A., Katz, D.: Fitting ideals and finite projective dimension. Math. Proc. Cambridge Philos. Soc. 138(1), 41-54 (2005) · Zbl 1099.13028 · doi:10.1017/S030500410400814X
[9] Murthy, M.P.: Modules over regular local rings. Illinois J. Math. 7, 558-565 (1963) · Zbl 0117.02701
[10] Steele, N.T.: Support and rank varieties of totally acyclic complexes, preprint · Zbl 1442.13040
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.