Timeline for help needed with a proof in <etale cohomology> by milne
Current License: CC BY-SA 2.5
5 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Dec 31, 2010 at 5:02 | comment | added | Yemon Choi | I had a go at improving the formatting, but I might have broken some of the LaTeX. If someone knows how to fix it please feel free to edit | |
| Dec 31, 2010 at 4:56 | history | edited | Yemon Choi | CC BY-SA 2.5 |
tweak to LaTeX
|
| Dec 31, 2010 at 3:52 | history | edited | Yingjin Bi | CC BY-SA 2.5 |
deleted 13 characters in body
|
| Dec 31, 2010 at 3:34 | comment | added | Charles Rezk | Why $k=k(y)$: since $Y\to \mathrm{Spec} k$ is locally of finite-type, if $y$ is a point of $Y$, then the local ring $\mathcal{O}_y$ is finite-type over $k$. In particular, if $y$ is a closed point, then $k(y)$ is finite type over $k$. But the only field of finite type over an algebraically closed $k$ is $k$ itself; this is one form of the Nullstellensatz. | |
| Dec 31, 2010 at 3:05 | history | asked | Yingjin Bi | CC BY-SA 2.5 |