Timeline for Why are Serre functors always exact?
Current License: CC BY-SA 4.0
6 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Apr 3, 2020 at 19:19 | history | edited | Nuno | CC BY-SA 4.0 |
edited title
|
| Apr 3, 2020 at 19:14 | vote | accept | Nuno | ||
| Apr 3, 2020 at 17:44 | answer | added | ssx | timeline score: 2 | |
| Apr 3, 2020 at 17:43 | comment | added | Nuno | @Sasha No, I did not understand how to define the linear form for a general map $u : C \to C_0$. In Huybrechts' proof, it is clear how to do this if $u$ factors through $\varphi$ or $h$, but I do not know how to deal with the general case | |
| Apr 2, 2020 at 20:57 | comment | added | Sasha | The Serre duality isomorphism $Hom(C_0,S(C)) \cong Hom(C,C_0)^\vee$ represents $\xi$ as a linear form. Is that what you were asking? | |
| Apr 2, 2020 at 20:42 | history | asked | Nuno | CC BY-SA 4.0 |