As a toy model for the implementation of the diffeomorphism constraint, the
interpretation of the resulting states, and the treatment of ordering
ambiguities in loop quantum gravity, we consider the Hilbert space of spatially
diffeomorphism invariant states for a scalar field. We give a very explicit
formula for the scalar product on this space, and discuss its structure.
Then we turn to the quantization of a certain class of diffeomorphism
invariant quantities on that space, and discuss in detail the ordering issues
involved. On a technical level these issues bear some similarity to those
encountered in full loop quantum gravity.Comment: 20 pages, no figures; v3: corrected typos, added reference, some
clarifications added; version as published in CQ