Timeline for Representability of Hom of two finite flat group schemes
Current License: CC BY-SA 4.0
5 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jul 20, 2019 at 19:46 | vote | accept | Qirui Li | ||
| Nov 7, 2018 at 13:48 | comment | added | R. van Dobben de Bruyn | @LaurentMoret-Bailly: great, I didn't know about this outside the finite étale case. This also settles the finite type question that I raised after the first exercise. This is probably a better proof than the one I gave in that it's much easier to actually compute the $\operatorname{\underline{Hom}}$ scheme this way. | |
| Nov 7, 2018 at 8:31 | comment | added | Laurent Moret-Bailly | If, in the situation of the theorem, we assume $X$ finite over $S$, then the $\underline{\mathrm{Mor}}$ functor is just the Weil restriction of $X\times_SY$ along $X\to S$. So another good reference is Bosch-Lütkebohmert-Raynaud, Néron Models, section 7.6. | |
| Nov 7, 2018 at 7:01 | comment | added | Ariyan Javanpeykar | Should "one cares about this is true" be "one does not care whether this is true"? | |
| Nov 7, 2018 at 2:27 | history | answered | R. van Dobben de Bruyn | CC BY-SA 4.0 |