Canonical duality for unconditioned strong d-sequences (Q1821825): Difference between revisions

Following \textit{C. Huneke} [Adv. Math. 46, 249-279 (1982; Zbl 0505.13004)] a d-sequence on a module E, over a commutative ring A with identity, is a finite sequence \textbf{a}\(=(a_ 1,...,a_ s) (a_ i\in A)\) such that \((\sum^{i-1}_{k=1}a_ kE):_ Ea_ ia_ j=(\sum^{i- 1}_{k=1}a_ kE):_ Ea_ i\quad\) when \(1\leq i\leq j\leq s\). A d- sequence is strong when \(a_ 1^{n_ 1},...,a_ s^{n_ s}\) is a d- sequence for all \(n_ i>0\), and is unconditional strong (u. s.) when every permutation is a strong d-sequence. With \(H^ i_{{\mathbf{a}}}(E)\) used to denote the cohomology module which is the direct limit of the Koszul homology modules \(H_{s-i}(a_ 1^ n,...,a^ n_ s;E)\) under the canonical homomorphisms \(H_{s-i}(a^ n_ 1,...,a^ n_ s;E)\to H_{s-i}(a_ 1^{n+1},...,a_ s^{n+1};E)\) for \(n>0\), the author proves that if \textbf{a} is a u. s. d-sequence on E and the A-module I is injective then \textbf{a} is a u. s. d-sequence on \(Hom_ A(H^ s_{{\mathbf{a}}}(E),I)\). On the way he shows that if \textbf{a} is a u. s. d-sequence on E, then, for all p, n\(>0\), \(H_ p(a^ n_ 1,...,a^ n_ s;E)\) is annihilated by each \(a_ i\). The second half of the note concerns the case of A,\({\mathfrak m}^ a \)noetherian local ring and E finitely generated. First two characterizations are established for A-modules E with finite local cohomology (FLC), i.e. \(H^ i_{{\mathfrak m}}(E)\) of finite length for \(i\neq s=\dim (E)\) from which it is easily shown that if E has FLC then so does its canonical module \(K_ E\) (when such exists). - Second a simplified proof is given of the author's duality theorem [Proc. 1st Sympos. commutative Algebra, Karaizawa 1978, 88-96 (1978)] which relates the local cohomology modules of E (with FLC) to those of \(K_ E\); from this it follows that the canonical module of a Buchsbaum module is also Buchsbaum.