

Study with the several resources on Docsity
Earn points by helping other students or get them with a premium plan
Prepare for your exams
Study with the several resources on Docsity
Earn points to download
Earn points by helping other students or get them with a premium plan
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
1 / 2
This page cannot be seen from the preview
Don't miss anything!


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
γ " "
α (^) //Vect(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.
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!