Timeline for The correct homotopically relevant notion of ideals of dg-algebras (or $\mathbb E_1$-rings)
Current License: CC BY-SA 4.0
6 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| May 28, 2020 at 22:50 | comment | added | Theo Johnson-Freyd | I characteristic zero, I have suggested a definition of "ideal" in my arxiv.org/abs/1608.08598. Namely, I suggest that the definition of "idea" should be "homotopy fibre of a homomorphism", and the paper gives a universal description of the algebraic structure carried by such "ideals" for homomorphisms of any (di)operad. I should warn that that paper needs some rewriting, and my interests have shifted a bit, so I'm not sure when I will do it. I also have not done a good enough job comparing my proposals with the rest of the literature. | |
| May 28, 2020 at 15:51 | answer | added | Liran Shaul | timeline score: 3 | |
| May 28, 2020 at 14:45 | history | edited | Francesco Genovese | CC BY-SA 4.0 |
added a quotation
|
| May 28, 2020 at 13:59 | answer | added | David White | timeline score: 3 | |
| May 28, 2020 at 13:37 | comment | added | Jon Pridham | Homotopy fibre of an $H_0$-surjective morphism of algebras is probably the best you'll manage, and that only works if the algebras are connective. In the derived setting, ideals have much more structure than modules - see for instance Ciocan-Fontanine and Kapranov's papers on derived Hilb and derived Quot. | |
| May 28, 2020 at 12:43 | history | asked | Francesco Genovese | CC BY-SA 4.0 |