Skip to main content
changed a \vee to a \wedge in point 4
Source Link
Mark Grant
  • 35.9k
  • 8
  • 95
  • 198
  1. We are working in the homotopy category of topological spaces where morphisms are homotopy classes of continuous maps. More accurately, we tend to work in the based category where each object has a distinguished base point and everything is required to preserve that base point. The non-based category can be embedded in the based category by the simple addition of a disjoint base point, so we often pass back and forth between the two without worrying too much about it. The cohomology theory itself is slightly more interesting. For CW-complexes, it doesn't matter which one you choose as they are all the same. However, outside the subcategory of CW-complexes then the different theories can vary (as was mentioned in another question). So what we do is the following: using Big Theorems we construct a topological space, which we call $K(G,n)$, which represents the $n$th cohomology group with coefficients in $G$ for CW-complexes. So whenever $X$ is a CW-complex, we have a natural isomorphism of functors $\tilde{H}^n(X;G) \cong [X, K(G,n)]$, where the right-hand side is homotopy classes of based maps. For arbitrary topological spaces, we then define cohomology as $[X, K(G,n)]$. If this happens to agree with, say, singular cohomology then we're very pleased, but we don't require it.

  2. Depends what you mean by "smooth structure". Certainly in the broadest sense, you will get different answers if you insist on everything being smooth. But for smooth manifolds, continuous maps are homotopic to smooth maps (and continuous homotopies to smooth homotopies) so the homotopy category of smooth manifolds and smooth maps is equivalent to the homotopy category of smooth manifolds and continuous maps. However, you need to be careful with the $K(G,n)$s as they will, in general, not be finite dimensional smooth manifolds. However, lots of things aren't finite dimensional smooth manifolds but still behave nicely with regard to smooth structures so this shouldn't be seen as quite the drawback that the other answerants have indicated.

  3. Addition in $\tilde{H}^n(X;G)$ translates into the fact that $K(G,n)$ is an $H$-space. The suspension isomorphism, $\tilde{H}^n(X;G) \cong \tilde{H}^{n+1}(\Sigma X, G)$ implies the stronger condition that $K(G,n)$ is the loop space of $K(G,n+1)$ and so the $H$-space structure comes from the Pontrijagin product on a (based!) loop space. But the basic theorem on representability of cohomology merely provides $K(G,n)$ with the structure of an $H$-space.

  4. As for the ring structure, that translates into certain maps $K(G,n)\vee K(G,m) \to K(G,n+m)$$K(G,n)\wedge K(G,m) \to K(G,n+m)$. I don't know of a good way to "see" these for ordinary cohomology, mainly because I don't know of any good geometric models for the spaces $K(G,n)$ except for low degrees. One simple case where it can be seen is in rational cohomology. Rational cohomology (made 2-periodic) is isomorphic to rational $K$-theory and there the product corresponds to the tensor product of vector bundles.

