Timeline for Tensor and Hom objects for finite flat group schemes
Current License: CC BY-SA 3.0
5 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Oct 8, 2011 at 1:33 | vote | accept | user9509 | ||
| Apr 13, 2011 at 23:30 | answer | added | SGP | timeline score: 4 | |
| Apr 13, 2011 at 20:10 | answer | added | Mikhail Bondarko | timeline score: 5 | |
| Apr 13, 2011 at 20:08 | comment | added | Keerthi Madapusi | Well, the category of group schemes sits inside the category of fppf sheaves of groups over your base. If you restrict to fppf sheaves of abelian groups, then the latter category has Homs and tensor products (just sheaf Hom and sheaf tensor product). In general, these operations will not preserve the category of group schemes. For instance, if you take G to be the group scheme of roots of unity, then the tensor product of G with itself will not be representable. On the Dieudonne side, this corresponds to the fact that slopes add up to more than 1 under tensor products. | |
| Apr 13, 2011 at 18:14 | history | asked | user9509 | CC BY-SA 3.0 |