Let $(R,\mathfrak{m},k)$ be a Noetherian local ring and $F.$ the Koszul complex of a minimal system of generators of $\mathfrak{m}$. Let $G.$ be the minimal free resolution of $k$. In which cases they are the same?
Tell me more
×
Mathematics Stack Exchange is a question and answer site for
people studying math at any level and professionals in related fields. It's 100% free, no registration required.
|
|
|||
|
|
|
In general, the Koszul complex is not exact. It is if one is working with a regular sequence. This lack of exactness is the only obstacle to the Koszul complex being a minimal free resolution (because the matrix coefficients lie in the maximal ideal). If the local ring is regular, then a minimal system of generators will be a regular sequence and the Koszul complex will furnish a minimal free resolution of $k$. If $R$ is not regular local, then $k$ has infinite Tor-dimension (this is essentially Serre's characterization of regular local rings as those noetherian local rings with finite global dimension), so the minimal free resolution of $k$ is infinite, and in particular is not the Koszul complex. (The other direction of Serre's theorem is essentially the observation that, for a regular local ring, $k$ has finite global dimension because of the Koszul complex, as above.) |
|||||||
|
