Lemma 17.14.4. Let $(X, \mathcal{O}_ X)$ be a ringed space. Suppose that the support of $\mathcal{O}_ X$ is $X$, i.e., all stalks of $\mathcal{O}_ X$ are nonzero rings. Let $\mathcal{F}$ be a locally free sheaf of $\mathcal{O}_ X$-modules. There exists a locally constant function
such that for any point $x \in X$ the cardinality of any set $I$ such that $\mathcal{F}$ is isomorphic to $\bigoplus _{i\in I} \mathcal{O}_ X$ in a neighbourhood of $x$ is $\text{rank}_\mathcal {F}(x)$.
Comments (2)
Comment #6818 by Yuto Masamura on
Comment #6960 by Johan on