Not signed in (Sign In)

Not signed in

Want to take part in these discussions? Sign in if you have an account, or apply for one below

  • Sign in using OpenID

Discussion Tag Cloud

Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.

Welcome to nForum
If you want to take part in these discussions either sign in now (if you have an account), apply for one now (if you don't).
    • CommentRowNumber1.
    • CommentAuthorzskoda
    • CommentTimeFeb 20th 2012
    • (edited Feb 20th 2012)

    A short exact sequence of abelian coefficient sheaves induces a long exact sequence of abelian Čech cohomologies with coefficients in those, provided we have some topological assumption satisfied. The failure in general is due to the fact that the global sections for sheaves is only a left exact and not an exact functor, so one does not have the short exact sequence at the level of groups for fixed cover, and hence no long exact sequence; this can be repaired if one gets to sufficiently fine local cover where global sections are well behaved. For example things work for the algebraic varieties in Zariski topology, as well as for all paracompact Hausdorff spaces. In full generality, it is however not true, and the long exact sequence has to be modified. There is a careful treatment (paragraph 24 for the general case) in Serre’s FAC article where he introduces something he calls H 0H_0 instead of HH to repair the sequence.

    Is there something more modern about the issue ? Is this related to the issues of hypercover versus Čech discussion elsewhere or this is a different issue at hand ? Do we have any related discussion in nnLab ?

    • CommentRowNumber2.
    • CommentAuthorUrs
    • CommentTimeFeb 20th 2012
    • (edited Feb 20th 2012)

    A short exact sequence of abelian coefficient sheaves induces a long exact sequence of abelian Čech cohomologies with coefficients in those, provided we have some topological assumption satisfied. The failure in general is due to the fact that the global sections for sheaves is only a left exact and not an exact functor, so one does not have the short exact sequence at the level of groups for fixed cover, and hence no long exact sequence;

    This is not quite correct: it is true that forming Cech cocycles will not in general send short exact sequences to short exact sequences of cocycles, but when those topological conditions are satisfied, that you allude to, it will always send it directly to a long fiber sequence.

    Notice that a short exact sequence of cocycles is not homotopy-meaningful anyway. Cocycles form an \infty-groupoid and it makes sense to say they sit in a fiber sequence, not in a short exact sequence.

    More in detail: if ABCA \to B \to C is a short exact sequence of group objects in Sh(C)Sh(C), then B qAB qBB qC\mathbf{B}^q A \to \mathbf{B}^q B \to \mathbf{B}^q C is a homotopy fiber sequence in H:=Sh (C)\mathbf{H} := Sh_\infty(C) for all nn. Therefore for all XHX \in \mathbf{H} also H(X,B qA)H(X,B qB)H(X,B qC)\mathbf{H}(X, \mathbf{B}^q A) \to \mathbf{H}(X, \mathbf{B}^q B)\to \mathbf{H}(X, \mathbf{B}^q C) is a fiber sequence (now in Grpd\infty Grpd) and so we get a long sequence in cohomology

    H q1(X,C)H q(X,A)H q(X,B)H q(X,C)H q+1(X,A). \cdots \to H^{q-1}(X, C) \to H^q(X, A) \to H^q(X, B) \to H^q(X, C) \to H^{q+1}(X, A) \to \cdots \,.

    Cech cocycles are a way to model H(X,)\mathbf{H}(X,-), with those “topological assumpotions” being sufficient conditions for making this work. So if they are satisfied, we always have the long exact sequence in cohomology induced from a short exact sequence of coefficient groups.

    It will not, in general. come from a short exact sequence of cocycles. But that is something evil to ask for anyway.

    • CommentRowNumber3.
    • CommentAuthorzskoda
    • CommentTimeFeb 21st 2012
    • (edited Feb 21st 2012)

    Well, cocycle level was here just a hint. Of course, thank you for pointing out the true meaning as fiber sequence for the case when things work.

    I am clearly interested in what is known (since Serre) when the topological assumptions are not satisfied. The solution in Serre, with introducing “H 0H_0”, looks a bit like a hack to me, and I would expect something more by nowdays. So my question is still posed.