Eur. Phys. J. C (2015) 75 :459 Page 3 of 11 459
There exists a gauge, called the radiation gauge [29,30],
in which all of the unphysical fields are removed. The gauge-
fixing procedure that we adopt keeps only the physical
degrees of freedom as in the radiation gauge, but is different
from the radiation gauge in that it leads to effective reduction
of the dynamics onto the hypersurface. The hypersurface foli-
ation approach
4
in this work provides a convenient arena for
examining the renormalizability after removal of the unphys-
ical degrees of freedom. Let us consider the 3 + 1 splitting
of the 4D Einstein–Hilbert action. Compared with the exist-
ing covariant approach, the ADM formulation employed in
this manuscript has two advantages: firstly, the ADM formu-
lation is effective in organizing the degrees of freedom for
easy isolation of the unphysical degrees of freedom. In other
words, the formulation readily identifies the non-dynamical
fields thereby setting the stage for their removal. Secondly,
the ADM splitting brings out the utility of the measure-zero
gauge symmetry for removal of the non-dynamic fields. This
feature will play a crucial role in Sect. 2.
The rest of the paper is organized as follows. In Sect. 2,
we discuss the removal of unphysical degrees of freedom.
After starting off by recalling the gauge-fixing procedure of
a YM type gauge theory, we note that it should be possible to
gauge-fix the lapse function and shift vector by the measure-
zero diffeomorphisms after fixing the bulk gauge symmetry
(the de Donder gauge will be adopted for the bulk fixing). As
is well known (see, e.g. [35]), the choice of the lapse and shift
is arbitrary, hence gauge-fixing the lapse and shift should be
a legitimate procedure in any case. What is important is that
it should be possible to gauge-fix them by using the measure-
zero gauge symmetry, not the bulk ones. The result of these
gauge-fixings is the projection of 4D dynamics onto the 3D
hypersurface: the 3D system has two physical degrees of free-
dom inherited from 4D. (The reduction is limited to a pure
Einstein system; a matter field, if present, will not be reduced,
at least not in any simple way.) By invoking the logic of [5,20]
one arrives at renormalizability. This will be pointed out in
Sect. 3, in which we will also comment on precisely what
physics the reduced theory should describe. The procedure
should be viewed as a generalization of the holography idea
of [36].
5
A flat spacetime will be considered throughout. It
should be possible to apply the procedure to a Schwarzschild
black hole background with relatively minor modifications.
However, it is not clear whether the procedure can be applied
to a more complex background such as an explicit time-
4
The hypersurface foliation approach combined with explicit dimen-
sional reduction has been fruitful [31–34] Unlike these works, no
explicit dimensional reduction is carried out here: the projection onto
3D is dictated by removal of unphysical degrees of freedom through the
measure-zero diffeomorphism. Thus the reduction is “spontaneous”.
5
’t Hooft observed the Holography in the black hole context. If what we
propose here is true, gravity theory itself has the holographic property
through a lower dimensional gravity theory.
dependent black hole background, and this is potentially a
limitation of the procedure. For the case of globally hyper-
bolic spacetimes, the reduction can easily be understood
from a different and more mathematical perspective [37].
(The condition of global hyperbolicity is not strictly required,
though.) This result is summarized in Sect. 3.2. In the conclu-
sion, we comment on several issues such as recovery of the
4D covariance in the present context or the fully 4D-covariant
formulation of the quantization. (Progress has been recently
made in [23].) In the Appendix, we illustrate the gauge-fixing
dependence of a renormalization procedure by taking a sys-
tem of metric coupled with a scalar. The sole purpose of
considering this system is to demonstrate the dependence:
we consider only the pure gravity system in the main body.
2 Removal of unphysical degrees of freedom
It will be useful for what follows to recall the quantization
procedure in Maxwell’s theory. The vector field has four com-
ponents to start with but only two of them are physical degrees
of freedom. The system has gauge symmetry; it reduces the
number of degrees of freedom to three. The time compo-
nent is non-dynamical, leading to the further reduction of the
number of physical fields to two. Let us consider temporal
gauge to be specific. It turns out that temporal gauge does not
entirely use up the gauge freedom but leaves gauge symme-
try associated with the hypersurface of a fixed time [38]. For
the perspective of our gravity analysis, what is important is
that the non-dynamical time component can be gauge-fixed
without using the full bulk symmetry but instead by using
measure-zero lower dimensional gauge symmetry. Below we
will show that there is an analogous procedure in general rel-
ativity.
As in the Maxwell case, it is the close conspiracy between
non-dynamism and gauge symmetry that brings complete
removal of the unphysical degrees of freedom. In due course
of the analysis below, the lapse function n will get fixed to
n = 1. (This choice is suitable because we are consider-
ing expansion of the theory around a flat spacetime to be
specific.) This introduces a constraint that corresponds to
Hamiltonian constraint of the Hamiltonian formulation. As
we will see, the constraint can be solved, and its solution
implies, among other things, the effective projection of the
4D dynamics onto the 3D hypersurface.
The gauge-fixings of the measure-zero symmetries will
be carried out following the spirit of section 15.4 of [39]
in which the first class constraint was eliminated by fixing
the corresponding symmetry. In essence, what we do here is
fix the gauge and explicitly solve the resulting constraints.
Therefore the procedure does not introduce any ghosts at the
bulk level. (In [39], quantization in the axial gauge was ana-
lyzed, and it was shown that the axial gauge quantization does
123