Skip to main content
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