Timeline for What's a (infinity-) semi-stack?
Current License: CC BY-SA 3.0
7 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Dec 22, 2017 at 16:07 | comment | added | David Ben-Zvi | I always find units very confusing, but aren't you looking for a stacky analog of monoids (like (5)) rather than semigroups? (that's also what Scott's answer provides) | |
| Dec 22, 2017 at 3:15 | answer | added | S. Carnahan♦ | timeline score: 8 | |
| Dec 21, 2017 at 23:23 | comment | added | Dmitry Vaintrob | More generally (following some ideas of Roman Bezrukavnikov and David Kazhdan) I want to study the category of Z_p-points of "semistacks" similar to $\text{pt}/\overline{G}_m$, whose representation theory should have nice properties. | |
| Dec 21, 2017 at 23:00 | comment | added | Dmitry Vaintrob | The motivation is essentially #5. I don't know enough of this theory to check it, and don't know if the fppf local simplicial construction is "correct" (in particular, whether it gives the right answer for (5)) -- it would be great if it were! | |
| Dec 21, 2017 at 22:56 | comment | added | André Henriques | "I want a generalization of this to a notion of semi-stack, which mixes the concepts of algebraic space and semigroup": it might be useful to explain what is your motivation for wanting such a generalization. It would be great if you could also explain why your own proposed answer isn't satisfactory: considering simplicial sheaves over the (say) fppf site, which satisfy a local inner-Kan condition sounds like a very reasonable thing to do. Which ones of the desiderata (1), (2), (3), (4), (5) are you having difficulty checking? | |
| Dec 21, 2017 at 22:55 | history | edited | Dmitry Vaintrob | CC BY-SA 3.0 |
deleted 15 characters in body
|
| Dec 21, 2017 at 22:43 | history | asked | Dmitry Vaintrob | CC BY-SA 3.0 |