I think that it is sufficient for the determinant of the metric to be non-zero in order for a coordinate system to be global. Is this so?

No. For a counterexample, consider Painleve coordinates on maximally extended Schwarzschild spacetime. Their determinant is nonzero everywhere on the patch that they cover, but the patch that they cover is not the entire manifold.

I think that a nonzero determinant is a necessary condition for a coordinate chart to cover the entire maximal analytic extension (certainly it seems intuitively obvious that it ought to be), but as the above example shows, it is not sufficient. I am not sure if it is known what the sufficient conditions are.

Staff: Mentor

Not quite, because the maximal analytic extension of a manifold can still be geodesically incomplete (Schwarzschild spacetime is the obvious example). What I think you might mean here is that the chart covers all geodesics in the manifold as completely as possible, i.e., to all values of their affine parameters that are included in the maximal analytic extension. I think that works as a heuristic, but I don't know how you would formulate it mathematically in terms of properties of the line element expressed in the chart.

In order to answer this question, you first have to know what "the entire manifold" means. The accepted meaning in GR is the maximal analytic extension.

No. For a counterexample, consider Painleve coordinates on maximally extended Schwarzschild spacetime. Their determinant is nonzero everywhere on the patch that they cover, but the patch that they cover is not the entire manifold.

I think that a nonzero determinant is a necessary condition for a coordinate chart to cover the entire maximal analytic extension (certainly it seems intuitively obvious that it ought to be), but as the above example shows, it is not sufficient. I am not sure if it is known what the sufficient conditions are.

Staff: Mentor

Global on what manifold? That's the question. Just writing down a line element doesn't tell you what the manifold is.

What ##\sinh^2 \rho = 0## at ##\rho = 0## tells you is that you have a coordinate singularity at ##\rho = 0##. But that's not enough information to know whether the manifold extends beyond that point or not; just the fact that ##\rho < 0## is mathematically possible doesn't necessarily mean that coordinate range maps to anything in the manifold (##\rho## could be like ##r## in Schwarzschild spacetime, where only the range ##r > 0## maps to points in the manifold). In other words, it's not enough information to tell whether, for example, ##\rho = 0## is like the singularity at ##r = 0## in Schwarzschild spacetime, which really does mark an "end" of the manifold, or like the singularity at ##r = 2M## in Schwarzschild spacetime, which doesn't.

As I said before, I don't know exactly what the right conditions are, but computing geometric invariants at ##\rho = 0## (such as the Ricci scalar or the Kretschmann scalar) would help to determine what is going on there. Also, computing the Einstein tensor for your metric would be useful since it would tell you what kind of stress-energy would be needed to produce such a metric.

Global on what manifold? That's the question. Just writing down a line element doesn't tell you what the manifold is.

What ##\sinh^2 \rho = 0## at ##\rho = 0## tells you is that you have a coordinate singularity at ##\rho = 0##. But that's not enough information to know whether the manifold extends beyond that point or not; just the fact that ##\rho < 0## is mathematically possible doesn't necessarily mean that coordinate range maps to anything in the manifold (##\rho## could be like ##r## in Schwarzschild spacetime, where only the range ##r > 0## maps to points in the manifold). In other words, it's not enough information to tell whether, for example, ##\rho = 0## is like the singularity at ##r = 0## in Schwarzschild spacetime, which really does mark an "end" of the manifold, or like the singularity at ##r = 2M## in Schwarzschild spacetime, which doesn't.

As I said before, I don't know exactly what the right conditions are, but computing geometric invariants at ##\rho = 0## (such as the Ricci scalar or the Kretschmann scalar) would help to determine what is going on there. Also, computing the Einstein tensor for your metric would be useful since it would tell you what kind of stress-energy would be needed to produce such a metric.

Staff: Mentor

I think you might mean here is that the chart covers all geodesics in the manifold as completely as possible, i.e., to all values of their affine parameters that are included in the maximal analytic extension.

Yes, this is what I was thinking about. I didn't mention the maximal analytic extension, but that is what I was thinking about.