MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

Let $X$ be a quasi-compact semi-separated scheme and

$$\varepsilon: 0\to A \to B \to C \to 0$$ be a short exact sequence of quasi-coherent sheaves. $\varepsilon$ is called a (categorical) pure exact sequence if $$ 0\to {\rm Hom}(P, A)\to {\rm Hom}(P, B) \to {\rm Hom}(P, C)\to 0$$ is exact for every finitely presented quasi-coherent sheaf $P$. A quasi-coherent sheaf $C$ is called (categorical) flat if every short exact sequence of the form $\varepsilon$ is categorical pure. $C$ is called geometrical flat if the functor $C\otimes -$ is exact. A quasi-coherent sheaf $A$ is called Fp-injective if every exact sequence of the form $\varepsilon$ is categorical pure.

Let $E$ be an injective cogenerator for the category of quasi-coherent sheaves over $X$, then for each quasi-coherent sheaf $F$ by $F^*$ we mean ${\rm\mathcal{H}om}_{qc}(F, E)$. to see more details see

Question: Is the following statement true.

$F$ is cateorical flat if and only if $F^*$ is Fp-injective.

Remark: Actually one can show that every cateorical flat quasi-coherent sheaf is flat and hence it is not hard to see that if $F$ is flat then $F^*$ is Fp-injective. So the question reduces to following.

Let $F^*$ be an Fp-injective quasi-coherent sheaf, is $F$ a categorical flat quasi-coherent sheaf?

share|cite|improve this question

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Browse other questions tagged or ask your own question.