Skip to main content
MathOverflow

Return to Answer

added 4 characters in body
Source Link
Paul Siegel
Paul Siegel
  • 29.2k
  • 19
  • 134
  • 200

I used to think that the entire theory was intellectual masturbation, but two examples in particular completely changed my mind.

The first is the Pontryagin-Thom construction, which exhibits an isomorphism between the $k$th stable homotopy group $\pi_{n+k}(S^n)$ and the framed cobordism group of smooth $k$-manifolds. This is even interesting (though more elementary) in the case $k = 0$, where it recovers the basic degree theory that you learn in your first course on topology. This was originally developed by Pontryagin to compute homotopy groups of spheres, but now it is regarded as a tool in manifold theory. These matters are discussed in Chapter 3 of Luck's book on Surgery theory, for example.

The second application is to physics. Unfortunately I don't understand this story very well at all, so I'll begin with what I more or less DO understand (which may or may not be well-known). The basic idea begins with the problem of situating electromagnetism in a quantum mechanical framework. Dirac began this process by imagining a "magnetic monopole", i.e. a particle that would play the role for magnetic fields that the electron plays for electric fields. The physical laws for a charged particle sitting in the field determined by a magnetic monopole turn out to depend on a choice of vector potential for the field (the choice is necessarily local), and Dirac found that changing the vector potential corresponds to multiplying the wave function $\psi$ for the particle by a complex number of modulus 1 (i.e. an element of U(1)). If we think of the magnetic monopole as sitting at the origin, then these phases can naturally be regarded as elements of a principal $U(1)$-bundle over $M = \mathbb{R}^3 \ 0$$M = \mathbb{R}^3 - \{0\}$. But $M$ is homotopy equivalent to $S^2$, and principal $U(1)$-bundles over $S^2$ are classified by $\pi_1(U(1)) = \mathbb{Z}$. Proof: think about the Hopf fibration. The appearance of the integers here corresponds exactly to the observation of Dirac (the Dirac quantization condition) that the existence of a magnetic monopole implies the quantization of electric charge. It is remarkable to note that Hopf's paper on the Hopf fibration and Dirac's paper on magnetic monopoles were published in the same year, though neither had any clue that the two ideas were related!

The story goes on. The so-called "Yang-Mills Instantons" correspond in a similar way to principal $SU(2)$ bundles over $S^4$, which are classified by $\pi_3(SU(2)) = \mathbb{Z}$. Again, the integers have important physical significance. So these two classical examples motivate the computation of $\pi_1(S^1)$ and $\pi_3(S^3)$, but as is always the case this is just the tip of an iceberg. I am not familiar with anything deeper than the tip, but I have it on good authority that physicists have become interested in homotopy groups of other spheres as well, presumably to classify other principal bundles (it seems like a bit of a coincidence that the groups which came up in these examples are spheres, but maybe one reduces homotopy theory for other spaces to homotopy theory for spheres). People who know more about physics and/or the classification of principal bundles should feel free to chime in.

A great reference for the mathematician who wants to learn something about the physics that I discussed here is the book "Topology, Geometry, and Gauge Fields: Foundations" by Naber.

I used to think that the entire theory was intellectual masturbation, but two examples in particular completely changed my mind.

The first is the Pontryagin-Thom construction, which exhibits an isomorphism between the $k$th stable homotopy group $\pi_{n+k}(S^n)$ and the framed cobordism group of smooth $k$-manifolds. This is even interesting (though more elementary) in the case $k = 0$, where it recovers the basic degree theory that you learn in your first course on topology. This was originally developed by Pontryagin to compute homotopy groups of spheres, but now it is regarded as a tool in manifold theory. These matters are discussed in Chapter 3 of Luck's book on Surgery theory, for example.

