1 Definition and basic construction
A homology module is the algebraic object obtained from a chain complex by taking cycles modulo boundaries, together with any natural module structure present on the complex. In practice, it records the failure of a sequence of maps to be exact and packages that information in a form that can be studied with the tools of module theory. Homology modules arise in many branches of mathematics, especially where complexes are used to encode algebraic or geometric data.
1.1 Chain complexes
A chain complex is a sequence of abelian groups or modules connected by boundary maps whose composite is zero. The usual notation is a family of objects and maps \[ \cdots \to C_{n+1} \to C_n \to C_{n-1} \to \cdots \] with the property that each boundary followed by the next is zero. This condition ensures that the image of one map lies inside the kernel of the next, making it possible to form homology.
1.2 Cycles and boundaries
Elements in the kernel of a boundary map are called cycles, while elements in the image of the previous boundary map are called boundaries. Cycles represent classes that are closed under the differential, and boundaries represent those that come from higher-degree elements. The key quotient construction identifies cycles that differ by a boundary, producing the homology object.
1.3 Homology groups as modules
For each degree, the homology is defined as the quotient of cycles by boundaries. When the chain complex carries a module structure over a ring, each homology group inherits a corresponding module structure. This inherited structure is often the main reason the term homology module is used, since it emphasizes the algebraic context in which the quotient is studied.
1.4 Degree conventions
Homology is usually indexed by degree, and the indexing convention may vary between homology and cohomology theories. In chain complexes, differentials typically lower degree, while in cochain complexes they raise degree. Careful attention to grading is important because sign conventions and degree shifts affect how homology modules are defined and compared.
2 Module structure
The module structure on homology comes from the action of the ring on the chain complex and the compatibility of that action with the differential. This structure allows homology to be treated not merely as a collection of groups, but as algebraic objects carrying additional symmetry and scalar action.
2.1 Action of a ring
If each chain group is a module over a ring and the differential is linear over that ring, then the homology inherits a module structure. Scalars act on cycles and boundaries in a way that descends to the quotient. This makes homology modules natural recipients of algebraic information from the original complex.
2.2 Modules over graded rings
In graded settings, the acting ring may itself be graded, and the homology may become a graded module. Each graded piece interacts with the others through the grading rules of the ring. Such structures are common in algebraic topology and in the study of differential graded algebras.
2.3 Compatibility with differentials
For the action to pass to homology, it must commute appropriately with the differential. In a graded context, this means the differential is compatible with the ring action up to the standard grading rules. When this holds, cycles remain stable under the action and boundaries remain boundaries, so the quotient is well defined.
3 Fundamental examples
Homology modules appear in many elementary and advanced constructions. The most familiar examples come from simple chain complexes, algebraic resolutions, and chain complexes built from geometric spaces.
3.1 Homology of simple complexes
A basic example is a complex with one nonzero map between free modules. Depending on whether that map is injective or surjective, the homology may be trivial or may record a kernel or cokernel. These examples illustrate how homology detects algebraic defects in a map.
3.2 Homology of free resolutions
A free resolution is an exact complex of free modules ending in a target module. Its homology is zero in all positive degrees and identifies the module at degree zero. Such resolutions are central in commutative algebra and provide a setting for defining derived invariants.
3.3 Homology from topological chain complexes
In algebraic topology, a space can be associated with a chain complex built from cells or simplices. The resulting homology modules measure topological features such as connected components, holes, and higher-dimensional voids. Over a coefficient ring, these homology groups become modules whose structure depends on the chosen coefficients.
4 Properties
Homology modules satisfy a range of structural properties that make them useful in both pure calculation and theory. These include exactness-related behavior, invariance under suitable equivalences, and predictable responses to grading changes.
4.1 Exactness
Homology is designed to measure failure of exactness. A complex is exact at a given term precisely when its homology there vanishes. Thus nonzero homology indicates the presence of cycles that are not boundaries, or boundaries that are not all of the cycles they might be expected to capture.
4.2 Functoriality
Maps of chain complexes induce maps on homology. This functorial behavior means that homology respects composition and identities, making it possible to compare complexes through induced morphisms. As a result, homology modules serve as algebraic invariants of the complexes from which they arise.
4.3 Invariants under chain homotopy
Chain-homotopic maps induce the same maps on homology. Consequently, homology is invariant under chain homotopy equivalence, a major reason it is such a robust invariant. Complexes that differ by homotopy can therefore have the same homology modules even if their chain-level descriptions are different.
4.4 Grading behavior
The grading of a homology module reflects the grading of the original complex. Degree shifts in the complex lead to corresponding shifts in homology, and graded pieces are often studied separately. This behavior is especially important when one uses homology to track information degree by degree.
5 Computation
Computing homology modules often begins with direct linear-algebraic methods and can be extended using exact sequences or more sophisticated spectral tools. The choice of method depends on the complexity of the chain complex and the type of algebraic structure involved.
5.1 Kernel and image methods
The most direct approach is to compute kernels and images of the differentials and then form the quotient. In finite situations, this can often be reduced to matrix calculations. This method is elementary but can become cumbersome for large or complicated complexes.
5.2 Long exact sequences
Short exact sequences of chain complexes often give rise to long exact sequences in homology. These sequences allow one to compute unknown homology modules from known ones by relating several complexes at once. They are especially useful when a complex is built from simpler pieces.
5.3 Spectral sequence approaches
Spectral sequences provide a systematic method for extracting homology from filtered or double complexes. They organize intermediate approximations to the final homology modules and can simplify computations that would otherwise be difficult. Although technically involved, they are among the most powerful tools in homological algebra.
6 Connections with homological algebra
Homology modules are a central object of homological algebra and connect naturally to derived functors, resolutions, and differential graded structures. These connections reveal deeper relationships between algebraic constructions that at first seem unrelated.
6.1 Derived functors
Many derived functors are defined by taking homology of suitable complexes. This viewpoint explains why homology modules encode obstruction and deviation from exactness. It also places homology at the foundation of many constructions used to measure algebraic complexity.
6.2 Ext and Tor interpretations
The functors Ext and Tor are classic examples of derived functors expressed through homology. Ext is computed from a projective or injective resolution and measures extension data, while Tor is computed from a tensor product with a resolution and measures torsion phenomena. In both cases, the resulting homology modules capture essential algebraic information.
6.3 Projective resolutions
Projective resolutions provide a standard way to compute homology-based invariants. By replacing a module with a resolution by projective modules, one obtains a complex with convenient lifting properties. The homology of constructions derived from such resolutions often yields canonical module invariants.
6.4 Differential graded modules
A differential graded module is a graded module equipped with a differential compatible with the grading. Its homology is naturally a graded module over the homology of the underlying differential graded algebra when one is present. This framework unifies many homological constructions and is especially useful in modern algebra.
7 Applications
Homology modules are used in many areas where algebraic structures need to be extracted from complex systems. Their flexibility makes them valuable in both abstract theory and concrete calculation.
7.1 Commutative algebra
In commutative algebra, homology modules are used to study rings, ideals, and modules through resolutions and derived functors. They help detect depth, regularity, and other structural features. Koszul complexes and related constructions are especially important in this setting.
7.2 Algebraic topology
Algebraic topology is one of the main sources of homology theory. Homology modules classify topological spaces up to broad algebraic features by associating to each space a family of computable invariants. These invariants often reveal global structure that is not visible from local geometry alone.
7.3 Representation theory
In representation theory, homological methods are used to study modules over algebras and the relationships between representations. Homology modules arise in the analysis of extensions, resolutions, and derived categories. They help organize complicated representation-theoretic information into manageable algebraic data.
7.4 Algebraic geometry
Algebraic geometry uses homology modules through sheaf cohomology, derived functors, and resolutions of geometric objects. These tools help describe singularities, intersections, and global properties of varieties or schemes. Homological methods provide a bridge between local algebra and global geometric structure.