(It should be said, in light of the first point, that $K$-theory should only be thought of as being built out of vector bundles for compact CW-complexes. For all other spaces, $K$-theory is homotopy classes of maps to $\mathbb{Z} \times BU$.)

  1. We are working in the homotopy category of topological spaces where morphisms are homotopy classes of continuous maps. More accurately, we tend to work in the based category where each object has a distinguished base point and everything is required to preserve that base point. The non-based category can be embedded in the based category by the simple addition of a disjoint base point, so we often pass back and forth between the two without worrying too much about it. The cohomology theory itself is slightly more interesting. For CW-complexes, it doesn't matter which one you choose as they are all the same. However, outside the subcategory of CW-complexes then the different theories can vary (as was mentioned in another question). So what we do is the following: using Big Theorems we construct a topological space, which we call $K(G,n)$, which represents the $n$th cohomology group with coefficients in $G$ for CW-complexes. So whenever $X$ is a CW-complex, we have a natural isomorphism of functors $\tilde{H}^n(X;G) \cong [X, K(G,n)]$, where the right-hand side is homotopy classes of based maps. For arbitrary topological spaces, we then define cohomology as $[X, K(G,n)]$. If this happens to agree with, say, singular cohomology then we're very pleased, but we don't require it.

  2. Depends what you mean by "smooth structure". Certainly in the broadest sense, you will get different answers if you insist on everything being smooth. But for smooth manifolds, continuous maps are homotopic to smooth maps (and continuous homotopies to smooth homotopies) so the homotopy category of smooth manifolds and smooth maps is equivalent to the homotopy category of smooth manifolds and continuous maps. However, you need to be careful with the $K(G,n)$s as they will, in general, not be finite dimensional smooth manifolds. However, lots of things aren't finite dimensional smooth manifolds but still behave nicely with regard to smooth structures so this shouldn't be seen as quite the drawback that the other answerants have indicated.

  3. Addition in $\tilde{H}^n(X;G)$ translates into the fact that $K(G,n)$ is an $H$-space. The suspension isomorphism, $\tilde{H}^n(X;G) \cong \tilde{H}^{n+1}(\Sigma X, G)$ implies the stronger condition that $K(G,n)$ is the loop space of $K(G,n+1)$ and so the $H$-space structure comes from the Pontrijagin product on a (based!) loop space. But the basic theorem on representability of cohomology merely provides $K(G,n)$ with the structure of an $H$-space.

  4. As for the ring structure, that translates into certain maps $K(G,n)\vee K(G,m) \to K(G,n+m)$. I don't know of a good way to "see" these for ordinary cohomology, mainly because I don't know of any good geometric models for the spaces $K(G,n)$ except for low degrees. One simple case where it can be seen is in rational cohomology. Rational cohomology (made 2-periodic) is isomorphic to rational $K$-theory and there the product corresponds to the tensor product of vector bundles.

(It should be said, in light of the first point, that $K$-theory should only be thought of as being built out of vector bundles for compact CW-complexes. For all other spaces, $K$-theory is homotopy classes of maps to $\mathbb{Z} \times BU$.)

  1. We are working in the homotopy category of topological spaces where morphisms are homotopy classes of continuous maps. More accurately, we tend to work in the based category where each object has a distinguished base point and everything is required to preserve that base point. The non-based category can be embedded in the based category by the simple addition of a disjoint base point, so we often pass back and forth between the two without worrying too much about it. The cohomology theory itself is slightly more interesting. For CW-complexes, it doesn't matter which one you choose as they are all the same. However, outside the subcategory of CW-complexes then the different theories can vary (as was mentioned in another question). So what we do is the following: using Big Theorems we construct a topological space, which we call $K(G,n)$, which represents the $n$th cohomology group with coefficients in $G$ for CW-complexes. So whenever $X$ is a CW-complex, we have a natural isomorphism of functors $\tilde{H}^n(X;G) \cong [X, K(G,n)]$, where the right-hand side is homotopy classes of based maps. For arbitrary topological spaces, we then define cohomology as $[X, K(G,n)]$. If this happens to agree with, say, singular cohomology then we're very pleased, but we don't require it.

  2. Depends what you mean by "smooth structure". Certainly in the broadest sense, you will get different answers if you insist on everything being smooth. But for smooth manifolds, continuous maps are homotopic to smooth maps (and continuous homotopies to smooth homotopies) so the homotopy category of smooth manifolds and smooth maps is equivalent to the homotopy category of smooth manifolds and continuous maps. However, you need to be careful with the $K(G,n)$s as they will, in general, not be finite dimensional smooth manifolds. However, lots of things aren't finite dimensional smooth manifolds but still behave nicely with regard to smooth structures so this shouldn't be seen as quite the drawback that the other answerants have indicated.

  3. Addition in $\tilde{H}^n(X;G)$ translates into the fact that $K(G,n)$ is an $H$-space. The suspension isomorphism, $\tilde{H}^n(X;G) \cong \tilde{H}^{n+1}(\Sigma X, G)$ implies the stronger condition that $K(G,n)$ is the loop space of $K(G,n+1)$ and so the $H$-space structure comes from the Pontrijagin product on a (based!) loop space. But the basic theorem on representability of cohomology merely provides $K(G,n)$ with the structure of an $H$-space.

  4. As for the ring structure, that translates into certain maps $K(G,n)\wedge K(G,m) \to K(G,n+m)$. I don't know of a good way to "see" these for ordinary cohomology, mainly because I don't know of any good geometric models for the spaces $K(G,n)$ except for low degrees. One simple case where it can be seen is in rational cohomology. Rational cohomology (made 2-periodic) is isomorphic to rational $K$-theory and there the product corresponds to the tensor product of vector bundles.

