A quasiprojective variety over a field is an algebraic variety isomorphic to a locally
closed subscheme of some projective space
.
Equivalently, it is an open set in an algebraic
set in projective space, with the induced
algebraic structure (The Stacks Project Authors 2026).
Every affine variety is quasiprojective, because affine space is the complement of a hyperplane
in projective space
. Algebraic sets in projective space are also quasiprojective. Thus
quasiprojectivity allows both closed sets that are
varieties and their open sets. The topology
here is the Zariski topology.
For example,
is a quasiprojective algebraic curve. A chosen
embedding of a quasiprojective variety into projective
space need not have closed image.