Skip to main content
added 2300 characters in body
Source Link
Matt Noonan
  • 4k
  • 3
  • 33
  • 28

Unfortunately, things are subtle and terrible (at least, compared to the abelian case). I wrote a bit about this in an unpublished article.

One of the surprising, terrible features is that you can have two connections ω,η such that (1) curv ω = curv η, yet (2) ω and η are not gauge equivalent. Wu and Yang discussed this problem, and I think also were responsible for calling it the "field copy problem" (or maybe the name came from Mostow, who also wrote on it). It is quite weird when you sit down and think about it in terms of Yang-Mills field theory. From that perspective, you're looking at a connection whose dynamics is determined by a Lagrangian that only involves the curvature. The field copy problem shows that with nonabelian gauge groups, you can have two distinct connections that minimize the same Yang-Mills functional. In other words, observing the curvature form doesn't tell you enough to reconstruct the connection up to gauge equivalence, even in the special case of Yang-Mills connections!

Len Gross analyzed the field copy problem in "A Poincaré Lemma for Connection Forms", where he found an alternative collection of observables that suffices to reconstruct the connection up to gauge equivalence. I tried to make sense of his results using 2-categories in the article I linked above. Ultimately my research went in a different direction and I never got to follow through with this thread in the way I would have liked.

There is also an issue with the next term of the exact-ish sequence, too (your $d_\omega$): the Bianchi identity sure looks like it should be the map to use there, as you propose. Ok, so we'll differentiate the 2-form with respect to the connection... but wait! We don't even have a connection form to put our hands on at that point! There is no $\omega$ to use!

Unfortunately, things are subtle and terrible (at least, compared to the abelian case). I wrote a bit about this in an unpublished article.

One of the surprising, terrible features is that you can have two connections ω,η such that (1) curv ω = curv η, yet (2) ω and η are not gauge equivalent. Wu and Yang discussed this problem, and I think also were responsible for calling it the "field copy problem". It is quite weird when you sit down and think about it in terms of Yang-Mills field theory. From that perspective, you're looking at a connection whose dynamics is determined by a Lagrangian that only involves the curvature. The field copy problem shows that with nonabelian gauge groups, you can have two distinct connections that minimize the same Yang-Mills functional. In other words, observing the curvature form doesn't tell you enough to reconstruct the connection up to gauge equivalence, even in the special case of Yang-Mills connections!

Len Gross analyzed the field copy problem in "A Poincaré Lemma for Connection Forms", where he found an alternative collection of observables that suffices to reconstruct the connection up to gauge equivalence. I tried to make sense of his results using 2-categories in the article I linked above. Ultimately my research went in a different direction and I never got to follow through with this thread in the way I would have liked.

There is also an issue with the next term of the exact-ish sequence, too (your $d_\omega$): the Bianchi identity sure looks like it should be the map to use there, as you propose. Ok, so we'll differentiate the 2-form with respect to the connection... but wait! We don't even have a connection form to put our hands on at that point! There is no $\omega$ to use!

Unfortunately, things are subtle and terrible (at least, compared to the abelian case). I wrote a bit about this in an unpublished article.

One of the surprising, terrible features is that you can have two connections ω,η such that (1) curv ω = curv η, yet (2) ω and η are not gauge equivalent. Wu and Yang discussed this problem, and I think also were responsible for calling it the "field copy problem" (or maybe the name came from Mostow, who also wrote on it). It is quite weird when you sit down and think about it in terms of Yang-Mills field theory. From that perspective, you're looking at a connection whose dynamics is determined by a Lagrangian that only involves the curvature. The field copy problem shows that with nonabelian gauge groups, you can have two distinct connections that minimize the same Yang-Mills functional. In other words, observing the curvature form doesn't tell you enough to reconstruct the connection up to gauge equivalence, even in the special case of Yang-Mills connections!

Len Gross analyzed the field copy problem in "A Poincaré Lemma for Connection Forms", where he found an alternative collection of observables that suffices to reconstruct the connection up to gauge equivalence. I tried to make sense of his results using 2-categories in the article I linked above. Ultimately my research went in a different direction and I never got to follow through with this thread in the way I would have liked.

There is also an issue with the next term of the exact-ish sequence, too (your $d_\omega$): the Bianchi identity sure looks like it should be the map to use there, as you propose. Ok, so we'll differentiate the 2-form with respect to the connection... but wait! We don't even have a connection form to put our hands on at that point! There is no $\omega$ to use!

added 2300 characters in body
Source Link
Matt Noonan
  • 4k
  • 3
  • 33
  • 28

Unfortunately, things are subtle and terrible (at least, compared to the abelian case). I wrote a bit about this in an unpublished article here: http://pi.math.cornell.edu/~noonan/halifax.pdfin an unpublished article.

