(This question is inspired by Matthieu Romagny's answer to my [previous question](https://mathoverflow.net/questions/179468) about base change properties of affine hulls.)


Given a scheme $S$, it is well-known (cf. EGA I.9.1.21) that the inclusion of the category of affine $S$-schemes into the category of quasicompact and quasiseparated $S$-scheme has a left adjoint, called the *$S$-affine hull.* 



> 
> Does the inclusion of the category of affine $S$-schemes into the category of $S$-scheme also have a left adjoint, i.e., does *every* $S$-scheme have an $S$-affine hull?
> 
> 
> 



Existence of affine hulls
First, some general comments. 


If $f:X\to S$ is an $S$-scheme, put $A(X):=f\_\*(\mathscr{O}\_X)$. If $X$ and $Y$ are $S$-schemes, we have a natural map $$\mathrm{Hom}\_S(X,Y)\to\mathrm{Hom}\_{\mathscr{O}\_S-\text{algebras}}(A(Y), A(X))$$ which is bijective if $Y$ is $S$-affine (EGA I, (9.1.5); this is true even if $X$ is an $S$-locally ringed space).  

It follows formally that $X$ has an $S$-affine hull if and only if $A(X)$ has a "quasicoherent co-hull" in the category of $\mathscr{O}\_S$-algebras (a trivial case where this holds is when $A(X)$ happens to be quasicoherent).


We may ask more generally 



> 
> which $\mathscr{O}\_S$-modules $M$ have a quasicoherent co-hull
> 
> 
> 


i.e. are such that the functor $F\mapsto\mathrm{Hom}\_{\mathscr{O}\_S-\text{modules}}(F,M)$ on *quasi-coherent* $\mathscr{O}\_S$-modules is representable. 


For instance, this holds if $M$ is a submodule of a quasicoherent $G$: in this case, the above functor is represented by the largest quasicoherent submodule of $M$, which exists by Lemma Tag 01QZ on the Stacks Project, cited by Matthieu. 


We can use this fact for general $M$: if $u:F\to M$ is a morphism (with $F$ quasicoherent), let $K(u)$ be the largest quasicoherent submodule of $\mathrm{Ker}(u)$. Then $u$ factors through $I(u):=F/K(u)$, which is quasicoherent, and the induced $\overline{u}:I(u)\to M$ has the property that there is no nontrivial quasicoherent submodule of $I(u)$ killed by $\overline{u}$. Let us call this property "qc-injectivity".  

For given $M$, denote by $S(M)$ the category of all qc-injective $F\to M$ (with $F$ quasicoherent, of course). The following facts are easy to check:  

- $S(M)$ is essentially an ordered set (i.e. Hom sets have at most one element).  

- Every map in $S(M)$ is injective as a map of sheaves.  

- $S(M)$ has arbitrary colimits.  

- If $M$ has a quasicoherent co-hull $M\_0$, then $S(M)$ is (equivalent to) the ordered set of quasicoherent subsheaves of $M\_0$. 


This suggests to define the quasicoherent co-hull of $M$ as the colimit of the obvious functor from $S(M)$ to quasicoherent modules. Formally, this works, except that $S(M)$ may be too big, and the question becomes: 



> 
> When is the category $S(M)$ essentially small?
> 
> 
> 


**Remarks:**  

- If $M$ is an $\mathscr{O}\_S$-algebra, a quasicoherent co-hull of $M$ as an $\mathscr{O}\_S$-module is automatically an $\mathscr{O}\_S$-algebra (and a co-hull in that category), and conversely a quasicoherent co-hull of $M$ in the category of $\mathscr{O}\_S$-algebras will be a quasicoherent co-hull in the category of $\mathscr{O}\_S$-modules. (This follows from the fact that if $F$ is quasicoherent, so is its symmetric algebra). 
- If $S$ is affine, any $M$ has a quasicoherent co-hull, which is $\widetilde{\Gamma(S,M)}$. 




---


**Edited** on Sep. 6, 2014: Here are some partial results, not using the "small category" criterion stated above. The main result is:


**Theorem 1.** *Assume $S$ is quasicompact and quasiseparated. Then every $\mathscr{O}\_S$-module has a quasicoherent co-hull. Consequently, every $S$-scheme has an affine hull.* 


From now on, we denote by $\mathrm{qcch}(S,M)$ or $\mathrm{qcch}(M)$ the quasicoherent co-hull of the $\mathscr{O}\_S$-module $M$, when it exists. Obviously, $\mathrm{qcch}$ commutes with finite products of sheaves.  

Recall that $\mathrm{qcch}(M)$ exists when $M$ embeds into a quasicoherent module, or when $S$ is affine. More generally: 


**Lemma 1.** *If $\mathrm{qcch}(M)\xrightarrow{j}M$ exists and $N$ is a submodule of $M$, then $\mathrm{qcch}(N)$ exists, and in fact is $\mathrm{qcch}(j^{-1}(N))$*. 


(The point is that $\mathrm{qcch}(j^{-1}(N))$ exists because $j^{-1}(N)$ is a subsheaf of $\mathrm{qcch}(M)$ which is quasicoherent. Checking the universal property is then obvious. Alternatively, using the above criterion, observe that $S(N)$ is a subcategory of $S(M)$.) 


**Lemma 2.** *Let $f:X\to S$ be a morphism, and let $M$ be an $\mathscr{O}\_X$-module. Assume $F:=\mathrm{qcch}(X,M)$ exists. Then we have the equality
$$\mathrm{qcch}(S,f\_\*M)=\mathrm{qcch}(S,f\_\*F)$$
(with the convention that if one side exists, so does the other).  

In particular, if $f$ is quasicompact and quasiseparated, then $\mathrm{qcch}(S,f\_\*M)$ exists if $\mathrm{qcch}(X,M)$ does, and in this case $\mathrm{qcch}$ commutes with $f\_\*$.* 


(Straightforward from the fact that $f^\*$ preserves quasicoherence.) 


**Lemma 3.** *Let $u\_i:S\_i\hookrightarrow S$ ($i=1,\dots,n$) be a finite sequence of* quasicompact *open immersions that cover $S$. Let $M$ be an $\mathscr{O}\_X$-module. Assume $\mathrm{qcch}(S\_i,u\_i^\*M)$ exists for each $i$. Then $\mathrm{qcch}(S,M)$ exists.* 


*Proof:* put $M\_i:=u\_{i\*}u\_i^\*M$. By Lemma 2, each $\mathrm{qcch}(S,M\_i)$ exists. But $M\subset\prod\_{i=1}^n M\_i$, so the result follows from Lemma 1. 


*Proof of Theorem 1:* follows from the affine case together with Lemma 3, by taking for $(S\_i)$ any finite affine covering of $S$. 


**Remark.** Assume $S$ is quasiseparated, and let $(S\_i)\_{i\in I}$ be an affine open covering. Since the immersions $S\_i\hookrightarrow S$ are quasicompact, by repeating the arguments of Lemma 2 and Lemma 3 we see that the existence of $\mathrm{qcch}(M)$ for arbitrary $M$ reduces to the case $M=\prod\_{i\in I}F\_i$ where each $F\_i$ is quasicoherent.


