cianfa72
- 2,784
- 293
- TL;DR Summary
- About the isometries of pseudo-riemannian manifolds and the definition of manifold isotropic around a point
I'd ask for clarification about the symmetries of (pseudo) Riemannian manifold ##M## of dimension ##n##.
The set of smooth vector fields ##\Gamma(TM)## forms a vector space over ##\mathbb R##; the commutator defined as $$[X,Y](f):=X(Y(f)) - Y(X(f))$$ turns it into a (infinite dimensional) Lie algebra.
Consider the set of continuous isometries, i.e. the flows of Killing Vector Fields w.r.t. the tensor metric ##g##. KVFs form a linear subspace of ##\Gamma (TM)## that closes w.r.t. the commutator, i.e. it is a Lie algebra on its own. As far as I can tell, this linear subspace/Lie algebra over ##\mathbb R## has always finite dimension ##m \geq n##.
That said, consider for instance the case of spherically symmetric Lorentzian metric. It has a specific Lie algebra of rotational KVFs. The latter should be a linear subspace/Lie algebra of the Lie algebra of all KVFs.
Now the question: does the definition of isotropy around a point apply to the entire spacetime as manifold or to its spacelike submanifolds ?
I took as definition of isotropy around a point the one from J. Lee - Introduction to Riemannian manifolds" chapter 3 - Symmetries of Riemannian Manifolds.
The set of smooth vector fields ##\Gamma(TM)## forms a vector space over ##\mathbb R##; the commutator defined as $$[X,Y](f):=X(Y(f)) - Y(X(f))$$ turns it into a (infinite dimensional) Lie algebra.
Consider the set of continuous isometries, i.e. the flows of Killing Vector Fields w.r.t. the tensor metric ##g##. KVFs form a linear subspace of ##\Gamma (TM)## that closes w.r.t. the commutator, i.e. it is a Lie algebra on its own. As far as I can tell, this linear subspace/Lie algebra over ##\mathbb R## has always finite dimension ##m \geq n##.
That said, consider for instance the case of spherically symmetric Lorentzian metric. It has a specific Lie algebra of rotational KVFs. The latter should be a linear subspace/Lie algebra of the Lie algebra of all KVFs.
Now the question: does the definition of isotropy around a point apply to the entire spacetime as manifold or to its spacelike submanifolds ?
I took as definition of isotropy around a point the one from J. Lee - Introduction to Riemannian manifolds" chapter 3 - Symmetries of Riemannian Manifolds.
Last edited: