Skip to main content
3 events
when toggle format what by license comment
Apr 3 at 13:52 comment added Nikolas Kuhn In the original paper, he constructs a complex on the hypercover, and the pro-system is obtained by truncating this complex. This is only needed to use the descent result in that paper which doesn't work for the unbounded derived category. With the improved result, you simply omit passing to the pro-system.
Apr 2 at 0:54 comment added Stahl Maybe I'm missing something, but I don't see how one passes from the pro-system which is the original definition of the cotangent complex to an element of the derived category of quasi-coherent sheaves on the hypercover. Is this also covered in Olsson's original paper somewhere, or is this something generally known?
Jun 9, 2023 at 15:50 history answered Nikolas Kuhn CC BY-SA 4.0