Want to take part in these discussions? Sign in if you have an account, or apply for one below
Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.
Added statement of the fact that any open subset of the underlying topological space of a scheme $X$, together with the sheaf of commutative rings on it obtained by restriction of the structure sheaf on $X$, defines an open subscheme of $X$. Began proof, but not finished yet. Whilst the proof is straightforward, there is something to show; it is not completely trivial.
Completed the proof, modulo a couple of basic pieces of commutative algebra. Would be great if someone finds time to write up these (on a different page)! I tried to be a little more careful than seems to be typically the case (compare for example the proof in EGA I (Proposition 2.1.3 in Chapter I) or the stacks project, Lemma 25.9.2), keeping track of the isomorphism between $N$ and $Spec A$, and mentioning some points which one needs to convince oneself are true.
1 to 2 of 2