MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

Consider the polynomial ring $S = C[x_1,\ldots,x_n]$. Let $$ ‎‏0 ‎‎\rightarrow‎‎‏ ‎E_{n-1} ‎‎\rightarrow ‎\cdots ‎‎‎\rightarrow ‎E_1 ‎‎‎\rightarrow ‎E_0 \rightarrow I \rightarrow 0‎ ‎,‎ $$ be a minimal free resolution of an ideal $I$ of $S$, where $$ E_p = \bigoplus _j S(-a_{pj}) . $$ The regularity of $I$ is $\max\lbrace a_{pj} - p \rbrace $. Let $m = (x_1,x_2,\ldots,x_n)$ be a maximal ideal of the ring $S = C[x_1,\ldots,x_n]$. Why is the regularity of $I$ the largest $q$ for which $\operatorname{Tor}^S_p(I,S/\mathfrak{m})_{p+q} \neq 0$ for some $p$?

share|cite|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 '14 at 19:35
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|cite|improve this answer

Your Answer


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.