Synonyms for cochain or Related words with cochain
Examples of "cochain"
groups can be made into a
complex formula_19 by defining the coboundary operator
For example, a 1-
"f" is a 1-coboundary if there exists a 0-
"h" such that formula_30
Alexander had by 1930 defined a first notion of a
, by thinking of an "i"-
on a space "X" as a function on small neighborhoods of the diagonal in "X".
Thus a (q−1)-
"f" is a cocycle if for all "q"-simplices σ the cocycle condition formula_27 holds. In particular, a 1-
"f" is a 1-cocycle if
The construction starts with a product of cochains: if "c" is a "p"-
defined by contracting a singular chain formula_2 with a singular
formula_3 by the formula :
satisfying formula_40. This is a
complex known as the "de Rham complex".
One may check that formula_8, so this defines a
complex whose cohomology can be computed.
There is an analogous definition using injective resolutions and
One important property of the exterior derivative is that . This means that the exterior derivative defines a
Some 2-cocycles can be obtained from 1-cochains. A 1-
on is simply a linear map,
The Lie algebra cohomology of the Lie algebra formula_10 over the field formula_11, with values in the left formula_10-module formula_13 can be computed using the "Chevalley-Eilenberg complex" formula_14. The formula_15-cochains in this complex are the alternating formula_11-multilinear functions formula_17 of formula_15 variables with values in formula_13. The coboundary of an formula_15-
is the formula_21-
formula_22 given by
A variant on the concept of chain complex is that of "
complex formula_3 is a sequence of abelian groups or modules ..., formula_4, formula_5, formula_6, formula_7, formula_8, ... connected by homomorphisms formula_9 such that the composition of any two consecutive maps is the zero map: formula_10 for all "n":
The index formula_12 in either formula_13 or formula_14 is referred to as the degree (or dimension). The only difference in the definitions of chain and
complexes is that, in chain complexes, the boundary operators decrease dimension, whereas in
complexes they increase dimension.
The elements of the individual groups of a chain complex are called chains (or cochains in the case of a
complex.) The image of "d" is the group of boundaries, or in a
complex, coboundaries. The kernel of "d" (i.e., the subgroup sent to 0 by "d") is the group of cycles, or in the case of a
complex, cocycles. From the basic relation, the (co)boundaries lie inside the (co)cycles. This phenomenon is studied in a systematic way using (co)homology groups.
An example of graded vector space is associated to a chain complex, or
complex "C" of vector spaces; the latter takes the form
On the other hand, the differential forms, with exterior derivative, , as the connecting map, form a
complex, which defines the de Rham cohomology groups .
and morphisms the chain maps. (It is equivalent to consider "
complexes" of objects of "A", where the numbering is written as
is called a "q"-cocycle if it is in the kernel of δ, hence formula_26 is the set of all "q"-cocycles.
is called a "q"-coboundary if it is in the image of "δ" and formula_29 is the set of all "q"-coboundaries.
Copyright © 2017