Homology theory: Difference between revisions
Repairing links to disambiguation pages - You can help! - Transversality |
latex to html |
||
Line 6: | Line 6: | ||
[[Image:torus cycles.png|thumb|right|A torus with generators colored in pink and red.]] |
[[Image:torus cycles.png|thumb|right|A torus with generators colored in pink and red.]] |
||
To any [[topological space]] |
To any [[topological space]] ''X'' and any natural number ''k'', one can associate a set ''H<sub>k</sub>''(''X''), whose elements are called (''k''-dimensional) homology classes. There is a well-defined way to add and subtract homology classes, which makes ''H<sub>k</sub>''(''X'') into an [[abelian group]], called the ''k''-th homology group of ''X''. In heuristic terms, the size and structure of ''H<sub>k</sub>''(''X'') gives information about the number of ''k''-dimensional holes in ''X''. For example, if ''X'' is a figure eight, then it has two holes, which in this context count as being one-dimensional. The corresponding homology group ''H''<sub>1</sub>(''X'') can be identified with the group '''Z''' ⊕ '''Z''' of pairs of integers, with one copy of '''Z''' for each hole. While it seems very straightforward to say that ''X'' has two holes, it is surprisingly hard to formulate this in a mathematically rigorous way; this is a central purpose of homology theory. |
||
For a more intricate example, if |
For a more intricate example, if ''Y'' is a [[Klein bottle]] then ''H''<sub>1</sub>(''Y'') can be identified with '''Z''' ⊕ ('''Z'''/2'''Z'''). This is not just a sum of copies of '''Z''', so it gives more subtle information than just a count of holes. |
||
The formal definition of < |
The formal definition of ''H''<sub>1</sub>(''X'') can be sketched as follows. The elements of ''H''<sub>1</sub>(''X'') are one-dimensional cycles, except that two cycles are considered to represent the same element if they are homologous. The simplest kind of one-dimensional cycles are just closed curves in ''X'', which could consist of one or more loops. If a closed curve ''C''<sub>0</sub> can be deformed continuously within ''X'' to another closed curve ''C''<sub>1</sub>, then ''C''<sub>0</sub> and ''C''<sub>1</sub> are homologous and so determine the same element of ''H''<sub>1</sub>(''X''). This captures the main geometric idea, but the full definition is somewhat more complex. For details, see [[singular homology]]. There is also a version (called [[simplicial homology]]) that works when ''X'' is presented as a [[simplicial complex]]; this is smaller and easier to understand, but technically less flexible. |
||
⚫ | For example, let ''T'' be a torus, as shown on the right. Let ''C'' be the pink curve, and let ''D'' be the red one. For integers ''n'' and ''m'', we have another closed curve that goes ''n'' times around ''C'' and then ''m'' times around ''D''; this is denoted by ''nC''+''mD''. It can be shown that any closed curve in ''T'' is homologous to ''nC''+''mD'' for some ''n'' and ''m'', and thus that ''H''<sub>1</sub>(''T'') is again [[isomorphic]] to '''Z''' ⊕ '''Z'''. |
||
For example, let <math>T</math> be a torus, as shown on the right. |
|||
⚫ | Let |
||
==Cohomology== |
==Cohomology== |
||
As well as the homology groups < |
As well as the homology groups ''H<sub>k</sub>''(''X''), one can define cohomology groups ''H<sup>k</sup>''(''X''). In the common case where each group ''H<sub>k</sub>''(''X'') is isomorphic to '''Z'''<sup>''r<sub>k</sub>''</sup> for some ''r<sub>k</sub>'' ∈ '''N''', we just have ''H<sup>k</sup>''(''X'') = Hom(''H<sub>k</sub>''(''X''), '''Z'''), which is again isomorphic to '''Z'''<sup>''r<sub>k</sub>''</sup>, and ''H<sub>k</sub>''(''X'') = Hom(''H<sup>k</sup>''(''X''), '''Z'''), so ''H<sub>k</sub>''(''X'') and ''H<sup>k</sup>''(''X'') determine each other. In general, the relationship between ''H<sub>k</sub>''(''X'') and ''H<sup>k</sup>''(''X'') is only a little more complicated, and is controlled by the [[universal coefficient theorem]]. The main advantage of cohomology over homology is that it has a natural ring structure: there is a way to multiply an ''i''-dimensional cohomology class by a ''j''-dimensional cohomology class to get an (''i''+''j'')-dimensional cohomology class. |
||
==Applications== |
==Applications== |
||
Notable theorems proved using homology include the following: |
Notable theorems proved using homology include the following: |
||
* The [[Brouwer fixed point theorem]]: If |
* The [[Brouwer fixed point theorem]]: If ''f'' is any continuous map from the ball ''B<sup>n</sup>'' to itself, then there is a fixed point ''a'' ∈ ''B<sup>n</sup>'' with ''f''(''a'') = ''a''. |
||
* [[Invariance of domain]]: If ''U'' is an [[open set|open subset]] of < |
* [[Invariance of domain]]: If ''U'' is an [[open set|open subset]] of '''R'''<sup>''n''</sup> and ''f'' : ''U'' → '''R'''<sup>''n''</sup> is an [[injective]] [[continuous map]], then ''V'' = ''f''(''U'') is open and ''f'' is a [[homeomorphism]] between ''U'' and ''V''. |
||
* The [[Hairy ball theorem]]: any vector field on the 2-sphere (or more generally, the |
* The [[Hairy ball theorem]]: any vector field on the 2-sphere (or more generally, the 2''k''-sphere for any ''k'' ≥ 1) vanishes at some point. |
||
* The [[Borsuk–Ulam theorem]]: any [[continuous function]] from an [[n-sphere|''n''-sphere]] into [[Euclidean space|Euclidean ''n''-space]] maps some pair of [[antipodal point]]s to the same point. (Two points on a sphere are called antipodal if they are in exactly opposite directions from the sphere's center.) |
* The [[Borsuk–Ulam theorem]]: any [[continuous function]] from an [[n-sphere|''n''-sphere]] into [[Euclidean space|Euclidean ''n''-space]] maps some pair of [[antipodal point]]s to the same point. (Two points on a sphere are called antipodal if they are in exactly opposite directions from the sphere's center.) |
||
==Intersection theory and Poincaré duality== |
==Intersection theory and Poincaré duality== |
||
Let |
Let ''M'' be a [[Compact space|compact]] [[Orientability|oriented]] [[manifold]] of dimension ''n''. The [[Poincaré duality]] theorem gives a natural isomorphism <math>H^k(M)\simeq H_{n-k}(M)</math>, which we can use to transfer the ring structure from cohomology to homology. For any compact oriented submanifold ''N'' ⊆ ''M'' of dimension ''d'', one can define a so-called fundamental class <math>[N]\in H_d(M)\simeq H^{n-d}(M)</math>. If ''L'' is another compact oriented submanifold which meets ''N'' [[Transversality (mathematics)|transversely]], it works out that [''L''][''N''] = [''L'' ∩ ''N'']. In many cases the group ''H<sub>d</sub>''(''M'') will have a basis consisting of fundamental classes of submanifolds, in which case the product rule [''L''][''N''] = [''L'' ∩ ''N''] gives a very clear geometric picture of the ring structure. |
||
==Connection with integration== |
==Connection with integration== |
||
Suppose that |
Suppose that ''X'' is an [[open subset]] of the [[complex plane]], that ''f''(''z'') is a [[holomorphic]] function on ''X'', and that ''C'' is a closed curve in ''X''. There is then a standard way to define the [[contour integral]] <math>\oint_C f(z) dz</math>, which is a central idea in [[complex analysis]]. One formulation of [[Cauchy's integral theorem]] is as follows: if ''C''<sub>0</sub> and ''C''<sub>1</sub> are homologous, then <math>\oint_{C_0} f(z) dz=\oint_{C_1} f(z) dz</math>. (Many authors consider only the case where ''X'' is [[simply connected]], in which case every closed curve is homologous to the empty curve and so <math>\oint_C f(z) dz=0</math>.) This means that we can make sense of <math>\oint_c f(z) dz</math> when ''c'' is merely a homology class, or in other words an element of ''H''<sub>1</sub>(''X''). It is also important that in the case where ''f''(''z'') is the derivative of another function ''g''(''z''), we always have <math>\oint_C g'(z) dz=0</math> (even when ''C'' is not homologous to zero). |
||
This is the simplest case of a much more general relationship between homology and integration, which is most efficiently formulated in terms of [[differential forms]] and [[de Rham cohomology]]. To explain this briefly, suppose that |
This is the simplest case of a much more general relationship between homology and integration, which is most efficiently formulated in terms of [[differential forms]] and [[de Rham cohomology]]. To explain this briefly, suppose that ''X'' is an open subset of '''R'''<sup>''N''</sup>, or more generally, that ''X'' is a [[manifold]]. One can then define objects called ''n''-forms on ''X''. If ''X'' is open in '''R'''<sup>3</sup>, then the 0-forms are just the scalar fields, the 1-forms are the vector fields, the 2-forms are the same as the 1-forms, and the 3-forms are the same as the 0-forms. There is also a kind of differentiation operation called the [[exterior derivative]]: if α is an ''n''-form, then the exterior derivative is an (''n''+1)-form denoted by ''d''α. The standard operators [[Divergence|div]], [[Gradient|grad]] and [[Curl (mathematics)|curl]] from vector calculus can be seen as special cases of this. There is a procedure for integrating an ''n''-form α over an ''n''-cycle ''C'' to get a number <math>\oint_C\alpha</math>. It can be shown that <math>\oint_C d\beta=0</math> for any (''n''−1)-form β, and that <math>\oint_C\alpha</math> depends only on the homology class of ''C'', provided that ''d''α = 0. The classical [[Stokes's Theorem]] and [[Divergence Theorem]] can be seen as special cases of this. |
||
We say that |
We say that α is ''closed'' if ''d''α = 0, and ''exact'' if α = ''d''β for some β. It can be shown that ''dd''β is always zero, so that exact forms are always closed. The [[de Rham cohomology]] group <math>H^k_{dR}(X)</math> is the quotient of the group of closed forms by the subgroup of exact forms. It follows from the above that there is a well-defined pairing <math>H_k(X)\times H^k_{dR}(X)\to\R</math> given by integration. |
||
==Axiomatics and generalised homology== |
==Axiomatics and generalised homology== |
||
There are various ways to define cohomology groups (for example [[singular cohomology]], [[Čech cohomology]], [[Alexander–Spanier cohomology]] or [[Sheaf cohomology]]). These give different answers for some exotic spaces, but there is a large class of spaces on which they all agree. This is most easily understood axiomatically: there is a list of properties known as the [[Eilenberg–Steenrod axioms]], and any two constructions that share those properties will agree at least on all finite [[CW complex]]es, for example. |
There are various ways to define cohomology groups (for example [[singular cohomology]], [[Čech cohomology]], [[Alexander–Spanier cohomology]] or [[Sheaf cohomology]]). These give different answers for some exotic spaces, but there is a large class of spaces on which they all agree. This is most easily understood axiomatically: there is a list of properties known as the [[Eilenberg–Steenrod axioms]], and any two constructions that share those properties will agree at least on all finite [[CW complex]]es, for example. |
||
One of the axioms is the so-called dimension axiom: if |
One of the axioms is the so-called dimension axiom: if ''P'' is a single point, then ''H<sub>n</sub>''(''P'') = 0 for all ''n'' ≠ 0, and ''H''<sub>0</sub>(''P'') = '''Z'''. We can generalise slightly by allowing an arbitrary abelian group ''A'' in dimension zero, but still insisting that the groups in nonzero dimension are trivial. It turns out that there is again an essentially unique system of groups satisfying these axioms, which are denoted by <math>H_*(X;A)</math>. In the common case where each group ''H<sub>k</sub>''(''X'') is isomorphic to '''Z'''<sup>''r<sub>k</sub>''</sup> for some ''r<sub>k</sub>'' in '''N''', we just have <math>H_k(X;A)=A^{r_k}</math>. In general, the relationship between ''H<sub>k</sub>''(''X'') and <math>H_k(X;A)</math> is only a little more complicated, and is again controlled by the [[Universal coefficient theorem]]. |
||
More significantly, we can drop the dimension axiom altogether. There are a number of different ways to define groups satisfying all the other axioms, including the following: |
More significantly, we can drop the dimension axiom altogether. There are a number of different ways to define groups satisfying all the other axioms, including the following: |
||
* The [[stable homotopy theory|stable homotopy groups]] <math>\pi^S_k(X)</math> |
* The [[stable homotopy theory|stable homotopy groups]] <math>\pi^S_k(X)</math> |
||
* Various different flavours of [[cobordism]] groups: <math>MO_*(X) |
* Various different flavours of [[cobordism]] groups: <math>MO_*(X), MSO_*(X), MU_*(X)</math> and so on. The last of these (known as [[complex cobordism]]) is especially important, because of the link with [[Formal group|formal group theory]] via a theorem of [[Daniel Quillen]]. |
||
* Various different flavours of [[K-theory]]: <math>KO_*(X)</math> (real periodic K-theory), <math>kO_*(X)</math> (real connective), <math>KU_*(X)</math> (complex periodic), <math>kU_*(X)</math> (complex connective) and so on. |
* Various different flavours of [[K-theory]]: <math>KO_*(X)</math> (real periodic K-theory), <math>kO_*(X)</math> (real connective), <math>KU_*(X)</math> (complex periodic), <math>kU_*(X)</math> (complex connective) and so on. |
||
* [[Brown–Peterson cohomology|Brown–Peterson homology]], [[Morava K-theory]], Morava E-theory, and other theories defined using the algebra of formal groups. |
* [[Brown–Peterson cohomology|Brown–Peterson homology]], [[Morava K-theory]], Morava E-theory, and other theories defined using the algebra of formal groups. |
||
Line 49: | Line 48: | ||
==Homological algebra and homology of other objects== |
==Homological algebra and homology of other objects== |
||
A [[chain complex]] consists of groups |
A [[chain complex]] consists of groups indexed by integers, {''C<sub>i</sub>''} and homomorphisms <math>d:C_i\to C_{i-1}</math> satisfying ''dd'' = 0. This condition shows that the groups <math>B_i=\text{image}(d:C_{i+1}\to C_i)</math> are contained in the groups <math>Z_i=\text{ker}(d:C_i\to C_{i-1})</math>, so one can form the quotient groups <math>H_i=Z_i/B_i</math>, which are called the homology groups of the original complex. There is a similar theory of cochain complexes, consisting of groups <math>C^i</math> and homomorphisms <math>\delta:C^i\to C^{i+1}</math>. The simplicial, singular, Čech and Alexander–Spanier groups are all defined by first constructing a chain complex or cochain complex, and then taking its homology. Thus, a substantial part of the work in setting up these groups involves the general theory of chain and cochain complexes, which is known as homological algebra. |
||
One can also associate (co)chain complexes to a wide variety of other mathematical objects, and then take their (co)homology. For example, there are cohomology modules for groups, Lie algebras and so on. |
One can also associate (co)chain complexes to a wide variety of other mathematical objects, and then take their (co)homology. For example, there are cohomology modules for groups, Lie algebras and so on. |
Revision as of 15:37, 29 December 2012
In mathematics, homology theory is the axiomatic study of the intuitive geometric idea of homology of cycles on topological spaces.
General idea
To any topological space X and any natural number k, one can associate a set Hk(X), whose elements are called (k-dimensional) homology classes. There is a well-defined way to add and subtract homology classes, which makes Hk(X) into an abelian group, called the k-th homology group of X. In heuristic terms, the size and structure of Hk(X) gives information about the number of k-dimensional holes in X. For example, if X is a figure eight, then it has two holes, which in this context count as being one-dimensional. The corresponding homology group H1(X) can be identified with the group Z ⊕ Z of pairs of integers, with one copy of Z for each hole. While it seems very straightforward to say that X has two holes, it is surprisingly hard to formulate this in a mathematically rigorous way; this is a central purpose of homology theory.
For a more intricate example, if Y is a Klein bottle then H1(Y) can be identified with Z ⊕ (Z/2Z). This is not just a sum of copies of Z, so it gives more subtle information than just a count of holes.
The formal definition of H1(X) can be sketched as follows. The elements of H1(X) are one-dimensional cycles, except that two cycles are considered to represent the same element if they are homologous. The simplest kind of one-dimensional cycles are just closed curves in X, which could consist of one or more loops. If a closed curve C0 can be deformed continuously within X to another closed curve C1, then C0 and C1 are homologous and so determine the same element of H1(X). This captures the main geometric idea, but the full definition is somewhat more complex. For details, see singular homology. There is also a version (called simplicial homology) that works when X is presented as a simplicial complex; this is smaller and easier to understand, but technically less flexible.
For example, let T be a torus, as shown on the right. Let C be the pink curve, and let D be the red one. For integers n and m, we have another closed curve that goes n times around C and then m times around D; this is denoted by nC+mD. It can be shown that any closed curve in T is homologous to nC+mD for some n and m, and thus that H1(T) is again isomorphic to Z ⊕ Z.
Cohomology
As well as the homology groups Hk(X), one can define cohomology groups Hk(X). In the common case where each group Hk(X) is isomorphic to Zrk for some rk ∈ N, we just have Hk(X) = Hom(Hk(X), Z), which is again isomorphic to Zrk, and Hk(X) = Hom(Hk(X), Z), so Hk(X) and Hk(X) determine each other. In general, the relationship between Hk(X) and Hk(X) is only a little more complicated, and is controlled by the universal coefficient theorem. The main advantage of cohomology over homology is that it has a natural ring structure: there is a way to multiply an i-dimensional cohomology class by a j-dimensional cohomology class to get an (i+j)-dimensional cohomology class.
Applications
Notable theorems proved using homology include the following:
- The Brouwer fixed point theorem: If f is any continuous map from the ball Bn to itself, then there is a fixed point a ∈ Bn with f(a) = a.
- Invariance of domain: If U is an open subset of Rn and f : U → Rn is an injective continuous map, then V = f(U) is open and f is a homeomorphism between U and V.
- The Hairy ball theorem: any vector field on the 2-sphere (or more generally, the 2k-sphere for any k ≥ 1) vanishes at some point.
- The Borsuk–Ulam theorem: any continuous function from an n-sphere into Euclidean n-space maps some pair of antipodal points to the same point. (Two points on a sphere are called antipodal if they are in exactly opposite directions from the sphere's center.)
Intersection theory and Poincaré duality
Let M be a compact oriented manifold of dimension n. The Poincaré duality theorem gives a natural isomorphism , which we can use to transfer the ring structure from cohomology to homology. For any compact oriented submanifold N ⊆ M of dimension d, one can define a so-called fundamental class . If L is another compact oriented submanifold which meets N transversely, it works out that [L][N] = [L ∩ N]. In many cases the group Hd(M) will have a basis consisting of fundamental classes of submanifolds, in which case the product rule [L][N] = [L ∩ N] gives a very clear geometric picture of the ring structure.
Connection with integration
Suppose that X is an open subset of the complex plane, that f(z) is a holomorphic function on X, and that C is a closed curve in X. There is then a standard way to define the contour integral , which is a central idea in complex analysis. One formulation of Cauchy's integral theorem is as follows: if C0 and C1 are homologous, then . (Many authors consider only the case where X is simply connected, in which case every closed curve is homologous to the empty curve and so .) This means that we can make sense of when c is merely a homology class, or in other words an element of H1(X). It is also important that in the case where f(z) is the derivative of another function g(z), we always have (even when C is not homologous to zero).
This is the simplest case of a much more general relationship between homology and integration, which is most efficiently formulated in terms of differential forms and de Rham cohomology. To explain this briefly, suppose that X is an open subset of RN, or more generally, that X is a manifold. One can then define objects called n-forms on X. If X is open in R3, then the 0-forms are just the scalar fields, the 1-forms are the vector fields, the 2-forms are the same as the 1-forms, and the 3-forms are the same as the 0-forms. There is also a kind of differentiation operation called the exterior derivative: if α is an n-form, then the exterior derivative is an (n+1)-form denoted by dα. The standard operators div, grad and curl from vector calculus can be seen as special cases of this. There is a procedure for integrating an n-form α over an n-cycle C to get a number . It can be shown that for any (n−1)-form β, and that depends only on the homology class of C, provided that dα = 0. The classical Stokes's Theorem and Divergence Theorem can be seen as special cases of this.
We say that α is closed if dα = 0, and exact if α = dβ for some β. It can be shown that ddβ is always zero, so that exact forms are always closed. The de Rham cohomology group is the quotient of the group of closed forms by the subgroup of exact forms. It follows from the above that there is a well-defined pairing given by integration.
Axiomatics and generalised homology
There are various ways to define cohomology groups (for example singular cohomology, Čech cohomology, Alexander–Spanier cohomology or Sheaf cohomology). These give different answers for some exotic spaces, but there is a large class of spaces on which they all agree. This is most easily understood axiomatically: there is a list of properties known as the Eilenberg–Steenrod axioms, and any two constructions that share those properties will agree at least on all finite CW complexes, for example.
One of the axioms is the so-called dimension axiom: if P is a single point, then Hn(P) = 0 for all n ≠ 0, and H0(P) = Z. We can generalise slightly by allowing an arbitrary abelian group A in dimension zero, but still insisting that the groups in nonzero dimension are trivial. It turns out that there is again an essentially unique system of groups satisfying these axioms, which are denoted by . In the common case where each group Hk(X) is isomorphic to Zrk for some rk in N, we just have . In general, the relationship between Hk(X) and is only a little more complicated, and is again controlled by the Universal coefficient theorem.
More significantly, we can drop the dimension axiom altogether. There are a number of different ways to define groups satisfying all the other axioms, including the following:
- The stable homotopy groups
- Various different flavours of cobordism groups: and so on. The last of these (known as complex cobordism) is especially important, because of the link with formal group theory via a theorem of Daniel Quillen.
- Various different flavours of K-theory: (real periodic K-theory), (real connective), (complex periodic), (complex connective) and so on.
- Brown–Peterson homology, Morava K-theory, Morava E-theory, and other theories defined using the algebra of formal groups.
- Various flavours of elliptic homology
These are called generalised homology theories; they carry much richer information than ordinary homology, but are often harder to compute. Their study is tightly linked (via the Brown representability theorem) to stable homotopy.
Homological algebra and homology of other objects
A chain complex consists of groups indexed by integers, {Ci} and homomorphisms satisfying dd = 0. This condition shows that the groups are contained in the groups , so one can form the quotient groups , which are called the homology groups of the original complex. There is a similar theory of cochain complexes, consisting of groups and homomorphisms . The simplicial, singular, Čech and Alexander–Spanier groups are all defined by first constructing a chain complex or cochain complex, and then taking its homology. Thus, a substantial part of the work in setting up these groups involves the general theory of chain and cochain complexes, which is known as homological algebra.
One can also associate (co)chain complexes to a wide variety of other mathematical objects, and then take their (co)homology. For example, there are cohomology modules for groups, Lie algebras and so on.