Search results
Results From The WOW.Com Content Network
In mathematics, specifically in homology theory and algebraic topology, cohomology is a general term for a sequence of abelian groups, usually one associated with a topological space, often defined from a cochain complex. Cohomology can be viewed as a method of assigning richer algebraic invariants to a space than homology.
If we take a series of short exact sequences linked by chain complexes (that is, a short exact sequence of chain complexes, or from another point of view, a chain complex of short exact sequences), then we can derive from this a long exact sequence (that is, an exact sequence indexed by the natural numbers) on homology by application of the zig ...
In homological algebra and algebraic topology, a spectral sequence is a means of computing homology groups by taking successive approximations. Spectral sequences are a generalization of exact sequences, and since their introduction by Jean Leray (1946a, 1946b), they have become important computational tools, particularly in algebraic topology, algebraic geometry and homological algebra.
More formally, the Kodaira–Spencer map is [2]: (,) where is a smooth proper map between complex spaces [3] (i.e., a deformation of the special fiber =.); is the connecting homomorphism obtained by taking a long exact cohomology sequence of the surjection | whose kernel is the tangent bundle .
5.2 Cohomology of free groups. 5.2.1 Using a resolution. ... Using explicit calculations, one still obtains a truncated long exact sequence in cohomology ...
The Gysin sequence is a long exact sequence not only for the de Rham cohomology of differential forms, but also for cohomology with integral coefficients. In the integral case one needs to replace the wedge product with the Euler class with the cup product, and the pushforward map no longer corresponds to integration.
Let X be a topological space and A, B be two subspaces whose interiors cover X. (The interiors of A and B need not be disjoint.) The Mayer–Vietoris sequence in singular homology for the triad (X, A, B) is a long exact sequence relating the singular homology groups (with coefficient group the integers Z) of the spaces X, A, B, and the intersection A∩B. [8]
Such a sequence is shorthand for the following commutative diagram: where the rows are exact sequences and each column is a chain complex. The zig-zag lemma asserts that there is a collection of boundary maps : (),