Register to reply 
Why not diffeomorphism group representation theory? 
Share this thread: 
#1
Feb612, 02:26 AM

P: 1,583

For some reason, diffeomorphism invariance seems to be treated like a secondclass citizen in the land of symmetries. In nonrelativistic quantum mechanics, we consider Galilean invariance so important that we form our Hilbert space operators from irreducible representations of the Galilei group. In relativistic quantum mechanics, I think we can do the same thing with representations of the Poincare group. (Could someone back me up on that? How do operators work in Fock space?) But when it comes time to consider quantum gravity, we do not grant diffeomorphism invariance an analogous role, citing the fact that it is a gauge symmetry and thus indicating a mere superfluousness in our mathematical description of physical states.
I have a few issues with that. First of all, gauge symmetries can be quite important; it is the gauge invariance of Maxwell's equation that gives rise via Noether's theorem to (local) conservation of electric charge. What's the Noether charge for diffeomorphism invariance? Second of all, it seems to me that diffeomorphism invariance is more than just a gauge symmetry. Any statement that has rotational invariance, translational invariance, Lorentz invariance etc. (all locally) as it's implications surely has some physical significance. Can't we easily imagine a universe in which the laws of physics looked profoundly different in different coordinate systems? Has there been any work in building quantum gravity from the representation theory of the diffeomorphism group? Any help would be greatly appreciated. Thank You in Advance. P.S. Can someone recommend a good book on Lie group representations, direct sums, tensor products, and all that jazz? 


#2
Feb612, 08:26 AM

Sci Advisor
P: 888

I have to think more about your questions, but perhaps you like the following two articles:
[*] "Pseudoduality", Van Proeyen and Hull (about the difference between "proper symmetries" and "pseudo symmetries", formulated in terms of sigma models) [*] Black hole entropy is Noether charge, Robert Wald (about how one could assign a Noether charge to diffeomorphisms, but how to reconcile that with the first article is not yet clear to me) 


#3
Feb612, 08:56 AM

Sci Advisor
P: 5,366

When looking at loop quantum gravity it becomes clear that (spatial) diffeomorphisms play a prominent role in its construction. The problem is that this construction is neither complete nor indisputable.



#4
Feb612, 09:15 AM

P: 1,583

Why not diffeomorphism group representation theory?



#5
Feb612, 09:54 AM

Sci Advisor
P: 5,366




#6
Feb612, 11:16 AM

Sci Advisor
Thanks
P: 4,160

Question: for electromagnetism, which type of gauge transformation (global or local) generates the conserved current? The short answer is: they both do. But in different ways. And so to state the short answer to the OP, both the general covariance group and the translation group generate the same conserved quantity, namely (EDIT: the stressenergy tensor, and its charge,) the energymomentum vector. A very clear exposition of this topic can be found here. The point is that there are, in fact, two Noether theorems. The first deals with constant parameters (global gauge groups) while the second deals with function parameters (local gauge groups). Both of them lead to the same conserved current, but the equations of motion are required to be satisfied in the first case, while in the second case they are not. 


#7
Feb612, 04:16 PM

P: 1,583




#8
Feb712, 12:38 AM

Sci Advisor
P: 5,366

In LQG it is claimed that the final version of the theory is diff. inv. b/c the symmetry has been reduced to the identity; however the way towards this rep. is slightly obscure and the implementation of all constraints including the Hamiltonian is not yet fully understood. Anyway, the diff. inv. symmetry is "unphysical" just like a gauge symmetry, therefore physical obervables and Hilbert space vectors should live in the trivial representation.
Compare this to QCD: yes, you are right, in that case you start with SU(3) representations, quarks live in the triplet, gluons live in the octet, in order to construct the theory. But the hysical states are constrained by the "color Gauss law" which means that all physical states are gauge invariant states i.e.live in the singlet. So even in QCD (when it comes to physical states and observables) no representation but the trivial one is used. Regarding your last question: I do not know any other theory that uses representation theory of the spacetime diffeomorphims group. 


#9
Feb712, 01:15 AM

P: 1,583

By the way, how are things done in quantum field theory on curved spacetimes? What is the symmetry group used there to construct Hilbert space operators? 


#10
Feb712, 03:48 AM

Sci Advisor
P: 5,366

Global symmetries like e.g. SU(N) flavor and global Lorentz or Poincare invariance in special relativity for which you can construct (wellknown) representations; the physical Hilbert can be decomposed accordingly. Local symmetries like gauge symmetries and diffeomorphim invariance; it is true that you have Poincare invariance in GR, but this becomes a local (gauge) symmetry (I will try to find papers for you). Global or "rigid" Lorentz or Poincare invariance is not a symmetry of GR, only as a special subset of local diffeomorphism invariance. It should be clear that global Lorentz invariance requires a globally flat spacetime; it is also wellknown that the concept of energy, momentum and angular momentum (as integral constants of motion) do no longer exist in GR in general. 


