Quantum scale invariant gravity in the de Donder gauge

We perform the manifestly covariant quantization of a scale invariant gravity with a scalar field, which is equivalent to the well-known Brans-Dicke gravity via a field redefinition of the scalar field, in the de Donder gauge condition (or harmonic gauge condition) for general coordinate invariance. First, without specifying the expression of a gravitational theory, we write down various equal-time (anti) commutation relations (ETCRs), in particular, those involving the Nakanishi-Lautrup field, the Faddeev-Popov (FP) ghost, and the FP antighost only on the basis of the de Donder gauge condition. It is shown that choral symmetry, which is a Poincar\'e-like IOSp (8|8) supersymmetry, can be derived from such a general action with the de Donder gauge. Next, taking the scale invariant gravity with a scalar field as a classical theory, we derive the ETCRs for the gravitational sector involving the metric tensor and scalar fields. Moreover, we account for how scale symmetry is spontaneously broken in quantum gravity, thereby showing that the dilaton is a massless Nambu-Goldstone particle.