17
$\begingroup$

Suppose $\mathcal{E}$ is a topos and $\mathcal{F}\subseteq \mathcal{E}$ is a reflective subcategory with reflector $L$, say. Under what conditions is $\mathcal{F}$ a topos?

A well-known sufficient condition for this is that $L$ be left exact. But this is certainly not necessary. For instance, let $f\colon C\to D$ be a functor such that $f^*\colon Set^D \to Set^C$ is fully faithful. A sufficient condition for this is given in C3.3.8 of Sketches of an Elephant — for every $d\in D$ the category of $c\in C$ with $d$ exhibited as a retract of $f(c)$ must be connected, and every morphism of $C$ must be a retract of the $f$-image of some morphism of $C$. These conditions do not imply that $\mathrm{Lan}_f$ is left exact, but nevertheless they allow us to identify $Set^D$ with a reflective subcategory of $Set^C$, and of course both are toposes.

Is there any general sufficient condition for a reflective subcategory of a topos to be a topos which includes this case?

$\endgroup$
5
  • 1
    $\begingroup$ from "Topos Theory" (p.Johnstone), Exercise1 p. 43, a general condiction is that the (reflexive) subcategory has power objects, and is ereditary for subobjects of (each) power object. $\endgroup$ Dec 11, 2011 at 9:57
  • 1
    $\begingroup$ @Buschi Sergio - sure, but that condition is almost identical to saying "the subcategory is a topos". I'd like some condition that is easier to verify! $\endgroup$ Dec 11, 2011 at 23:06
  • 1
    $\begingroup$ What is the role of the reflector? $\endgroup$ Dec 12, 2011 at 14:31
  • 1
    $\begingroup$ I find this Street article, may be you just know it "Notions of topos" R. Street journals.cambridge.org/… $\endgroup$ Jun 3, 2012 at 20:30
  • 1
    $\begingroup$ @Buschi Sergio - Yes, I know it. I don't think it answers the question. $\endgroup$ Jun 5, 2012 at 3:16

1 Answer 1

10
$\begingroup$

Let me pay no attention to size issues:

Denote the adjunction by $R$ right adjoint to $L$. Equip $\mathcal{E}$ with the canonical topology $J$ (so generated by jointly surjective epimorphisms), so that we have $Sh_J(\mathcal{E}) \simeq \mathcal{E}.$ Denote the induced sheafication functor $a:Set^{\mathcal{E}^{op}} \to \mathcal{E}.$ Now consider the Yoneda embedding $y:\mathcal{F} \hookrightarrow Set^{\mathcal{F}^{op}}.$ Since $\mathcal{F}$ is reflective in $\mathcal{E}$, it is cocomplete, so we can left-Kan extend the identify functor of $\mathcal{F}$ along Yoneda, to get a functor $a_\mathcal{F}:Set^{\mathcal{F}^{op}} \to \mathcal{F}$ which, by construction is left-adjoint to the Yoneda embedding.. EDIT: Since $\mathcal{E}$ is a topos, and therefore total, so is the reflective subcategory $\mathcal{F}.$ So we get to get a functor $a_\mathcal{F}:Set^{\mathcal{F}^{op}} \to \mathcal{F}$ which is left-adjoint to this Yoneda embedding. However, it is also canonically equivalent to $L \circ a \circ R_{!}$ since this composite is colimit preserving and along representables is the identity. So, it follows that $\mathcal{F}$ is a (Grothendieck) topos if and only if the composite $L \circ a \circ R_{!}$ is left-exact.

Note: By one of the comments I made below, $a \circ R_!$ is left-exact, so $\mathcal{F}$ is a topos if and only if $L$ preserves those finite limits of the form $\rho:\Delta_{aR_!(C)} \Rightarrow a \circ R_! \circ G,$ with $G:D \to Set^{\mathcal{F}^{op}}$ a finite diagram.

$\endgroup$
6
  • 1
    $\begingroup$ Interesting approach! I think your ignoring of size issues is in danger of being wrong when you construct $a_{\mathcal{F}}$ by "cocompleteness" of $\mathcal{F}$, since $\mathcal{F}$ will almost never have colimits of the same size as itself. However, I think you're in luck: any reflective subcategory of a total category (nlab.mathforge.org/nlab/show/total+category) is total, and that suffices to show the existence of $a_{\mathcal{F}}$. Why is $L \circ a \circ R_!$ the identity on representables? $\endgroup$ Dec 12, 2011 at 18:10
  • 1
    $\begingroup$ Ah, good point. I guess I should be careful about sizes. Anyhow, $R_!$ is the left-Kan extension along Yoneda of the functor $\mathcal{F} \to Set^{\mathcal{E}^{op}},$ which sends $X \in \mathcal{F}$ to $Hom_{\mathcal{E}}(blank,X),$ which is representable. And, $a$ is the left-Kan extension along Yoneda of the identity functor, so it follows that for $X \in \mathcal{F},$ $a\circ R_!{X}=X$ which is secretly in $\mathcal{F},$ so the reflector does nothing, yielding $L \circ a \circ R_!(X)=X.$ $\endgroup$ Dec 12, 2011 at 18:27
  • 1
    $\begingroup$ Just an additional cute remark: Notice that $\mathcal{F}$ has finite limits. Now, $R_!$ is the left-Kan extension along Yoneda of $y \circ R$, which is left-exact, hence flat, because of the finite limits in $\mathcal{F}$, hence $R_!$ is left-exact. So is $a$. In particular, this tells us something we already knew, that if $L$ is left-exact, then $\mathcal{F}$ is a topos. $\endgroup$ Dec 12, 2011 at 19:12
  • 1
    $\begingroup$ That's actually quite cute! Note that it suffices to restrict even further to ask only that $L$ preserve pullbacks in the image of $a \circ R_!$, since any reflector preserves the terminal object. I wonder whether there is a way to refine this into something more manageable that doesn't refer to arbitrary pullbacks of presheaves on the large category $\mathcal{F}$. $\endgroup$ Dec 13, 2011 at 6:38
  • 1
    $\begingroup$ In particular, you've shown that there is a theorem of the sort I was hoping for: for any reflective subcategory $\mathcal{F}$ of a topos $\mathcal{E}$, there is a class of pullbacks in $\mathcal{E}$ such that $\mathcal{F}$ is a topos if and only if its reflector preserves those pullbacks. Even if it would be nice to have a more explicit description of those pullbacks. $\endgroup$ Dec 13, 2011 at 6:41

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.