Quantcast
  • Register
PhysicsOverflow is a next-generation academic platform for physicists and astronomers, including a community peer review system and a postgraduate-level discussion forum analogous to MathOverflow.

Welcome to PhysicsOverflow! PhysicsOverflow is an open platform for community peer review and graduate-level Physics discussion.

Please help promote PhysicsOverflow ads elsewhere if you like it.

News

PO is now at the Physics Department of Bielefeld University!

New printer friendly PO pages!

Migration to Bielefeld University was successful!

Please vote for this year's PhysicsOverflow ads!

Please do help out in categorising submissions. Submit a paper to PhysicsOverflow!

... see more

Tools for paper authors

Submit paper
Claim Paper Authorship

Tools for SE users

Search User
Reclaim SE Account
Request Account Merger
Nativise imported posts
Claim post (deleted users)
Import SE post

Users whose questions have been imported from Physics Stack Exchange, Theoretical Physics Stack Exchange, or any other Stack Exchange site are kindly requested to reclaim their account and not to register as a new user.

Public \(\beta\) tools

Report a bug with a feature
Request a new functionality
404 page design
Send feedback

Attributions

(propose a free ad)

Site Statistics

205 submissions , 163 unreviewed
5,047 questions , 2,200 unanswered
5,345 answers , 22,709 comments
1,470 users with positive rep
816 active unimported users
More ...

  The Role of Active and Passive Diffeomorphism Invariance in GR

+ 6 like - 0 dislike
2831 views

I'd like some clarification regarding the roles of active and passive diffeomorphism invariance in GR between these possibly conflicting sources.

1) Wald writes, after explaining that passive diffeomorphisms are equivalent to changes in coordinates,

"This 'passive' point of view on diffeomorphisms is, philosophically, drastically different from the above 'active' viewpoint, but, in practice, these viewpoints are really equivalent since the components of the tensor $\phi*T$ at $\phi(p)$ in the coordinate system $\{y^\mu\}$ in the active viewpoint are precisely the components of $T$ at $p$ in the coordinate system $\{x'^\mu\}$ in the passive viewpoint."

(Wald, General Relativity, Appendix C.1)

2) Gaul and Rovelli write,

"General relativity is distinguished from other dynamical field theories by its invariance under active diffeomorphisms. Any theory can be made invariant under passive diffeomorphisms. Passive diffeomorphism invariance is a property of the formulation of a dynamical theory, while active diffeomorphism invariance is a property of the dynamical theory itself."

