Timeline for Proper base change for non-quasicoherent sheaves
Current License: CC BY-SA 3.0
5 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Oct 31, 2015 at 14:40 | comment | added | Jakob | Yes, thanks. I edited the question. | |
| Oct 31, 2015 at 14:40 | history | edited | Jakob | CC BY-SA 3.0 |
derive i^*
|
| Oct 31, 2015 at 12:54 | review | Close votes | |||
| Nov 5, 2015 at 3:03 | |||||
| Oct 31, 2015 at 11:33 | comment | added | abx | No, we don't have such an isomorphism by EGA, this is false. What is true is an isomorphism $Li^*Rf_*\mathcal{O}_X\cong Rf'_*\mathcal{O}_{X'}$, where $Li^*$ is the derived inverse image functor. | |
| Oct 31, 2015 at 9:24 | history | asked | Jakob | CC BY-SA 3.0 |