(It should be said, in light of the first point, that $K$-theory should only be thought of as being built out of vector bundles for compact CW-complexes. For all other spaces, $K$-theory is homotopy classes of maps to $\mathbb{Z} \times BU$.)

If we're putting the tilde's in, they should be put in throughout.
Source Link
Andrew Stacey
  • 26.8k
  • 12
  • 113
  • 187
  1. We are working in the homotopy category of topological spaces where morphisms are homotopy classes of continuous maps. More More accurately, we tend to work in the based category where each object has a distinguished base point and everything is required to preserve that base point. The The non-based category can be embedded in the based category by the simple addition of a disjoint base point, so we often pass back and forth between the two without worrying too much about it. The The cohomology theory itself is slightly more interesting. For For CW-complexes, it doesn't matter which one you choose as they are all the same. However However, outside the subcategory of CW-complexes then the different theories can vary (as was mentioned in another question). So So what we do is the following: using Big Theorems we construct a topological space, which we call $K(G,n)$, which represents the $n$th cohomology group with coefficients in $G$ for CW-complexes. So So whenever $X$ is a CW-complex, we have a natural isomorphism of functors $\tilde{H}^n(X;G) \cong [X, K(G,n)]$, where the right-hand side is homotopy classes of based maps. For For arbitrary topological spaces, we then define cohomology as $[X, K(G,n)]$. If If this happens to agree with, say, singular cohomology then we're very pleased, but we don't require it.

  2. Depends what you mean by "smooth structure". Certainly Certainly in the broadest sense, you will get different answers if you insist on everything being smooth. But But for smooth manifolds, continuous maps are homotopic to smooth maps (and continuous homotopies to smooth homotopies) so the homotopy category of smooth manifolds and smooth maps is equivalent to the homotopy category of smooth manifolds and continuous maps. However However, you need to be careful with the $K(G,n)$s as they will, in general, not be finite dimensional smooth manifolds. However However, lots of things aren't finite dimensional smooth manifolds but still behave nicely with regard to smooth structures so this shouldn't be seen as quite the drawback that the other answerants have indicated.

  3. Addition in $H^n(X;G)$$\tilde{H}^n(X;G)$ translates into the fact that $K(G,n)$ is an $H$-space. The The suspension isomorphism, $H^n(X;G) \cong H^{n+1}(\Sigma X, G)$$\tilde{H}^n(X;G) \cong \tilde{H}^{n+1}(\Sigma X, G)$ implies the stronger condition that $K(G,n)$ is the loop space of $K(G,n+1)$ and so the $H$-space structure comes from the Pontrijagin product on a (based!) loop space. But But the basic theorem on representability of cohomology merely provides $K(G,n)$ with the structure of an $H$-space.

  4. As for the ring structure, that translates into certain maps $K(G,n)\vee K(G,m) \to K(G,n+m)$. I I don't know of a good way to "see" these for ordinary cohomology, mainly because I don't know of any good geometric models for the spaces $K(G,n)$ except for low degrees. One One simple case where it can be seen is in rational cohomology. Rational Rational cohomology (made 2-periodic) is isomorphic to rational $K$-theory and there the product corresponds to the tensor product of vector bundles.

