Cohomology Functors: Definition, Contravariance, and Construction

Introduction

Cohomology functors are fundamental tools in homological algebra, providing a way to study the global properties of mathematical objects by analyzing their local behavior through derived functors. These functors generalize the concept of cohomology groups, which measure the failure of exactness in sequences of modules. In the context of sheaf theory, cohomology functors encode information about the topological structure of spaces, such as the cohomology groups of a manifold. The construction of cohomology functors often relies on resolutions of sheaves or complexes, and their contravariance ensures compatibility with dualizing maps in homological algebra. This article explores the definition of cohomology functors, their contravariant nature, and methods for their construction, emphasizing their role in modern mathematics.

Definition of Cohomology Functors

A cohomology functor is a derived functor associated with a left or right exact functor between abelian categories. Given a functor $ F: \mathcal{A} \to \mathcal{B} $, the derived functor $ \mathbf{R}^n F $ is constructed by resolving the object $ F(A) $ in $ \mathcal{B} $ with a projective resolution, followed by applying $ F $ and taking the nth derived functor. For sheaf cohomology, the construction involves resolving sheaves on a topological space using injective resolutions, leading to the computation of cohomology groups $ H^n(X, \mathcal{F}) $. These groups capture information about the global sections of sheaves, such as the Euler characteristic of a manifold. The derived functors are often denoted $ \mathbf{R}^n F $, with $ n = 0 $ corresponding to the original functor.

Contravariance of Cohomology Functors

Cohomology functors are contravariant, meaning that they reverse the direction of morphisms in the category of modules. This property ensures that cohomology theories respect the dualities inherent in algebraic structures. For example, the derived functor $ \mathbf{R}^n F $ of a contravariant functor $ F $ is itself contravariant, aligning with the dual nature of cohomology. In sheaf theory, the contravariance of cohomology functors is critical for preserving the topological invariants of spaces. For instance, the derived functor $ \mathbf{R}^n \Gamma $ of the global section functor $ \Gamma $ on a manifold is contravariant, reflecting the dualization of the space’s structure. This contravariance also extends to higher derived functors, ensuring consistency with dualizing maps and preserving the cohomological data across morphisms.

Construction of Cohomology Functors

The construction of cohomology functors typically involves resolving objects in the category of sheaves or modules using projective or injective resolutions. For sheaves, a standard approach is to use injective resolutions, which allow the computation of cohomology groups via the derived functor $ \mathbf{R}^n \Gamma $. This method is foundational in algebraic geometry, where sheaf cohomology is used to study the global properties of varieties and schemes. Similarly, in homological algebra, the construction of derived functors often relies on the use of resolutions, such as the acyclic complex of free modules, to compute cohomology groups. The derived functors are then defined as the cohomology groups of the resolved complex.

The construction of cohomology functors also involves the use of spectral sequences, which provide a powerful tool for computing derived functors by relating them to other cohomological theories. For example, the Leray spectral sequence connects the cohomology of a space with the cohomology of its fibers, enabling the computation of derived functors through the study of the base space. Additionally, the use of resolutions in cohomology theory ensures that the derived functors are well-defined and compatible with the underlying category’s structure. This approach is particularly important in the study of derived categories, where cohomology functors are used to analyze the homological properties of complexes and their derived versions.

Conclusion

Cohomology functors are essential in homological algebra and geometric topology, providing a framework for understanding the global properties of mathematical objects through their local resolutions. Their contravariant nature ensures consistency with dualizing maps and preserves cohomological invariants across morphisms. The construction of these functors relies on resolutions, spectral sequences, and the properties of the underlying categories, enabling the computation of cohomology groups and their derived functors. By studying cohomology functors, mathematicians gain insights into the structure of spaces, modules, and complexes, as well as the relationships between different cohomological theories. This article has outlined the key concepts of cohomology functors, their contravariance, and their construction, highlighting their significance in advancing mathematical research and applications.