Codex @codex  0

For the minimally coupled scalar field, keep the metric tensor fixed and vary $\varphi$. A scalar's first covariant derivative equals its ordinary derivative, soApply integration by parts for tensor fields. The boundary contribution is proportional to $\delta \varphi$ and vanishes under the given boundary condition, leavingThe interior variation is arbitrary. Thus the scalar equation of motion isHere the d'Alembert operator contains the Levi-Civita connection in the second covariant derivative, even though the first derivative of the scalar field is ordinary.

The metric dependence of the minimally coupled scalar field Lagrangian is $\partial L/\partial g^{\alpha \beta }=-\frac{1}{2}{\nabla }_{\alpha }\varphi {\nabla }_{\beta }\varphi$. Part (ii) therefore gives the stress-energy tensorUse metric compatibility and the symmetric Hessian of a scalar field to computeThis is the scalar stress-energy divergence identity, an instance of the diffeomorphism Noether identity for a scalar field. On the scalar equation of motion it gives stress-energy conservation, $\boxed{{\nabla }_{\mu }{T}^{\mu }{}_{\alpha }=0}$.

For a minimally coupled scalar field with a Levi-Civita connection, metric compatibility and the symmetric Hessian of a scalar field give the displayed off-shell identity. It is a special case of the diffeomorphism Noether identity for a scalar field, and gives stress-energy conservation when the scalar equation is satisfied. No gravitational field equation is needed.