Quantization of diffeomorphism-invariant theories with fermions

Abstract

We extend ideas developed for the loop representation of quantum gravity to diffeomorphism-invariant gauge theories coupled to fermions. Let P → Σ be a principal G-bundle over space and let F be a vector bundle associated to P whose fiber is a sum of continuous unitary irreducible representations of the compact connected gauge group G. each representation appearing together with its dual. We consider theories whose classical configuration space is. script A sign × ℱ, where , script A sign is the space of connections on P and ℱ is the space of sections of F, regarded as a collection of Grassmann-valued fermionic fields. We construct the "quantum configuration space" script A sign̄ × ℱ̄ as a completion of script A sign × ℱ. Using this, we construct a Hilbert space L2(ℱ̄ × ℱ̄) for the quantum theory on which all automorphisms of P act as unitary operators, and determine an explicit "spin network basis" of the subspace L2((script A sign̄ × ℱ̄)/script G sign̄) consisting of gauge-invariant states. We represent observables constructed from holonomies of the connection along paths together with fermionic fields and their conjugate momenta as operators on L2((script A sign̄ × ℱ̄)/script G sign̄). We also construct a Hilbert space ℋdiff of diffeomorphism-invariant states using the group averaging procedure of Ashtekar, Lewandowski, Marolf, Mourão and Thiemann. © 1998 American Institute of Physics.