Timeline for Effectiveness of the distinguished theta characteristic in characteristic 2
Current License: CC BY-SA 3.0
6 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Aug 18, 2013 at 18:19 | answer | added | user37622 | timeline score: 3 | |
| Aug 18, 2013 at 17:17 | history | edited | kedlaya | CC BY-SA 3.0 |
edited last line for accuracy
|
| Aug 18, 2013 at 13:02 | answer | added | Felipe Voloch | timeline score: 2 | |
| Aug 18, 2013 at 9:39 | comment | added | user36938 | Using duality between trace and differential via the residue pairing (Ch. II, sec. 13 of Serre's book on class fields), to make such an $f$ (in any characteristic) seems amount to making a separable branched cover $f:X \rightarrow \mathbf{P}^1$ whose relative different ideal on $X$ is contained in $O_X(-2\infty)$. This is a condition solely on the ramification profile over $\infty$, so for a sufficiently ramified dvr extension $R$ of $\widehat{O}_{\infty}$ find a monic equation defining this finite extension and globalize it. Hard to see the genus here (or to control hyperellipticity, etc.) | |
| Aug 18, 2013 at 5:42 | history | edited | kedlaya |
edited tags
|
|
| Aug 18, 2013 at 5:27 | history | asked | kedlaya | CC BY-SA 3.0 |