Timeline for Giraud's proper base change for Gerbes - Elimination of Noetherian hypotheses
Current License: CC BY-SA 4.0
5 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jan 23, 2021 at 21:34 | history | edited | Harry Gindi | CC BY-SA 4.0 |
added 197 characters in body
|
| Jan 23, 2021 at 20:43 | comment | added | Harry Gindi | Finally, the application of absolute approximation for $P^n_A$ uses approximation for constructible 1-sheaves, which is a version of finite presentation approximation for stacks from Lurie together with standard approximation for étale maps. | |
| Jan 23, 2021 at 20:33 | comment | added | Harry Gindi | This is mostly a sketch answering my own question, so maybe I'm not explaining every detail here, but I can expand on this if anyone wants. The application of effective descent here is standard from e.g. the proof for 0-sheaves in the case of algebraic spaces. The fact that universal effective descent for 0-sheaves plus basechange implies descent for 1-sheaves is in Giraud and in the section of SGA on universal submersions (but generalized). | |
| Jan 23, 2021 at 20:26 | history | edited | Harry Gindi | CC BY-SA 4.0 |
added 71 characters in body
|
| Jan 23, 2021 at 20:07 | history | answered | Harry Gindi | CC BY-SA 4.0 |