Refined algebraic quantisation with the triangular subgroup of SL(2,R)

We investigate refined algebraic quantisation with group averaging in a constrained Hamiltonian system whose gauge group is the connected component of the lower triangular subgroup of SL(2,R). The unreduced phase space is T^*R^{p+q} with p>0 and q>0, and the system has a distinguished classical o(p,q) observable algebra. Group averaging with the geometric average of the right and left invariant measures, invariant under the group inverse, yields a Hilbert space that carries a maximally degenerate principal unitary series representation of O(p,q). The representation is nontrivial iff (p,q) is not (1,1), which is also the condition for the classical reduced phase space to be a symplectic manifold up to a singular subset of measure zero. We present a detailed comparison to an algebraic quantisation that imposes the constraints in the sense H_a Psi = 0 and postulates self-adjointness of the o(p,q) observables. Under certain technical assumptions that parallel those of the group averaging theory, this algebraic quantisation gives no quantum theory when (p,q) = (1,2) or (2,1), or when p>1, q>1 and p+q is odd.Comment: 30 pages. LaTeX with amsfonts, amsmath, amssymb. (v4: Typos corrected. Published version.

BRST quantization of gauge theories like SL(2,R) on inner product spaces

Some general formulas are derived for the solutions of a BRST quantization on inner product spaces of finite dimensional bosonic gauge theories invariant under arbitrary Lie groups. A detailed analysis is then performed of SL(2,R) invariant models and some possible geometries of the Lagrange multipliers are derived together with explicit results for a class of SL(2,R) models. Gauge models invariant under a nonunimodular gauge group are also studied in some detail.Comment: 20 pages,latexfil

Fourier analysis on the affine group, quantization and noncompact Connes geometries

We find the Stratonovich-Weyl quantizer for the nonunimodular affine group of the line. A noncommutative product of functions on the half-plane, underlying a noncompact spectral triple in the sense of Connes, is obtained from it. The corresponding Wigner functions reproduce the time-frequency distributions of signal processing. The same construction leads to scalar Fourier transformations on the affine group, simplifying and extending the Fourier transformation proposed by Kirillov.Comment: 37 pages, Latex, uses TikZ package to draw 3 figures. Two new subsections, main results unchange

A Uniqueness Theorem for Constraint Quantization

This work addresses certain ambiguities in the Dirac approach to constrained systems. Specifically, we investigate the space of so-called ``rigging maps'' associated with Refined Algebraic Quantization, a particular realization of the Dirac scheme. Our main result is to provide a condition under which the rigging map is unique, in which case we also show that it is given by group averaging techniques. Our results comprise all cases where the gauge group is a finite-dimensional Lie group.Comment: 23 pages, RevTeX, further comments and references added (May 26. '99

Group averaging in the (p,q) oscillator representation of SL(2,R)

We investigate refined algebraic quantisation with group averaging in a finite-dimensional constrained Hamiltonian system that provides a simplified model of general relativity. The classical theory has gauge group SL(2,R) and a distinguished o(p,q) observable algebra. The gauge group of the quantum theory is the double cover of SL(2,R), and its representation on the auxiliary Hilbert space is isomorphic to the (p,q) oscillator representation. When p>1, q>1 and p+q == 0 (mod 2), we obtain a physical Hilbert space with a nontrivial representation of the o(p,q) quantum observable algebra. For p=q=1, the system provides the first example known to us where group averaging converges to an indefinite sesquilinear form.Comment: 34 pages. LaTeX with amsfonts, amsmath, amssymb. (References added; minor typos corrected.