10
$\begingroup$

Consider the frame bundle $LM \to M$ for given Lorentzian manifold $M$. The group $\mathcal{G}$ of gauge transformations of the second kind are automorphisms $\phi:LM \to LM$ covering the identity $\text{id}_M:M\to M$, i.e. a fiber at $p \in M$ is mapped into itself.

Trautman p. 306 states that the automorphisms in $\mathcal{G}$ preserve soldering form $\theta$ and that $\mathcal{G}$ is isomorphic to $\text{Diff}(M)$, i.e. $\mathcal{G} \cong \text{Diff}(M)$. I have been trying to find references on the statement $\mathcal{G} \cong \text{Diff}(M)$, but I did not cross any references which prove this.

Question: Where can I find a prove of $\mathcal{G} \cong \text{Diff}(M)$?

$\endgroup$
1

1 Answer 1

4
$\begingroup$

Trautman actually proves this statement right after he states it! Let me translate it into perhaps a bit clearer language:

Let $\pi : P = FM \to M$ be our frame bundle and $g: P\to P$ be a small (=connected to the identity) gauge transformation, i.e. $g^\ast \theta = \theta$ where $\theta$ is the solder form. By definition of a bundle automorphism, there is an associated small diffeomorphism $g_M : M\to M$ of the base. Since $g_M$ is small, there is a vector field $X_g$ on $M$ that generates $g_M$. We get a $\mathbb{R}^n$-valued vector field $\tilde{X}^\mu_g$ on $P$ by $$ \tilde{X}^\mu_g(p) = p^\mu(X_g) $$ where $p\in P, x = \pi(x)$ and $p^\mu$ the frame at $T_x M$ defined by $p$ so that $p^\mu(X)$ is the $\mu$-th component of $X$ in the frame $p^\mu$. The solder form $\theta^\mu$ and the connection form (choose an arbitrary one) ${\omega^\mu}_\nu$ form a basis for the 1-forms on $P$, and hence there is a dual basis $t_\mu, {o_\mu}^\nu$ of vector fields on $P$. Since $g$ is small, there is a generating vector field $Z_g$ on $P$, and we have $$\tilde{X}^\mu_g(p) = p^\mu(X_g(p)) = \theta^\mu(Z_g)(p)$$ for a vector field $Z$ on $P$ that we can expand as $$ Z = \tilde{X}_g^\mu t_\mu + {Y^\mu}_\nu{o_\mu}^\nu$$ Trautman then does a computation for the condition that the solder form is preserved that results in $$ {Y^\mu}_\nu = \nabla_\nu \tilde{X}_g^\mu + {Q^\mu}_{\rho\nu}\tilde{X}_g^\rho,$$ where $Q$ is the torsion tensor, i.e. shows that the condition that the solder form is preserved gives a formula for $Z_g$ in terms of $X_g$. This means there is a map $\mathrm{Diff}_0(M)\to \mathscr{G}$, given by mapping the diffeomorphism generated by $X_g$ to the diffeomorphism generated by $Z_g$, and this map is surjective by construction. Injectivity follows just by noting that different $X_g$ will result in different $\tilde{X}_g^\mu$, which is little more than the statement "different vectors have at least one different component".

$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.