The second application is to physics. Unfortunately I don't understand this story very well at all, so I'll begin with what I more or less DO understand (which may or may not be well-known). The basic idea begins with the problem of situating electromagnetism in a quantum mechanical framework. Dirac began this process by imagining a "magnetic monopole", i.e. a particle that would play the role for magnetic fields that the electron plays for electric fields. The physical laws for a charged particle sitting in the field determined by a magnetic monopole turn out to depend on a choice of vector potential for the field (the choice is necessarily local), and Dirac found that changing the vector potential corresponds to multiplying the wave function $\psi$ for the particle by a complex number of modulus 1 (i.e. an element of U(1)). If we think of the magnetic monopole as sitting at the origin, then these phases can naturally be regarded as elements of a principal $U(1)$-bundle over $M = \mathbb{R}^3 \ 0$. But $M$ is homotopy equivalent to $S^2$, and principal $U(1)$-bundles over $S^2$ are classified by $\pi_1(U(1)) = \mathbb{Z}$. Proof: think about the Hopf fibration. The appearance of the integers here corresponds exactly to the observation of Dirac (the Dirac quantization condition) that the existence of a magnetic monopole implies the quantization of electric charge. It is remarkable to note that Hopf's paper on the Hopf fibration and Dirac's paper on magnetic monopoles were published in the same year, though neither had any clue that the two ideas were related!

The story goes on. The so-called "Yang-Mills Instantons" correspond in a similar way to principal $SU(2)$ bundles over $S^4$, which are classified by $\pi_3(SU(2)) = \mathbb{Z}$. Again, the integers have important physical significance. So these two classical examples motivate the computation of $\pi_1(S^1)$ and $\pi_3(S^3)$, but as is always the case this is just the tip of an iceberg. I am not familiar with anything deeper than the tip, but I have it on good authority that physicists have become interested in homotopy groups of other spheres as well, presumably to classify other principal bundles (it seems like a bit of a coincidence that the groups which came up in these examples are spheres, but maybe one reduces homotopy theory for other spaces to homotopy theory for spheres). People who know more about physics and/or the classification of principal bundles should feel free to chime in.

A great reference for the mathematician who wants to learn something about the physics that I discussed here is the book "Topology, Geometry, and Gauge Fields: Foundations" by Naber.

I used to think that the entire theory was intellectual masturbation, but two examples in particular completely changed my mind.

The first is the Pontryagin-Thom construction, which exhibits an isomorphism between the $k$th stable homotopy group $\pi_{n+k}(S^n)$ and the framed cobordism group of smooth $k$-manifolds. This is even interesting (though more elementary) in the case $k = 0$, where it recovers the basic degree theory that you learn in your first course on topology. This was originally developed by Pontryagin to compute homotopy groups of spheres, but now it is regarded as a tool in manifold theory. These matters are discussed in Chapter 3 of Luck's book on Surgery theory, for example.

The second application is to physics. Unfortunately I don't understand this story very well at all, so I'll begin with what I more or less DO understand (which may or may not be well-known). The basic idea begins with the problem of situating electromagnetism in a quantum mechanical framework. Dirac began this process by imagining a "magnetic monopole", i.e. a particle that would play the role for magnetic fields that the electron plays for electric fields. The physical laws for a charged particle sitting in the field determined by a magnetic monopole turn out to depend on a choice of vector potential for the field (the choice is necessarily local), and Dirac found that changing the vector potential corresponds to multiplying the wave function $\psi$ for the particle by a complex number of modulus 1 (i.e. an element of U(1)). If we think of the magnetic monopole as sitting at the origin, then these phases can naturally be regarded as elements of a principal $U(1)$-bundle over $M = \mathbb{R}^3 - \{0\}$. But $M$ is homotopy equivalent to $S^2$, and principal $U(1)$-bundles over $S^2$ are classified by $\pi_1(U(1)) = \mathbb{Z}$. Proof: think about the Hopf fibration. The appearance of the integers here corresponds exactly to the observation of Dirac (the Dirac quantization condition) that the existence of a magnetic monopole implies the quantization of electric charge. It is remarkable to note that Hopf's paper on the Hopf fibration and Dirac's paper on magnetic monopoles were published in the same year, though neither had any clue that the two ideas were related!

