An explicit duality for quasi-homogeneous ideals (Q1025394)

Let \(m_1,\ldots, m_n\) be some positive integers and \(C=A[x_1,\ldots,x_n]\) a polynomial algebra over a commutative ring \(A\). Consider on \(C\) the grading given by \(\deg\;x_i=m_i\) and \(\deg\;u=0\) for all \(u\in A\). Let \(f_i=u_{i,t} x_1^{t_1}\cdots x_n^{t_n}\), \(u_{i,t}\in A\), \(1\leq i\leq r\) be quasi-homogeneous polynomial of degree \(d_i\), the sum being taken on \(t_1,\ldots t_n\geq 0\) with \(\sum_{i=1}^n t_i m_i=d_i\). Let \(I\) be the ideal generated by \(f_1,\ldots,f_r\) in \(C\), \( J\) the ideal generated by \(x_1,\ldots,x_n\) in \(C\) and \(B=C/I\). Then there exists a graded morphism \(\Hom_A^{gr}(B,A)\rightarrow H_J^0(H_{r-n}(f_1,\ldots,f_r;C))\), which is an isomorphism when \(depth_I\;C=n\). This duality can be seen as an extension of Corollary 3.6.14 of the author's paper [Electron. J. Comb. 3, No. 2, Research paper R2, 91 p. (1996); printed version J. Comb. 3, No. 2, 35--125 (1996; Zbl 0863.13002)].