Communications in Mathematical Physics

, Volume 78, Issue 4, pp 455–478 | Cite as

Symmetry and bifurcations of momentum mappings

  • Judith M. Arms
  • Jerrold E. Marsden
  • Vincent Moncrief
Article

Abstract

The zero set of a momentum mapping is shown to have a singularity at each point with symmetry. The zero set is diffeomorphic to the product of a manifold and the zero set of a homogeneous quadratic function. The proof uses the Kuranishi theory of deformations. Among the applications, it is shown that the set of all solutions of the Yang-Mills equations on a Lorentz manifold has a singularity at any solution with symmetry, in the sense of a pure gauge symmetry. Similarly, the set of solutions of Einstein's equations has a singularity at any solution that has spacelike Killing fields, provided the spacetime has a compact Cauchy surface.

Glossary of Symbols

(P,ω)

symplectic manifold

\(T_{x_0 } P\)

tangent space toP atx0εP

G,g

Lie group, Lie algebra

g·xg(x)

action ofG onP

ξP

infinitesimal generator of the action onP corresponding toξεg

J:P→g*

momentum mapping

\(dJ\left( {x_0 } \right):T_{x_0 } P \to \mathfrak{g}^ * \)

differential ofJ atx0

\(\mathbb{J}\)

complex structure onP

\(S_{x_0 } \)

slice for theG-action atx0

\(I_{x_0 } \)

isotropy group ofx0; {g εG|gx0=x0}

\(\mathcal{L}_{x_0 } ,\mathfrak{s}_{x_0 } \)

identity component of\(I_{x_0 } \), its Lie algebra [Eq. (10)]

«,»

(weak) metric onP

〈,〉

pairing between g* and g

\((,)_{x_0 } \)

inner product of g* depending onx0εP

\(dJ\left( {x_0 } \right)^ * :\mathfrak{g} \to T_{x_0 } P\)

adjoint ofdJ(x0) relative to 〈,〉 and «,»

\(dJ\left( {x_0 } \right)^\dag :\mathfrak{g}^ * \to T_{x_0 } P\)

adjoint ofdJ(x0) relative to (,) and «,»

\(T_{x_0 } P = Range\left[ {\mathbb{J} \circ dJ\left( {x_0 } \right)^ * } \right] \oplus Range\left[ {dJ\left( {x_0 } \right)^ * } \right] \oplus \left[ {\ker \left( {dJ\left( {x_0 } \right) \circ \mathbb{J}} \right) \cap \ker dJ\left( {x_0 } \right)} \right]\)

Moncrief's decomposition

ℙ:g*→RangeddJ(x0)

orthogonal projection

\(\mathcal{C} = J^{ - 1} \left( 0 \right)\)

zero set ofJ (or constraint set)

\(\mathcal{C}_\mathbb{P} = \left( {\mathbb{P}J} \right)^{ - 1} \left( 0 \right)\)

zero set of ℙ∘J

\(N_{x_0 } \)

x's with the same orbit type asx0

\(\mathcal{N}_{x_0 } \)

\(N_{x_0 } \cap S_{x_0 } \) (Lemma 1)

\(\mathfrak{g}_{x_0 }^ * \)

elements in g* with same symmetry asx0 (Lemma 5)

f

\(f = \left( {Id - \mathbb{P}} \right) \circ J:\mathcal{C}_\mathbb{P} \cap S_{x_0 } \to \ker dJ\left( {x_0 } \right)^\dag \) (Lemma 8)

Δ=dJ(x0)∘dJ(x0)

“elliptic” operator associated withJ

G−1∘ℙ

Greens' function for Δ

F(x)=x+dJ(x0)GQ(h),h=xx0

Kuranishi map (Lemma 9)

\(C_{x_0 } \)

homogeneous cone associated withd2J(x0) (Theorem 3)

Open image in new window

orthogonal projection onto kerdJ(x0) (Theorem 3)

\(\mathfrak{h}\), ℋ

a Lie subalgebra of\(\mathfrak{s}_{x_0 } \), its Lie group

Open image in new window

points with symmetry (at least) ℋ (Theorem 4)

Open image in new window

