nLab
cocycle

Context

Cohomology

cohomology

Special and general types

Special notions

Variants

Extra structure

Operations

Theorems

Contents

Idea

From the nPOV, a cohomology set H(X,A)H(X,A) of cohomology classes on an object XX with coefficients in an object AA in an (∞,1)-topos is the decategorification of an hom ∞-groupoid H(X,A)\mathbf{H}(X,A). The objects in this \infty-groupoid are called cocycles . The morphisms are called coboundaries .

For suitable choices of H\mathbf{H} this applies notably to cocycles in

and in particular to

It also encompasses variations such as cocycles in

For a detailed discussion of this and how it relates to various familiar realizations of cocycles, see cohomology and the links provided there.

Realizations of cocycles

The objects in the hom ∞-groupoid H(X,A)\mathbf{H}(X,A) are often expressed in terms of various 1-categorical models for H\mathbf{H}, such as a homotopical category CC equipped with

In all of these cases, cocycles cc on XX with coefficients in AA may be modeled by spans of the form

X FW X˜X \array{ X &\stackrel{\in FW}{\leftarrow}& \tilde X \to X }

in the ordinary category CC, where the morphism on the left is taken from a special class of morphisms (for instance from the class of acyclic fibrations in the case that CC is a category of fibrant objects). In each case the relevant hom-set in the homotopy category H(X,A)=π 0H(X,A)H(X,A) = \pi_0 \mathbf{H}(X,A) is given by the collection of cocycles module an equivalence relation given by coboundaries. In formulas

H(X,A)=colim X˜FWXHom πC(X,A). H(X,A) = colim_{\tilde X \stackrel{\in FW}{\to} X} Hom_{\pi C}(X,A) \,.

For details see the respective discussion at homotopy category, calculus of fractions and category of fibrant objects.

Terminology

In the existing literature on localizations, the spans XFWX˜X X \stackrel{\in FW}{\leftarrow} \tilde X \to X are often not called by a dedicated special term. On the other hand, in the existing literature that explicitly uses the term “cocycle”, often more pedestrian definitions are used and it is not made explicit that morphisms in a homotopy category are being represented.

An notable exception to this is the article

  • Jardine, Cocycle categories (web)

that makes both the abstract concept and the terminology of cocycles explicit and manifest. The author is mainly motivated from the model structure on simplicial presheaves and its variants, which in particular models cocycles and cohomology of abelian sheaf cohomology. But more generally it models nonabelian cohomology. Notably when the underlying space is the point, it models ordinary chain cohomology as well as group cohomology and nonabelian group cohomology.

Notice that this article chooses to work with the full structure of a model category but presents constructions for cocycles entirely analogous to and in fact inspired by those used in a category of fibrant objects or in one equipped with a calculus of fractions. The author emphasizes that he can give a definition where the left leg of the cocycle spans are not required to be acyclic fibrations, but can be any weak equivalences. But all this is just a technical question of how exactly to model a cocycle, not a question of principle of concept. For instance in this context every cocycle defined with respect to a weak equivalence over its domain is cohomologous to one defined with respect to an acyclic fibration over its domain.

In the special case that the category CC is Cat equipped with the folk model structure on Cat, cocycles out of acyclic fibrations – which are k-surjective functors for all kk in this case – have been considered in

There they are called anafunctors.

One could take this as a suggestion to find a dedicated term for spans as above and call generally such a span an anamorphism. An anamorphism would be effectively the same as a cocycle, but the term morphism in it would amplify the nature of cocycles as morphisms.

So

  • a cocycle on XX with coefficients in AA

would correspond to

  • an anamorphism from XX to YY.

Examples

Cochain cocycles

The archetypical example of a notion of cocycles is that of chain cohomology:

a non-negatively graded chain complex V =(V 0 VV 1 VV 2)V_\bullet = (V_0 \stackrel{\partial_V}{\leftarrow} V_1 \stackrel{\partial_V}{\leftarrow} V_2 \stackrel{}{\leftarrow} \cdots) is given. An element vV nv \in V_n is a chain. A linear dual ω:V nk\omega : V_n \to k on its elements is a cochain. The cochains arrange into the cochain complex V =(V 0d VV 1d VV 2):=(V 0 *( V) *V 1 *( V) *V 2 *)V^\bullet = (V^0 \stackrel{d_V}{\to} V^1 \to \stackrel{d_V}{\to} V^2 \to \cdots) := (V_0^* \stackrel{(\partial_V)^*}{\to} V_1^* \to \stackrel{(\partial_V)^*}{\to} V_2^* \to \cdots)

A cochain ωV n\omega \in V^n is a cocycle if it is closed with respect to the differential d Vd_V in that

d Vω=0. d_V \omega = 0 \,.

One sees that such cocycles are in bijection to morphisms of chain complexes

ω:V (B nk) , \omega : V_\bullet \to (\mathbf{B}^n k)_\bullet \,,

where on the right we have the Eilenberg-MacLane object of the ground field kk, which is the chain complex trivial everywhere except in degree nn, where it is kk:

B nk=(00k0). \mathbf{B}^n k = (0 \leftarrow \cdots \leftarrow 0 \leftarrow k \leftarrow 0 \leftarrow \cdots) \,.

By definition such a morphism is a collection of morphisms ω r:V r(B nk) r\omega_r : V_r \to (\mathbf{B}^n k)_r, of which by definition only ω nV n *=V n\omega_n \in V_n^* = V^n can be nontrivial.

For the collection of these maps to be a morphism of chain complexes they have to make all squares in sight commute. The only nontrivial one in this case is the one

V n+1 0 V V n ω k. \array{ V_{n+1} &\to& 0 \\ {}^{\mathllap{\partial_V}}\downarrow && \downarrow \\ V_n &\stackrel{\omega}{\to}& k } \,.

Its commutativity means in formulas that

ω V=d Vω=0, \omega \circ \partial_V = d_V \omega = 0 \,,

which is the cocycle condition from above.

In most cases the morphism ω:V B nk\omega : V_\bullet \to \mathbf{B}^n k defined this way is already a morphism in the relevant (∞,1)-category H Ch \mathbf{H}_{Ch_\bullet} of chain complexes: this is modeled for instance by the projective model structure on chain complexes. In this every object is fibrant, and the cofibrant objects are those consisting of projective kk-modules. If we assume that all our modules are projective (for instance in the archetypical case that our modules are simply vector spaces), then ω:V B nk\omega : V_\bullet \to \mathbf{B}^n k is a cocycle in H Ch \mathbf{H}_{Ch_\bullet} from the above abstract nonsense point of view. For its cohomology class we may write

[ω]H n(V ,k)=π 0H Ch (V ,B nk). [\omega] \in H^n(V_\bullet,k) = \pi_0 \mathbf{H}_{Ch_\bullet}(V_\bullet, \mathbf{B}^n k) \,.

Objects classified by cocycles

One says for ωH(X,A)\omega \in \mathbf{H}(X,A) a cocycle, that the object classified by the cocycle is its homotopy fiber PXP \to X regarded as an object in the overcategory over XX.

This homotopy fiber may be thought of as the internal principal ∞-bundle in H\mathbf{H} with classifying map ω\omega.

H n=Z n/B nH_n = Z_n/B_n(chain-)homology(cochain-)cohomologyH n=Z n/B nH^n = Z^n/B^n
C nC_nchaincochainC nC^n
Z nC nZ_n \subset C_ncyclecocycleZ nC nZ^n \subset C^n
B nC nB_n \subset C_nboundarycoboundaryB nC nB^n \subset C^n

Revised on August 27, 2012 00:52:42 by Urs Schreiber (89.204.139.66)