open subscheme

Last modified date: <%+ tp.file.last_modified_date() %>


- Tags: - #todo/untagged - Refs: - #todo/add-references - Links: - #todo/create-links


open subscheme

An open subscheme of \(\left(X, \mathscr{O}_{X}\right)\) is a scheme \(\left(U, \mathscr{O}_{U}\right)\) whose underlying space is an open subset of \(X\) and whose structure sheaf is isomorphic to \(\left.\mathscr{O}_{X}\right|_{U}\).

Warning: this definition does not work for a closed subscheme.

Links to this page
#todo/untagged #todo/add-references #todo/create-links