Canonical quantization of the Gowdy model

The family of Gowdy universes with the spatial topology of a three-torus is studied both classically and quantum mechanically. Starting with the Ashtekar formulation of Lorentzian general relativity, we introduce a gauge-fixing procedure to remove almost all of the nonphysical degrees of freedom. In this way, we arrive at a reduced model that is subject only to one homogeneous constraint. The phase space of this model is described by means of a canonical set of elementary variables. These are two real, homogeneous variables and the Fourier coefficients for four real fields that are periodic in the angular coordinate which does not correspond to a Killing field of the Gowdy spacetimes. We also obtain the explicit expressions for the line element and reduced Hamiltonian. We then proceed to quantize the system by representing the elementary variables as linear operators acting on a vector space of analytic functionals. The inner product on that space is selected by imposing Lorentzian reality conditions. We find the quantum states annihilated by the operator that represents the homogeneous constraint of the model and construct with them the Hilbert space of physical states. Finally, we derive the general form of the quantum observables of the model.