1
$\begingroup$

Let $I$ be an ideal in $S=K[x_1,\dots,x_n]$. Can we compute $\operatorname{depth}(I\cap K[x_1,\dots,x_r])$ with $r \leq n$? Is there any relation between depth $I$ and $\operatorname{depth}(I\cap K[x_1,\dots,x_r])$?

And what can we tell about $\operatorname{depth}(M \cap N)$ when $M,N$ are $S$-modules? Does it have any bounds?

Improve this question
$\endgroup$
5
  • $\begingroup$ What do you mean by "depth"? That is usually associated to an ideal where the elements are taken from. Or do you mean the grade? For an ideal that is actually $\mathrm{depth}_I(S)$. Is that what you mean? $\endgroup$
    – Sándor Kovács
    Commented Jun 14, 2011 at 12:48
  • $\begingroup$ en.wikipedia.org/wiki/Depth_%28ring_theory%29 this is the definition for depth $\endgroup$
    – Andrei
    Commented Jun 14, 2011 at 14:01
  • $\begingroup$ and yes I mean depth$_S I$, at least that's the notation I know. $\endgroup$
    – Andrei
    Commented Jun 14, 2011 at 14:06
  • $\begingroup$ I think that if we note $J=(x_{r+1},...,x_n)$ then $ I \cap K[x_1,...,x_r] = \frac{I+J}{J}$ and then we get depth $(I \cap K[x_1,...,x_r])$ from depth lemma. In general for $M \cap N$ I don't see anything. $\endgroup$
    – Andrei
    Commented Jun 14, 2011 at 20:30
  • $\begingroup$ A relation between $\text{depth} I$ and $\text{depth} I \cap K[x_1,\dots,x_r]$ can hardly exist. If $r=n/2$, say, then $I=(x_1,\dots,x_r)$ and $I' = (x_{r+1}, \dots, x_n)$ are two ideals, both containing a regular sequence of length $r$. In the first case the entire regular sequence survives, in the second case nothing of it survives. $\endgroup$
    – Thomas Kahle
    Commented Oct 12, 2011 at 5:54

0

Reset to default

You must log in to answer this question.

Browse other questions tagged .