Coherent states of the real symplectic group in a complex analytic parametrization. II. Annihilation-operator coherent states

Abstract

In the present series of papers, the coherent states of Sp(2d,R), corresponding to the positive discrete series irreducible representations 〈λd+n/2,..,λ1+n/2〉, encountered in physical applications, are analyzed in detail with special emphasis on those of Sp(4,R) and Sp(6,R). The present paper discusses the annihilation-operator coherent states, i.e., the eigenstates of the noncompact lowering generators corresponding to complex eigenvalues. These states generalize the coherent states introduced by Barut and Girardello for Sp(2,R), and later on extended by Deenen and Quesne to the Sp(2d,R) irreducible representations of the type 〈(λ+n/2)d〉. When λ1,...,λd are not all equal, it was shown by Deenen and Quesne that the eigenvalues do not completely specify the eigenstates of the noncompact lowering generators. In the present work, their characterization is completed by a set of continuous labels parametrizing the (unitary-operator) coherent states of the maximal compact subgroup U(d). The resulting coherent states are therefore of mixed type, being annihilation-operator coherent states only as regards the noncompact generators. A realization in a subspace of a Bargmann space of analytic functions shows that such coherent states satisfy a unity resolution relation in the representation space of 〈λd +n/2,...,λ1+n/2〉, and therefore may be used as a continuous basis in such space. The analytic functions and the differential operators representing the representation space discrete bases and the Sp(2d,R) generators, respectively, are found in explicit form. It is concluded that the annihilation-operator coherent state representation provides the mathematical foundation for the use of differentiation operators with respect to the noncompact raising generators in symbolic expressions of the Sp(2d,R) generators. This is to be compared with the habit of replacing a boson annihilation operator by a symbolic differentiation with respect to the corresponding creation operator, accounted for by the Bargmann representation of such operators.