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

Let $$ ‎‏0 ‎‎\rightarrow‎‎‏ ‎E_{n-1} ‎‎\rightarrow ‎... ‎‎‎\rightarrow ‎E_1 ‎‎‎\rightarrow ‎E_0 ‎‎‎\rightarrow I \rightarrow 0‎ ‎,‎ $$ be a minimal free resolution of ideal $I$, where $$ E_p = \oplus _j S(-a_{pj}). $$ The regularity of $I$ is $\max\lbrace a_{pj} - p \rbrace $. Why the regularity of $I$ is the largest $q$ for which $\text{Tor}^S_p(I,S/\mathfrak{m})_{p+q} \neq 0$ for some $p$?

share|improve this question
    
$\mathfrak{m}=(x_1,x_2,...,x_n)$ is maximal ideal of polynomial ring $S=C[x_1 , ... ,x_n]$ –  Abdul Basit Jul 17 at 19:35

1 Answer 1

up vote 3 down vote accepted

By the construction of derived functors, $\mathrm{Tor}(I,A)$ is the homology of the complex $$0 \to E_{n-1} \otimes A \to \cdots \to E_1 \otimes A \to E_0 \otimes A.$$ (All tensor products are $\otimes_S$.) In the particular case that $A = S/\mathfrak{m} =:k$, we have $E_p \otimes k= \oplus_j k(-a_{pj})$, so $\mathrm{Tor}_p(I, k)$ is the homology of the complex of $k$-vector spaces defined by taking the matrices in your original complex and reducing all of their elements modulo $\mathfrak{m}$. The assumption that your complex is minimal is equivalent to saying that all of the maps are $0$ modulo $m$, so you are just taking the homology of a complex where all maps are zero, and you get $$\mathrm{Tor}_p(I, k) \cong \oplus_jk(-a_{pj})$$ as a graded $k$-vector space. Now use the definition of CM regularity.

share|improve this answer

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.