A LLT, GCT and gauge transformations

Ravi Mohan
Messages
195
Reaction score
21
It has been sometime since I have been thinking about this question and I have been quite successful in confusing myself.
In Einstein's General Relativity, we say that the general coordinate transformations (or diffeomorphisms) on a manifold are the gauge transformations of the theory. The local Lorentz transformations are the orthogonal rotations in the tensor bundle of the manifold. Thus the structure group of the fibre bundle is essentially the Lorentz group (for manifold with a Lorentzian metric).

Now the structure group is a set of transformations which essentially performs rotations in the bundle which, means it changes the basis in a specific way. And in cases where we use natural basis (coordinate basis), it should mean just changing the coordinates. But that is essentially a diffeomorphism (which is gauge transformation). But Lorentz symmetry cannot be a gauge symmetry. So I was wondering where I am going wrong.

On another note, I wonder if GR is a gauge theory in typical sense. Generally, the structure group in the fibre bundle of a manifold, in a gauge theory, forms a gauge group. But for GR, the structure group of the fibre bundle is giving the actuall symmetries of the theory (Lorentz transformations).
 
Physics news on Phys.org
Hi Ravi,

I´m not that familiar with bundle-jargon (I've never seen what it contributes to my understanding), but I consider in GR both the gct's and the LLT's (!) as gauge transformations. One way to see this is to consider the gauging of the Poincaré algebra. This procedure is reviewed in e.g. http://arxiv.org/abs/1011.1145. One gauges the algebra and imposes a co-called conventional constraint; this effectively removes the local translations from your theory, and as such the remaining gauge transformations are gct's and LLT's.
 
  • Like
Likes Ravi Mohan
How does the Lanczos tensor fit into all of this ? That's something I have always wondered about.
 
haushofer said:
Hi Ravi,

I´m not that familiar with bundle-jargon (I've never seen what it contributes to my understanding), but I consider in GR both the gct's and the LLT's (!) as gauge transformations. One way to see this is to consider the gauging of the Poincaré algebra. This procedure is reviewed in e.g. http://arxiv.org/abs/1011.1145. One gauges the algebra and imposes a co-called conventional constraint; this effectively removes the local translations from your theory, and as such the remaining gauge transformations are gct's and LLT's.

Interesting! I will study the reference. But if I can find a conserved Noether charge corresponding to LLTs, that certainly means that they are not the gauge transformations.
 
Last edited:
haushofer said:
Hi Ravi,

I´m not that familiar with bundle-jargon (I've never seen what it contributes to my understanding), but I consider in GR both the gct's and the LLT's (!) as gauge transformations. One way to see this is to consider the gauging of the Poincaré algebra. This procedure is reviewed in e.g. http://arxiv.org/abs/1011.1145. One gauges the algebra and imposes a co-called conventional constraint; this effectively removes the local translations from your theory, and as such the remaining gauge transformations are gct's and LLT's.

I had a discussion with Prof. Distler and he also confirmed that LLTs are actually the gauge transformations. In fact, when we introduce the vielbeins
<br /> \hat{e}_{(\mu)}=e_{\mu}^{a}\hat{e}_{(a)}<br />
we basically introduce ##d^2## variables out of which ##\frac{d(d-1)}{2}## are redundant. It can be seen from the equation
<br /> g_{\mu\nu}=e^a_{\mu}e^b_{\nu}\eta_{ab}.<br />

Next, it is clear from the first equation (or its inverse), the coordinate transformations and fibre basis transformations are separate beasts. Hence LLTs and GCTs are not related to each other in any sense but both of them are essentially the gauge symmetries of the theory.
 
Yes, they are different beasts, hence the different indices (flat,a and curved,mu). They can be relatedthough by taking field-dependent parameters, i.e. in soft algebras. This fact is crucial in gauging the (super) Poincare algebra: it allows one to remove the local translations via a conventional constraint.
 
In Philippe G. Ciarlet's book 'An introduction to differential geometry', He gives the integrability conditions of the differential equations like this: $$ \partial_{i} F_{lj}=L^p_{ij} F_{lp},\,\,\,F_{ij}(x_0)=F^0_{ij}. $$ The integrability conditions for the existence of a global solution ##F_{lj}## is: $$ R^i_{jkl}\equiv\partial_k L^i_{jl}-\partial_l L^i_{jk}+L^h_{jl} L^i_{hk}-L^h_{jk} L^i_{hl}=0 $$ Then from the equation: $$\nabla_b e_a= \Gamma^c_{ab} e_c$$ Using cartesian basis ## e_I...
Abstract The gravitational-wave signal GW250114 was observed by the two LIGO detectors with a network matched-filter signal-to-noise ratio of 80. The signal was emitted by the coalescence of two black holes with near-equal masses ## m_1=33.6_{-0.8}^{+1.2} M_{⊙} ## and ## m_2=32.2_{-1. 3}^{+0.8} M_{⊙}##, and small spins ##\chi_{1,2}\leq 0.26 ## (90% credibility) and negligible eccentricity ##e⁢\leq 0.03.## Postmerger data excluding the peak region are consistent with the dominant quadrupolar...
Thread 'Dirac's integral for the energy-momentum of the gravitational field'
See Dirac's brief treatment of the energy-momentum pseudo-tensor in the attached picture. Dirac is presumably integrating eq. (31.2) over the 4D "hypercylinder" defined by ##T_1 \le x^0 \le T_2## and ##\mathbf{|x|} \le R##, where ##R## is sufficiently large to include all the matter-energy fields in the system. Then \begin{align} 0 &= \int_V \left[ ({t_\mu}^\nu + T_\mu^\nu)\sqrt{-g}\, \right]_{,\nu} d^4 x = \int_{\partial V} ({t_\mu}^\nu + T_\mu^\nu)\sqrt{-g} \, dS_\nu \nonumber\\ &= \left(...
Back
Top