(It should be said, in light of the first point, that $K$-theory should only be thought of as being built out of vector bundles for compact CW-complexes. For For all other spaces, $K$-theory is homotopy classes of maps to $\mathbb{Z} \times BU$.)

  1. We are working in the homotopy category of topological spaces where morphisms are homotopy classes of continuous maps. More accurately, we tend to work in the based category where each object has a distinguished base point and everything is required to preserve that base point. The non-based category can be embedded in the based category by the simple addition of a disjoint base point, so we often pass back and forth between the two without worrying too much about it. The cohomology theory itself is slightly more interesting. For CW-complexes, it doesn't matter which one you choose as they are all the same. However, outside the subcategory of CW-complexes then the different theories can vary (as was mentioned in another question). So what we do is the following: using Big Theorems we construct a topological space, which we call $K(G,n)$, which represents the $n$th cohomology group with coefficients in $G$ for CW-complexes. So whenever $X$ is a CW-complex, we have a natural isomorphism of functors $\tilde{H}^n(X;G) \cong [X, K(G,n)]$, where the right-hand side is homotopy classes of based maps. For arbitrary topological spaces, we then define cohomology as $[X, K(G,n)]$. If this happens to agree with, say, singular cohomology then we're very pleased, but we don't require it.

  2. Depends what you mean by "smooth structure". Certainly in the broadest sense, you will get different answers if you insist on everything being smooth. But for smooth manifolds, continuous maps are homotopic to smooth maps (and continuous homotopies to smooth homotopies) so the homotopy category of smooth manifolds and smooth maps is equivalent to the homotopy category of smooth manifolds and continuous maps. However, you need to be careful with the $K(G,n)$s as they will, in general, not be finite dimensional smooth manifolds. However, lots of things aren't finite dimensional smooth manifolds but still behave nicely with regard to smooth structures so this shouldn't be seen as quite the drawback that the other answerants have indicated.

  3. Addition in $H^n(X;G)$ translates into the fact that $K(G,n)$ is an $H$-space. The suspension isomorphism, $H^n(X;G) \cong H^{n+1}(\Sigma X, G)$ implies the stronger condition that $K(G,n)$ is the loop space of $K(G,n+1)$ and so the $H$-space structure comes from the Pontrijagin product on a (based!) loop space. But the basic theorem on representability of cohomology merely provides $K(G,n)$ with the structure of an $H$-space.

  4. As for the ring structure, that translates into certain maps $K(G,n)\vee K(G,m) \to K(G,n+m)$. I don't know of a good way to "see" these for ordinary cohomology, mainly because I don't know of any good geometric models for the spaces $K(G,n)$ except for low degrees. One simple case where it can be seen is in rational cohomology. Rational cohomology (made 2-periodic) is isomorphic to rational $K$-theory and there the product corresponds to the tensor product of vector bundles.

