1
$\begingroup$

Given a scheme $X$ and an $\mathcal{O}_{X}$-module $\mathscr{E}$, we know that a section $s \in H^{0}(X, \mathscr{E})$ is equivalent to a morphism $s :\mathcal{O}_{X} \to \mathscr{E}$. It is the cokernel of this map which we typically call the cokernel of the section $s$.

For a line bundle $L$ and a section $s \in H^{0}(X, L)$ we know that the vanishing locus of $s$, denoted $Z(s)$, is a divisor. I believe the cokernel of $s$ is isomorphic to $L|_{Z(s)}$. In other words, one's intuition should be that the cokernel of a section of a line bundle encodes the restriction of the bundle to its vanishing locus. If I'm not mistaken, the same holds for locally-free sheaves of higher rank (EDIT: is this actually true?).

But I'm quite confused about the cokernel of a section $s$ of a more general $\mathcal{O}_{X}$-module $\mathscr{E}$ (let's assume coherent or quasi-coherent if it helps). All I know for sure is that since the cokernel is a quotient of $\mathscr{E}$, its support is contained in the support of $\mathscr{E}$. One can still make sense of the vanishing locus $Z(s)$ (EDIT: as the locus where $s$ vanishes in the fiber $\mathscr{E}_{x} \otimes k(x)$) although I feel like this is not an algebraic set in general (of course the support of a coherent sheaf is a closed subscheme, not to be confused with vanishing locus of a section). So the intuition from line bundles that the cokernel encodes data on the vanishing locus can't generalize exactly.

Can someone maybe spell out what we can say in general here, or must it be done on a case-by-case basis? I'd appreciate any intuition on how one should think of these cokernels.

$\endgroup$
6
  • $\begingroup$ Do you have a precise statement or reference for “the same holds for locally-free sheaves of higher rank”? $\endgroup$
    – rj7k8
    Commented Jun 5, 2019 at 19:54
  • $\begingroup$ @rj7k8 Well perhaps this isn't true. The vanishing locus $Z(s)$ is still an algebraic subscheme for locally-free sheaves of higher rank, so I expected the cokernel to behave analogously. But this might not be the case. I added a comment in the OP. $\endgroup$
    – Benighted
    Commented Jun 5, 2019 at 21:30
  • $\begingroup$ What is $Z(s)$ for you in higher rank vector bundles? $\endgroup$
    – Mohan
    Commented Jun 5, 2019 at 21:47
  • $\begingroup$ @Mohan So I thought for any coherent sheaf you can define its fiber at a closed point of the scheme as the stalk at that point, tensored by the residue field (local ring modulo maximal ideal). I would define $Z(s)$ as the locus in $X$ where $s$ vanishes in the fibers. Is that a common definition? $\endgroup$
    – Benighted
    Commented Jun 5, 2019 at 22:08
  • $\begingroup$ Can you explain what you are saying in the following example? Let $X=\mathbb{A}^2$, $E=O\oplus O$ and $s(1)=(x,y)$, where $x,y$ are the coordinate functions. $\endgroup$
    – Mohan
    Commented Jun 5, 2019 at 22:13

0

You must log in to answer this question.

Browse other questions tagged .