Timeline for Serre tensor construction on finite flat group schemes
Current License: CC BY-SA 3.0
7 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jan 11, 2017 at 19:05 | history | edited | Vincent | CC BY-SA 3.0 |
added 36 characters in body
|
| Jan 11, 2017 at 18:42 | comment | added | Vincent | I corrected my question. | |
| Jan 11, 2017 at 18:41 | history | edited | Vincent | CC BY-SA 3.0 |
deleted 126 characters in body
|
| Jan 11, 2017 at 18:36 | vote | accept | Vincent | ||
| Jan 11, 2017 at 9:16 | answer | added | Kevin Buzzard | timeline score: 3 | |
| Jan 11, 2017 at 7:48 | comment | added | Kevin Buzzard | You seem to ask two questions -- one "for all $H'$" and one "there exist $H'$". The first one seems trivially false in general because one can set $H'=H$ and you seem to know this so I'm not sure what you're asking. As for the second one, if you can find some $F'/Q_p$ such that $O_{F'}\otimes_{\mathbb{Z}_p}O_E=O_{E'}$ then you can you can base extend along $F'/Q_p$ instead to get a proof. But of course such $F'$ might not exist and my guess is that if it doesn't then you might be in trouble (for example perhaps $H$ is the only choice for $H'$?) | |
| Jan 10, 2017 at 23:27 | history | asked | Vincent | CC BY-SA 3.0 |