3
$\begingroup$

Suppose I have a functor $f:(C,J)\to(D,K)$ between Grothendieck sites. Is there a condition on $f$ such that $f_!$ (the left adjoint to $f^*$) sends "$J$-epimorphisms", to $K$-epimorphisms, where by $J$-epimorphism I mean:

$h:X\to Y$ such that for all $C$, and all $y \in Y(C)$, there exists a cover $(g_i:C_i\to C)$ in $J$ and $y_i \in X(C_i)$ such that for all $i$, $Y(g_i)(y)=h(y_i)$.

EDIT: If X and Y are sheaves, then the notion of "J-epimorphism" coinincides with the categorical epis. As mentioned by David Brown, ANY left adjoint will preserves epis.

In fact, in the situation in which I was interested, I actually have such a (appropriate analogue of a) J-epimorphism between a sheaf and a stack, so, since f_! is a left adjoint, it will preserve this.

$\endgroup$
7
  • $\begingroup$ Certainly $f^*$ does not always have a left adjoint (e.g. $f^*$ might not even be exact). If the functor f induces a morphism of sites (so that in particular $f^*$ is exact), I believe $f^*$ still may not have a left adjoint. $\endgroup$ Mar 30, 2010 at 19:00
  • $\begingroup$ f^* certainly DOES have a left adjoint SINCE the geometric morphism arises from a functor from C to D. $\endgroup$ Mar 30, 2010 at 19:10
  • $\begingroup$ (the left adjoint is given by the left-kan extension of $C \mapsto Hom( blank, f(U))$) $\endgroup$ Mar 30, 2010 at 19:11
  • $\begingroup$ @David: Ah, you are right. I'm not sure why I was confused. $\endgroup$ Mar 30, 2010 at 19:21
  • 1
    $\begingroup$ @David C: The trick to get good answers is to ask good questions. Well motivated questions usually get excellent answers. As is, your question is hard to understand and motivate. It's only after reading your comment to David B's answer that I understood what was going on. That comment would fit in very well within the question and make it much easier to understand. (A few notational fixes wouldn't hurt either.) $\endgroup$ Mar 31, 2010 at 12:46

1 Answer 1

6
$\begingroup$

A left adjoint functor always takes epimorphisms to epimorphisms. This is easy to see using the usual definition of epimorphism and checking that this is equivalent to your definition for sheaves on a site.

$\endgroup$
7
  • $\begingroup$ Ah, well, I actually meant f^* and f_* to be the geometric morphism between the topoi of presheaves, not sheaves, which is why I didn't simply write epimorphism, but decorated it with a "J". However, I realized that in the example I cared about, both of my guys are sheaves (well actually one is a sheaf and one is a stack). So, this is still quite helpful, so you'll get an upvote :-). Anyhow, I'm still interested in the question for presheaves, out of mere curiosity. $\endgroup$ Mar 30, 2010 at 19:22
  • $\begingroup$ Maybe this works in general: it seems like your definition of `J-epimorphism' is equivalent to the sheafification of the morphism being an epi-morphism in the category of sheaves. Then your question follows from the case of sheaves (since, in any case, you have to sheafify $f_!$ to get a left adjoint to $f^*$). $\endgroup$ Mar 30, 2010 at 20:06
  • 1
    $\begingroup$ By the way David, a left adjoint DOESN'T always take epis to epis! Counter-example: The forgetful functor from Top to Set. (Epis in Top are continous maps with dense image). What goes wrong is that Top is not a regular category! What you're thinking is that left-adjoints preserve REGULAR epis, and this is just because they are coequalizers! BUT, we are saved because in Set, and in Groupoids, all epis are regular. $\endgroup$ Apr 1, 2010 at 17:07
  • 1
    $\begingroup$ Yeah, you're totally right! I don't know what I was thinking. $\endgroup$ Apr 2, 2010 at 13:53
  • 3
    $\begingroup$ You don't need to think about sheaves at all to see that left adjoints preserve epis. An arrow $f$ is epic iff a certain diagram is a colimit, and left adjoints preserve colimits. The diagram in question is the commuting square whose top and left morphisms are $f$ and bottom and right morphisms are identities (arrows pointing down and to the right): $f$ is epic iff this square is a pushout. $\endgroup$
    – Tim Campion
    Feb 10, 2014 at 23:56

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.