Timeline for The rigid-analytic open disk
Current License: CC BY-SA 3.0
7 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jan 23, 2015 at 2:50 | comment | added | user74230 | I should have said that $F$ contains $k$ as a discrete subfield (equivalently, $k$ lies in $F^0$). | |
| Jan 22, 2015 at 17:52 | comment | added | user74230 | The second half becomes much easier if you don't use $t$ so much: if $F$ is any non-archimedean field containing $k$ then ${\rm{Spa}}(k[\![t]\!],k[\![t]\!])\times_{{\rm{Spa}}(k,k)}{\rm{Spa}}(F,F^0)$ exists and is the (adic space associated to the) open unit disc over $F$, verified by universal property (exercise) using its "standard coordinate" (pulled back from the first factor) denoted as $t$ by abuse of notation. For $a \in F$ with $|a|<1$ there is a "classical point" cut out by the condition $t=a$. Now set $F=k(\!(t)\!)$ and $a=t\in F$ to get the diagonal point with abuse of notation. | |
| Jan 22, 2015 at 17:32 | vote | accept | Justin Campbell | ||
| Jan 22, 2015 at 17:16 | history | edited | Justin Campbell | CC BY-SA 3.0 |
added 240 characters in body
|
| Jan 22, 2015 at 17:04 | answer | added | Helene Sigloch | timeline score: 9 | |
| Jan 22, 2015 at 16:35 | history | edited | Justin Campbell | CC BY-SA 3.0 |
added 288 characters in body; edited title
|
| Jan 22, 2015 at 16:06 | history | asked | Justin Campbell | CC BY-SA 3.0 |