I will derive an isomorphism between a Cartan-3-form Weyl-theory in 7-D and general relativity in Plebanski formulation and discuss the depth and impact. Basically, that the 4D Lagrangian:
is an exact description of general relativity, where is given by:
and the metric-volume form implicitly defining , namely, , is:
with the 3-form on a 7-D manifold is explicitly defined by the –holomorphic metric:
with the action:
Such holomorphic 3-forms in 7-D are analytically related to the exceptional group , which can be interpreted as the subgroup of that metaplectically stabilizes generic 3-forms.
Any generic 3-form on a 7-D manifold defines a metric explicitly given by the formula:
where is the metric contraction of two vector fields, the volume form, and is the Hilbert space vector-field insertion operator. Now, the space of generic 3-forms at a point can be identified with the coset
and as characterized above allows us to embed into . One can explicitly describe as a homogeneity of degree 7/3 -holomorphic object constructible from the generic 3-form .
With
the completely densitiesed anti-symmetric tensor with values , a = 1, . . . , 7,. We have then the 7/3 scalar:
whose cube root is a multiple of . Dynamically, for , we get the action:
which entails the Euler-Lagrange equations:
and is the -defined Hodge dual of , yielding:
Real 3-forms satisfying
have Riemannian signature metrics and possess structure.
Crucial:
entails that is closed and is Einsteinian with non-zero scalar curvature.
One can therefore relate the theory determined by the action:
to 4-D general relativity since the action is dimensionally reduced on , and that is an isomorphism restricted to Weyl curvatures smaller than Planckian, which is the desired regime where we can trust GR as a classical theory.
One begins with GR in higher dimensions and carries a dimensional reduction to 4 dimensions. The main claim here is that 4D GR analytically arises as the dimensional reduction of the theory defined by:
of 3-forms in 7D, and such a theory is a dynamical theory of 3-forms, not the metrics. The natural question, besides the deeply curious fact that 4D GR admits a lift to a theory of seemingly such a different type, one may ask: wherein lies the theoretical and foundational utility? The key is that the dimensionally reduced theory is GR with non-zero cosmological constant, and it is directly related to the size of the KK . As the 5D Kaluza-Klein theory transforms the electric charge into a dynamically determinate quantity via a spontaneous compactification mechanism, in this context, the 4D cosmological constant becomes in theory determinable by the dynamics of the extra dimensions, and the dimensionally reduced theory is the Riemannian signature GR.
Without loss of generality, one can work under the assumption that the group acts freely on , thus importing on the structure of an principal bundle over a 4-dimensional base . Staying local over regions of , we parametrise fiber points as such:
and the group action being the right action of on itself and:
the Maurer-Cartan one-forms on . To proceed with the main claim, let be an connection on – that is, a 2×2 anti-Hermitian matrix valued 1-form on , with:
its lift into the total space of the bundle. It follows that:
is the connection 1-form in the total space of the bundle. Hence, we have:
which is a 2-form that is purely horizontal:
where:
is the curvature of the connection 1-form on the base.
Key: an invariant 3-form on X can be written as
with and being lifts to the bundle of Lie algebra valued 1- and 2-forms on the base respectively, and this entails that in order for 4D GR to analytically arise as the dimensional reduction of the theory defined by:
of 3-forms in 7D, the correct parametrization of must be:
with:
One can easily compute to get:
where the lift to the bundle of the covariant derivative of Lie algebra-valued 2-form with respect to the connection is given by:
and the trace-identity property gives us:
So, the dimensional reduction of the first term in:
which is topological, is the BF theory with a -term, coupled to the scalar and 3-form fields, thus the dimensional reduction of the topological theory is itself topological, allowing us to recover the Lagrangian of the topological BF theory with the term.
Let’s analyze the dimensional reduction of the second term in:
note, this is a no-derivative term, hence only the following potential fields:
can be changed by it. Also, since:
entails that the 3-form field is conjugate to , one can treat it as a constant and set to zero. The volume form corresponding to:
can be derived by decomposing all matrix-valued fields in terms of the generators:
with the Pauli matrices. We can deduce now the following:
where in canonical form is:
with the basis of anti-self-dual 2-forms:
We now note that the metric corresponding to our theory defined by the above action is:
Keep in mind the number 7. The metric for:
we note first the Urbantke formula:
is the metric on the base from:
hence the 7-D character of the Urbantke formula. So, the 2-forms can always be parametrised as:
we then have
Substituting the parametrisation:
into:
the 3-form reduces to:
where:
this yields the variant metric:
whose volume-form is:
Collecting all of our data so far, the picture is getting clear: one can write the dimensionally reduced 4D Lagrangian on the ansatz:
divided by the volume of the fiber, giving us:
which is the Lagrangian of type-BF theory plus a potential for the field,
and this is a 4D gravity theory
To reduce to GR, we rewrite the last term in:
via an auxiliary matrix field, yielding:
such a way of rewriting the last term in:
allows us to reduce the 4D Lagrangian to:
Setting:
And here is the Plebanskian point:
the constraint expanded in powers of is the constraint , and this is isomorphic to General Relativity in Plebanski formulation
hence:
describes GR.
One now reparametrise via:
with the tracefree part of and is the function gotten by imposing the constraint in the second line of:
Solving, we get the following:
and:
So, the isomorphism follows from the fact that the Plebanski Lagrangian, which is:
has a dimensionless field that describes, at the Planck-mass scale, the metric via Urbantke formula:
Hence:
are dimensionless, and is the anti-self-dual part of the Weyl-curvature measured in Planck units and so is isomorphic to GR at all scales.
Note also, the dimensionless is the cosmological constant measured in Planck units, and is a negligibly small number ∼ 10−120 that embodies the cosmological constant problem.
The theory:
yields a negligible cosmological constant for values of radius of compactification close to unity, thus we get:
Hence, stating our result, the dimensionally reduced theory:
gives a 4D gravity theory that in the regime of Weyl curvatures is indistinguishable from GR in Plebanski formulation, as mathematically expressed by:
which is remarkable and reflects compactified extra dimensions: that is why I said “Keep in mind the number 7”. The main difference between our model here and Kaluza-Klein compactifications of supergravity where a N-D manifold with a structure is used for compactifying 11-D supergravity down to 4D, here we described gravity itself using 3-forms, which is not an object that exist in addition to the metric: it is the only object that exists. The metric, and in particular the 4D metric, is defined by the 3-form via:
Many details and open questions remain to be addressed: however, that such an isomorphism exists with an [in]direct connection to compactifications of supergravity points to something deep foundationally in theoretical physics and quantum-gravity programs must heed such a lesson.