Take the 2-minute tour ×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

Let $S$ be the polynomial ring $k[x_0,\ldots,x_n]$, $x$ one of the variables $x_i$, $I\subseteq S$ a homogeneous ideal which has a generating set $f_1,\ldots,f_r$ where $\deg_x f_i=0$ for all $i$.

From the short exact sequence $$0\to S/I(-1)\xrightarrow{f} S/I \to S/(x,I)\to 0$$ where the first map $f$ is multiplication with x and the second sends $s+I$ to $s+(x,I)$, I get the long exact sequence $$0\to Hom(S/(x,I),S)\to Hom(S/I,S)\to Hom(S/I(-1),S)\to\ldots$$ $$\to Ext^{m-1}(S/(x,I),S)\to Ext^{m-1}(S/I,S)\xrightarrow{f^*} Ext^{m-1}(S/I(-1),S)\to Ext^m(S/(x,I),S)\to\ldots$$

My aim is to show that $$Ext^m(S/(x,I),S)=\frac{Ext^{m-1}(S/I,S)}{(x)Ext^{m-1}(S/I,S)},$$ so I thought to get there by showing that the induced map $f^\star$ in the above sequence is injective or equivalently: if $J^\bullet$ is an injective resolution of $S$ with boundaries $d^m$ and $\varphi\in Hom(S/I,J^m)$ with $d^m_\star(\varphi)=0$ and $f^\star(\varphi)\in d^{m-1}_\star(Hom(S/I(-1),J^{m-1})),$ then is $\varphi\in d^{m-1}_\star(Hom(S/I,J^{m-1}))$.

Is it true that $f^\star$ on the Ext-modules is an injection? And if yes, how can i show that? Thanks for any help!

share|improve this question
    
Regarding your first paragraph: if all the $f_i$ have degree zero with respect to all variables, they must be constant. –  Mariano Suárez-Alvarez Feb 24 '10 at 13:48
    
I mean $x=x_i$ for $\textit{one}$ of the $i$. –  Ida B. Feb 24 '10 at 13:50
add comment

1 Answer 1

Yes, this is true. Write $R = k[x_0,\ldots,\hat x_i,\ldots,x_n]$ so that $S = R[x_i]$ and $S/I = S \otimes_R R/J$ for an ideal $J$ of $R$. Then there are natural isomorphisms of Ext-groups $$ Ext_S^m(S/I, S) \cong Ext_R^m(R/J,S) \cong S \otimes_R Ext_R^m(R/J,R). $$ The first isomorphism is obtained by applying the natural isomorphism $Hom_S(S \otimes_R -, S) \cong Hom_R(-,S)$ to a resolution of $R/J$. The second is because there is always a map $S \otimes_R Hom_R(-,R) \to Hom_R(-,S)$ that is an isomorphism for finitely generated modules. $R/J$ has a resolution by finitely generated $R$-modules because $R$ is Noetherian, and $S$ is a direct sum of copies of $R$; $Hom$ out of finitely generated modules preserves direct sums.

With respect to this isomorphism, the map $f^*$ is actually given by multiplication by $x_i$ on the $S$ factor, and this is injective.

share|improve this answer
1  
The key isomorphism goes all the way back to Cartan-Eilenberg,Ch. IX, §3, Theorem 1. –  Mariano Suárez-Alvarez Feb 24 '10 at 15:12
add comment

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

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