Solitons: Differential equations, symmetries, and infinite-dimensional algebras
《Solitons: Differential equations, symmetries, and infinite-dimensional algebras》 · 第 218 页 · Section 8.8「Projective bundles and linear subbundles」
Let $S$ be a scheme and $\mathcal E$ be a quasi-coherent $\mathcal O_S$-module. As a generalization of the projective space we define the projective bundle defined by $\mathcal E$ as $\mathbb P(\mathcal E):=\operatorname{Grass}_1(\mathcal E)$.