Local Hamiltonian for spherically symmetric gravity coupled to a scalar field.

We present a gauge fixing of gravity coupled to a scalar field in spherical symmetry such that the Hamiltonian is an integral over space of a local density. Such a formulation had proved elusive over the years. As in any gauge fixing, it works for a restricted set of initial data.