Timeline for Koszul resolution with wrong dimension
Current License: CC BY-SA 4.0
6 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Mar 4, 2019 at 10:30 | vote | accept | Federico Barbacovi | ||
| Feb 27, 2019 at 19:04 | comment | added | Sasha | Yes, you are right, $\wedge^iF$ is considered as a sheaf on $Y$ via pushforward. | |
| Feb 27, 2019 at 18:57 | comment | added | Federico Barbacovi | I see, thank you. Another question: are you considering $\Lambda^i F$ as a sheaf on $Y$ via the pushforward? The point is that the cohomology sheaves will be annihilated by the action of $I_X$ and therefore it's enough to recover them as modules on $Y$, is it? | |
| Feb 27, 2019 at 18:40 | comment | added | Sasha | No, it is not zero. The resulting map to the conormal bundle is given by the differentials of the $e_i$. | |
| Feb 27, 2019 at 18:33 | comment | added | Federico Barbacovi | I might be misunderstanding something, but shouldn't the map you wrote be zero? It is defined in terms of the sections $e_1, \dots, e_n$ and by the definition they vanish on $X$ and you're restricting the map to $X$. | |
| Feb 26, 2019 at 19:18 | history | answered | Sasha | CC BY-SA 4.0 |