Search results
Results From The WOW.Com Content Network
For example, one can define the cohomology of a topological space X with coefficients in any complex of sheaves, earlier called hypercohomology (but usually now just "cohomology"). From that point of view, sheaf cohomology becomes a sequence of functors from the derived category of sheaves on X to abelian groups.
An example of a second cohomology group is the Brauer group: ... Using explicit calculations, one still obtains a truncated long exact sequence in cohomology ...
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 ...
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]
S (k,k) is the polynomial ring R; this is an example of Koszul duality. By the general properties of derived functors, there are two basic exact sequences for Ext. [6] First, a short exact sequence of R-modules induces a long exact sequence of the form
By the long exact sequence of sheaf cohomology, the cohomology of any sheaf can be computed from any acyclic resolution of E (rather than an injective resolution). Injective sheaves are acyclic, but for computations it is useful to have other examples of acyclic sheaves.
Another example comes from the holomorphic log complex on a complex manifold. [1] Let X be a complex algebraic manifold and j : X ↪ Y {\displaystyle j:X\hookrightarrow Y} a good compactification. This means that Y is a compact algebraic manifold and D = Y − X {\displaystyle D=Y-X} is a divisor on Y {\displaystyle Y} with simple normal ...
A "homology-like" theory satisfying all of the Eilenberg–Steenrod axioms except the dimension axiom is called an extraordinary homology theory (dually, extraordinary cohomology theory). Important examples of these were found in the 1950s, such as topological K-theory and cobordism theory, which are extraordinary cohomology theories, and come ...