Question on group actions on vector spaces

Join the discussion
Ask a follow-up here, or get your own question answered by working scientists, mathematicians and engineers — people, not an autocomplete.
Real named experts · corrections over time · the nuance an AI answer skips
5 replies · 3K views
mnb96
Messages
711
Reaction score
5
Hello,
If I am given a vector space (e.g. [itex]\mathbb{R}^n[/itex]), and a group [itex]G[/itex] that acts on [itex]\mathbb{R}^n[/itex], what are the conditions that [itex]G[/itex] must satisfy so that for any given [itex]x\in\mathbb{R}^n[/itex] its orbit [itex]Gx[/itex] is a manifold ?
 
Physics news on Phys.org
If G is a Lie group acting smoothly on R^n, then the orbits will be immersed submanifolds.
 
The orbit has the same group structure as G does by multiplication [tex]gx \cdot hx = (gh)x[/tex] and the obvious isomorphism [tex]g \mapsto gx[/tex]. So this means that your group G has to be a manifold. I'm guessing you'll want the multiplication to be continuous under the topology of the manifold or something, I'll have to think about itEDIT: Woops, not an isomorphism,. That's what happens when you use the word obvious.

Ok after thinking about this for a bit, I have to ask: did you perhaps want G to act linearly on the vector space?
 
Last edited:
Office_Shredder said:
Ok after thinking about this for a bit, I have to ask: did you perhaps want G to act linearly on the vector space?

Uhm...Sorry, could you please specify what does "to act linearly" mean?
Thanks
 
Every element of G is a linear map, so along with the normal group action rules you have

[tex]g \cdot (\alpha x + \beta y) = \alpha g \cdot x + \beta g \cdot y[/tex]

Otherwise the fact that we're living in a vector space is a happy coincidence and has very little bearing on the problem
 
Ok. I got it, so yes...the group has to act linearly.