Timeline for scheme of sections over complete local ring
Current License: CC BY-SA 3.0
5 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jul 24, 2013 at 12:26 | comment | added | prochet | I added the definition for $X(k[[\pi]])$. Yes that what I asked, thx. | |
| Jul 24, 2013 at 12:24 | history | edited | prochet | CC BY-SA 3.0 |
I added the meaning of the scheme of sections
|
| Jul 24, 2013 at 11:26 | comment | added | user36938 | What does "scheme of sections" mean? (As with your earlier question on affine Grassmannians, you seem to denote some scheme by its set of $k$-points, which can be really confusing.) Does your question mean to ask if for any $k$-algebra $R$ a $k[\![\pi]\!]$-morphism $f:{\rm{Spec}}(R[\![\pi]\!])\rightarrow X$ factors through $U$ when it does so mod $\pi^n$? If so, it is true because the only open subset of Spec($R[\![\pi]\!])$ containing $\{\pi=0\}$ is the entire space (as any non-empty closed set meets $\pi=0$, since in an adic ring the topological nilpotents lie in the Jacobson radical). | |
| Jul 24, 2013 at 7:44 | history | edited | Ricardo Andrade | CC BY-SA 3.0 |
corrected typos
|
| Jul 24, 2013 at 7:42 | history | asked | prochet | CC BY-SA 3.0 |