3
$\begingroup$

Let $S$ be the ring $\mathbb{C}[X_0,...,X_n]$. Let $X$ be a smooth projective scheme of the form $\mathrm{Proj}(S/I_X)$ for some ideal $I_X$. Let $C$ be a scheme associated to a Cartier divisor on $X$. Suppose $C$ is of the form $\mathrm{Proj}(S/I_C)$ for some ideal $I_C$. Is there any relation between the Castelnuovo-Mumford regularity of the coherent sheaf $\mathcal{O}_X(-C)$ and that of the module $I_C/I_X$?

EDIT Assume $X$ is irreducible but $C$ is not. $C$ might not even be reduced.

Improve this question
$\endgroup$
7
  • $\begingroup$ Aren't they the same? You can compute the regularity of $I_C/I_X$ via local cohomology, the graded pieces are coherent cohomology of $O_X(-C)$, right? $\endgroup$
    – Karl Schwede
    Commented Sep 17, 2013 at 16:53
  • $\begingroup$ @Schwede: That was the question. I could not find it mentioned in any literature. $\endgroup$
    – Chen
    Commented Sep 17, 2013 at 16:54
  • $\begingroup$ @Schwede: It would be very helpful if you could cite some reference please. $\endgroup$
    – Chen
    Commented Sep 17, 2013 at 16:56
  • $\begingroup$ Mel Hochster has some notes on local cohomology which do this in detail, but these are not freely available online. Various papers of Karen Smith also explain this in a lot of detail. Have you looked at any of her survey papers from the 90s? Finally, the relation between graded local cohomology and coherent cohomology is pretty easy to see if you consider Cech-cohomology. $\endgroup$
    – Karl Schwede
    Commented Sep 17, 2013 at 16:58
  • 1
    $\begingroup$ Dear @Chen, you might also want to have a look at section 20.4 in M. Brodmann, R.Y. Sharp, Local cohomology (Cambridge studies in advanced mathematics 136). $\endgroup$
    – Fred Rohrer
    Commented Sep 18, 2013 at 4:28

0

Reset to default

You must log in to answer this question.