In physics, general covariant transformations are symmetries of gravitation theory on a world manifold
X
. They are gauge transformations whose parameter functions are vector fields on
X
. From the physical viewpoint, general covariant transformations are treated as particular (holonomic) reference frame transformations in general relativity. In mathematics, general covariant transformations are defined as particular automorphisms of so-called natural fiber bundles.
Let
π
:
Y
→
X
be a fibered manifold with local fibered coordinates
(
x
λ
,
y
i
)
. Every automorphism of
Y
is projected onto a diffeomorphism of its base
X
. However, the converse is not true. A diffeomorphism of
X
need not give rise to an automorphism of
Y
.
In particular, an infinitesimal generator of a one-parameter Lie group of automorphisms of
Y
is a projectable vector field
u
=
u
λ
(
x
μ
)
∂
λ
+
u
i
(
x
μ
,
y
j
)
∂
i
on
Y
. This vector field is projected onto a vector field
τ
=
u
λ
∂
λ
on
X
, whose flow is a one-parameter group of diffeomorphisms of
X
. Conversely, let
τ
=
τ
λ
∂
λ
be a vector field on
X
. There is a problem of constructing its lift to a projectable vector field on
Y
projected onto
τ
. Such a lift always exists, but it need not be canonical. Given a connection
Γ
on
Y
, every vector field
τ
on
X
gives rise to the horizontal vector field
Γ
τ
=
τ
λ
(
∂
λ
+
Γ
λ
i
∂
i
)
on
Y
. This horizontal lift
τ
→
Γ
τ
yields a monomorphism of the
C
∞
(
X
)
-module of vector fields on
X
to the
C
∞
(
Y
)
-module of vector fields on
Y
, but this monomorphisms is not a Lie algebra morphism, unless
Γ
is flat.
However, there is a category of above mentioned natural bundles
T
→
X
which admit the functorial lift
τ
~
onto
T
of any vector field
τ
on
X
such that
τ
→
τ
~
is a Lie algebra monomorphism
[
τ
~
,
τ
~
′
]
=
[
τ
,
τ
′
]
~
.
This functorial lift
τ
~
is an infinitesimal general covariant transformation of
T
.
In a general setting, one considers a monomorphism
f
→
f
~
of a group of diffeomorphisms of
X
to a group of bundle automorphisms of a natural bundle
T
→
X
. Automorphisms
f
~
are called the general covariant transformations of
T
. For instance, no vertical automorphism of
T
is a general covariant transformation.
Natural bundles are exemplified by tensor bundles. For instance, the tangent bundle
T
X
of
X
is a natural bundle. Every diffeomorphism
f
of
X
gives rise to the tangent automorphism
f
~
=
T
f
of
T
X
which is a general covariant transformation of
T
X
. With respect to the holonomic coordinates
(
x
λ
,
x
˙
λ
)
on
T
X
, this transformation reads
x
˙
′
μ
=
∂
x
′
μ
∂
x
ν
x
˙
ν
.
A frame bundle
F
X
of linear tangent frames in
T
X
also is a natural bundle. General covariant transformations constitute a subgroup of holonomic automorphisms of
F
X
. All bundles associated with a frame bundle are natural. However, there are natural bundles which are not associated with
F
X
.