3
$\begingroup$

Sorry for this silly question but I can't find a reference.

Let $\mathcal C$ be a preadditive category and $A\in \mathcal C$ an object. Under what conditions (on $\mathcal C$) can one say that the functor $\textrm{Hom}_{\mathcal C}(-,A)$ is left exact? Is it true very often or is it specific to categories like module categories?

In particular, I would like to know if $\textrm{Hom}_{S}(-,X)$ is left exact in the category of $S$-schemes, where $X$ is a fixed $S$-scheme.

If $X$ and $S$ are both affine, say $X=\textrm{Spec}\, A$ and $S=\textrm{Spec}\, B$, then \begin{equation} \textrm{Hom}_S(-,X)\cong \textrm{Hom}_B(A,-), \end{equation} and the latter is left exact because $A$ is a $B$-module. But for arbitrary $S$ and $X$?

Thank you for any help.

  • 0
    @ZhenLin Please consider converting your comment into an answer, so that this question gets removed from the [unanswered tab](http://meta.math.stackexchange.com/q/3138). If you do so, it is helpful to post it to [this chat room](http://chat.stackexchange.com/rooms/9141) to make people aware of it (and attract some upvotes). For further reading upon the issue of too many unanswered questions, see [here](http://meta.stackexchange.com/q/143113), [here](http://meta.math.stackexchange.com/q/1148) or [here](http://meta.math.stackexchange.com/a/9868).2013-06-09

1 Answers 1

2

As Zhen Lin points out:

Hom is always left exact, for any category whatsoever. To be precise, Hom(−,X) maps all colimits to the corresponding limits. This is straightforward abstract nonsense and follows from the definition of colimit/limit.


In response to OP's subsequent comment:

Indeed, the two are equivalent, as mentioned on Wikipedia.