Weakly Hamiltonian Group Actions-Classical and Relativistic Mechanics-Lecture Handout, Exercises of Classical and Relativistic Mechanics

This lecture handout is part of Advanced Classical and Relativistic Mechanics course. Prof. Manasi Singh provided this handout at Punjab Engineering College. It includes: Weakly, Hamiltonian, Group, Galilei, Commuting, Diagram, Generator, Translations, Lie

Typology: Exercises

2011/2012

Uploaded on 07/19/2012

davdas900
davdas900 🇮🇳

4.6

(5)

110 documents

1 / 2

Toggle sidebar

This page cannot be seen from the preview

Don't miss anything!

bg1
This is legitimate if Gis a group of matrices.
So γ[r, s] = 0. But {γ(r), γ(s)} 6= 0, since
γ(r) = p1
(momentum generates translations), and
γ(s) = mq1
(mass time position generates boosts), so
{γ(r), γ(s)}=
n
X
i=1
∂pi
p1
∂qi
mq1
∂qi
p1
∂pi
mq1
=m
Here mC(X) is really the constant function equal to mat all points of X. But what vector
field on Xdoes this observable generate? What is vm={m, ·}? It is zero! It generates this flow:
φ:R×XX
(t, x)7→ x
All constant functions, or indeed, all locally constant functions fon any Poisson manifold give
vf= 0.
picture of phase space with two connected components
The problem is that this diagram:
g
γ""
E
E
E
E
E
E
E
E
E
α//Vect(X)
C(X)
β
99
s
s
s
s
s
s
s
s
s
s
βis not 1-1; it sends all locally constant functions to 0, so we can have
βγ[x, y] = [βγ (x), βγ (y)]
even though
γ[x, y]6= [γ(x), γ(y)].
This also means that different choices of γcan make this diagram commute.
Definition 2 If Gis a Lie group acting on a Poisson manifold X:
A:G×XX
we say Ais weakly Hamiltonian if there exists a linear map
γ:gC(X)
such that
α=βγ
with γnot necessarily a Lie algebra homomorphism.
2
docsity.com
pf2

Partial preview of the text

Download Weakly Hamiltonian Group Actions-Classical and Relativistic Mechanics-Lecture Handout and more Exercises Classical and Relativistic Mechanics in PDF only on Docsity!

This is legitimate if G is a group of matrices. 

So γ[r, s] = 0. But {γ(r), γ(s)} 6 = 0, since

γ(r) = p 1

(momentum generates translations), and

γ(s) = mq 1

(mass time position generates boosts), so

{γ(r), γ(s)} =

∑^ n

i=

∂pi

p 1

∂qi

mq 1 −

∂qi

p 1

∂pi

mq 1

= m

Here m ∈ C∞(X) is really the constant function equal to m at all points of X. But what vector field on X does this observable generate? What is vm = {m, ·}? It is zero! It generates this flow:

φ: R × X → X

(t, x) 7 → x

All constant functions, or indeed, all locally constant functions f on any Poisson manifold give vf = 0. picture of phase space with two connected components

The problem is that this diagram:

g

γ " "

EEE

EE

EE

EE

α (^) //Vect(X)

C∞(X)

β

s^ s^99 sss sss ss

β is not 1-1; it sends all locally constant functions to 0, so we can have

βγ[x, y] = [βγ(x), βγ(y)]

even though γ[x, y] 6 = [γ(x), γ(y)].

This also means that different choices of γ can make this diagram commute.

Definition 2 If G is a Lie group acting on a Poisson manifold X:

A: G × X → X

we say A is weakly Hamiltonian if there exists a linear map

γ: g → C∞(X)

such that α = βγ

with γ not necessarily a Lie algebra homomorphism.

docsity.com

In our example we have: {γ(x), γ(y)} = γ[x, y] + c(x, y)

where c(x, y) is a locally constant function, so {c(x, y), ·} = 0. In this situation we call c a “2- cocycle”. It turns out that weakly Hamiltonian actions of the Galilei group G(n+1) on the Poisson manifold T ∗Rn^ can completely classified: there is one for each m ∈ R. This m specifies the cocycle... but physically it is the mass of a particle in Rn. So the concept of mass is inevitable... even without gravity around!

docsity.com