What is the correct definition of an ind-scheme?
I ask this because there are (at least) two definitions in the literature, and they really differ.
Definition 1. An ind-scheme is a directed colimit of schemes inside the category of presheaves on the Zariski site of affines schemes, where the transition maps are closed immersions.
Definition 2. An ind-scheme is a directed colimit of schemes inside the category of sheaves on the Zariski site of affines schemes, where the transition maps are closed immersions.
This makes a difference, since the forgetful functor from sheaves to presheaves does not preserve colimits. For an ind-scheme $\varinjlim_n X_n$ according to Definition 1, we have
$$\hom(Y,\varinjlim_n X_n) = \varinjlim_n \hom(Y,X_n)$$
for affine schemes $Y$. Does this also hold for non-affine schemes? Probably not. But one certainly wants the category of schemes to be a full subcategory of the category of ind-schemes. For this, Definition 2 seems to be more adequate.
Any detailed references are appreciated.
Best Answer
There is in fact no difference between the two definitions if you take your site to be the category of affine schemes – while it is true that the forgetful functor from sheaves to presheaves does not preserve colimits in general, for the purposes of this definition, only filtered colimits matter, and those are preserved.
Indeed, recall that the Zariski topology is a Grothendieck topology "of finite type", i.e. generated by a pretopology consisting only of finite covering families. For such Grothendieck topologies, it is straightforward to verify that the category of sheaves is closed under filtered colimits in the category of presheaves – after all, in this case, the sheaf condition amounts to saying that certain cocones under finite diagrams of affine schemes are mapped to limiting cones in the category of sets.