Skip to main content
fixed broken link to eom.springer.de; replaced "link text" with more descriptive title
Source Link

Why is the rank of a locally free sheaf is well defined-defined?

In Hartshorne p. 109 he defines a sheaf $\mathcal{F}$ of $O_X$-modules to be locally free if there is an open cover of $X$, s.t. on each $U$, $\mathcal{F}|U$$\mathcal{F}|_U$ is a free $O_X|U$$O_X|_U$ module of rank $I$. Then if $X$ is connected, rank $I$ is globally well-defined. Here $(X,O_X)$ is any ringed topological space  (e.g. not necessarily the structure sheaf of a ring). A similar definition is here: link textLocally free sheaf - Encyclopedia of Mathematics.

However, it didn't seem obvious to me that if $V$ is a smaller open set included in $U$  (say $U$ connected), then the number of copies $J$ of $(O_X|V)^J=\mathcal{F}|V$$(O_X|_V)^J=\mathcal{F}|_V$ would remain the same, because in general the restriction map of the sheaf $O_X$ or $\mathcal{F}$ from $U$ to $V$ need be neither subjective nor injective, why would the index $J$ stay the same as $I$?

Why the rank of a locally free sheaf is well defined?

In Hartshorne p. 109 he defines a sheaf $\mathcal{F}$ of $O_X$-modules to be locally free if there is an open cover of $X$, s.t. on each $U$, $\mathcal{F}|U$ is a free $O_X|U$ module of rank $I$. Then if $X$ is connected, rank $I$ is globally well-defined. Here $(X,O_X)$ is any ringed topological space(e.g. not necessarily the structure sheaf of a ring). A similar definition is here link text

However, it didn't seem obvious to me that if $V$ is a smaller open set included in $U$(say $U$ connected), then the number of copies $J$ of $(O_X|V)^J=\mathcal{F}|V$ would remain the same, because in general the restriction map of the sheaf $O_X$ or $\mathcal{F}$ from $U$ to $V$ need be neither subjective nor injective, why would the index $J$ stay the same as $I$?

Why is the rank of a locally free sheaf well-defined?

In Hartshorne p. 109 he defines a sheaf $\mathcal{F}$ of $O_X$-modules to be locally free if there is an open cover of $X$, s.t. on each $U$, $\mathcal{F}|_U$ is a free $O_X|_U$ module of rank $I$. Then if $X$ is connected, rank $I$ is globally well-defined. Here $(X,O_X)$ is any ringed topological space  (e.g. not necessarily the structure sheaf of a ring). A similar definition is here: Locally free sheaf - Encyclopedia of Mathematics.

However, it didn't seem obvious to me that if $V$ is a smaller open set included in $U$  (say $U$ connected), then the number of copies $J$ of $(O_X|_V)^J=\mathcal{F}|_V$ would remain the same, because in general the restriction map of the sheaf $O_X$ or $\mathcal{F}$ from $U$ to $V$ need be neither subjective nor injective, why would the index $J$ stay the same as $I$?

spelling, grammar
Source Link
Ben McKay
  • 26.3k
  • 7
  • 67
  • 102

Why the rank of a locally free sheavessheaf is well defined?

In Hartshorne P109p. 109 he defines a sheaf $\mathcal{F}$ of $O_X$-modules to be locally free if there is an open cover of X$X$, s.t. on each U$U$, $\mathcal{F}|U$ is a free $O_X|U$ module of rank $I$. Then if X$X$ is connected, rank $I$ is globally well-defined. Here $(X,O_X)$ is any ringed topological space(e.g. not necessarily the structure sheaf of a ring). A similar definition is here link text

However, it didn't seem obvious to me that if $V$ is a smaller open set included in $U$(say $U$ connected), then the number of copies $J$ of $(O_X|V)^J=\mathcal{F}|V$ would remain the same, because in general the restriction map of the sheaf $O_X$ or $\mathcal{F}$ from $U$ to $V$ need be neither subjective nor injective, why would the index $J$ stay the same as $I$?

Why the rank of a locally free sheaves is well defined?

In Hartshorne P109 he defines a sheaf $\mathcal{F}$ of $O_X$-modules to be locally free if there is an open cover of X, s.t. on each U, $\mathcal{F}|U$ is a free $O_X|U$ module of rank $I$. Then if X is connected, rank $I$ is globally well-defined. Here $(X,O_X)$ is any ringed topological space(e.g. not necessarily the structure sheaf of a ring). A similar definition is here link text

However, it didn't seem obvious to me that if $V$ is a smaller open set included in $U$(say $U$ connected), then the number of copies $J$ of $(O_X|V)^J=\mathcal{F}|V$ would remain the same, because in general the restriction map of the sheaf $O_X$ or $\mathcal{F}$ from $U$ to $V$ need be neither subjective nor injective, why would the index $J$ stay the same as $I$?

Why the rank of a locally free sheaf is well defined?

In Hartshorne p. 109 he defines a sheaf $\mathcal{F}$ of $O_X$-modules to be locally free if there is an open cover of $X$, s.t. on each $U$, $\mathcal{F}|U$ is a free $O_X|U$ module of rank $I$. Then if $X$ is connected, rank $I$ is globally well-defined. Here $(X,O_X)$ is any ringed topological space(e.g. not necessarily the structure sheaf of a ring). A similar definition is here link text

However, it didn't seem obvious to me that if $V$ is a smaller open set included in $U$(say $U$ connected), then the number of copies $J$ of $(O_X|V)^J=\mathcal{F}|V$ would remain the same, because in general the restriction map of the sheaf $O_X$ or $\mathcal{F}$ from $U$ to $V$ need be neither subjective nor injective, why would the index $J$ stay the same as $I$?

Source Link
Ying Zhang
  • 1.2k
  • 11
  • 16

Why the rank of a locally free sheaves is well defined?

In Hartshorne P109 he defines a sheaf $\mathcal{F}$ of $O_X$-modules to be locally free if there is an open cover of X, s.t. on each U, $\mathcal{F}|U$ is a free $O_X|U$ module of rank $I$. Then if X is connected, rank $I$ is globally well-defined. Here $(X,O_X)$ is any ringed topological space(e.g. not necessarily the structure sheaf of a ring). A similar definition is here link text

However, it didn't seem obvious to me that if $V$ is a smaller open set included in $U$(say $U$ connected), then the number of copies $J$ of $(O_X|V)^J=\mathcal{F}|V$ would remain the same, because in general the restriction map of the sheaf $O_X$ or $\mathcal{F}$ from $U$ to $V$ need be neither subjective nor injective, why would the index $J$ stay the same as $I$?