On the projective line, an infinite direct sum of copies of is a quasi-coherent sheaf but not a coherent sheaf: at any point its residue-vector-space dimension is infinite. Its global sections vanish because each summand has no sections, and sections commute with direct sums for the finite two-chart equalizer. Its direct image sheaf on is consequently zero and coherent. This shows that a nonaffine direct image can lose information needed to detect coherence.
Articles by others on the same topic
There are currently no matching articles.