(It should be said, in light of the first point, that $K$-theory should only be thought of as being built out of vector bundles for compact CW-complexes. For all other spaces, $K$-theory is homotopy classes of maps to $\mathbb{Z} \times BU$.)

  1. We are working in the homotopy category of topological spaces where morphisms are homotopy classes of continuous maps. More accurately, we tend to work in the based category where each object has a distinguished base point and everything is required to preserve that base point. The non-based category can be embedded in the based category by the simple addition of a disjoint base point, so we often pass back and forth between the two without worrying too much about it. The cohomology theory itself is slightly more interesting. For CW-complexes, it doesn't matter which one you choose as they are all the same. However, outside the subcategory of CW-complexes then the different theories can vary (as was mentioned in another question). So what we do is the following: using Big Theorems we construct a topological space, which we call $K(G,n)$, which represents the $n$th cohomology group with coefficients in $G$ for CW-complexes. So whenever $X$ is a CW-complex, we have a natural isomorphism of functors $\tilde{H}^n(X;G) \cong [X, K(G,n)]$, where the right-hand side is homotopy classes of based maps. For arbitrary topological spaces, we then define cohomology as $[X, K(G,n)]$. If this happens to agree with, say, singular cohomology then we're very pleased, but we don't require it.

  2. Depends what you mean by "smooth structure". Certainly in the broadest sense, you will get different answers if you insist on everything being smooth. But for smooth manifolds, continuous maps are homotopic to smooth maps (and continuous homotopies to smooth homotopies) so the homotopy category of smooth manifolds and smooth maps is equivalent to the homotopy category of smooth manifolds and continuous maps. However, you need to be careful with the $K(G,n)$s as they will, in general, not be finite dimensional smooth manifolds. However, lots of things aren't finite dimensional smooth manifolds but still behave nicely with regard to smooth structures so this shouldn't be seen as quite the drawback that the other answerants have indicated.

  3. Addition in $\tilde{H}^n(X;G)$ translates into the fact that $K(G,n)$ is an $H$-space. The suspension isomorphism, $\tilde{H}^n(X;G) \cong \tilde{H}^{n+1}(\Sigma X, G)$ implies the stronger condition that $K(G,n)$ is the loop space of $K(G,n+1)$ and so the $H$-space structure comes from the Pontrijagin product on a (based!) loop space. But the basic theorem on representability of cohomology merely provides $K(G,n)$ with the structure of an $H$-space.

  4. As for the ring structure, that translates into certain maps $K(G,n)\vee K(G,m) \to K(G,n+m)$. I don't know of a good way to "see" these for ordinary cohomology, mainly because I don't know of any good geometric models for the spaces $K(G,n)$ except for low degrees. One simple case where it can be seen is in rational cohomology. Rational cohomology (made 2-periodic) is isomorphic to rational $K$-theory and there the product corresponds to the tensor product of vector bundles.

(It should be said, in light of the first point, that $K$-theory should only be thought of as being built out of vector bundles for compact CW-complexes. For all other spaces, $K$-theory is homotopy classes of maps to $\mathbb{Z} \times BU$.)

