8
$\begingroup$

Let $S=k[x_1,...,x_n]$ be a polynomial ring over field $k$ with maximal ideal $m=(x_1,...,x_n)$. I wanna make a $3$-dimensional $S$-module $M$ such that $H^0_m(M)=H^1_m(M)=0$ and $H^2_m(M)\neq 0$ be finitely generated (or in general case: $H^i_m(M)$ be finite for all $i=0,1,2$ ). Is there a simple way to create similar examples(for any dimension)?

Background:

$H^i_m(M)$ means $i$'th local cohomology module of $M$.

$\endgroup$
3
  • 1
    $\begingroup$ Local cohomology vanishes for all $i < \text{depth}(M)$. Doesn't this give examples right away? $\endgroup$ Aug 19, 2013 at 6:27
  • 3
    $\begingroup$ I think the post asks $H^2_m (M)$ to be finitely generated. They are Artinian, but not Noetherian in general. Without this condition, taking a direct sum of Cohen-Macaulay modules of desired dimensions would give an answer to the post. $\endgroup$
    – Youngsu
    Aug 19, 2013 at 6:50
  • $\begingroup$ Ok, so for $n = 6$ (I think), you can do a cone over an elliptic curve cross $\mathbb{P^1}$. For $n \geq 6$, you can just add variables as appropriate. You may be able to project this guy down to handle perhaps $n = 5$. $\endgroup$ Aug 19, 2013 at 14:13

1 Answer 1

12
$\begingroup$

Take $M$ to be the second syzygy of $k$ over $S=k[x_1,x_2,x_3]$. Then a graded version of local duality tells us that $H^2_m(M)$ is dual to $Ext^1(M,R)= Ext^3(k,R)$, the last one is $k$ either by direct computation or duality again.

One can easily generalize this, the $j$ syzygy of $k$ in $n$ variables will have local cohomologies vanish up to degree $j-1$ and finitely generated up to $n-1$.

$\endgroup$
7
  • $\begingroup$ Please explain more. $\endgroup$
    – Angel
    Aug 21, 2013 at 12:48
  • $\begingroup$ Dear Algel, what are the parts that are not clear to you? $\endgroup$ Aug 21, 2013 at 14:44
  • $\begingroup$ How can generalize this example?(your claim in last paragraph)Thanks. $\endgroup$
    – Angel
    Aug 21, 2013 at 15:37
  • 3
    $\begingroup$ Let me elaborate Dao's answer. Let $E$ be a f.g. $S=k[x_1,...,x_n]$-module. Then $H^i_{\mathfrak m}(E)$ is f.g. for all $i<n$ if and only if the sheaf $\widetilde{E}$ on $\mathbb P^{n-1}$ is a vector bundle. Next, by Auslander-Buchsbaum, $H^i_{\mathfrak m}(E)=0$ for all $i<j$ if and only if the depth of $E$ is at least $j$. So you are looking for vector bundles $\widetilde{E}$ where depth(E)=j. The best way I know to do this is exactly what Dao proposes: any syzygy module of any finite length module is a vector bundle; and the j'th syzygy module has depth j. $\endgroup$ Aug 22, 2013 at 14:20
  • 1
    $\begingroup$ My previous comment uses the fact that if $\widetilde{E}$ is a vector bundle then the intermediate local cohom modules have finite length. (The converse is true as well but not needed for your answer.) This fact follows by an elementary argument combining Serre Vanishing + Serre Duality + the relation b/w local cohom and sheaf cohom. $\endgroup$ Aug 28, 2013 at 12:13

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.