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

Site Tag Cloud

2-category 2-category-theory abelian-categories adjoint algebra algebraic algebraic-geometry algebraic-topology analysis analytic-geometry arithmetic arithmetic-geometry book bundles calculus categorical categories category category-theory chern-weil-theory cohesion cohesive-homotopy-type-theory cohomology colimits combinatorics complex complex-geometry computable-mathematics computer-science constructive cosmology deformation-theory descent diagrams differential differential-cohomology differential-equations differential-geometry digraphs duality elliptic-cohomology enriched fibration foundation foundations functional-analysis functor gauge-theory gebra geometric-quantization geometry graph graphs gravity grothendieck group group-theory harmonic-analysis higher higher-algebra higher-category-theory higher-differential-geometry higher-geometry higher-lie-theory higher-topos-theory homological homological-algebra homotopy homotopy-theory homotopy-type-theory index-theory integration integration-theory k-theory lie-theory limits linear linear-algebra locale localization logic mathematics measure-theory modal modal-logic model model-category-theory monad monads monoidal monoidal-category-theory morphism motives motivic-cohomology nforum nlab noncommutative noncommutative-geometry number-theory of operads operator operator-algebra order-theory pages pasting philosophy physics pro-object probability probability-theory quantization quantum quantum-field quantum-field-theory quantum-mechanics quantum-physics quantum-theory question representation representation-theory riemannian-geometry scheme schemes set set-theory sheaf sheaves simplicial space spin-geometry stable-homotopy-theory stack string string-theory superalgebra supergeometry svg symplectic-geometry synthetic-differential-geometry terminology theory topology topos topos-theory tqft type type-theory universal variational-calculus

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.
    • CommentAuthorDmitri Pavlov
    • CommentTimeMar 6th 2020

    Corrected Unicode.

    diff, v36, current

    • CommentRowNumber2.
    • CommentAuthorperezl.alonso
    • CommentTimeMay 18th 2024

    Why is it that when it comes to sheaves all of the attention is put on cohomology and almost nothing on homology? I have barely found any articles on sheaf homology.

    • CommentRowNumber3.
    • CommentAuthorUrs
    • CommentTimeMay 18th 2024
    • (edited May 18th 2024)

    That’s a very good question.

    The reason is that:

    • cohomology is homotopy groups of derived hom-spaces Hom(,A)Hom(-,A)

    • homology is homotopy groups of derived tensors ()A(-) \otimes A.

    and hom-spaces always exist as soon as there is a category,

    but tensors are (1.) extra structure and (2.) tend to be hard to construct/control in homotopy theory.

    That’s also the reason why there is a lot about “non-abelian cohomology” but almost no “non-abelian homology”:

    For defining cohomology we need no assumption on the coefficient object AA

    (maybe except that it be pointed, but not that it be abelian/stable).

    • CommentRowNumber4.
    • CommentAuthorperezl.alonso
    • CommentTimeMay 18th 2024
    • (edited May 18th 2024)

    I see. But surely this is not a problem in sufficiently nice settings such as quasicoherent sheaves?

    edit: for what it’s worth, this comes from a recent discussion I had with Eric Sharpe where he talked about how (under the hypothesis of quantization by derived categories of sheaves) open string states between D-branes are counted by Ext groups of the corresponding coherent sheaves. However, curiously, it seems Tor never appeared in his work. This would obviously appear if considering homology instead (the analogous case in Hypothesis K would be studying cycles in K-homology, as has been done elsewhere to analyze where D-branes can wrap), yet I couldn’t even find work on homology of sheaves, let alone how it is relevant in physics.

    • CommentRowNumber5.
    • CommentAuthorUrs
    • CommentTimeMay 19th 2024

    It’s not a problem of principle, but it explains the phenomenon of the literature that you observe, I think.

    Regarding flux quantization: This is intrinsically an issue in cohomology, rooted in the fact that flux densities of higher gauge fields are differential forms, hence define classes in (de Rham) cohomology instead of in homology.

    If one gets to the bottom of why this is, it has to do with the same asymmetry as in #1: A flux density is like an observable which as such is a map from chains in spacetime to the real numbers, assigning the field flux through that chain.

    I’d say the relation of K-homology to D-brane worldvolumes is more speculative than that of K-cohomology to RR-flux. If one assumes Hypothesis K then the primary object is K-cohomology, and K-homology plays a role as a secondary tool for understanding K-cohomology. But this is a little vague and maybe we should look at more concrete situations.

    • CommentRowNumber6.
    • CommentAuthorzskoda
    • CommentTimeMay 19th 2024
    • (edited May 19th 2024)

    Another response to 2.

    I would like to add to Urs’s (good) answer 3 by quoting more old-fashioned answer. In topology, cycles are compact and to have good properties one needs to deal with the finiteness and compactness problems somehow. Skljarenko’s classical paper

    • E. G. Sklyarenko, Homology theory and exactness axiom, Uspekhi Mat. Nauk [Russian Math. Surveys], 24, No. 5, 87-140 (1969)

    shows e.g. how to deal with compactifying families of supports to obtain good homology theories in sheaf theoretic generality. Bredon’s book tries something with less success (Sklyarenko wrote around 250 remarks to his book when redacting the Russian translation). One can write naively Čech homology complex, but because passing to the colimit over refinements is not well behaved it fails to satisfy the long exact sequence. Compactifying tools try to avoid such problems.

    One standard case of well behaved homology theory for rather general class of spaces are Borel-Moore homology and Steenrod-Sitnikov homology theory and there is a more general construction called strong homology by (Lisica and) Mardešić.

    • Sibe Mardešić, Strong homology of spaces, In: Strong Shape and Homology. Springer Monographs in Mathematics. Springer, Berlin, Heidelberg, doi

    Strong homology trick is not to do the limits (on refinements) prematurely and essentially to work with coherent homotopy theory at the chain level, not to break the coherences; if we correct Čech homology with these tools we indeed obtain a homology theory, and Mardešić calls this theory a strong homology because it is closely related to strong shape theory (when Lurie talks about shape theory, or Simpson/Toen, they mean strong shape, of course).