One of the surprising, terrible features is that you can have two connections ω,η such that (1) curv ω = curv η, yet (2) ω and η are not gauge equivalent. Len Gross calledWu and Yang discussed this problem, and I think also were responsible for calling it the "field copy problem", and it. It is quite weird when you sit down and think about it in terms of Yang-Mills field theory. From that perspective, you're looking at a connection whose dynamics is determined by a Lagrangian that only involves the curvature. The field copy problem shows that with nonabelian gauge groups, you can have two distinctdistinct connections that minimize the same Yang-Mills functional. In other words, observing the curvature form doesn't tell you enough to reconstruct the connection up to gauge equivalence, even in the special case of Yang-Mills connections!

Len Gross analyzed the field copy problem in "A Poincaré Lemma for Connection Forms""A Poincaré Lemma for Connection Forms", where he found an alternative collection of observables that suffices to reconstruct the connection up to gauge equivalence. I tried to make sense of his results using 2-categories in the article I linked above. UnfortunatelyUltimately my research went in a different direction and I never got to follow through with this thread in the way I would have liked.

There is also an issue with the next term of the exact-ish sequence, too (your $d_\omega$): the Bianchi identity sure looks like it should be the map to use there, as you propose. Ok, so we'll differentiate the 2-form with respect to the connection... but wait! We don't even have a connection form to put our hands on at that point! There is no $\omega$ to use!

Unfortunately, things are subtle and terrible (at least, compared to the abelian case). I wrote a bit about this in an unpublished article here: http://pi.math.cornell.edu/~noonan/halifax.pdf

One of the surprising, terrible features is that you can have two connections ω,η such that (1) curv ω = curv η, yet (2) ω and η are not gauge equivalent. Len Gross called this the "field copy problem", and it is quite weird when you sit down and think about it in terms of Yang-Mills field theory. From that perspective, you're looking at a connection whose dynamics is determined by a Lagrangian that only involves the curvature. The field copy problem shows that with nonabelian gauge groups, you can have two distinct connections that minimize the same Yang-Mills functional. In other words, observing the curvature form doesn't tell you enough to reconstruct the connection up to gauge equivalence, even in the special case of Yang-Mills connections!

Gross analyzed the field copy problem in "A Poincaré Lemma for Connection Forms", where he found an alternative collection of observables that suffices to reconstruct the connection up to gauge equivalence. I tried to make sense of his results using 2-categories in the article I linked above. Unfortunately my research went in a different direction and I never got to follow through with this thread in the way I would have liked.

Unfortunately, things are subtle and terrible (at least, compared to the abelian case). I wrote a bit about this in an unpublished article.

One of the surprising, terrible features is that you can have two connections ω,η such that (1) curv ω = curv η, yet (2) ω and η are not gauge equivalent. Wu and Yang discussed this problem, and I think also were responsible for calling it the "field copy problem". It is quite weird when you sit down and think about it in terms of Yang-Mills field theory. From that perspective, you're looking at a connection whose dynamics is determined by a Lagrangian that only involves the curvature. The field copy problem shows that with nonabelian gauge groups, you can have two distinct connections that minimize the same Yang-Mills functional. In other words, observing the curvature form doesn't tell you enough to reconstruct the connection up to gauge equivalence, even in the special case of Yang-Mills connections!

Len Gross analyzed the field copy problem in "A Poincaré Lemma for Connection Forms", where he found an alternative collection of observables that suffices to reconstruct the connection up to gauge equivalence. I tried to make sense of his results using 2-categories in the article I linked above. Ultimately my research went in a different direction and I never got to follow through with this thread in the way I would have liked.

There is also an issue with the next term of the exact-ish sequence, too (your $d_\omega$): the Bianchi identity sure looks like it should be the map to use there, as you propose. Ok, so we'll differentiate the 2-form with respect to the connection... but wait! We don't even have a connection form to put our hands on at that point! There is no $\omega$ to use!

Source Link
Matt Noonan
  • 4k
  • 3
  • 33
  • 28

Unfortunately, things are subtle and terrible (at least, compared to the abelian case). I wrote a bit about this in an unpublished article here: http://pi.math.cornell.edu/~noonan/halifax.pdf

One of the surprising, terrible features is that you can have two connections ω,η such that (1) curv ω = curv η, yet (2) ω and η are not gauge equivalent. Len Gross called this the "field copy problem", and it is quite weird when you sit down and think about it in terms of Yang-Mills field theory. From that perspective, you're looking at a connection whose dynamics is determined by a Lagrangian that only involves the curvature. The field copy problem shows that with nonabelian gauge groups, you can have two distinct connections that minimize the same Yang-Mills functional. In other words, observing the curvature form doesn't tell you enough to reconstruct the connection up to gauge equivalence, even in the special case of Yang-Mills connections!

Gross analyzed the field copy problem in "A Poincaré Lemma for Connection Forms", where he found an alternative collection of observables that suffices to reconstruct the connection up to gauge equivalence. I tried to make sense of his results using 2-categories in the article I linked above. Unfortunately my research went in a different direction and I never got to follow through with this thread in the way I would have liked.