Canonical path integral measures for Holst and Plebanski gravity: I. Reduced phase space derivation

An important aspect in defining a path integral quantum theory is the determination of the correct measure. For interacting theories and theories with constraints, this is non-trivial, and is normally not the heuristic 'Lebesgue measure' usually used. There have been many determinations of a measure for gravity in the literature, but none for the Palatini or Holst formulations of gravity. Furthermore, the relations between different resulting measures for different formulations of gravity are usually not discussed. In this paper we use the reduced phase technique in order to derive the path-integral measure for the Palatini and Holst formulation of gravity, which is different from the Lebesgue measure up to local measure factors which depend on the spacetime volume element and spatial volume element. From this path integral for the Holst formulation of general relativity we can also give a new derivation of the Plebanski path integral and discover a discrepancy with the result due to Buffenoir, Henneaux, Noui and Roche whose origin we resolve. This paper is the first in a series that aims at better understanding the relation between canonical loop quantum gravity and the spin-foam approach.