deleted 169 characters in body
Source Link
Michael Albanese
  • 19.3k
  • 9
  • 87
  • 160
  1. We are working in the homotopy category of topological spaces where morphisms are homotopy classes of continuous maps. MoreMore accurately, we tend to work in the based category where each object has a distinguished base point and everything is required to preserve that base point. TheThe non-based category can be embedded in the based category by the simple addition of a disjoint base point, so we often pass back and forth between the two without worrying too much about it. TheThe cohomology theory itself is slightly more interesting. ForFor CW-complexes, it doesn't matter which one you choose as they are all the same. However, outside the subcategory of CW-complexes then the different theories can vary (as was mentioned in another question). SoSo what we do is the following: using Big Theorems we construct a topological space, which we call K(G,n)$K(G,n)$, which represents the n-$n$th cohomology group with coefficients in G$G$ for CW-complexes. SoSo whenever X$X$ is a CW-complex, we have a natural isomorphism of functors Hn(X;G) ≅ [X,K(G,n)]$\tilde{H}^n(X;G) \cong [X, K(G,n)]$, where the right-hand side is homotopy classes of based maps (there ought, by rights, to be a tilde on the H on the left-hand side but that only changes things for n = 0 and I don't know how to typeset it). ForFor arbitrary topological spaces, we then define cohomology as [X,K(G,n)]$[X, K(G,n)]$. IfIf this happens to agree with, say, singular cohomology then we're very pleased, but we don't require it.

  2. Depends what you mean by "smooth structure". CertainlyCertainly in the broadest sense, you will get different answers if you insist on everything being smooth. ButBut for smooth manifolds, continuous maps are homotopic to smooth maps (and continuous homotopies to smooth homotopies) so the homotopy category of smooth manifolds and smooth maps is equivalent to the homotopy category of smooth manifolds and continuous maps. HoweverHowever, you need to be careful with the K(G,n)$K(G,n)$s as they will, in general, not be finite dimensional smooth manifolds. HoweverHowever, lots of things aren't finite dimensional smooth manifolds but still behave nicely with regard to smooth structures so this shouldn't be seen as quite the drawback that the other answerants have indicated.

  3. Addition in Hn(X;G)$H^n(X;G)$ translates into the fact that K(G,n)$K(G,n)$ is an H$H$-space. TheThe suspension isomorphism, Hn(X;G) ≅ Hn+1(ΣX,G) (again, add tildes)$H^n(X;G) \cong H^{n+1}(\Sigma X, G)$ implies the stronger condition that K(G,n)$K(G,n)$ is the loop space of K(G,n+1)$K(G,n+1)$ and so the H$H$-space structure comes from the Pontrijagin product on a (based!) loop space. ButBut the basic theorem on representability of cohomology merely provides K(G,n)$K(G,n)$ with the structure of an H$H$-space.

  4. As for the ring structure, that translates into certain maps K(G,n) wedge K(G,m) → K(G,n+m)$K(G,n)\vee K(G,m) \to K(G,n+m)$. II don't know of a good way to "see" these for ordinary cohomology, mainly because I don't know of any good geometric models for the spaces K(G,n)$K(G,n)$ except for low degrees. OneOne simple case where it can be seen is in rational cohomology. RationalRational cohomology (made 2-periodic) is isomorphic to rational K$K$-theory and there the product corresponds to the tensor product of vector bundles.

    (It should be said, in light of the first point, that K-theory should only be thought of as being built out of vector bundles for compact CW-complexes. For all other spaces, K-theory is homotopy classes of maps to Z × BU.)

