Axiomatic homology
The term homology theory comes from algebraic topology and axiomatically characterizes the way in which singular homology or the Bordism theories assign Abelian groups to topological spaces (homology groups, see homology theory ). The term axiomatic homology summarizes the investigation of those homology theories that satisfy the Eilenberg-Steenrod axioms .
Eilenberg-Steenrod axioms
Functors and natural transformations
Let for all functors be from the category of topological pairs of spaces (ie pairs of topological spaces such that ) to the category of Abelian groups. For an illustration , the abbreviation is denoted by. A mapping from a pair of rooms to a pair of rooms is a continuous mapping from to , so that . Furthermore, let us define a natural transformation from the functor to the functor for each , with that functor belonging to the category of space pairs in itself that assigns the space pair to each space pair . So assign a homomorphism to each pair of spaces . Here and in the following denotes the pair of rooms . Written out, these conditions form the first three Eilenberg-Steenrod axioms:
1) If is equal to identity, then is also equal to identity
2) For two figures and applies
3)
Further axioms
The more substantive-topological axioms that were designed directly on the model of singular and simplicial homology are the following three:
4) Axiom of Exactness: There is a long exact sequence of groups:
The images and are each induced by the corresponding inclusions. The mapping is defined by the natural transformation .
5) Homotopy axiom: Let two continuous mappings be homotopy . Then the two induced group homomorphisms are identical.
6) Ausschneidungsaxiom: Be a pair of spaces and so that the completion of is contained in the interior of . Then the mapping induced by the inclusion is an isomorphism .
A family of functors and natural transformations that fulfill the above axioms is called homology theory or generalized homology theory . If you turn all arrows around in the axioms, i.e. if you consider contravariant functors , you get the axioms for a cohomology theory .
Dimensional axiom
Classically, the so-called dimensional axiom was added to the axioms mentioned:
7) It applies
for an Abelian group .
Only then was a family of functors and natural transformations called a homology theory. This is what happened in the book Foundations of Algebraic Topology by Eilenberg and Steenrod from 1952, where these axioms were first discussed. At that time, only homology theories that fulfilled the dimensional axiom were known. However, other examples were discovered later, as explained under Examples. In general, the homology groups of a point are called the coefficients of a homology theory.
Inferences
Simple conclusions
Direct implications are that for all and to Ausschneidungssatz and for homotopy equivalent to . From this it follows also for homotopy equivalent to .
Mayer-Vietoris sequence
A very practical aid is the so-called Mayer-Vietoris sequence, which can be proven by chasing a diagram from the axiom of cutout and exactness. This means that for a space , two closed subsets and , so that the union of the interior of with the interior of is equal , and a subset, the following sequence is exact :
A simple application is that what you just in the sequence and the two copies of with or referred to (the intersection is empty, so also ).
Note: The Mayer-Vietoris sequence applies to homology theories if the inclusions induce isomorphisms on the homology groups of . This is especially the case with the above requirement because of the cutting axiom.
Suspension isomorphism
With the help of the Mayer-Vietoris sequence one can also prove that the hanging isomorphism is valid, where the hanging of denotes and a point in . To do this, one sets in the Mayer-Vietoris sequence and as in the drawing and a point in the intersection of and . The subspaces and are both homotopy equivalent to one point, their intersection too . The exact sequence becomes like this:
This shows the required isomorphism.
Homology of the spheres
If one now assumes that the dimensional axiom also applies, one can calculate the homology of the sphere with it . It only consists of two points. It therefore applies according to the cut-out theorem and for n> 0. According to the suspension isomorphism, it holds inductively for now and for , since the suspension of the (n-1) sphere is the n-sphere. If you now look at the exact sequence for the couple , you get that for for and and otherwise for . For one gets directly what is the same for and otherwise. One can show that one can now calculate the homology of every finite CW complex with the help of the cellular homology . So for finite CW complexes one gets the same results for homology theories that satisfy the dimensional axiom as for singular homology .
Eilenberg-Steenrod uniqueness theorem
The historical situation in 1945, when Eilenberg and Steenrod first published the Eilenberg-Steenrod axioms mentioned above, was that there were several proposals for defining the homology of a room, all of which had similar properties and which at least applied to most rooms calculated the same groups. The most prominent example is certainly the singular homology. Further examples are the now almost forgotten Vietoris homology and, on the cohomology side, the Čech cohomology . Eilenberg and Steenrod wanted to put these theories on a common basis and show that they calculate the same groups on a large class of spaces.
In order to formulate their uniqueness theorem precisely, we must first define a natural transformation between two theories of homology. This is a natural transformation between two functors and , both of which form a homology theory that is compatible with the connection homomorphism. That means that for each room pair and each one must apply that the diagram
commutes.
Eilenberg and Steenrod's theorem of uniqueness now states that every natural transformation of two homology theories that is an isomorphism on all spheres is also an isomorphism on all finite CW complexes.
This theorem can be accepted under the additional assumption that the two theories of homology use the so-called Milnor or Wedge axiom
meet, tighten. Then it is true that under the same conditions the natural transformation is an isomorphism on all CW complexes. If one additionally demands that images which induce isomorphisms on all homotopy groups also induce isomorphisms on all homology groups , the natural transformation is even an isomorphism on all topological spaces.
Reduced theories of homology
It turns out that it is useful for many purposes to include the base point in a homology theory without generally defining relative groups. This is particularly useful when comparing homology groups to homotopy groups . These reduced homology theories can be described axiomatically as follows.
Let for each functor be from the category of topological spaces to the category of Abelian groups. Furthermore, there are natural transformations , whereby the insertion functor is on the category of dotted topological spaces. The following axioms should apply:
1) Each dotted figure induces a long exact sequence
Here is the image cone of f.
2) If two mappings are homotopic, then applies .
3) The natural transformation is an isomorphism for all n and X.
It can be shown that any homology theory by defining a reduced homology theory. The other way round defines a reduced homology theory by means of a homology theory, wherein the inclusion designated.
Since the reduced homology of a point is equal to zero in the case of singular homology, the homology of the 0-sphere is referred to here as the coefficients.
Examples
Singular homology
The most basic and most important example of a homology theory is the singular homology with coefficients in a group G. It was the first known homology theory that is defined on all topological spaces. As stated in the corresponding article, it satisfies all of the Eilenberg-Steenrod axioms, including the dimensional axiom. The singular homology also fulfills the Milnor axiom and the condition that isomorphisms on homotopy groups induce isomorphisms on homology groups.
Bordism theories
The simplest theory of Bordism is that of unoriented Bordism. It was developed by René Thom in the mid-1950s .
Two compact, unbounded manifolds M and N are called bordant if there is a bounded manifold W such that . One can show that this relation is an equivalence relation . The equivalence classes are called Bordism classes . Using the disjoint union and the Cartesian product , one can define addition and multiplication on the Bordism classes. They thus form a ring. An example for two bordant manifolds is the n- sphere and the empty set, which are bordant by means of the (n + 1) -dimensional full sphere. Examples of manifolds that are not bordant to the empty set are the point and the 2-dimensional real projective space .
A " singular p-manifold M in a topological space X" is a pair (M, f), where f is a mapping from M to X and M is a p-dimensional manifold. Two such singular manifolds (M, f) and (N, g) are called bordant if they are bordant over a manifold W and there is a map F from W to X which, restricted to M and N, results in mappings f and g, respectively. The Abelian group generated by the singular p-manifolds, from which the Bordism relation is divided, is denoted by . You can also define relative groups in a similar way. These form a homology theory. The coefficients, ie the homology of one point, are exactly the abovementioned Bordism ring. It shows that it is not zero and that the unoriented Bordism does not fulfill the dimensional axiom.
If you provide the manifolds with additional structures, such as an orientation or an almost complex structure , you get many more examples of Bordism theories.
Stable homotopy theory
The homotopy groups of a room do not form a reduced homology theory. They obviously satisfy the homotopy axiom, but Freudenthal's suspension theorem guarantees the suspension isomorphism only in a certain area. The long exact sequence also creates difficulties.
Using Freudenthal's suspension theorem , however, one can use the homotopy groups to get a reduced theory of homology. According to the suspension theorem , homomorphisms are obtained which, for k> N, are isomorphisms for a suitable N. Here refers to the k-th device to attach . The stable homotopy groups are defined . The suspension isomorphism is now valid by definition and the existence of a long exact sequence can also be shown.
The coefficients of the stable homotopy theory are the stable homotopy groups of the sphere , since the k-th suspension of the 0-sphere results in the k-sphere. These are extremely difficult to calculate and only partially known, although great efforts have been made in this direction.
Spectra
A spectrum is a sequence of dotted spaces with images . Alternatively, you can also specify the adjoint mappings . Here stands for the loop space from , ie the dotted images from the to provided with the compact-open topology . If there is a homotopy equivalence for every n, it is called an omega spectrum.
There is a very close connection between spectra and homology and cohomology theories. One defines
so one can show that this forms a reduced homology theory. That stands for the direct Limes and that for the Smash product . On the other hand, each reduced homology theory can in this way by a spectrum represent .
For an omega spectrum is a reduced cohomology theory. According to Brown's representation theorem, every reduced cohomology theory can be represented in this way.
The representing spectrum for both the singular homology and the singular cohomology with coefficient group G consists of the Eilenberg-MacLane spaces . These are CW complexes which have G as the nth homotopy group and whose other homotopy groups all disappear. Since there is always a , one can always find a homotopy equivalence , which makes it an omega spectrum.
literature
- Samuel Eilenberg & Norman Steenrod : Foundations of Algebraic Topology. Princeton University Press, 1964 (first textbook with the Eilenberg-Steenrod axioms)
- Allen Hatcher: Algebraic Topology . Cambridge University Press, 2002, ISBN 0521795400 (general introduction to algebraic topology)
- Robert M. Switzer: Algebraic Topology - Homology and Homotopy Springer, 2000, ISBN 3540427503 (goes into detail on the theory of the various generalized homology and cohomology theories and that of the spectra)