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

Let $R$ be a polynomial ring $k[x_1,...,x_n]$, let $f_1,...f_s$ be some non-zero polynomial sin $R$ of degree $p_1,...,p_s$ respectively.Define $S$ by $k[X_1,...,X_n, T_1,...T_s]$ with bigrading defined by $degX_i=(1,0)$ and $degT_j=(p_j,1)$. For a bigraded $S$-module $M=\bigoplus_{p,n\in\Bbb{N}}M_{(p,n)}$, define $M^{(n)}$ to be the graded $R$-module $\bigoplus_{p\in\Bbb{N}}M_{(p,n)}$ in which the action of $x_i$ can be understanded as $X_i$ with its obvious grading.

There are two claims that I could not prove, so I decided to post it here, and I hope you will help me to prove it.

1-The functor $(.)^{(n)}$ is an exact functor.

2-There are the isomorphisms: $S(-a,-b)^{(n)}\cong S^{(n-b)}(-a)\cong \bigoplus_{a_1+...+a_s=n-b}R{(-a_1p_1-...-a_sp_s-a)}$

Thank for reading my question!

share|improve this question
1  
You introduced the polynomials $f_i$ and the ring $S$ in your first paragraph, but did not use it there. Is there a type somewhere? –  Mariano Suárez-Alvarez Oct 15 '12 at 3:32
    
@Mariano Suarez-Alvarez : Thank you very much! I edited it. –  Knot Oct 15 '12 at 3:56
1  
(1) Shouldn't M be a bigraded S-module ? (2) What are the categories mapped by your functor ? (3) Which kind of isomorphism do you expect in the 2nd question ? –  Ralph Oct 15 '12 at 13:29
    
@Ralph: Thank you, I have confused with $R$ and $S$. The 2nd question is in fact a results of a lemma in a paper, that I do not think it is trivial but I have not proved it yet, so I decided to post it here. Thank you very much! P.s : The functor is from the category of bigraded modules to the category of bigraded module, I think. –  Knot Oct 15 '12 at 13:40
1  
It seems to me that your functor is from the category of bigraded S-modules to the category of graded R-modules, but I didn't check details yet. –  Ralph Oct 15 '12 at 13:51
show 2 more comments

1 Answer 1

Question 1 has been answered by Pablo in his comment above.

Question 2: $S(-a,-b)^{(n)} = S^{(n-b)}(-a)$ is just a rewrite of the definition.

Set $N = S(-a,-b)$. Then $$N_p^{(n)} = N_{(p,n)} = S_{(p-a,n-b)} = \bigoplus_{i,j} kX_1^{i_1}\cdots X_r^{i_r}T_1^{j_1}\cdots T_s^{j_s} \cong \bigoplus_j \bigoplus_i kX_1^{i_1}\cdots X_r^{i_r}\quad (\ast)$$ (as $k$-vector spaces) where the sum is taken over all tuples $i,j$ such that $j_1+\cdots j_s = n-b$ and $i_1+ \cdots + i_r = (p-a)-(p_1j_1 + \cdots + p_sj_s)$. By using
$$\bigoplus_i kX_1^{i_1}\cdots X_r^{i_r}=R_{(p-a)-(p_1j_1 + \cdots + p_sj_s)}=R(-a -p_1j_1 - \cdots - p_sj_s)_p$$ we find $$N^{(n)} \cong \bigoplus_j R(-a -p_1j_1 - \cdots - p_sj_s)$$ as graded $k$-vector spaces and since $R$ acts in $(\ast)$ on the monomials $X^i$ it's clear that this is also an isomorphism of graded $R$-modules.

share|improve this answer
    
@Ralph: Thank you very much for answering my question. May I ask : Why in $(*)$ the component containging the variables $T1,...T_s$ disappear? –  Knot Oct 16 '12 at 1:50
    
It doesn't disappear, just the monomial $T^j$ disappears. More precisely, (for fixed i) I'm using the (k-vector space) isomorphism $$\bigoplus_j kX^iT^j \to \bigoplus_j kX^i,\;X^iT^j \mapsto (0,...,0,X^i,0...,0),$$ with $X^i$ placed in position $j$. It's the same as writing $\bigoplus_j kT^j \xrightarrow{\sim} \bigoplus_j k,\;\sum_j a_jT^j \mapsto (a_j)_j$ –  Ralph Oct 16 '12 at 6:51
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.