MathOverflow will be down for maintenance for approximately 3 hours, starting Monday evening (06/24/2013) at approximately 9:00 PM Eastern time (UTC-4).
-4

1

what is Koszul resolution? what is its role played in the computation of spectral sequence?

flag
12 
 You should tell us what you want to know, exactly... that a Google search will not answer. – Mariano Suárez-Alvarez May 26 2010 at 15:00

closed as not a real question by Yemon Choi, S. Carnahan♦ Jun 23 2010 at 14:52

2 Answers

5

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?

link|flag
2 
 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. – Heinrich Hartmann May 26 2010 at 16:09
1

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.

link|flag

Not the answer you're looking for? Browse other questions tagged or ask your own question.