Coordinate vector fields associated to normal coordinates

Question

Let $(M,g)$ be a pseudo-Riemann manifold, $p\in M$ and $\mathcal{B}_p=\{X_i^p \,:\,i=1,\ldots,n\}\in T_pM$ an orthonormal basis of the tangent space of the point $p \in M$.

Attached to this basis $\mathcal{B}_p$ and using the exponential map (induced by the Levi-Civita connection), we have the so-called normal coordinate system around a neighbourhood $U \subset M$ of $p$

$\phi:U \subset M \rightarrow \phi(U) \subset \mathbb{R}^n$.

My question is about the local coordinate vector fields attached to this coordinate system:

$ \left\{ \left.\frac{\partial}{\partial \phi_1}\right|, \ldots, \left.\frac{\partial}{\partial \phi_n}\right| \right\} \subset \mathfrak{X}(U)$ .

It is not difficult to see that these vector fields evaluated at $p$ coincide with the original tangent vectors used to define the normal coordinate system, i.e.

$ \left.\frac{\partial}{\partial \phi_i}\right|_p = X_i^p \;\;\;\;$ for all $i=1,\ldots, n$ ,

and hence they form an orthonormal basis of $T_pM$.

I would like to know whether the coordinates vector fields evaluated at a different point $ U \ni q \neq p$

$ \left\{ \left.\frac{\partial}{\partial \phi_1}\right|_q, \ldots, \left.\frac{\partial}{\partial \phi_n}\right|_q \right\} \subset T_qM$

form an orthonormal basis? If not, in which cases this is true?

I'm thinking that, perhaps, the above situation is related with the curvature of the spacetime. Perhaps, something like "coordinate vector fields attached to normal coordinates are orthogonal on $U$ if and only if the spacetime is locally flat on $U$ (the Riemann tensor vanishes on $U$)" may hold?

Answer 1

If the coordinate basis is orthonormal on an open set $U$, then on that set we have

$$g_{ij} = \left\langle \frac{\partial}{\partial \phi^i}, \frac{\partial}{\partial \phi^j} \right\rangle = \ \eta_{ij},$$

which is only possible if the metric is flat on $U$.

Also, with the usual meaning (at least in physics) of "locally flat", every manifold is locally flat, because the metric can always be set equal to the Euclidean/Minkowski metric plus second order terms. You're using a slightly different meaning, so be careful with that.

Answer 2

See exponential mapping which uniquely maps $T(M)_{p}$ to a neighborhood along a geodesic - also known normal coordinates.

The value of the vector field in the neighborhood depends on the geodesic curve - assuming a symmetric connection.

And it would be in the neighborhood of $T(M)_{p}$ - it wouldn't be $T_q(M)$ unless $M$ was flat.

In a sense, you can think of it as extending the basis at $T(M)_p$ into the neighborhood to first order.