Dale
Mentor
- 36,551
- 15,330
The only conditions that the function must comply with is that it is one-to-one and smooth. The functions do not need to respect the underlying symmetry of the manifold.cianfa72 said:Search for a solution of Einstein Field Equation (EFE) with given symmetry. For instance in Schwarzschild case start with spatial polar coordinates (r,θ,ϕ) and a coordinate time variable t. Which conditions those functions (map) have to comply with ?
Symmetries of the manifold are called Killing vectors. Spherical symmetry means that there are three Killing vectors corresponding to rotations about three orthogonal axes. In addition, a static spacetime means that there is one additional Killing vector corresponding to the symmetry under translations in time.
Now, coordinate systems on this spacetime are not required to respect these symmetries. However, the symmetries also imply the existence of coordinate systems that do respect those underlying symmetries. In such coordinates the metric simplifies in specific ways which makes the calculation of the metric easier. This is shown in detail in Sean Carroll’s Lecture Notes On General Relativity. Using the simplifications available for symmetry-respecting coordinates results in a particularly nice form for the metric.
Yes, that is the smoothness criterion.cianfa72 said:Surely there exist the requirement to map "close" events in time to "close" coordinate time t values