Divergence of left invariant vector field


by paweld
Tags: divergence, field, invariant, vector
paweld
paweld is offline
#1
Aug2-11, 04:39 AM
P: 256
Let's assume that a compact Lie group and left invariant vector filed X are given.
I wonder why the divergence (with respect to Haar measure) of this field has to
be equall 0. I found such result in one paper but I don't know how to prove it.
Any suggestions?
Phys.Org News Partner Science news on Phys.org
Review: With Galaxy S5, Samsung proves less can be more
Making graphene in your kitchen
Study casts doubt on climate benefit of biofuels from corn residue
mathwonk
mathwonk is offline
#2
Aug17-11, 12:34 PM
Sci Advisor
HW Helper
mathwonk's Avatar
P: 9,422
searching the web i have found assertions that this holds for unimodular groups, but perhaps not in general. could there be another hypothesis you haven't mentioned?
fzero
fzero is offline
#3
Aug17-11, 01:27 PM
Sci Advisor
HW Helper
PF Gold
P: 2,606
Given a volume form [itex]\omega[/itex], then the divergence of a vector field [itex]X[/itex] is related to the Lie derivative as:

[itex](\mathrm{div}~X) \omega = \mathcal{L}_X \omega.[/itex]

In the case of a Lie group, there are presumably a number of ways to show that the RHS vanishes iff [itex]X[/itex] is an element of the Lie algebra. In particular, we can argue that it's natural from the point of view of the Lie algebra generating the isometries of the Lie group manifold.

paweld
paweld is offline
#4
Aug18-11, 04:39 AM
P: 256

Divergence of left invariant vector field


Thanks fzero. I like your reasoning.


Register to reply

Related Discussions
Just what does it mean when a vector field has 0 divergence? Introductory Physics Homework 9
divergence of a vector field Calculus 0
Divergence of vector field Calculus 6
If the divergence of a vector field is zero... Calculus & Beyond Homework 5
Left invariant vector fields of a lie group Calculus & Beyond Homework 2