Let $R$ be the polynomial ring $R=k[x_0,...,x_n]$ and $\mathbf{m}$ be the maximal irrelevant ideal $\mathbf{m}=(x_0,...,x_n)$. Let $I \subset R$ be the ideal $I=(f_0,...,f_m)$ where $deg(f_i)=d$. The Rees algebra $\mathcal{R}(I)$ is a bigraded algebra which can be given as a quotient of the polynomial ring $\mathcal{A}=R[y_0,...,y_m]$. We denote by $S$ the polynomial ring $S=k[y_0,...,y_m]$.
The local cohomology module $H_{m}^1(\mathcal{R}(I))$ with respect to the maximal irrelevant ideal $\mathbf{m}$ is actually a bigraded $\mathcal{A}$-module. We denote by $[H_m^1(Rees(I))]_0$ the restriction to degree zero part in the $R$-grading, that is $[H_m^1(Rees(I))]_0=[H_m^1(Rees(I))]_{(0,*)}$. So we have that $[H_m^1(Rees(I))]_0$ is naturally a graded $S$-module.
|
|
|
|
|
|
|
To call the method "Hm1Rees0(I)", the ideal $I$ should be in a single graded polynomial ring.
The object Hm1Rees0 is a method function.