(It should be said, in light of the first point, that $K$-theory should only be thought of as being built out of vector bundles for compact CW-complexes. For all other spaces, $K$-theory is homotopy classes of maps to $\mathbb{Z} \times BU$.)

  1. We are working in the homotopy category of topological spaces where morphisms are homotopy classes of continuous maps. More accurately, we tend to work in the based category where each object has a distinguished base point and everything is required to preserve that base point. The non-based category can be embedded in the based category by the simple addition of a disjoint base point, so we often pass back and forth between the two without worrying too much about it. The cohomology theory itself is slightly more interesting. For CW-complexes, it doesn't matter which one you choose as they are all the same. However, outside the subcategory of CW-complexes then the different theories can vary (as was mentioned in another question). So what we do is the following: using Big Theorems we construct a topological space, which we call K(G,n), which represents the n-th cohomology group with coefficients in G for CW-complexes. So whenever X is a CW-complex, we have a natural isomorphism of functors Hn(X;G) ≅ [X,K(G,n)], where the right-hand side is homotopy classes of based maps (there ought, by rights, to be a tilde on the H on the left-hand side but that only changes things for n = 0 and I don't know how to typeset it). For arbitrary topological spaces, we then define cohomology as [X,K(G,n)]. If this happens to agree with, say, singular cohomology then we're very pleased, but we don't require it.

  2. Depends what you mean by "smooth structure". Certainly in the broadest sense, you will get different answers if you insist on everything being smooth. But for smooth manifolds, continuous maps are homotopic to smooth maps (and continuous homotopies to smooth homotopies) so the homotopy category of smooth manifolds and smooth maps is equivalent to the homotopy category of smooth manifolds and continuous maps. However, you need to be careful with the K(G,n)s as they will, in general, not be finite dimensional smooth manifolds. However, lots of things aren't finite dimensional smooth manifolds but still behave nicely with regard to smooth structures so this shouldn't be seen as quite the drawback that the other answerants have indicated.

  3. Addition in Hn(X;G) translates into the fact that K(G,n) is an H-space. The suspension isomorphism, Hn(X;G) ≅ Hn+1(ΣX,G) (again, add tildes) implies the stronger condition that K(G,n) is the loop space of K(G,n+1) and so the H-space structure comes from the Pontrijagin product on a (based!) loop space. But the basic theorem on representability of cohomology merely provides K(G,n) with the structure of an H-space.

  4. As for the ring structure, that translates into certain maps K(G,n) wedge K(G,m) → K(G,n+m). I don't know of a good way to "see" these for ordinary cohomology, mainly because I don't know of any good geometric models for the spaces K(G,n) except for low degrees. One simple case where it can be seen is in rational cohomology. Rational cohomology (made 2-periodic) is isomorphic to rational K-theory and there the product corresponds to the tensor product of vector bundles.

    (It should be said, in light of the first point, that K-theory should only be thought of as being built out of vector bundles for compact CW-complexes. For all other spaces, K-theory is homotopy classes of maps to Z × BU.)

  1. We are working in the homotopy category of topological spaces where morphisms are homotopy classes of continuous maps. More accurately, we tend to work in the based category where each object has a distinguished base point and everything is required to preserve that base point. The non-based category can be embedded in the based category by the simple addition of a disjoint base point, so we often pass back and forth between the two without worrying too much about it. The cohomology theory itself is slightly more interesting. For CW-complexes, it doesn't matter which one you choose as they are all the same. However, outside the subcategory of CW-complexes then the different theories can vary (as was mentioned in another question). So what we do is the following: using Big Theorems we construct a topological space, which we call $K(G,n)$, which represents the $n$th cohomology group with coefficients in $G$ for CW-complexes. So whenever $X$ is a CW-complex, we have a natural isomorphism of functors $\tilde{H}^n(X;G) \cong [X, K(G,n)]$, where the right-hand side is homotopy classes of based maps. For arbitrary topological spaces, we then define cohomology as $[X, K(G,n)]$. If this happens to agree with, say, singular cohomology then we're very pleased, but we don't require it.

  2. Depends what you mean by "smooth structure". Certainly in the broadest sense, you will get different answers if you insist on everything being smooth. But for smooth manifolds, continuous maps are homotopic to smooth maps (and continuous homotopies to smooth homotopies) so the homotopy category of smooth manifolds and smooth maps is equivalent to the homotopy category of smooth manifolds and continuous maps. However, you need to be careful with the $K(G,n)$s as they will, in general, not be finite dimensional smooth manifolds. However, lots of things aren't finite dimensional smooth manifolds but still behave nicely with regard to smooth structures so this shouldn't be seen as quite the drawback that the other answerants have indicated.

  3. Addition in $H^n(X;G)$ translates into the fact that $K(G,n)$ is an $H$-space. The suspension isomorphism, $H^n(X;G) \cong H^{n+1}(\Sigma X, G)$ implies the stronger condition that $K(G,n)$ is the loop space of $K(G,n+1)$ and so the $H$-space structure comes from the Pontrijagin product on a (based!) loop space. But the basic theorem on representability of cohomology merely provides $K(G,n)$ with the structure of an $H$-space.

  4. As for the ring structure, that translates into certain maps $K(G,n)\vee K(G,m) \to K(G,n+m)$. I don't know of a good way to "see" these for ordinary cohomology, mainly because I don't know of any good geometric models for the spaces $K(G,n)$ except for low degrees. One simple case where it can be seen is in rational cohomology. Rational cohomology (made 2-periodic) is isomorphic to rational $K$-theory and there the product corresponds to the tensor product of vector bundles.

(It should be said, in light of the first point, that $K$-theory should only be thought of as being built out of vector bundles for compact CW-complexes. For all other spaces, $K$-theory is homotopy classes of maps to $\mathbb{Z} \times BU$.)

Source Link
Andrew Stacey
  • 26.8k
  • 12
  • 113
  • 187
Loading