Gauge-invariant coherent states for loop quantum gravity: I. Abelian gauge groups

In this paper, we investigate the properties of gauge-invariant coherent states for loop quantum gravity, for the gauge group U(1). This is done by projecting the corresponding complexifier coherent states defined by Thiemann and Winklerto the gauge- invariant Hilbert space. This being the first step toward constructing physical coherent states, we arrive at a set of gauge- invariant states that approximate well the gauge-invariant degrees of freedom of Abelian loop quantum gravity (LQG). Furthermore, these states turn out to encode explicit information about the graph topology, and show the same pleasant peakedness properties known from the gauge-variant complexifier coherent states. In a companion paper, we will turn to the more sophisticated case of SU(2).