In mathematics, cellular homology in algebraic topology is a homology theory for the category of CW-complexes. It agrees with singular homology, and can provide an effective means of computing homology modules.
If is a CW-complex with n-skeleton , the cellular-homology modules are defined as the homology groups Hi of the cellular chain complex
where is taken to be the empty set.
The group
is free abelian, with generators that can be identified with the -cells of . Let be an -cell of , and let be the attaching map. Then consider the composition
where the first map identifies with via the characteristic map of , the object is an -cell of X, the third map is the quotient map that collapses to a point (thus wrapping into a sphere ), and the last map identifies with via the characteristic map of .
The boundary map
is then given by the formula
where is the degree of and the sum is taken over all -cells of , considered as generators of .
The following examples illustrate why computations done with cellular homology are often more efficient than those calculated by using singular homology alone.
The n-dimensional sphere Sn admits a CW structure with two cells, one 0-cell and one n-cell. Here the n-cell is attached by the constant mapping from to 0-cell. Since the generators of the cellular chain groups can be identified with the k-cells of Sn, we have that for and is otherwise trivial.
Hence for , the resulting chain complex is
but then as all the boundary maps are either to or from trivial groups, they must all be zero, meaning that the cellular homology groups are equal to
When , it is possible to verify that the boundary map is zero, meaning the above formula holds for all positive .
Cellular homology can also be used to calculate the homology of the genus g surface . The fundamental polygon of is a -gon which gives a CW-structure with one 2-cell, 1-cells, and one 0-cell. The 2-cell is attached along the boundary of the -gon, which contains every 1-cell twice, once forwards and once backwards.
This page is automatically generated and may contain information that is not correct, complete, up-to-date, or relevant to your search query. The same applies to every other page on this website. Please make sure to verify the information with EPFL's official sources.
In mathematics, complex projective space is the projective space with respect to the field of complex numbers. By analogy, whereas the points of a real projective space label the lines through the origin of a real Euclidean space, the points of a complex projective space label the complex lines through the origin of a complex Euclidean space (see below for an intuitive account). Formally, a complex projective space is the space of complex lines through the origin of an (n+1)-dimensional complex vector space.
In mathematics, especially in homological algebra and algebraic topology, a Künneth theorem, also called a Künneth formula, is a statement relating the homology of two objects to the homology of their product. The classical statement of the Künneth theorem relates the singular homology of two topological spaces X and Y and their product space . In the simplest possible case the relationship is that of a tensor product, but for applications it is very often necessary to apply certain tools of homological algebra to express the answer.
In algebraic topology, singular homology refers to the study of a certain set of algebraic invariants of a topological space X, the so-called homology groups Intuitively, singular homology counts, for each dimension n, the n-dimensional holes of a space. Singular homology is a particular example of a homology theory, which has now grown to be a rather broad collection of theories. Of the various theories, it is perhaps one of the simpler ones to understand, being built on fairly concrete constructions (see also the related theory simplicial homology).
Homology is one of the most important tools to study topological spaces and it plays an important role in many fields of mathematics. The aim of this course is to introduce this notion, understand its
This course is an introduction to the theory of Riemann surfaces. Riemann surfaces naturally appear is mathematics in many different ways: as a result of analytic continuation, as quotients of complex
Singular cohomology is defined by dualizing the singular chain complex for spaces. We will study its basic properties, see how it acquires a multiplicative structure and becomes a graded commutative a
Let G be either a simple linear algebraic group over an algebraically closed field of characteristic l>0 or a quantum group at an l-th root of unity. The category Rep(G) of finite-dimensional G-modules is non-semisimple. In this thesis, we develop new tech ...
EPFL2022
The real homology of a compact Riemannian manifold M is naturally endowed with the stable norm. The stable norm on H-1 (M. R) arises from the Riemannian length functional by homogenization. It is difficult and interesting to decide which norms on the finit ...