Skip to main content
Martin Hurtado's user avatar
Martin Hurtado's user avatar
Martin Hurtado's user avatar
Martin Hurtado
  • Member for 6 years, 1 month
  • Last seen more than a month ago
  • Madrid, Liverpool
revised
Loading…
Loading…
Loading…
awarded
awarded
awarded
revised
Loading…
revised
Loading…
revised
What (or how) are the new spaces of derived algebraic geometry?
deleted 2141 characters in body; edited tags; edited title
Loading…
revised
Loading…
revised
Loading…
awarded
revised
Loading…
comment
What (or how) are the new spaces of derived algebraic geometry?
In my first comment I meant "$deg(\tau_{i})\leq2$ " and "On the other side, are all the derived nilpotents (in any derived scheme/stack) of homotopical nature?"
comment
What (or how) are the new spaces of derived algebraic geometry?
Also, thinking about my last sentence it seems to me that broadly speaking the new spaces that derived geometry gives rise to are self intersections spaces (i.e. formal loop and higher dimensional formal loop spaces) and "derived thickenings" by nilpotent extensions (yielding formal disks/higher dimensional formal disks). Does this make any sense?
comment
What (or how) are the new spaces of derived algebraic geometry?
Thank you for the answer. It is quite concrete an clarifying. The intro of the paper is useful too. However, I am unsure about higher homotopical groups (i.e. $deg(\tau_{i})<-2$). In which situations you can have higher (or abritary high?) homotopical perturbations (you dont need higher dimensional singularities for that, right?)? On the other side if are all the derived nilpotents (of any derived scheme/stack) of homotopical nature? If so, the relevant geometry/topology would be homotopy classes (i.e. maps from the topological space of our scheme/stack to some n-spheres, )
revised
Loading…
awarded
revised
Loading…
comment
What (or how) are the new spaces of derived algebraic geometry?
Thank you for the example! Is that the loop space at $0$, right? I am writing an answer/reflection that is related to this but is too long so I will add it in the main question.