Impulsabbildung

Die Impulsabbildung ist ein Konzept der mathematischen Physik, mit dem das Noether-Theorem über den Zusammenhang von Symmetrien und Erhaltungsgrößen theoretisch erklärt werden kann.

Konstruktion der Impulsabbildung

Sei ( M , ω ) {\displaystyle (M,\omega )} eine symplektische Mannigfaltigkeit. Eine Lie-Gruppe G {\displaystyle G} wirke durch Symplektomorphismen auf M {\displaystyle M} . Die zur Lie-Gruppe zugehörige Lie-Algebra, aus der die Gruppe durch Exponentierung hervorgeht, sei g {\displaystyle {\mathfrak {g}}} . Für X g {\displaystyle X\in {\mathfrak {g}}} sei ξ X {\displaystyle \xi _{X}} das entsprechende Vektorfeld auf M {\displaystyle M} und ι {\displaystyle \iota } bezeichne das innere Produkt auf M {\displaystyle M} .

Weil G {\displaystyle G} durch Symplektomorphismen wirkt, ist die Lie-Ableitung L ξ X ω = 0 {\displaystyle {\mathcal {L}}_{\xi _{X}}\omega =0} , mit der Cartan-Formel folgt d ι ξ X ω = 0 {\displaystyle \mathrm {d} \iota _{\xi _{X}}\omega =0} , das Vektorfeld ist also symplektisch. Wenn die geschlossene Differentialform ι ξ X ω {\displaystyle \mathrm {\iota } _{\xi _{X}}\omega } exakt ist, ist das Vektorfeld zusätzlich hamiltonsch. Dies ist zum Beispiel immer dann der Fall, wenn die erste De-Rham-Kohomologie H 1 ( M ; R ) = 0 {\displaystyle H^{1}(M;\mathbb {R} )=0} ist.

In diesem Fall gibt es eine Funktion μ X : M R {\displaystyle \mu ^{X}\colon M\to \mathbb {R} } mit d μ X = ι ξ X {\displaystyle \mathrm {d} \mu ^{X}=\iota _{\xi _{X}}} , und man erhält insgesamt eine Abbildung μ : M g {\displaystyle \mu \colon M\to {\mathfrak {g}}^{*}} mit μ ( x ) ( X ) = μ X ( x ) {\displaystyle \mu (x)(X)=\mu ^{X}(x)} . Diese Abbildung μ {\displaystyle \mu } wird als Impulsabbildung bezeichnet.

Eigenschaften

  • Für den symplektischen Gradienten sgrad {\displaystyle \operatorname {sgrad} } und jedes X g {\displaystyle X\in {\mathfrak {g}}^{*}} gilt sgrad ( μ X ) ( x ) = d d t ( exp ( t X ) x ) | t = 0 {\displaystyle \operatorname {sgrad} (\mu ^{X})(x)=\left.{\frac {\mathrm {d} }{\mathrm {d} t}}(\exp(tX)\cdot x)\right|_{t=0}} für alle x M {\displaystyle x\in M} .
  • Für alle g G , x X {\displaystyle g\in G,x\in X} gilt μ ( g x ) = Ad ( g 1 ) μ ( x ) {\displaystyle \mu (g\cdot x)=\operatorname {Ad} (g^{-1})^{*}\circ \mu (x)} .

Noether-Theorem

Wenn eine Lie-Gruppe G {\displaystyle G} durch Symplektomorphismen auf einer symplektischen Mannigfaltigkeit ( M , ω ) {\displaystyle (M,\omega )} wirkt und H {\displaystyle H} eine G {\displaystyle G} -invariante Hamilton-Funktion ist, dann ist μ {\displaystyle \mu } konstant entlang der Integralkurven von sgrad ( H ) {\displaystyle \operatorname {sgrad} (H)} (also der Lösungskurven des Hamilton-Systems). Tatsächlich gilt für die Poisson-Klammer mit der Hamilton-Funktion

{ μ X , H } = ω ( X H , X ) = ι X d H = 0 {\displaystyle \left\{\mu ^{X},H\right\}=\omega (X_{H},X)=\iota _{X}\mathrm {d} H=0}

für X g {\displaystyle X\in {\mathfrak {g}}^{*}} , woraus wegen der Gleichung d d t μ X ( Φ H ( t , x ) ) | t = 0 = { μ X , H } {\displaystyle \left.{\frac {\mathrm {d} }{\mathrm {d} t}}\mu ^{X}(\Phi _{H}(t,x))\right|_{t=0}=\left\{\mu ^{X},H\right\}} für den hamiltonschen Fluss Φ H {\displaystyle \Phi _{H}} die Invarianz von μ X {\displaystyle \mu ^{X}} folgt.

Literatur

  • Victor Guillemin, T. L. Ohsawa, Yael Karshon, Viktor L. Ginzburg: Moment Maps, Cobordisms, and Hamiltonian Group Actions. American Mathematical Soc., 2002, ISBN 0-8218-0502-9. 
  • Heckman: Lecture notes on the geometry of the momentum map
V
Symplektische Topologie