2
$\begingroup$

Background: If one works with sheaves on small etale site over a fixed scheme (which is really an essentially large category), one can instead work with sheaves on the affine etale site (which turns out to be an essentially small category) as their sheaves categories coincide. The consequence is that all etale sheaves are small in the sense that they are small colimits of some representables.

The above consideration doesn't seem to work for big sites. My question is : Are all the fppf sheaves small (in the above sense i.e. small colimits of representables) in the big fppf site? If no, do we have a characterization of the small sheaves here?

$\endgroup$
2
  • 1
    $\begingroup$ Do you mean small sheaves in the sense that they are colimits of small diagrams of representable sheaves on a large site? Or that they are sheaves on a small site? $\endgroup$
    – David Roberts
    Commented Jun 5, 2020 at 10:17
  • $\begingroup$ @DavidRoberts Yes, you're right, I mean small sheaves in the sense that they are colimits of small diagrams of representable sheaves on a large site. $\endgroup$
    – gregodom
    Commented Jun 5, 2020 at 10:28

0

You must log in to answer this question.