Schema/Invertierbare Garbe/Lineares System/Basispunktfrei/Definition

Basispunktfreies lineares System

Es sei ${}X$ ein Schema über einem kommutativen Ring ${}R$ und es sei ${}{\mathcal {L}}$ eine invertierbare Garbe auf ${}X$. Ein lineares System ${}T\subseteq \Gamma {\left(X,{\mathcal {L}}\right)}$ heißt basispunktfrei, wenn es zu jedem Punkt ${}x\in X$ ein ${}s\in T$ mit ${}x\in X_{s}$ gibt.