Transformation of the Line-Element

  • Thread starter Thread starter Anamitra
  • Start date Start date
  • Tags Tags
    Transformation
  • #51
Points to Observe:

1. 1-form ,2-form etc[p-forms in general] are associated with covariant tensors which are antisymmetric wrt the interchange of any pair of indices.

2. One may try to make the following interpretation: that the infinitesimals on the RHS of equation (1) in post #50 are components of a contravariant tensor while the whole thing [the wedge product]is a p-form then the question that naturally arises is---what specifically is the operation wedge product in this case since we are considering the components of the same tensor and we have to get a covariant tensor as the result of the wedge product?

[In the dual space we don’t have any difficulty in dealing with components of the vectors
In fact each component vector will have a linear operator[covariant tensor] in the dual space.]
 
Last edited:
Physics news on Phys.org
  • #52
Anamitra said:
Does the author consider dual vectors here for the dx(mu) and dx(nu)? I am not sure.Rather I am feeling confused.
I would request DaleSpam to explain the whole issue.
I don't think that I can explain the "whole issue", but I can at least point out Dr. Carroll's very notation. If you look carefully at equation 3.48 you will notice that the font for the "d" is different than the font for the "d" on the rhs of equation 2.45. One is in italics and the other is non-italicised. The non-italicised "d" is introduced on page 12 in equation 1.40, and he uses it consistently from then on. The italicised "d" is never formally introduced, and is inconsistently used. Sometimes it represents an ordinary total derivative and other times it doesn't seem to mean anything and other times it is used to represent a small vector.

In any case, pay close attention to the font of the "d"s in Sean Carroll's notes.
 
  • #53
Anamitra said:
The curvedness or the flatness of space has to be understood/analyzed with the help of the metric tensor
OK, so going back to the previous discussion. If you are interested in curvedness or flatness then as you say we need to look at the metric tensor. If we do the operation you suggest on the metric tensor, specifically if we multiply it by the tensor (1-2m/r)^(-1), then the result is another rank 2 tensor, which you have called ds²'. Agreed?

As I showed in 34, this tensor has non-zero covariant derivatives.
 
  • #54
