Riemann Manifold: Choosing a Basis & Lie Algebra

befj0001
Messages
43
Reaction score
0
On the spacetime manifold in general relativity, one chooses a basis at a point and express it by the partial derivatives with respect to the four coordinates in the coordinate system. And then the basis vectors in the dual space will be the differentials of the coordinates. Why do one do that? I understand that by doing so it allows one to identify the vectorfields on the manifold by a Lie algebra.

But why do one choose to do so? And why is it so important for allowing a Lie algebra of the vector fields to be defined?

Could someone give a more intuitive explanation for this?
 
Physics news on Phys.org
The choice of a coordinate basis is not a necessary one. Non-coordinate bases are used all the time in GR as they make direct contact with measurements made by observers or fields of observers. Coordinate bases are simply easier to handle computationally.
 
The nice thing about coordinate bases is that they don't have lie brackets with respect to each other:
$$\left[\frac{\partial}{\partial x^i},\frac{\partial}{\partial x^j}\right]=0$$

This makes many computations (e.g. for the curvature tensors) simpler. It is not a requirement that one uses these bases though. One can use any linearly independent basis one wants, the other popular choice being a set of orthonormal bases (sometimes called a tetrad, frame field, or vierbien).
 
I asked a question here, probably over 15 years ago on entanglement and I appreciated the thoughtful answers I received back then. The intervening years haven't made me any more knowledgeable in physics, so forgive my naïveté ! If a have a piece of paper in an area of high gravity, lets say near a black hole, and I draw a triangle on this paper and 'measure' the angles of the triangle, will they add to 180 degrees? How about if I'm looking at this paper outside of the (reasonable)...
From $$0 = \delta(g^{\alpha\mu}g_{\mu\nu}) = g^{\alpha\mu} \delta g_{\mu\nu} + g_{\mu\nu} \delta g^{\alpha\mu}$$ we have $$g^{\alpha\mu} \delta g_{\mu\nu} = -g_{\mu\nu} \delta g^{\alpha\mu} \,\, . $$ Multiply both sides by ##g_{\alpha\beta}## to get $$\delta g_{\beta\nu} = -g_{\alpha\beta} g_{\mu\nu} \delta g^{\alpha\mu} \qquad(*)$$ (This is Dirac's eq. (26.9) in "GTR".) On the other hand, the variation ##\delta g^{\alpha\mu} = \bar{g}^{\alpha\mu} - g^{\alpha\mu}## should be a tensor...
Back
Top