The story goes on. The so-called "Yang-Mills Instantons" correspond in a similar way to principal $SU(2)$ bundles over $S^4$, which are classified by $\pi_3(SU(2)) = \mathbb{Z}$. Again, the integers have important physical significance. So these two classical examples motivate the computation of $\pi_1(S^1)$ and $\pi_3(S^3)$, but as is always the case this is just the tip of an iceberg. I am not familiar with anything deeper than the tip, but I have it on good authority that physicists have become interested in homotopy groups of other spheres as well, presumably to classify other principal bundles (it seems like a bit of a coincidence that the groups which came up in these examples are spheres, but maybe one reduces homotopy theory for other spaces to homotopy theory for spheres). People who know more about physics and/or the classification of principal bundles should feel free to chime in.

A great reference for the mathematician who wants to learn something about the physics that I discussed here is the book "Topology, Geometry, and Gauge Fields: Foundations" by Naber.

Source Link
Paul Siegel
Paul Siegel
  • 29.2k
  • 19
  • 134
  • 200

I used to think that the entire theory was intellectual masturbation, but two examples in particular completely changed my mind.

The first is the Pontryagin-Thom construction, which exhibits an isomorphism between the $k$th stable homotopy group $\pi_{n+k}(S^n)$ and the framed cobordism group of smooth $k$-manifolds. This is even interesting (though more elementary) in the case $k = 0$, where it recovers the basic degree theory that you learn in your first course on topology. This was originally developed by Pontryagin to compute homotopy groups of spheres, but now it is regarded as a tool in manifold theory. These matters are discussed in Chapter 3 of Luck's book on Surgery theory, for example.

The second application is to physics. Unfortunately I don't understand this story very well at all, so I'll begin with what I more or less DO understand (which may or may not be well-known). The basic idea begins with the problem of situating electromagnetism in a quantum mechanical framework. Dirac began this process by imagining a "magnetic monopole", i.e. a particle that would play the role for magnetic fields that the electron plays for electric fields. The physical laws for a charged particle sitting in the field determined by a magnetic monopole turn out to depend on a choice of vector potential for the field (the choice is necessarily local), and Dirac found that changing the vector potential corresponds to multiplying the wave function $\psi$ for the particle by a complex number of modulus 1 (i.e. an element of U(1)). If we think of the magnetic monopole as sitting at the origin, then these phases can naturally be regarded as elements of a principal $U(1)$-bundle over $M = \mathbb{R}^3 \ 0$. But $M$ is homotopy equivalent to $S^2$, and principal $U(1)$-bundles over $S^2$ are classified by $\pi_1(U(1)) = \mathbb{Z}$. Proof: think about the Hopf fibration. The appearance of the integers here corresponds exactly to the observation of Dirac (the Dirac quantization condition) that the existence of a magnetic monopole implies the quantization of electric charge. It is remarkable to note that Hopf's paper on the Hopf fibration and Dirac's paper on magnetic monopoles were published in the same year, though neither had any clue that the two ideas were related!

The story goes on. The so-called "Yang-Mills Instantons" correspond in a similar way to principal $SU(2)$ bundles over $S^4$, which are classified by $\pi_3(SU(2)) = \mathbb{Z}$. Again, the integers have important physical significance. So these two classical examples motivate the computation of $\pi_1(S^1)$ and $\pi_3(S^3)$, but as is always the case this is just the tip of an iceberg. I am not familiar with anything deeper than the tip, but I have it on good authority that physicists have become interested in homotopy groups of other spheres as well, presumably to classify other principal bundles (it seems like a bit of a coincidence that the groups which came up in these examples are spheres, but maybe one reduces homotopy theory for other spaces to homotopy theory for spheres). People who know more about physics and/or the classification of principal bundles should feel free to chime in.

A great reference for the mathematician who wants to learn something about the physics that I discussed here is the book "Topology, Geometry, and Gauge Fields: Foundations" by Naber.