For the first case[Radial motion in Schwarzschild's Geometry] The metric tensor[Eqn (1) in the next post ,#55] has the components:

{g}_{tt}{=}{(}{1}{-}\frac{2m}{r}{)}

{g}_{rr}{=}{-}{(}{1}{-}\frac{2m}{r}{)}^{-1}

If you divide both sides of the first metric representing Radial motion in Schwarzschild's Geometry by 1-2m/r,the resulting metric tensor[Eqn (3) in post #55 has the components:

{g}_{tt}{=}{1}
{g}_{rr}{=}{-}{(}{1}{-}\frac{2m}{r}{)}^{-2}
This metric corresponds to a curved spacetime different from the first one.
Finally the metric tensor[Eqn (4) in Post #55] has the components:

{g}_{tt}{=}{1}
{g}_{rr}{=}{-1}
This represents the metric for flat space-time.

ds^2 ,ds'^2 are simply dot products and are not to be treated as tensors themselves in my formulation. I am not treating dt,dr as basic vectors. They are simply infinitesimal changes in t or r.
[DaleSpam in Post #43 has suggested considering dt,dx etc as basis-vectors in order to treat ds^2 as a second rank tensor]

With, the path specified we may use "d" with ds or ds'
 
Last edited:
  • #55
First we write the metric[for radial motion is Schwarzscild’s Geometry] :

{ds}^{2}{=}{(}{1}{-}\frac{2m}{r}{)}{dt}^{2}{+}{(}{1}{-}\frac{2m}{r}{)}^{-1}{dr}^{2}-------------------------------- (1)
Or,
\frac{{ds}^{2}}{{1}{-}\frac{2m}{r}}{=}{dt}^{2}{-}{(}{1}{-}\frac{2m}{r}{)}^{-2}{dr}^{2}---------------------------- (2)
Or,
{ds’}^{2}{=}{dt}^{2}{-}{(}{1}{-}\frac{2m}{r}{)}^{-2}{dr}^{2} ---------------------------- (3)


Transformed metric:
{ds’}^{2}{=}{dt}^{2}{-}{dR}^{2} -------------------- (4)

Where,
{ds’}^{2}{=}\frac{{ds}^{2}}{{1}{-}\frac{2m}{r}}

{dR}^{2}{=}\frac{1}{{(}{1}{-}\frac{2m}{r}{)}^{-2}}{dr}^{2}
The original metric is independent of t .
Therefore,
(1,0) is a killing vector.
Now dot product between a Killing vector and v is preserved for extremal paths
Therefore,
{(}{1}{-}\frac{2m}{r}{)}\frac{dt}{ds}{=}{constant}
This is the conservation of energy[for unit rest mass] for geodetic motion[space-time geodesics being considered] in the original equation.

If we look at equation(4) it is independent of t and R[if we change t and R by constant amounts the metric does not change] We have two killing vectors (1,0) and (0,1)
For geodetic motion:
1.dt/ds’ = const [conservation of energy for unit rest mass]
2. dR/dt = const [this makes the motion uniform: gamma= const]

Energy is conserved for geodetic paths[space-time geodesics]. The law remains unaltered for both the manifolds.

But if geodetic motion in metric represented by (1) is transformed to the flat spacetime situation, we do not get geodetic motion wrt the flat spacetime metric.Energy changes in this case

In the flat spacetime situation the particle undergoes motion with a variable speed. Energy is not conserved for nongeodetic path[spacetime path]. For the purpose of acceleration it must be receiving energy from some inertial source/agent[supplying inertial interaction] whose energy must decrease. So the total energy of particle+inertial agent must remain constant in the flat spacetime context for non-geodetic motion.

The effect of spacetime curvature is being replaced by inertial interaction in the flat spacetime context.
 
Last edited:
  • #56
ds^2 ,ds'^2 are simply dot products and are not to be treated as tensors themselves in my formulation. I am not treating dt,dr as basic vectors. They are simply infinitesimal changes in t or r.
[DaleSpam in Post #43 has suggested considering dt,dx etc as basis-vectors in order to treat ds^2 as a second rank tensor]

No, if you treat the quantities as the dual basis vectors then the metric tensor can map the tensor product of the dual basis vectors so that you get a scalar. If you treat them as infinitesimals then the metric tensor doesn't map them and you still have a 2 - tensor.
 
  • #57
Precisely speaking I am treating (dt,dr) as a vector.

{ds}^{2}{=}{g}_{tt}{dt}^{2}{-}{g}_{rr}{dr}^{2}

is a dot product [between the identical vectors each being given by (dt,dr)]if you consider the definition of dot product .

In the four-dimensional picture:

{ds}^{2}{=}{g}_{00}{dt}^{2}{-}{g}_{11}{dx1}^{2}{-}{g}_{22}{dx2}^{2}{-}{g}_{33}{dx3}^{2}
is a dot product[between the identical vectors (dt,dx1,dx2,dx3)] if one considers the definition of dot product.

In my formulation I am using this dot product interpretation of ds^2.

If you choose some other type of formulation,it is of course your choice

[The infinitesimals dt,dx1,dx2 and dx3 do follow the transformation rules required by tensors. They behave like the components of a contravariant tensor.]
 
Last edited:
  • #58
Anamitra said:
If you divide both sides of the first metric representing Radial motion in Schwarzschild's Geometry by 1-2m/r,the resulting metric tensor[Eqn (3) in post #55 has the components:

{g}_{tt}{=}{1}
{g}_{rr}{=}{-}{(}{1}{-}\frac{2m}{r}{)}^{-2}
This metric corresponds to a curved spacetime different from the first one.
Finally the metric tensor[Eqn (4) in Post #55] has the components:

{g}_{tt}{=}{1}
{g}_{rr}{=}{-1}
This represents the metric for flat space-time.
No, the resulting tensor is not a metric tensor at all. (1-2m/r)^-1 is a scalar. The operation of multiplying a tensor of some rank by a scalar is another tensor of the same rank. That resulting tensor may have components that look like the flat spacetime metric, but it is not.

First, tensor multiplication is not a coordinate transformation. You have not changed coordinates, you have merely found a certain tensor with a specific form in the original coordinates.

Second, because you have not done a coordinate transform the Christoffel symbols are unchanged, so the curvature may still be non-zero even though the form of this tensor is superficially the same as the metric tensor in flat spacetime.

Third, the resulting tensor does not, in general, have a 0 covariant derivative as I showed above.

In order to find a different expression for the metric tensor (rather than finding a completely different tensor as you have done here or a completely different manifold as you did earlier) you must do a coordinate transform. However, you can prove in general that a non-zero tensor will remain non-zero under all coordinate transforms, so the curvature tensor cannot be made zero through a coordinate transform. Your task is fundamentally impossible.
 
  • #59
First let us consider the Right –hand sides of the relations (1) and (3) of Post #55.
The metric coefficients are different—they represent different manifolds.[the coefficients of dt and dr are different[individually] in the two cases
Now the path described by the two metrics are identical—so we are considering the intersection of two spacetime surfaces[two manifolds ] at the line of their intersection—and the same path is being described by the two metrics but in separate manifolds.
Needless to say that the two manifolds have been described in the same system of coordinates so far as the metrics in (1) and (3) are concerned.

Between (3) and (4) of Post #55
The transformation (dt,dr)-->(dt,dR) follows the transformation rule of the contravariant tensors:
 
Last edited:
  • #60
A familiar example of two different/distinct manifolds that may exist on the same coordinate grid:

1. {ds}^{2}{=}{dt}^{2}{-}{dr}^{2}{-}{r}^{2}{(}{d}{\theta}^{2}{+}{sin}^{2}{\theta}{d}{\phi}^{2}{)}

2. {ds}^{2}{=}{(}{1}{-}\frac{2m}{r}{)}{dt}^{2}{-}{(}{1}{-}\frac{2m}{r}{)}^{-1}{dr}^{2}{-}{r}^{2}{(}{d}{\theta}^{2}{+}{sin}^{2}{\theta}{d}{\phi}^{2}{)}

The first metric represents flat spacetime in spherical system of coordinates.[Diagonal matrix [1,-1,-1,-1] for flat spacetime is true only in the rectangular system of coordinates.]
The second one represents Schwarzschild's Geometry.

The t,r,theta phi coordinate grid is the same for both the systems but the physical separations are different.
For example the same differences of dr[ie coordinate separation]in the two systems would imply different physical separations for the two systems.
In flat spacetime the physical separation would be simply dr.
But in Schwarzschild's Geometry the physical separation corresponding corresponding to the same dr would be Sqrt[(1-2m/r)^(-1)](dr)

We may think of considering the two manifolds in the same t,r,theta,phi system where the coordinate separations would be identical but the physical separations would be different.
 
Last edited:
  • #61
Anamitra said:
First let us consider the Right –hand sides of the relations (1) and (3) of Post #55.
The metric coefficients are different—they represent different manifolds.
I thought you had given up the idea of projecting onto different manifolds a couple of pages ago. You certainly never addressed any of the objections earlier.

If you want to work on projections you probably should learn about projective geometry. One of the most important aspects of projective geometry is that it is non-metric. So the very concept of a metric doesn't make sense in when you are projecting from one manifold to another. Because you lose the metric you also lose distance, time, angles, velocity, mass, etc. After losing all of that you don't have much physics left.

Although you have not said so explicitly, I suspect that the primary reason that you want to work in a projected flat manifold is to regain the uniqueness of parallel transport. Is that correct?

Anamitra said:
Between (3) and (4) of Post #55
The transformation (dt,dr)-->(dt,dR) follows the transformation rule of the contravariant tensors:
Oh, I missed that. What is the coordinate transformation between r and R?
 
  • #62
Let’s consider a metric given by:

{ds}^{2}{=}{ax1}{dt}^{2}{-}{bx3}{dx1}^{2}{-}{c}{x1}^{2}{dx2}^{2}{-}{e}{x2}{dx3}^{2} ----------------- (1)
Each term on the RHS should have the unit corresponding to length square. I have used constants[a,b,c and e] for maintaining dimensional consistency. The constant”c” on the RHS does not represent the speed of light.
If one uses the transformation:
T’=t/17
x1’=x1/5
x2’=x2/7
x3’=x3/6
But now we consider a new metric lfor instance:
{ds'}^{2}{=}{dt'}^{2}{-}{dx1'}^{2}{dx2'}^{2}{-}{dx3}^{2}
the new metric[generally speaking] will have a different value for ds^2.
Let us go into a more general case:
{ds}^{2}{=}{a}{f}_{0}{(}{x1}{,}{x2}{,}{x3}{)}{dt}^{2}{-}{b}{f}_{1}{(}{x1}{,}{x2}{,}{x3}{)}{dx1}^{2}{-}{c}{f}_{2}{(}{x1}{,}{x2}{,}{x3}{)}{dx2}^{2}{-}{e}{f}_{3}{(}{x1}{,}{x2}{,}{x3}{)}{dx3}^{2} ----------------- (2)
Again, each term on the RHS should have the unit corresponding to length square. I have used constants for maintaining dimensional consistency. The constant”c” on the RHS does not represent the speed of light

We choose transformations of the following type:
{t’}{=}{k}_{0}{(}{x1}{,}{x2}{,}{x3}{)}
{x1’}{=}{k}_{1}{(}{x1}{,}{x2}{,}{x3}{)}

{x2’}{=}{k}_{2}{(}{x1}{,}{x2}{,}{x3}{)}
{x3’}{=}{k}_{3}{(}{x1}{,}{x2}{,}{x3}{)}
K0,k1,k2 and k3are well behaved functions in terms of continuity differentiability etc.
As before,we now consider a new metric lfor instance:
{ds}^{2}{=}{dt'}^{2}{-}{dx1'}^{2}{dx2'}^{2}{-}{dx3}^{2}
For the above relations we have:

{dx’}{=}\frac{dx’}{{dx}^{\alpha}}{dx}^{\alpha}
The rule for tensor transformation[contravariant] holds. It should also hold for the inverse transformations.

So the invariance of ds^2 is not associated with the laws in relation to the transformation of the tensors.
It is an additional condition.
The important consequence that follows is that mutual relationships are preserved in the transformed. The important thing that we should do is to make sure that the dimension/unit of each of the quantities do not change during the transformation. This is the condition that we shall impose on the transformations [at the cost of compromising with the invariance of ds^2]

Consequences: The physical nature of each quantity does not change.
The laws relating to mutual relationships between the physical quantities do not change.[ The individual values of the physical quantities represented by tensors may change: the form of the laws should not change]

[The non-metric nature of projection transformations imply: norms are not preserved,angles are not preserved etc---to state in short:the value of ds^2 changes on transformation. The transformations shown here have similar properties in so far as the non-preservation of ds^2 is concerned]
 
Last edited:
  • #63
Anamitra said:
Let’s consider a metric given by:

{ds}^{2}{=}{ax1}{dt}^{2}{-}{bx3}{dx1}^{2}{-}{c}{x1}^{2}{dx2}^{2}{-}{d}{x2}{dx3}^{2} ----------------- (1)
Each term on the RHS should have the unit corresponding to length square. I have used constants for maintaining dimensional consistency. The constant”c” on the RHS does not represent the speed of light.
If one uses the transformation:
T’=t/17
x1’=x1/5
x2’=x2/7
x3’=x3/6
the new metric will have a different value for ds^2.
You need to be careful here to distinguish between the geometric object and its representation in a particular coordinate basis. The geometric object ds² has not changed. What has changed is the coordinate basis and therefore the components used to express the same underlying geometric object in terms of the new coordinate basis.

So, if by "different value" you mean that ds² has different components in the primed basis than in the unprimed basis, then you are correct. But if you mean that ds² itself has changed, then you are incorrect. Can you clarify your meaning?
 
  • #64
When you are finding the length of a space-time interval between two events in special relativity, you can find it is either positive or negative; (c dt)^2 - dx^2 - dy^2 - dz^2

If that turns out to be positive, you know that its a time-like interval, but if it turns out to be negative, you know it's a space-like interval.

What is it that distinguishes between a time-like interval from a space-like interval in the Schwarzschild metric?

Let me go ahead and post what I was going to post before I realized I had that question, keeping in mind that I probably made a BLUNDER in confusing space-like and time-like intervals: Edit: I've struck out the parts of my argument that are flawed because I was thinking of the metric for Δτ instead of Δs.


I have been wondering a great deal lately about the question of physical interpretation of line elements ds and or dτ vs.

dr, in the Schwarzschild metric. I notice, you are mostly focusing on the length of ds. However, I was able to make a

bit of progress thinking about the length of dτ, i.e. the timelike component between two events. Perhaps some insight

into the nature of the time element could help resolve some confusion about the line element.

Consider the Schwarzschild metric:

c^2 {d \tau}^{2} = \left(1 - \frac{r_s}{r} \right) c^2 dt^2 - \left(1-\frac{r_s}{r}\right)^{-1} dr^2 - r^2 \left(d<br /> <br /> \theta^2 + \sin^2\theta \, d\varphi^2\right)

where

r_s= \frac{2 G M}{c^2}

There is a fairly straightforward but lengthy process for calculating the coefficient of g_{00} = \left ( \frac<br /> <br /> {\partial \tau}{\partial t} \right )^2 = \left ( 1 - {\frac{2 G M}{c^2 r}} \right ) which I explored in some detail

https://www.physicsforums.com/showpost.php?p=3415913&postcount=18".

we were comparing frequencies, which is essentially the same as comparing Δτ to Δt. Or more specifically, the length of

the four-vector from (0,r,θ,Φ) to (Δt,r,θ,Φ). Δt is the time as measured from the external coordinate system. But from

the point-of-view of an internal coordinate system, that four-vector appears to go from (0,r,θ,Φ) to (Δτ,r,θ,Φ). In

other words, the clock that is located at that point is going to go slower, but that is the only difference.

Since then, I've been trying to figure out how to get the second coefficient,g_{11}=\left(1-\frac{2 G M}{r c^2}\right)^{-1}
, which has been difficult, because I have not even really been able to establish a common-sense interpretation to what that coefficient even means. However, this morning, I think I was able to grasp something.

The key is that instead of considering a time-like interval in (t,r,θ,Φ), we will be considering a space-like interval in the r-component alone. Specifically, where dt=dθ=dΦ, but r is allowed to change. Hence, two events which appear to happen simultaneously, but at different locations outside the gravitational field, [STRIKE]but will appear to happen at different times from within the gravitational field.
This is a significant qualitative (big) difference from the Rindler coordinates, so [/STRIKE]I think it would be enlightening to try to make a distinctive comparison of the Schwarzschild metric to the Rindler metric at this point.[STRIKE]


Why do I say this is a big difference?

Because [/STRIKE] in the Rindler coordinates, events that happen at t=0 also happen at τ=0.

If events seem to happen simultaneously in the "rocket" frame, then they also seem to happen simultaneously in the momentarily comoving rest-frame. Here is a diagram:
attachment.php?attachmentid=29168&d=1287443946.jpg


In this diagram, the future events, C and D, are on a line of constant τ. However, using a line of constant t, it appears that event C will happen before event D. As time passes, the line of constant τ will rotate (technically a Lorentz skew Transform, with eigenvectors of slope ±c) down and coincide with the line of constant t. At the point in time where event C and D actually HAPPEN, they are simultaneous.

Similarly, though events A and B appear to HAVE happened at different times, at the time that they actually HAPPENED, (when they crossed the t=0 line) they were simultaneous.

In the Rindler coordinates, events that appear to be simultaneous in the rocket also appear to be simultaneous in the momentarily comoving reference frame. But this is the point that surprised me: In the schwarzschild coordinates, events which appear to be simultaneous from the external reference frame DO NOT appear to be simultaneous locally.

[STRIKE]That means that the t=0 line and the τ=0 line will only intersect at one point, and do not represent the same set of events. I'm not sure what the implications of this are. [/STRIKE]

But now that this has occurred to me, I wonder whether anyone has a graph of Schwarzschild coordinates just showing curves of constant τ and curves of constant r' in the Schwarzschild metric, analogous to the image I posted above for the Rindler coordinates, but perhaps on a space-time scale near a body of high gravity?
 
Last edited by a moderator:
  • #65
There still is a big difference from the Rindler coordinates, in that using the Rindler coordinates, you will find that the length of a meter-stick is the same on the rocket as it is in the momentarily comoving rest frame.

Whether I understand why its this way or not, let me see if I understand the meaning of what's going on with the ds element:

For instance, let's calculate the length of a ruler as observed at the surface of the earth, seen from a stationary position in outer-space.

We use two simultaneous events at t=0 at the top of the ruler and the bottom of the ruler, so dt=0, dθ=0, dΦ=0, and since the scale factor doesn't change much over the length of the ruler, we can replace ds and dr with Δs and Δr:

\Delta s = \sqrt{\frac{1}{1 - \frac{2 G M}{r c^2}}}\Delta r

Setting \begin{matrix} G=6.673 \times 10^{-11} m^3/kg \cdot s^2\\ M=5.9742 \times 10^{24} kg\\ r=6.3781 \times 10^6 m\\ c=299792458 m/s \end{matrix}

Then \Delta s = \sqrt{\frac{1}{1 - 1.39 \times 10^{-9}}}\Delta r

which means that locally, the ruler will be just a tiny tiny tiny bit longer than it appears to be from space.

I think I may be saying that wrong, though. If I take a ruler from space, and put it on earth, it will look shorter from space, but measure the same length on earth? If I take a clock from space, and put it on earth, the clock really runs slower, but the scale of time on the Earth is determined by the clock; which is really slower deeper in the gravitational well. But if I take a ruler from space, and put it on the Earth vertically, then the ruler looks shorter from space, but it's the real scale of the vertical space, and you'd need to have a longer ruler to look like it was the same length from space.

Maybe there are better ways to express that.

But basically, as observed from space, an object carried (not falling) down into a gravity well, and held vertically will appear to get shorter and shorter as it goes down, according to the Schwarzschild metric, right?
 
Last edited:
  • #66
I have done a simple modification on Post #62. I have repeated the relevant portion here:

Let us consider a general[stationary] case:
{ds}^{2}{=}{a}{f}_{0}{(}{x1}{,}{x2}{,}{x3}{)}{dt}^{2}{-}{b}{f}_{1}{(}{x1}{,}{x2}{,}{x3}{)}{dx1}^{2}{-}{c}{f}_{2}{(}{x1}{,}{x2}{,}{x3}{)}{dx2}^{2}{-}{e}{f}_{3}{(}{x1}{,}{x2}{,}{x3}{)}{dx3}^{2} ----------------- (2)
Each term on the RHS should have the unit corresponding to length square. I have used constants for maintaining dimensional consistency. The constant”c” on the RHS does not represent the speed of light

We choose transformations of the following type:
{t’}{=}{k}_{0}{(}{x1}{,}{x2}{,}{x3}{)}
{x1’}{=}{k}_{1}{(}{x1}{,}{x2}{,}{x3}{)}

{x2’}{=}{k}_{2}{(}{x1}{,}{x2}{,}{x3}{)}
{x3’}{=}{k}_{3}{(}{x1}{,}{x2}{,}{x3}{)}
K0,k1,k2 and k3are well behaved functions in terms of continuity differentiability etc.
But we now consider a new metric for instance:
{ds&#039;}^{2}{=}{dt&#039;}^{2}{-}{dx1&#039;}^{2}{dx2&#039;}^{2}{-}{dx3}^{2}
For the above relations we have:

{dx’}{=}\frac{dx’}{{dx}^{\alpha}}{dx}^{\alpha}
The rule for tensor transformation[contravariant] holds. It should also hold for the inverse transformations.

So the invariance of ds^2 is not associated with the laws in relation to the transformation of the tensors.
It is an additional condition.
The important consequence that follows is that mutual relationships are preserved in the transformed. The important thing that we should do is to make sure that the dimension/unit of each of the quantities do not change during the transformation. This is the condition that we shall impose on the transformations [at the cost of compromising with the invariance of ds^2]

Consequences: The physical nature of each quantity does not change.
The laws relating to mutual relationships between the physical quantities do not change.[ The individual values of the physical quantities represented by tensors may change: the form of the laws should not change]

It is important to note that in a transformation where ds^2 changes g(mu,nu) does not behave like a second rank tensor.

For transformations where ds^2 remains unchanged :
{g&#039;}_{\mu\nu}{dx&#039;}^{\mu}{dx&#039;}^{\nu}{=}{g}_{\alpha\beta}{dx}^{\alpha}{dx}^{\beta}
Therefore we may show that:
{g&#039;}_{\mu\nu}{=}\frac{{dx}^{\alpha}}{{dx}^{\mu}}{\frac}{{dx}^{\beta}}{{dx^\nu}}{g}_{\alpha\beta}

If ds^2 is not preserved in a transformation then g(mu,nu) will not behave as a covariant tensor.

But so far our transformations are concerned the infinitesimals[dt,dx1,dx2,dx3] will continue to behave as contravariant tensors.

[The non-metric nature of projection transformations imply: norms are not preserved,angles are not preserved etc---to state in short:the value of ds^2 changes on transformation. The transformations shown here have similar properties in so far as the non-preservation of ds^2 is concerned]
 
Last edited:
  • #67
In view of the previous posting,relationships which do not contain g(mu,nu) explicitly will remain unmodified.
The relation:

{A}^{\mu}{B}^{\nu}{=}{C}^{\mu}{D}^{\nu}

Should be preserved in the new frame for vectors that satisfy.

{A&#039;}^{\alpha}{=}{k}\times\frac{{dx&#039;}^{\alpha}}{{dx}^{\mu}}{{A}^{\mu}}

K is a scale factor which may be point[spacetime] dependent. The scale factor has been taken since the norm/mod of a vector changes in our transformation [where ds is not preserved]
[If each component equation is preserved [due to the cancellation of the scale factor at the point concerned], the overall equation is also preserved]

[For the transformation of the coordinate values of tensor components the scale factor is not needed. But for the physical values of these components the scale factor is needed:you may see post # 73 for this]
 
Last edited:
  • #68
Transformation of g(mu,nu) when ds^2 changes.

Point-wise transformation of g(mu,nu) may also be included in the scale factor mentioned in the previous post.

Let

{ds&#039;}^{2}{=}{f}{(}{x}{,}{y}{,}{z}{)}{ds}^{2}
Or,
{g&#039;}_{\mu\nu}{dx}^{\mu}{dx}^{\nu}{=}{f}{(}{x}{,}{y}{,}{z}{)}{g}_{\alpha\beta}{dx}^{\alpha}{dx}^{\beta}

Or,
{g&#039;}_{\mu\nu}{=}{Scale}{\,}{Factor}\times\frac{{dx}^{\alpha}}{{dx}^{\mu}}\frac{{dx}^{\beta}}{{dx}^{\nu}}{g}_{\alpha\beta}

Relations in general should be preserved

In Post #55 we had the relation

E=Constant ,for geodetic motion [E: Energy per unit rest mass]

The relation holds true for both the manifolds , Schwarzschild's Geometry and Flat space-time.
 
Last edited:
  • #69
Anamitra, when someone asks for clarification it is both useless and rude to proceed without answering the question.
 
  • #70
DaleSpam said:
You need to be careful here to distinguish between the geometric object and its representation in a particular coordinate basis. The geometric object ds² has not changed. What has changed is the coordinate basis and therefore the components used to express the same underlying geometric object in terms of the new coordinate basis.

So, if by "different value" you mean that ds² has different components in the primed basis than in the unprimed basis, then you are correct. But if you mean that ds² itself has changed, then you are incorrect. Can you clarify your meaning?

The value of ds^2 itself is changing in view of the modification.
 
  • #71
Yes, you said that above. What do you mean by that? Please clarify, not repeat. Do you mean the coordinates in the new basis, or are you referring to the underlying geometrical object?
 
  • #72
DaleSpam said:
Yes, you said that above. What do you mean by that? Please clarify, not repeat. Do you mean the coordinates in the new basis, or are you referring to the underlying geometrical object?

I am not considering ds^2 as a tensor.
ds^2 is defined by the relation

{ds}^{2}{=}{g}_{\mu\nu}{dx}^{\mu}{dx}^{\nu}
Now dx(i) are being transformed by the usual rules but the metric chosen is a new one such that it cannot be obtained from (1) by transformations where ds^2 is preserved

You may have a different interpretation of ds^2 and a new formulation.That is a different issue----there is no reason to mix up the two issues.
 
  • #73
We may consider the following metric in the rectangular x,y,x,t system:

{ds}^{2}{=}{dt}^{2}{-}{dx}^{2}{-}{dy}^{2}{-}{dz}^{2} ---------------- (1)

The same metric in the r,theta ,phi,t reads

{ds}^{2}{=}{dt}^{2}{-}{dr}^{2}{-}{r}^{2}{(}{d}{\theta}^{2}{+}{sin}^{2}{\theta}{d}{\phi}^{2}{)} --------------- (2)
ds^2 has not changed

Now in the same r,theta,phi system we may consider the metric:
{ds&#039;}^{2}{=}{(}{1}{-}\frac{2m}{r}{)}{dt}^{2}{-}{(}{1}{-}\frac{2m}{r}{)}^{-1}{dr}^{2}{-}{r}^{2}{(}{d}{\theta}^{2}{+}{sin}^{2}{\theta}{d}{\phi}^{2}{)}
--------------- (3)
ds^ 2 has now changed for identical values of dt,dr,d(theta) and d(phi)
The relationship between x,y,z,t and r,theta,phi,t is not changing when we are considering (1) and (2) or (1) and (3)

Each term on the RHS of (3) has a scale factor[=1 in some cases] wrt to each corresponding terms in (2)
 
  • #74
Anamitra said:
I am not considering ds^2 as a tensor.
ds^2 is defined by the relation

{ds}^{2}{=}{g}_{\mu\nu}{dx}^{\mu}{dx}^{\nu}
OK, thank you for the clarification, that is very helpful. Perhaps for clarity in this thread we can use ds² for the line element, a scalar, and g for the metric, a rank 2 tensor. If you will avoid calling ds² the metric then I will avoid interpreting it as a rank 2 tensor.

Anamitra said:
Now dx(i) are being transformed by the usual rules but the metric chosen is a new one such that it cannot be obtained from (1) by transformations where ds^2 is preserved
This is incorrect. The coordinate transformations listed are valid diffeomorphisms. ds² is unchanged under any diffeomorphism.

Anamitra said:
You may have a different interpretation of ds^2 and a new formulation.That is a different issue----there is no reason to mix up the two issues.
It is not my interpretation, it is the standard interpretation, see the Carroll notes. However, I am willing to use your non-standard interpretation in this thread as long as you do so consistently and do not call ds² the metric.
 
Last edited:
  • #75
Anamitra said:
Now in the same r,theta,phi system we may consider the metric:
{ds&#039;}^{2}{=}{(}{1}{-}\frac{2m}{r}{)}{dt}^{2}{-}{(}{1}{-}\frac{2m}{r}{)}^{-1}{dr}^{2}{-}{r}^{2}{(}{d}{\theta}^{2}{+}{sin}^{2}{\theta}{d}{\phi}^{2}{)}
--------------- (3)
ds^ 2 has now changed for identical values of dt,dr,d(theta) and d(phi)
As discussed above ds² is not a metric, it is a scalar, and I assume that ds'² is also a scalar and not a rank 2 tensor (and therefore not a metric). However, the scalar ds'² is not equal to ds² in any coordinate system, they are unrelated scalars that have nothing to do with each other. You do not get ds'² from ds² by a change in coordinates.

Simply calling one quantity A and another quantity A' does not mean that they are in any way related to each other.
 
  • #76
Suppose we have spherical body with its associated Schwarzschild's Geometry.Equation (3) in post #73 is valid and ds^2 is given by it.

Now due to some catastrophic effect the entire mass gets annihilated and the energy flies off to infinity. The present situation is described by the second or the first equation of the same posting. We have a new value of ds^2 on the same coordinate grid[t,r,theta,phi, system]

Thus a physical process can cause a change in the metric coefficients in the same coordinate grid leading to a change of the value ds^2.

In the present context our transformation relates to the change of the metric coefficients wrt the same coordinate grid. This may be due to the redistribution of mass or due to annihilation.
 
  • #77
I have no problem with that, but note that is a physical change, not merely a coordinate transformation. You have a new metric, a new manifold, and as I said above ds² is completely unrelated to ds'².

You can do physics in either manifold, but there is no way to transform the results of physics in one to get answers in the other since they are not related by a coordinate transformation. In particular, ds'² may tell you how fast a clock is ticking in the new manifold but it cannot tell you about gravitational time dilation in the previous manifold.
 
  • #78
to understand let us consider a time dependent metric :

{ds}^{2}{=}{g}_{00}{dt}^{2}{-}{g}_{11}{dx1}^{2}{-}{g}_{22}{dx2}^{2}{-}{g}_{33}{dx3}^{2} ----------- (1)

The coefficients, g(mu,nu) are time dependent ones.We assume that the metric coefficients remain time independent for one hour. Then they change for the next 10 minutes and again they become constant for the next one hour.[The next change may be of a different type]The process goes on repeating.
The same metric is taking care of different stationary manifolds --each manifold corresponding to the period when the metric coefficients are not changing. Several different manifolds are coming under the fold of the same metric
[The ds^2 values of the different stationary manifolds are related to each other by the general nature of the time dependent metric ,that is the overall metric given by (1)]
 
Last edited:
  • #79
We may replace the variable time in the metric coefficients[of equation (1) in the last posting] by some variable lambda which is not time.This would give us an ensemble picture.[Of course dt^2 has to be maintained as before].
Different values of lambda would give us different stationary manifolds---having different values of ds^2
 
  • #80
Sure. But since your metric is asymmetric wrt t or lambda you cannot take results from one t or lambda and use them for doing physics at another t or lambda. It is just not the same physical situation.

Similarly you cannot use results at one r to make predictions about another r in the Schwarzschild metric. E.g. you cannot say, a hovering observer at infinity feels no proper acceleration therefore a hovering observer at the event horizon feels no proper acceleration. The reason you cannot say this is the same as above, a lack of symmetry, in the radial direction instead of in time or lambda.
 
Last edited:
  • #81
DaleSpam said:
E.g. you cannot say, a hovering observer at infinity feels no proper acceleration therefore a hovering observer at the event horizon feels no proper acceleration. The reason you cannot say this is the same as above, a lack of symmetry, in the radial direction instead of in time or lambda.

The dependence of proper acceleration on the radial distance [in general on the spacetime coordinates]will be our law.
 
  • #82
Yes, and in these other non-static spacetimes you describe it will depend on time as well.
 
  • #83
A Thought Experiment to Perform
We are on initially flat spacetime and we undertake to perform experiments on geodesic motion, Maxwell's equations and other equations that may be expressed in tensor form.Then gravity is turned on and the field is increased in stages. Well the equations we were considering do remain unchanged so far as they are expressed in tensor form.
We also perform some other experiments simultaneously.
While in flat space-time we consider the length of an arrow lying on the ground. This arrow may represent a vector.We stick labels on its tip and tail.When the field is turned on the physical distance between the labels should change due to change in the values of g(mu,nu) .
One may consider a cuboidal box[on the ground] with the main diagonal representing a vector.
When the field[gravitational] is turned on the physical lengths of the components change.The norm as well as the orientation of the vector changes[in short, ds^2 changes].This is something similar to what is supposed to happen in projection geometry.

Actually the laws remain unchanged so long we are able to express them in tensor form.

Now let us think in the reverse direction.We are in curved space-time and the field is turned off gradually in stages. Finally we reach flat spacetime. The laws[in tensor form] remain unchanged at each and every stage of the process/experiment

Suppose there was a body at a distance when we were in curved spacetime. We consider a process where the field is reduced. In flat spacetime we can evaluate the velocity and then we may think of scaling up the velocity in regard of curved spacetime to evaluate the velocity of a body at a distance in curved spacetime.
 
Last edited:
  • #84
Anamitra said:
Actually the laws remain unchanged so long we are able to express them in tensor form.
Certainly. Do you understand the difference between a law of physics and the boundary conditions?

Changing coordinates does not change the boundary conditions, changing the curvature does change the boundary conditions.
 
Last edited:
  • #85
Anamitra said:
Suppose there was a body at a distance when we were in curved spacetime. We consider a process where the field is reduced. In flat spacetime we can evaluate the velocity and then we may think of scaling up the velocity in regard of curved spacetime to evaluate the velocity of a body at a distance in curved spacetime.

Here you've given a vague description of some kind of procedure. To understand your procedure better, you should do an explicit calculation on a specific example. I want you to do the following example, because it will reveal the error in your reasoning:

The metric of an ellipsoid is

\begin{align*}ds^2 &amp;= \Big( (a^2 \cos^2 \phi + b^2 \sin^2 \phi) \; \cos^2 \theta + c^2 \sin^2 \theta \Big) \; d\theta^2 + (a^2 \sin^2 \phi + b^2 \cos^2 \phi) \; \sin^2 \theta \; d\phi^2 \\ &amp;\qquad \phantom{a} + 2 (b - a) \cos \theta \sin \theta \cos \phi \sin \phi \; d\theta \; d\phi \end{align*}

where a, b, c are some constants. Now, Alice is sitting at \theta = \pi/4, \; \phi = 5\pi/6 and has local velocity vector 2 \partial_\theta - \partial_\phi at that point. Bob is sitting at \theta = \pi/2, \; \phi = \pi/4 and has local velocity vector 2 \partial_\phi at that point.

What is the difference between their vectors? Remember that the vectors are at different points on the ellipsoid! Do the calculation explicitly, using the method you have described. If you do not attempt to do your calculation explicitly, I will assume you are not interested in learning why your reasoning is wrong.

Alternatively, if you do realize what is wrong with your reasoning, then explain.
 
Last edited:
  • #86
So far as the metric in the last posting[#85] is concerned, proper speeds are defined terms--d(phi)/ds and d(theta)/ds.
Now for a null geodesic ds^2=0
How does the observer define the coordinate speed or physical speed of light unless one of the variables theta or phi is the time coordinate?This has not been clearly specified
The speed of light is independent of the motion of its source---What does he understand by the speed of light here unless one of the coordinates in the metric represents time.?
Ben Niehoff should clearly specify the time coordinate.
 
Last edited:
  • #87
General Covariance/Diffeomprphism covariance:
[Link: http://en.wikipedia.org/wiki/General_covariance ]
In theoretical physics, general covariance (also known as diffeomorphism covariance or general invariance) is the invariance of the form of physical laws under arbitrary differentiable coordinate transformations.

It should be clear that the coordinate transformations involved may of projection type. One has to include transformations wherer ds^2 change, where this quantity is no longer an invariant[this has been indicated in post #83: The fundamental laws should have the same form in all manifolds---flat spacetime and the different varieties of distinct curved spacetimes]. Interestingly for such transformations, as we pass between different manifolds, g(mu,nu) is not a tensor of rank two[since ds^2 is not preserved].Norms ,angles and dot products need not be preserved in these transformations[where ds^ changes].
 
  • #88
Anamitra said:
So far as the metric in the last posting[#85] is concerned, proper speeds are defined terms--d(phi)/ds and d(theta)/ds.
Now for a null geodesic ds^2=0
How does the observer define the coordinate speed or physical speed of light unless one of the variables theta or phi is the time coordinate?This has not been clearly specified
The speed of light is independent of the motion of its source---What does he understand by the speed of light here unless one of the coordinates in the metric represents time.?
Ben Niehoff should clearly specify the time coordinate.

There is no time coordinate. Erase the word "velocity" if it makes you feel better.

You claimed that you could define a canonical way to compare vectors at different points of a general curved manifold. So I am asking you to demonstrate your method on this manifold. Call Alice's vector A, and Bob's vector B. Is there any sensible way to define the vector C = A - B? If so, what is it? If not, why not? Explain, show work, etc.

I chose an ellipsoid because it has no continuous symmetries. Hopefully that will get you to think about it properly.
 
  • #89
Anamitra said:
In theoretical physics, general covariance (also known as diffeomorphism covariance or general invariance) is the invariance of the form of physical laws under arbitrary differentiable coordinate transformations.

It should be clear that the coordinate transformations involved may of projection type.
No, it should be clear that only coordinate transformations are allowed, not projections. Projections change the manifold, not just the coordinates. If you were talking about simple coordinate transformations then you would be able to provide those coordinate transformations explicitly, which you have never done.

I think it is time for you to do some homework problems:
1) the ellipsoid problem
2) write the coordinate transformations to "flatten" the Schwarzschild metric
 
Last edited:
  • #90
DaleSpam said:
No, it should be clear that only coordinate transformations are allowed, not projections. Projections change the manifold, not just the coordinates.

1.The geodesic equations remain invariant in all manifolds
2. Maxwell's equations preserve their form in all manifolds--they remain invariant in form on transition from one manifold to another.

When we use the term "invariant" we have in our view certain transformations.

What are these transformations in the above two cases?
Would you like to call them transformations where ds^2 is preserved?
 
  • #91
Anamitra said:
1.The geodesic equations remain invariant in all manifolds
2. Maxwell's equations preserve their form in all manifolds--they remain invariant in form on transition from one manifold to another.
This is true, but not relevant to the definition of diffeomorphism covariance. Read the definition you cited above carefully. It says that diffeomorphism covariance means that the form of the laws are invariant under coordinate transformations. It doesn't say that all transformations where the form of the laws are unchanged are diffeomorphisms.

DaleSpam said:
Would you like to call them transformations where ds^2 is preserved?
Diffeomorphisms, or coordinate transformations.
 
Last edited:
  • #92
Anamitra said:
1.The geodesic equations remain invariant in all manifolds
2. Maxwell's equations preserve their form in all manifolds--they remain invariant in form on transition from one manifold to another.

When we use the term "invariant" we have in our view certain transformations.

What are these transformations in the above two cases?
Would you like to call them transformations where ds^2 is preserved?

Consider an arbitrary smooth bijection (one - one, invertible, mapping) on a manifold. To talk about geometric objects after transformation, you need to ask how they are transformed by the given mapping. If you define that:

1) scalar function of mapped point equals scalar function of original point
2) Vectors, covectors, and tensors transform according the the standard rules (including the metric tensor, of course)

then the manifold is unchanged, geometrically, from the original. The mapping thus describes a coordinate transformation. If you follow some different rules for transforming vectors, tensors, etc. they you get a different manifold with arbitrarily different geometry. This is what you are doing. It has nothing to do with the generality of the point to point mapping, it has to do with how geometric objects are transformed.

A non-coordinate transform such as you are describing can, for example, change a manifold describing the geometry of a single star and one planet into one describing the geometry of 4 stars with 3 planets each. It is obviously true that since Einstein Field Equations can be valid on any manifold, you have the same laws of physics in both. However, no computation you make in the 4 star universe will tell you anything about what to expect in the 1 star universe. For GR, there is no value to such a non-coordinate transformation.
 
  • #93
Anamitra said:
Would you like to call them transformations where ds^2 is preserved?
Remember that if you have a diffeomorphism \phi :M \mapsto N then \phi _{*}\mathbf{T} can be expressed as T^{\mu ...}_{\nu ...} = \frac{\partial x^{\mu }}{\partial x^{\alpha }}...\frac{\partial x^{\beta }}{\partial x^{\nu }}...T^{\alpha ...}_{\beta ...}. A map from from one manifold to another that doesn't preserve the structure of the original manifold doesn't need to keep ds^2 the same and arbitrary tensor components won't transform according to such a law.
 
  • #94
DaleSpam said:
No, it should be clear that only coordinate transformations are allowed, not projections. Projections change the manifold, not just the coordinates. If you were talking about simple coordinate transformations then you would be able to provide those coordinate transformations explicitly, which you have never done.

I think it is time for you to do some homework problems:
1) the ellipsoid problem
2) write the coordinate transformations to "flatten" the Schwarzschild metric


JDoolin said:
Consider the Schwarzschild metric:

c^2 {d \tau}^{2} = \left(1 - \frac{r_s}{r} \right) c^2 dt^2 - \left(1-\frac{r_s}{r}\right)^{-1} dr^2 - r^2 \left(d<br /> <br /> \theta^2 + \sin^2\theta \, d\varphi^2\right)

where

r_s= \frac{2 G M}{c^2}

(2) The r, θ, and Φ coordinates of the Schwarzschild metric already indicate that those components are definable from an external reference frame comoving with the gravitational mass. Those coordinates can be easily translated into Cartesian coordinates in the external comoving reference frame.

Doesn't it stand to reason that the standard definition of the Schwarzschild metric describe exactly what you are saying, i.e., how to "flatten" the Schwarzschild metric?
 
  • #95
You can, for example, find a transformation that takes the t = t_{0}, \theta = \pi / 2 submanifold, of the 4 - manifold normally representing schwarzschild space - time, with the metric ds^{2} = (1 - \frac{2M}{r})dr^{2} + r^{2}d\phi ^{2} that embeds this 2 - manifold in a flat 3 - space with metric ds^{2} = dr^{2} + r^{2}d\phi ^{2} + dz^{2} but this is NOT a coordinate transformation. If you take the embedding map and evaluate the pushforward on, for example, a vector you will see that the vector's components will NOT transform according to the vector transformation law under coordinate transformations. You cannot find a COORDINATE transformation for the schwazrschild metric that makes R^{\alpha }_{\beta \mu \nu } = 0 identically.
 
  • #96
JDoolin said:
(2) The r, θ, and Φ coordinates of the Schwarzschild metric already indicate that those components are definable from an external reference frame comoving with the gravitational mass. Those coordinates can be easily translated into Cartesian coordinates in the external comoving reference frame.

Doesn't it stand to reason that the standard definition of the Schwarzschild metric describe exactly what you are saying, i.e., how to "flatten" the Schwarzschild metric?
I don't understand your point. The standard definition of the Schwarzschild metric is not flat.
 
  • #97
DaleSpam said:
I don't understand your point. The standard definition of the Schwarzschild metric is not flat.

I'm not entirely sure what you mean either. I am referring to

c^2 {d \tau}^{2} = \left(1 - \frac{r_s}{r} \right) c^2 dt^2 - \left(1-\frac{r_s}{r}\right)^{-1} dr^2 - r^2 \left(d\theta^2 + \sin^2\theta \, d\varphi^2\right)
r_s= \frac{2 G M}{c^2}​

as the standard definition of the Schwarzschild metric.

I would think that if I can take the coordinates (t, r, θ, Φ) and map them to a cartesian coordinate system plus time (t,x,y,z) then I have effectively mapped the events into a flat space-time. Actually, I guess there is a two-step process, because you have to go from (\tau, r&#039;, \theta, \phi) \rightarrow (t,r,\theta,\phi)\rightarrow (t,x,y,z)
by means of inverse Schwartzchild metric and then by use of spherical coordinates.

The point is that by the definition of the Schwarzschild metric, and its use of spherical coordinates, all of the events (\tau, r&#039;, \theta, \phi), (outside the schwarszchild radius) are embedded in a flat spacetime, and can be uniquely identified by values of (t,x,y,z).


WannabeNewton said:
You can, for example, find a transformation that takes the t = t_{0}, \theta = \pi / 2 submanifold, of the 4 - manifold normally representing schwarzschild space - time, with the metric ds^{2} = (1 - \frac{2M}{r})dr^{2} + r^{2}d\phi ^{2} that embeds this 2 - manifold in a flat 3 - space with metric ds^{2} = dr^{2} + r^{2}d\phi ^{2} + dz^{2} but this is NOT a coordinate transformation. If you take the embedding map and evaluate the pushforward on, for example, a vector you will see that the vector's components will NOT transform according to the vector transformation law under coordinate transformations. You cannot find a COORDINATE transformation for the schwazrschild metric that makes R^{\alpha }_{\beta \mu \nu } = 0 identically.

Why would I want to set \theta = \pi / 2? What is this requirement of R^{\alpha }_{\beta \mu \nu } = 0? What does that mean, qualitatively, and why is it important?

Are you saying that I can't embed (\tau, r&#039;, \theta, \phi) into (t,x,y,z); that somehow there is no way to do it uniquely? I sincerely doubt that's true. You merely need to define a reference t=τ=0 event. Well, okay, I see a little bit of a problem since, for symmetry, you'd want to define that event at r=0; which is troublesome because that's under the event horizon--But that wouldn't matter to the person looking from the external frame.) Wouldn't you at least agree that every event outside the Schwarzschild radius can be mapped uniquely to an event (t,x,y,z) in cartesian coordinates?
 
Last edited:
  • #98
JDoolin said:
I'm not entirely sure what you mean either. I am referring to

c^2 {d \tau}^{2} = \left(1 - \frac{r_s}{r} \right) c^2 dt^2 - \left(1-\frac{r_s}{r}\right)^{-1} dr^2 - r^2 \left(d\theta^2 + \sin^2\theta \, d\varphi^2\right)
r_s= \frac{2 G M}{c^2}​

as the standard definition of the Schwarzschild metric.

I would think that if I can take the coordinates (t, r, θ, Φ) and map them to a cartesian coordinate system plus time (t,x,y,z) then I have effectively mapped the events into a flat space-time. Actually, I guess there is a two-step process, because you have to go from (\tau, r&#039;, \theta, \phi) \rightarrow (t,r,\theta,\phi)\rightarrow (t,x,y,z)
by means of inverse Schwartzchild metric and then by use of spherical coordinates.

The point is that by the definition of the Schwarzschild metric, and its use of spherical coordinates, all of the events (\tau, r&#039;, \theta, \phi), (outside the schwarszchild radius) are embedded in a flat spacetime, and can be uniquely identified by values of (t,x,y,z).




Why would I want to set \theta = \pi / 2? What is this requirement of R^{\alpha }_{\beta \mu \nu } = 0? What does that mean, qualitatively, and why is it important?

Are you saying that I can't embed (\tau, r&#039;, \theta, \phi) into (t,x,y,z); that somehow there is no way to do it uniquely? I sincerely doubt that's true. You merely need to define a reference t=τ=0 event. Well, okay, I see a little bit of a problem since, for symmetry, you'd want to define that event at r=0; which is troublesome because that's under the event horizon--But that wouldn't matter to the person looking from the external frame.) Wouldn't you at least agree that every event outside the Schwarzschild radius can be mapped uniquely to an event (t,x,y,z) in cartesian coordinates?

You can map to x,y,z,t any way you want. However, given any such mapping, you transform the metric and vectors/covectors according to the standard formula. The result is the that ds for the x,y,z,t will not be cartesion (flat) for any possible mapping following these rules.

Put another way, using a hemisphere as an example, the rules of vector/tensor transformation ensure that your mapping constitutes a relabeling of points on the hemisphere. A mapping not accompanied by covariant/contraviariant transform of the metric allows for stretching the hemisphere such that it is flat. This is not a coordinate transform; it allows you the change the geometry (curvature) of the manifold. Dalespam's mention of the curvature tensor is just that this is the object that defines generalized curvature in n dimensions. For a valid coordinate transform, if it is non-zero for one coordinate system, it is non-zero for all. If you allow stretching rather then coordinate transform, then it can be made to vanish by geometry change.
 
  • #99
Here is another variation of the Schwarzschild metric in "isotropic coordinates":

ds^2 = - \frac{\big(1 - \frac{m}{2R} \big)^2}{\big(1 + \frac{m}{2R} \big)^2} \; dt^2 + \big(1 + \frac{m}{2R} \big)^4 \; (dx^2 + dy^2 + dz^2)
R = \sqrt{x^2 + y^2 + z^2}

This is the closest you can get to "cartesian coordinates" for the Schwarzschild geometry. This metric is not flat. The relation between the original Schwarzschild coordinates (t, r, \theta, \phi) and the new coordinates (t, x, y, z) is given by

\begin{align} r &amp;= R \big(1 + \frac{m}{2R} \big)^2 \\ x &amp;= R \sin \theta \cos \phi \\ y &amp;= R \sin \theta \sin \phi \\ z &amp;= R \cos \theta \end{align}

In general, however, you can't tell whether a metric is flat just by staring at it. In some cases it's obvious, such as Cartesian coordinates, but other cases might not be obvious. The only way to tell if a metric is flat is by computing its Riemann tensor. If (and only if) the Riemann tensor vanishes, then the metric is flat. The coordinates have no intrinsic meaning.
 
  • #100
JDoolin said:
I'm not entirely sure what you mean either. I am referring to

c^2 {d \tau}^{2} = \left(1 - \frac{r_s}{r} \right) c^2 dt^2 - \left(1-\frac{r_s}{r}\right)^{-1} dr^2 - r^2 \left(d\theta^2 + \sin^2\theta \, d\varphi^2\right)
r_s= \frac{2 G M}{c^2}​

as the standard definition of the Schwarzschild metric.

I would think that if I can take the coordinates (t, r, θ, Φ) and map them to a cartesian coordinate system plus time (t,x,y,z) then I have effectively mapped the events into a flat space-time. Actually, I guess there is a two-step process, because you have to go from (\tau, r&#039;, \theta, \phi) \rightarrow (t,r,\theta,\phi)\rightarrow (t,x,y,z)
by means of inverse Schwartzchild metric and then by use of spherical coordinates.
Along the lines of the previous responses, you can certainly do a coordinate transform from (t,r,θ,Φ) to (t,x,y,z) but the metric expressed in the new coordinates will not be the usual flat spacetime metric regardless of the details of the transform.

Similarly, you can take the usual flat metric (t,x,y,z) and do a coordinate transform to (t,r,θ,Φ) but the metric expressed in the new coordinates will still be flat. It may not be obvious that it is flat, but if you compute the curvature tensor it will be zero.
 
Back
Top