#11
Feb712, 09:32 AM

Sci Advisor
P: 888

@tom.stoer: Especially in papers about supergravity this exchange of local translations and gct's is adressed, like in Samtleben's introduction. See also here,
http://www.physicsforums.com/showthread.php?t=463190 at post #9. 


#12
Feb712, 09:58 AM

P: 1,583

I think quantum field theory in curved spacetime would be relevant to all these issues. 


#13
Feb1112, 11:29 AM

P: 1,583

I found out more information on this now. It seems that the generators of the local diffeomorphism group on a manifold are the vector fields defined on the manifold. Is there any way to interpret these vector fields as operators on the Hilbert space?
This is especially interesting, because wave functions are scalar fields ψ(x,t), i.e. scalar fields on spacetime. So how could you find represent vector fields on a manifold as operators on the space of scalar fields of the manifold ? 


#14
Feb1312, 06:18 AM

P: 33

"But are all local symmetries "gauge" symmetries in the pejorative sense, i.e. just indicating mathematical redundancy not physical content?"
For a (philosophical) discussion of this issue, please see 'Gauging What's Real' by Richard Healey, OUP. 


#15
Feb1312, 07:12 AM

Sci Advisor
P: 5,366




#16
Feb1312, 09:38 AM

P: 1,583

But I agree with you: diffeomorphism invariance is a physically significant assertions about the laws of physics taking the same form in all reference frames. Thus it stands to reason that the generators of infinitesimal diffeomorphisms should have irreducible representations as Hilbert space operators. Am I on the right track concerning vector fields on a manifold being the generators of diffeomorphisms on the manifold? If so, how could you construct Hilbert space operators out of vector fields? Also, am I right to assume that quantum mechanics in curved spacetime is relevant? 


#17
Feb1312, 10:13 AM

P: 33

"On the other hand, people do not do the same thing for the local diffeomorphism group; their justification for this is to dismiss this as a "gauge symmetry", by which they do not just mean that it is local, but that it is just a redundancy in our mathematical description of the physical world, not something physically meaningful." Lugita 15
The book I referenced can clarify some of the issues, such as what is meant when mathematical structure is considered unphysical or 'pure gauge'. It is written from the perspective of philosophy of physics rather than first order physics, but it is very clear with relatively simple formalism (although not toy examples). Its conclusion is basically "'Local' gauge symmetry is a purely formal feature of [e.g. YangMills theories]" (p.155). This is not tackling what your asking about head on, by any stretch. But I found Healey's examination of classical and quantum field theories, and in particular what the transliteration of Weyl's 'gauge' means in the very different contexts of e.g. QFT and general relativity, very useful, very subtle, and illuminating. One last thing, there are many nice papers about QFT on curved spacetime, but I don't think I quite follow your reasoning here: "how could you construct Hilbert space operators out of vector fields?" 


#18
Feb1312, 06:38 PM

P: 1,583

In each case, the pattern is clear. We find a continuous set of symmetry transformations, which form a Lie group. We then look at the infinitesimal transformations that are in this group, AKA the Lie algebra. We find the generators of these infinitesimal transformations. Finally we try to find selfadjoint operators on our Hilbert space which correspond to these generators. (I'm skipping a step: we often first try finding unitary operators to represent elements of the whole Lie group, and then we use those to find the selfadjoint operators representing the infinitesimal generators. For instance, we first find the unitary time evolution operators U(t) which represent the Lie group of time translations, then we express the Hamiltonian operator in terms of U(dt).) In the present case the symmetry we are concerned with is local diffeomorphism invariance, so I would like to similarly construct Hilbert space operators using the representation theory of the diffeomorphism group. Based on some searching, it seems that the generators of infinitesimal diffeomorphisms on a manifold are vector fields on the manifold. So somehow these vector fields have to be represented as operators on the Hilbert space. This is somewhat interesting, because the Hilbert space is the set of wave functions, which are themselves scalar fields on the manifold. So we have to represent vector fields acting on the manifold as selfadjoint linear operators acting on scalar fields acting on the manifold. 


Register to reply 
Related Discussions  
Group Theory, unitary representation and positive eigenvalues  Linear & Abstract Algebra  3  
Group/Representation Theory Help! (Summations and elements of a finite group)  Calculus & Beyond Homework  7  
Combinatorial group and representation theory?  Linear & Abstract Algebra  3 