Welcome to MathOverflow

Question

4

Given a sheaf $\mathcal{F}$ with respect to some Grothendieck topology, is the cohomological dimension for this sheaf less than or equal to the cohomological dimension of a finer topology?

Example: $cd_{Zar} \leq cd_{Nis} \leq cd_{ét}$.

edited Aug 2 2011 at 16:14

S. Carnahan♦
26k●41●91

asked Aug 2 2011 at 15:37

unknown (google)
277●1●5

There's a tag for just this sort of question, so I added it – David White Aug 2 2011 at 16:07

I added ArXiv subject tags. I hope you don't mind. – S. Carnahan♦ Aug 2 2011 at 16:14

1

Tom: I think our interpretations of the question were different. If $X$ is a finer topology than $Y$, then we have a continuous map $f:X\rightarrow Y$. For any sheaf $F$ on $Y$, we can then consider the sheaf pull-back $f^*F$ obtained by sheafifying the presheaf pullback. I thought the question concerned the comparison between the cohomology of $F$ and that of $f^*F$. At least, this is the 'standard' comparison that comes up in practice. It seems to me that the constant sheaf always pulls back to the constant sheaf. – Minhyong Kim Aug 3 2011 at 5:17

1

Of course, if $G$ is a sheaf on $X$, then the comparison between $G$ and $f_*(G)$, which is what you were doing, is also important. – Minhyong Kim Aug 3 2011 at 5:21

1

"Suppose we have one category with two Grothendieck topologies, one finer than the other. Suppose some presheaf is a sheaf with respect to both of them. If Hn=0 for all n>d in the finer case, must the same be true in the other case?" Yes, that is what i meant. – unknown (google) Aug 3 2011 at 13:28

show 9 more comments

cohomological dimension for coarser/finer topologies

Remember to vote up questions/answers you find interesting or helpful (requires 15 reputation points)

You can accept an answer to one of your own questions by clicking the check mark next to it. This awards 15 reputation points to the person who answered and 2 reputation points to you.