Timeline for Generalizing of normal sheaf via short exact sequence
Current License: CC BY-SA 4.0
9 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Sep 29, 2018 at 5:37 | history | edited | Martin Sleziak | CC BY-SA 4.0 |
minor typos
|
| Sep 27, 2018 at 16:10 | comment | added | Jason Starr | Yes, that is correct. The complex that we use to compute deformations is a mapping cone as you write. This is part of what is called the "distinguished triangle of transitivity" in references about the cotangent complex. | |
| Sep 27, 2018 at 12:07 | history | edited | Tom | CC BY-SA 4.0 |
added 1053 characters in body
|
| Sep 25, 2018 at 20:16 | comment | added | Jason Starr | Some good references for hyperderived functors, and homological algebra in general, are the book by Cartan and Eilenberg, the book by Charles Weibel, and the book by Yuri Manin. | |
| Sep 25, 2018 at 18:30 | comment | added | KReiser | Crossposted from MSE: math.stackexchange.com/questions/2929846/… | |
| Sep 25, 2018 at 16:56 | comment | added | Tom | Can you introduce some references? I am not familiar with these things.thanks | |
| Sep 25, 2018 at 16:44 | history | edited | Martin Sleziak | CC BY-SA 4.0 |
minor typos
|
| Sep 25, 2018 at 16:30 | comment | added | Jason Starr | Those Ext groups are hyperderived functors defined for every bounded above complex of $\mathcal{O}_C$-modules, i.e., for every object of the derived category. One keyword is "Cartan-Eilenberg resolution". The short exact sequence you write down (missing a dual somewhere) is actually part of a distinguished triangle in the derived category, not actually a short exact sequence. There is a long exact sequence of hyperderived functors for every distinguished triangle in the derived category. | |
| Sep 25, 2018 at 16:15 | history | asked | Tom | CC BY-SA 4.0 |