In comparison with General Relativity, dynamic variables of metric-affine gravitation theory are both a pseudo-Riemannian metric and a general linear connection on a world manifold
X
. Metric-affine gravitation theory has been suggested as a natural generalization of Einstein–Cartan theory of gravity with torsion where a linear connection obeys the condition that a covariant derivative of a metric equals zero.
Metric-affine gravitation theory straightforwardly comes from gauge gravitation theory where a general linear connection plays the role of a gauge field. Let
T
X
be the tangent bundle over a manifold
X
provided with bundle coordinates
(
x
μ
,
x
˙
μ
)
. A general linear connection on
T
X
is represented by a connection tangent-valued form
Γ
=
d
x
λ
⊗
(
∂
λ
+
Γ
λ
μ
ν
x
˙
ν
∂
˙
μ
)
.
It is associated to a principal connection on the principal frame bundle
F
X
of frames in the tangent spaces to
X
whose structure group is a general linear group
G
L
(
4
,
R
)
. Consequently, it can be treated as a gauge field. A pseudo-Riemannian metric
g
=
g
μ
ν
d
x
μ
⊗
d
x
ν
on
T
X
is defined as a global section of the quotient bundle
F
X
/
S
O
(
1
,
3
)
→
X
, where
S
O
(
1
,
3
)
is the Lorentz group. Therefore, on can regard it as a classical Higgs field in gauge gravitation theory. Gauge symmetries of metric-affine gravitation theory are general covariant transformations.
It is essential that, given a pseudo-Riemannian metric
g
, any linear connection
Γ
on
T
X
admits a splitting
Γ
μ
ν
α
=
{
μ
ν
α
}
+
S
μ
ν
α
+
1
2
C
μ
ν
α
in the Christoffel symbols
{
μ
ν
α
}
=
−
1
2
(
∂
μ
g
ν
α
+
∂
α
g
ν
μ
−
∂
ν
g
μ
α
)
,
a nonmetricity tensor
C
μ
ν
α
=
C
μ
α
ν
=
∇
μ
Γ
g
ν
α
=
∂
μ
g
ν
α
+
Γ
μ
ν
α
+
Γ
μ
α
ν
and a contorsion tensor
S
μ
ν
α
=
−
S
μ
α
ν
=
1
2
(
T
ν
μ
α
+
T
ν
α
μ
+
T
μ
ν
α
+
C
α
ν
μ
−
C
ν
α
μ
)
,
where
T
μ
ν
α
=
1
2
(
Γ
μ
ν
α
−
Γ
α
ν
μ
)
is the torsion tensor of
Γ
.
Due to this splitting, metric-affine gravitation theory possesses a different collection of dynamic variables which are a pseudo-Riemannian metric, a non-metricity tensor and a torsion tensor. As a consequence, a Lagrangian of metric-affine gravitation theory can contain different terms expressed both in a curvature of a connection
Γ
and its torsion and non-metricity tensors. In particular, a metric-affine f(R) gravity, whose Lagrangian is an arbitrary function of a scalar curvature
R
of
Γ
, is considered.
A linear connection
Γ
is called the metric connection for a pseudo-Riemannian metric
g
if
g
is its integral section, i.e., the metricity condition
∇
μ
Γ
g
ν
α
=
0
holds. A metric connection reads
Γ
μ
ν
α
=
{
μ
ν
α
}
+
1
2
(
T
ν
μ
α
+
T
ν
α
μ
+
T
μ
ν
α
)
.
For instance, the Levi-Civita connection in General Relativity is a torsion-free metric connection.
A metric connection is associated to a principal connection on a Lorentz reduced subbundle
F
g
X
of the frame bundle
F
X
corresponding to a section
g
of the quotient bundle
F
X
/
S
O
(
1
,
3
)
→
X
. Restricted to metric connections, metric-affine gravitation theory comes to the above-mentioned Einstein – Cartan gravitation theory.
At the same time, any linear connection
Γ
defines a principal adapted connection
Γ
g
on a Lorentz reduced subbundle
F
g
X
by its restriction to a Lorentz subalgebra of a Lie algebra of a general linear group
G
L
(
4
,
R
)
. For instance, the Dirac operator in metric-affine gravitation theory in the presence of a general linear connection
Γ
is well defined, and it depends just of the adapted connection
Γ
g
. Therefore, Einstein – Cartan gravitation theory can be formulated as the metric-affine one, without appealing to the metricity constraint.
In metric-affine gravitation theory, in comparison with the Einstein - Cartan one, a question on a matter source of a non-metricity tensor arises. It is so called hypermomentum, e.g., a Noether current of a scaling symmetry.