Timeline for Infinitesimal neighbourhoods for derived schemes
Current License: CC BY-SA 4.0
Post Revisions
5 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Mar 26 at 3:47 | vote | accept | KAK | ||
| Mar 25 at 23:10 | history | became hot network question | |||
| Mar 25 at 18:20 | answer | added | Joshua Mundinger | timeline score: 6 | |
| Mar 25 at 16:37 | comment | added | Nikola Tomić | For $f : X \rightarrow Y$ a map of derived stacks, you define the formal neighborhood of f to be the pullback $Y\times_{Y_{\mathrm{dR}}} X_{\mathrm{dR}}$, where $X_{\mathrm{dR}}$ is the de Rham stack of $X$. For nice stacks, you can fix $X_\mathrm{dR}(A) := X(A^\mathrm{red})$. When $X$ is locally almost of finite presentation over a field, this has been studied by Gaistgory and Rozenblyum in their book "A study in derived algebraic geometry". | |
| Mar 25 at 15:01 | history | asked | KAK | CC BY-SA 4.0 |