Toward a theory of weak \(I\) sequences (Q1364958)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Toward a theory of weak \(I\) sequences
scientific article

    Statements

    Toward a theory of weak \(I\) sequences (English)
    0 references
    0 references
    20 April 1998
    0 references
    Let \(A\) be a commutative Noetherian local ring with unit, let \(I\) be a proper ideal of \(A\) and \(M\) a finite \(A\)-module. Let \(H^i_I (\cdot)\) stand for the \(i\)-th local cohomology group relative to \(I\) and \(\Gamma_I (M)\) stand for \(H^0_I (M)\). By \(\mathbb{Z}^+\) is denoted the set of positive integers. -- The author gives the definition: A sequence \(x_1, \dots, x_r\) contained in \(I\) is said to be a weak \(I\) sequence with respect to \(M\), if for \(1\leq i\leq r\), \(n\) a fixed positive integer \((x_1^{n_1}, \dots, x^{n_{i-1}}_{i-1}) M:x_i^{n_i} \subseteq (x_1^{n_1}, \dots, x_{i-1}^{n_{i-1}}) M: I^n\) holds for \(n_1\), \(n_2, \dots, n_r\) running through all positive integers. By \(H_p (\underline x_j,M)\) is denoted the \(p\)-th Koszul homology group of a module \(M\) with respect to a sequence \(x_1\), \(x_2, \dots, x_n\). -- Some of the results established by the author are: (1) If there exists a weak \(I\) sequence \(x_1, \dots, x_s\) with respect to \(M\) such that \[ (x_1^{n_1},\dots,x_{i-1}^{n_{i-1}})M:x_i^{n_i}\subseteq(x_1^{n_1},\dots,x_{i-1}^{n_{i-1}})M:I^r, \] where \(1\leq i\leq s\), \(r\) is a fixed positive integer and \(n_1, \dots, n_s\) run through all positive integers, then there exists an integer \(k\in \mathbb{Z}^+\) which depends only on \(r\) such that \(I^kH^i_I (M)=0\) for \(i<s\). (2) Let \(M\neq 0\) and let \(x_1, \dots, x_n\) be a sequence contained in \(I\). Then the following conditions are equivalent: (i) \(x_1, \dots, x_n\) is a weak \(I\) sequence with respect to \(M\). (ii) There exists a \(k>0\) such that \(I^kH_1 (\underline x_i^{r_i}, M)=0\), for \(r_1, \dots, r_n\) running through all positive integers. (3) Let \(M\) be of dimension \(d\) with \(\Gamma_I (M)\neq M\) and w\( \text{depth} (I,M) =d\). Let \(x_1\), \(x_2, \dots, x_d\) be a sequence contained in \(I\). Then the following conditions are equivalent: (i) \(x_1\), \(x_2, \dots, x_d\) is a weak \(I\) sequence with respect to \(M\). (ii) There exists a positive integer \(n\) such that \(I^nM \subseteq (x_1,x_2, \dots, x_d)M\).
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    weak \(I\) sequence
    0 references
    local ring
    0 references
    local cohomology group
    0 references
    Koszul homology group
    0 references
    0 references