Generalized measures in gauge theory

LetP M be a principalG-bundle. We construct well-defined analogs of Lebesgue measure on the spaceA of connections onP and Haar measure on the groupG of gauge transformations. More precisely, we define algebras of cylinder functions on the spacesA,G, andA/G, and define generalized measures on these spaces as continuous linear functionals on the corresponding algebras. Borrowing some ideas from lattice gauge theory, we characterize generalized measures onA,G, andA/G in terms of graphs embedded inM. We use this characterization to construct generalized measures onA andG whenG is compact. The uniform generalized measure onA is invariant under the group of automorphisms ofP. It projects down to the generalized measure onA/G considered by Ashtekar and Lewandowski in the caseG = SU(n). The generalized Haar measure onG is right- and left-invariant as well as Aut(P)-invariant. We show that averaging any generalized measure onA against generalized Haar measure gives aG-invariant generalized measure onA.