(Gaul and Rovelli, http://arxiv.org/abs/gr-qc/9910079, Section 4.1)

It seems that Wald is saying that there is no mathematical difference between the two, and that both imply the same physical consequences. It seems that Gaul and Rovelli, however, are saying that only active diffeomorphism invariance has physical meaning that may influence the dynamics of the theory. Can anyone explain?

This post imported from StackExchange Physics at 2014-03-22 17:07 (UCT), posted by SE-user user23686
asked Sep 9, 2013 in Theoretical Physics by anonymous [ no revision ]
Gosh, you're a 6th year grad student, and you think you've got it all figured out: you understand GR, active transformations, and passive transformations, and then someone's seemingly innocuous physics.SE question shatters your dreams.

This post imported from StackExchange Physics at 2014-03-22 17:07 (UCT), posted by SE-user joshphysics
A coordinate-free perspective is certainly interesting from a fundamental point of view (a "intrinsic" reality not depending on observers), so it would be interesting to search relations about different intrinsic realities (in this case, active diffeomorphisms), but, practically, which interesting calculus are we able to do in a coordinate-free formalism ? Unfortunately, it seems that the use of a coordinate formalism is mandatory, so, I agree with Wald's point of view.

This post imported from StackExchange Physics at 2014-03-22 17:07 (UCT), posted by SE-user Trimok
I don't think that the two quotes contradict each other. Wald is not talking about diffeomorphism invariance, just about how diffeomorphisms look locally in coordinates. For the theory to be invariant under passive diff.s means to be well defined, to be invariant under active diff.'s is something much more.

This post imported from StackExchange Physics at 2014-03-22 17:07 (UCT), posted by SE-user MBN

1 Answer

+ 5 like - 0 dislike

I think the best approach is to try to understand a concrete example:

Let's look at a piece of the Euclidean plane coordinatized by $x^a=(x, y); a=1,2$ in a nice rectangular grid with Euclidean metric. Now suppose we define a transformation $$X(x,y)=x(1+\alpha y^2) $$ $$Y(x,y)=y(1+\alpha x^2) $$ $\alpha$ is just a constant, which we will take as 5/512 - for the sake of being able to draw diagrams. A point P with coordinates $(x,y)=(8,8)$ is mapped to a point P' with coordinates $(X,Y)=(13,13)$.

Passive View

Here we don't think of P and P' as different points, but rather as the same point and $(13,13)$ are just the coordinates of P in the new coordinate system $X^a$. enter image description here

In the picture, the blue lines are the coordinate lines $x^a=$ const and the red lines are the coordinate lines $X^a=$ const. Metric components on our manifold $g_{ab}(x)$ get mapped to new values $$h_{ab}(X)={\frac{\partial x^c}{\partial X^a}}{\frac{\partial x^d}{\partial X^b}} g_{cd}(x) \ \ \ (1) $$ This represents the same geometric object since $$ h_{ab}(X)dX^a\otimes dX^b = g_{ab}(x)dx^a\otimes dx^b$$

Active View

One description of the active view that is sometimes used is that points are "moved around" (in some sense perhaps it's better to think just of an association between points, "moving" implies "with respect to some background"). So in our example, we'd think of the point P as having been "stretched out" to the new location P'. (These locations are with respect to the old $x$ coordinate system). enter image description here

The old (blue) $x=$ constant coordinate lines get dragged along too, into the red lines shown in the diagram. So the point P retains its old coordinate values $(8,8)$ in its new location, i.e $(X,Y)=(8,8)$. The metric is also dragged along (see for example Lusanna) according to: $$h_{ab}(X)|_{P'} \ dX^a \otimes dX^b = g_{ab}(x)|_{P}\ dx^a \otimes dx^b \ \ \ (2)$$ So the old Euclidean metric $dx^2+dy^2$ becomes $dX^2+dY^2$, i.e. still Euclidean in the new $(X,Y)$ chart - nothing has changed. So, for example, the angle between the red vectors $\frac{\partial}{\partial X}$, $\frac{\partial}{\partial Y}$ is still 90 degrees, as it was for the blue vectors $\frac{\partial}{\partial x}$, $\frac{\partial}{\partial y}$ ! My guess is that this is what Wald means by the physical equivalence - in this example a Euclidean metric remains Euclidean.

enter image description here

Now, if we look at the red vectors from the point of view of the blue frame, they sure don't look orthogonal*, so from the blue point of view, it can only be a new metric in which the red vectors are orthogonal. So active diffeomorphisms can be interpreted as generating new metrics.

Now suppose we have a spacetime - a manifold with metric for which the Einstein tensor $G_{\mu\nu}$ vanishes. Applying an active diffeomorphism, we can generate the drag-along of the Einstein tensor by a rule analogous to (2). As we have discussed, if we compare the dragged along metric with the old one in the same coordinates, we see we have a spacetime with a new metric. Moreover, the new spacetime must also have vanishing Einstein tensor - by the analog of (2), the fact that it vanished in the old system means it vanishes in the new system and hence our newly created Einstein tensor vanishes too (if a tensor vanishes in one set of coordinates it vanishes in all).

In this respect, the invariance of Einstein's equations under active diffeomorphisms is special. If we take, for example, the wave equation in curved spacetime $$(g^{\mu\nu}{\nabla}_{\mu}{\nabla}_{\nu}+\xi R)\phi(x) = 0 $$ then active diffeomorphisms don't naturally take solutions to solutions - they change the metric, and the metric in this equation is part of the background, and fixed. By contrast, in Einstein's equations, the metric is what you're solving for so active diffeomorphism invariance is built in.

*Just compute the vectors $\frac{\partial}{\partial X}, \frac{\partial}{\partial Y}$ in terms of $\frac{\partial}{\partial x}$, $\frac{\partial}{\partial y}$ and test their orthogonality using the original Euclidean metric.

This post imported from StackExchange Physics at 2014-03-22 17:07 (UCT), posted by SE-user twistor59
answered Sep 17, 2013 by twistor59 (2,500 points) [ no revision ]

Your answer

Please use answers only to (at least partly) answer questions. To comment, discuss, or ask for clarification, leave a comment instead.
To mask links under text, please type your text, highlight it, and click the "link" button. You can then enter your link URL.
Please consult the FAQ for as to how to format your post.
This is the answer box; if you want to write a comment instead, please use the 'add comment' button.
Live preview (may slow down editor)   Preview
Your name to display (optional):
Privacy: Your email address will only be used for sending these notifications.
Anti-spam verification:
If you are a human please identify the position of the character covered by the symbol $\varnothing$ in the following word:
$\varnothing\hbar$ysicsOverflow
Then drag the red bullet below over the corresponding character of our banner. When you drop it there, the bullet changes to green (on slow internet connections after a few seconds).
Please complete the anti-spam verification




user contributions licensed under cc by-sa 3.0 with attribution required

Your rights
...