Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

I have 4 topoi $A,B,C,D$ (these are associated to abelian sheaves on some sites) and functors (which corresponds to some push-forward of sheaves)

$F: A\rightarrow B$

$G: B \rightarrow C $

$H: A \rightarrow D$

$K: D \rightarrow C$

I know that $G\circ F= K\circ H$.

For every sheaf $a\in A$ (resp. $b\in B$, $ d\in D$) I know how to compute $R^1 H(a)$ (resp. $R^1G(b)$, resp. $R^1K(d)$). Given such information, is there a way to recover


from these data?

More concretely let $X,Y$ separated, schemes of finite type, $f:X\rightarrow Y$ a projective morphism, $\epsilon_{X}: X_{et}\rightarrow X_{Zar} $, $\epsilon_{Y}: Y_{et}\rightarrow Y_{Zar} $, then $A=D^b(X_{et}), B=D^b(Y_{et}),C=D^b(Y_{Zar}), D=D^b(X_{Zar})$, $a\in Ab(X_{et})$, $F= f_{et,*}, G= \epsilon_{Y,*}, H=\epsilon_{X,*} ,K= f_{Zar,*}$

share|improve this question
A topos is not an abelian category. (The category of internal abelian groups in a topos is.) –  Zhen Lin Jun 14 '12 at 10:24
@ZhenLin I edited it –  ulli Jun 14 '12 at 14:31
@ulli: Perhaps your question is better suited for mathoverflow. –  Martin Brandenburg Jun 17 '12 at 17:34

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Browse other questions tagged or ask your own question.