Timeline for Exotic principal ideal domains
Current License: CC BY-SA 2.5
7 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Feb 25, 2011 at 1:12 | comment | added | Emerton | "really look an enormous" --> "really looks like an enormous" | |
| Feb 25, 2011 at 1:11 | comment | added | Emerton | For example, starting with this PID, one can produce a Dedekind scheme $X$ over $\mathbb Q_p$ which is infinite type, but which otherwise behaves as if it were proper, and for which $\Gamma(X,\mathcal O_X) = \mathbb Q_p$! So it really look an enormous infinite type version of $\mathbb P^1$ over $\mathbb Q_p$. And it is huge (!): a typical residue field of a closed point is $\mathbb C_p$. | |
| Feb 25, 2011 at 1:08 | comment | added | Emerton | I would like to add: this fact was truly an absolute shock to specialists in $p$-adic Hodge theory (including Fontaine, who invented the theory!), and the developments that it has led to are indeed very nice (and very recent, with hopefully more to come!). | |
| Feb 25, 2011 at 1:01 | history | edited | anonymous | CC BY-SA 2.5 |
added 49 characters in body
|
| Feb 25, 2011 at 0:26 | comment | added | Alex B. | Dear Qiaochu, for a careful definition, you can have a look at this set of notes of Brinon and Conrad: math.stanford.edu/~conrad/papers/notes.pdf But beware that the definitions are rather technical and for many purposes, it's enough to know the main properties of the period rings. For an overview, have a look at David Savitt's notes from the POSTECH winter school: dl.dropbox.com/u/1164264/korea_savitt.pdf (probably not a very permanent link) | |
| Feb 24, 2011 at 20:25 | comment | added | Qiaochu Yuan | Care to provide a definition or a reference? | |
| Feb 24, 2011 at 19:30 | history | answered | anonymous | CC BY-SA 2.5 |