Timeline for Comparison of depth of two monomial ideals
Current License: CC BY-SA 4.0
10 events
when toggle format | what | by | license | comment | |
---|---|---|---|---|---|
May 6, 2023 at 15:05 | comment | added | R. van Dobben de Bruyn | Out of curiosity, do you already know that this result is false for arbitrary ideals contained in $\mathfrak m$, in an arbitrary Noetherian domain $R$ with maximal ideal $\mathfrak m$? | |
May 6, 2023 at 15:02 | comment | added | R. van Dobben de Bruyn | For the original question whether $\operatorname{depth}_{\mathfrak m}(R/I) \leq \operatorname{depth}_{\mathfrak m}(R/(I:J))$, the only thing I was able to obtain is that a nonzerodivisor on $R/I$ is also a nonzerodivisor on $R/(I:J)$. But I cannot set up an induction because the inclusion $(I+(a):J) \supseteq (I:J) + (a)$ is not always an equality (and I was unable to choose a nonzerodivisor $a$ on $R/I$ cleverly to make this hold). | |
May 6, 2023 at 14:56 | comment | added | R. van Dobben de Bruyn | The edited version has an easy counterexample: let $I = (x_1,x_2,x_3)(x_4,x_5,x_6)$ be the ideal of two three-spaces in $\mathbf A^6$ meeting at the origin. Then $R/I$ is not (S2) by Hartshorne's connectedness theorem (see Eisenbud, Thm. 18.12). But if $J = (x_4,x_5,x_6)$, then $(I:J) = (x_1,x_2,x_3)$ and $R/(I:J)$ is regular, so $\operatorname{depth}_{\mathfrak m}(R/I) = 1$ and $\operatorname{depth}_{\mathfrak m}(R/(I:J)) = 3$. | |
May 6, 2023 at 12:30 | history | edited | Amir Mafi | CC BY-SA 4.0 |
added 11 characters in body
|
May 5, 2023 at 19:51 | history | edited | Amir Mafi | CC BY-SA 4.0 |
added 20 characters in body
|
May 5, 2023 at 19:49 | comment | added | Amir Mafi | Yes. $depth (R/I)$ mean $depth_m(M)$. | |
May 5, 2023 at 15:33 | history | edited | LSpice | CC BY-SA 4.0 |
Capitalise title
|
May 5, 2023 at 14:40 | history | edited | Michael Hardy | CC BY-SA 4.0 |
added 33 characters in body
|
May 5, 2023 at 13:22 | comment | added | R. van Dobben de Bruyn | Does $\operatorname{depth}(R/I)$ mean $\operatorname{depth}_{\mathfrak m}(M)$ for the ideal $\mathfrak m = (x_1,\ldots,x_n) \subseteq R$ and the $R$-module $M = R/I$, or do you mean some other notion of depth? (A local ring $R$ also has a depth $\operatorname{depth}(R)$, but $R/I$ is not local...) | |
May 5, 2023 at 9:08 | history | asked | Amir Mafi | CC BY-SA 4.0 |