Timeline for Understand the proof that rational resolution is independent of the resolution
Current License: CC BY-SA 4.0
6 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Sep 12, 2022 at 20:31 | comment | added | Evgeny Shinder | It seems a lot easier to use the whole derived pushforward (as a complex, not just the cohomology sheaves), so that if $\pi$ is a resolution and $\sigma$ is a smooth blow up, then $R(\pi\sigma)_*(\mathcal{O}) = R\pi_* R\sigma_*(\mathcal{O}) = R\pi_*(\mathcal{O})$. Using Weak factorization (in char. 0) this implies that the complex $R\pi_*(\mathcal{O})$ on a given singular variety $X$ is independent of the choice of the resolution $\pi$. | |
| Sep 12, 2022 at 20:01 | history | edited | Invariance |
edited tags
|
|
| Sep 12, 2022 at 12:49 | history | edited | Invariance | CC BY-SA 4.0 |
added 251 characters in body
|
| Sep 11, 2022 at 1:12 | answer | added | Karl Schwede | timeline score: 2 | |
| Sep 9, 2022 at 16:05 | history | edited | LSpice | CC BY-SA 4.0 |
Clean-up
|
| Sep 9, 2022 at 15:45 | history | asked | Invariance | CC BY-SA 4.0 |