Open image in new window

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Abraham, R., Marsden, J.: Foundations of mechanics, second edition. Addison-Wesley, Reading 1978Google Scholar
  2. 2.
    Arms, J.: J. Math. Phys. NY20, 443–453 (1979a)CrossRefGoogle Scholar
  3. 3.
    Arms, J.: Does matter break the link between symmetry and linearization stability? (preprint) (1979b)Google Scholar
  4. 4.
    Arms, J.: The structure of the solution set for the Yang-Mills equations (preprint) (1980)Google Scholar
  5. 5.
    Arms, J., Fisher, A., Marsden, J.: C.R. Acad. Sci. Paris281, 517–520 (1975)Google Scholar
  6. 6.
    Arms, J., Fisher, A., Marsden, J., Moncrief, V.: The structure of the space of solutions of Einstein's equations. II. Many killing fields (in preparation) (1980)Google Scholar
  7. 7.
    Atiyah, M.F., Hitchin, N.J., Singer, I.M.: Proc. R. Soc. London, Ser. A362, 425–461 (1978)Google Scholar
  8. 8.
    Brill, D., Deser, S.: Commun. Math. Phys.32, 291–304 (1973)CrossRefGoogle Scholar
  9. 9.
    Bott, R.: Ann. Math.60, 248–261 (1954)Google Scholar
  10. 10.
    Brown, R.A., Scriven, L.E.: Proc. R. Soc. London (to appear) (1980)Google Scholar
  11. 11.
    Cantor, M.: Comp. Math.38, 3–35 (1979)Google Scholar
  12. 12.
    Ebin, D.: Proc. Symp. Pure Math. Am. Math. Soc.XV, 11–40 (1970)Google Scholar
  13. 13.
    Fischer, A., Marsden, J.: Bull. Am. Math. Soc.79, 995–1001 (1973)Google Scholar
  14. 14.
    Fischer, A., Marsden, J., Moncrief, V.: Ann. Inst. Henri Poincaré (to appear) (1980)Google Scholar
  15. 15.
    Gotay, M., Marsden, J., Sniatycki, J.: Lagrangian field theory and zero sets of momentum maps (in preparation) (1980)Google Scholar
  16. 16.
    Gotay, M., Nester, J., Hinds, G.: J. Math. Phys. NY19, 2388–2399 (1978)CrossRefGoogle Scholar
  17. 17.
    Hawking, S., Ellis, G.: The large scale structure of spacetime. Cambridge: Cambridge University Press 1973Google Scholar
  18. 18.
    Hermann, R.: Differential geometry and the calculus of variations, New York: Academic Press 1968, second edition by Math. Sci. Press 1977Google Scholar
  19. 19.
    Jantzen, R.: Commun. Math. Phys.64, 211–232 (1979)CrossRefGoogle Scholar
  20. 20.
    Kijowski, J., Tulczyjew, W.: A symplectic framework for field theories. Springer Lecture Notes in Physics, No. 107. Berlin, Heidelberg, New York: Springer 1979Google Scholar
  21. 21.
    Kuranishi, M.: New proof for the existence of locally complete families of complex structures. Proc. Conf. on Complex Analysis. A. Aeppli et al. (eds.). Berlin, Heidelberg, New York: Springer 1965Google Scholar
  22. 22.
    Marsden, J.: Bull. Am. Math. Soc.84, 1125–1148 (1978)Google Scholar
  23. 23.
    Marsden, J.: Geometric methods in mathematical physics. CMBS Conf. Series (to appear) (1980)Google Scholar
  24. 24.
    Marsden, J., Weinstein, A.: Rep. Math. Phys.5, 121–130 (1974)CrossRefGoogle Scholar
  25. 25.
    Moncrief, V.: J. Math. Phys. NY16, 493–498;17, 1893–1902 (1975a)CrossRefGoogle Scholar
  26. 26.
    Moncrief, V.: J. Math. Phys. NY16, 1556–1560 (1975b)CrossRefGoogle Scholar
  27. 27.
    Moncrief, V.: Ann. Phys.108, 387–400 (1977)CrossRefGoogle Scholar
  28. 28.
    Moncrief, V.: Phys. Rev. D18, 983–989 (1978)CrossRefGoogle Scholar
  29. 29.
    Palais, R.: Mem. Am. Math. Soc. No. 22 (1957)Google Scholar
  30. 30.
    Segal, I.E.: Proc. Nat. Acad. Sci. USA15, 4638–4639 (1978)Google Scholar
  31. 31.
    Smale, S.: Inventiones Math.10, 305–331;11, 45–64 (1970)CrossRefGoogle Scholar
  32. 32.
    Souriau, J.M.: Structure des systemes dynamique. Paris: Dunod 1970Google Scholar
  33. 33.
    Weinstein, A.: Lectures on symplectic manifolds. CBMS Conf. Series No. 29, AMS (1977)Google Scholar
  34. 34.
    Garcia, P., Rendon, A.P.: Reducibility of the symplectic structure of minimal interactions. In: Lecture Notes in Mathematics, Vol. 676. Berlin, Heidelberg, New York: Springer 1978Google Scholar
  35. 35.
    Garcia, P.: Tangent structure of Yang-Mills equations and Hodge theory. In: Lecture Notes in Mathematics, Vol. 836. Berlin, Heidelberg, New York: Springer 1979Google Scholar

Copyright information

© Springer-Verlag 1981

Authors and Affiliations

  • Judith M. Arms
    • 1
  • Jerrold E. Marsden
    • 2
  • Vincent Moncrief
    • 3
  1. 1.Department of MathematicsUniversity of WashingtonSeattleUSA
  2. 2.Department of MathematicsUniversity of CaliforniaBerkeleyUSA
  3. 3.Department of PhysicsYale UniversityNew HavenUSA

Personalised recommendations