what is Koszul resolution? what is its role played in the computation of spectral sequence?
$\begingroup$
$\endgroup$
1
-
13$\begingroup$ You should tell us what you want to know, exactly... that a Google search will not answer. $\endgroup$– Mariano Suárez-ÁlvarezCommented May 26, 2010 at 15:00
Add a comment
|
2 Answers
$\begingroup$
$\endgroup$
1
The Koszul complex is defined at http://en.wikipedia.org/wiki/Koszul_complex . In certain cases, one of which is explained there, the Koszul complex is a resolution (typically a free resolution, see http://en.wikipedia.org/wiki/Free_resolution#Projective_resolutions).
There is a complicated history of the Koszul complex, but really it began with Lie algebra cohomology, before becoming (also) a tool generally used in commutative algebra. Any free or projective resolution might appear in a spectral sequence argument: that query is not very specific. Maybe you want some standard argument from Lie algebra cohomology?
answered May 26, 2010 at 14:56
-
2$\begingroup$ More globally the Koszul complex gives you a locally free resolution of $\mathcal{O}Z$ where $Z \subset X$ is the zero-set of a section of a vector bundle. This is explained, e.g. in the Appendix of Fultons Book on Interseciton theory. $\endgroup$ Commented May 26, 2010 at 16:09
$\begingroup$
$\endgroup$
When doing things related to free resolutions you may want the actual computation or you may want something highly structured. For the former you use the koszul resolution, it is nice and little and small. If you want a lot of structure you use the Bar resolution. This is sort of a philosophical things, so when you actually want to compute something you use the Koszul resolution since it is pretty small and you know that making this choice wont affect your answer.
answered Jun 1, 2010 at 17:03