Can someone point me to a reference with an overview of what Grothendieck's six operations formalism looks like for schemes and (quasi)coherent sheaves (or derived category objects with (quasi)coherent cohomology sheaves)? Do I have to read Residues and Duality? I'm particularly curious about what the two shriek functors look like. Are there distinguished triangles associated to a closed immersion and its open complement? What kind of theorems about commutation of pushforwards with pullbacks are true?
Take the 2minute tour
×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

Well, you could read SGA. But my two favorite sources for this material are here for an abstract treatment that doesn't (as far as I remember) talk specifically about quasicoherent sheaves, and here for a considerably longer but readable treatement that does. (More precisely, the first reference has a section that basically takes various properties of quasicoherent sheaves as axioms and proceeds from there. If you're willing to accept these axioms without working through all the geometry, that's probably the reference you're looking for.) 

