Lowest weight representations of some infinite dimensional groups on Fock spaces (Q805766)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Lowest weight representations of some infinite dimensional groups on Fock spaces
scientific article

    Statements

    Lowest weight representations of some infinite dimensional groups on Fock spaces (English)
    0 references
    1990
    0 references
    If V and W are two separable Hilbert spaces, define \(U(V,W)\) to be the subgroup of \(GL(V\oplus W)\), the group of all invertible bounded operators of the Hilbert space \(V\oplus W\) which leave invariant the Hermitian form defined by the operator \(J=\begin{pmatrix} 1&0\\0&-1 \end{pmatrix}\) on \(V\oplus W.\) Let \(U_{res}(V,W)\) be the subgroup of \(U(V,W)\) consisting of those elements \(\begin{pmatrix} a&b\\b&d \end{pmatrix}\in U(V,W)\) for which \(b: W\to V\) and \(c: V\to W\) are Hilbert-Schmidt operators. If \(A_ i=\begin{pmatrix} a_ i&b_ i \\ c_ i&d_ i \end{pmatrix}\), \((i=1,2,3)\), \(A_ 3=A_ 1A_ 2\), are in \(U_{res}(V,W)\) it turns out that \(c(A_ 1,A_ 2)=\det^{- 1}(d_ 1^{-1}d_ 3d_ 2^{-1})is\) a co-cycle, which induces a central extension of \(U_{res}(V,W)\), \(\tilde U_{res}(V,W)=\{\begin{pmatrix} a&b\\ c&d \end{pmatrix},z\}\), with \(z\bar z=\det (1-d^{*^{- 1}}b^*bd^{-1}).\) The author determines the unitary lowest weight representations of \(\tilde U_{res}(V,W)\) namely the irreducible components of the k-fold tensor product of the Segal-Shale-Weil representation [see e.g. \textit{G. B. Segal}, Commun. Math. Phys. 80, 301-342 (1981; Zbl 0495.22017)]. Let H be a Hilbert space, let \(S^ n(H)\) denote the Hilbert space completion of the vector space of nth powers of the symmetric algebra of H with the Hermitian form \[ <h_ 1h_ 2...h_ n,h'_ 1h'_ 2...h'_ n>=\sum_{n}\prod^{n}_{i=1}<h_{\sigma (i)}\cdot h'_ i> \] where \(\sigma\) runs through all permutations of 1,2,...,n. Define \(S(H)=\oplus S^ n(H)\) endowed with the final topology defined by the inclusions \(i_ n: S^ n(H)\to S(H)\), and \(\check{S}(H)\) the Hilbert space completion of S(H). Let \(\hat S(H)=\prod_{n}S^ n(H)\) endowed with the initial topology defined by the projections \(p_ n: \hat S(H)\to S^ n(H)\). \(\check{S}(H)\) and \(\hat S(H)\) are the antilinear dual spaces of each other and \(\check{S}(H)\subseteq S(H)\subseteq \hat S(H)\) with continuous and dense inclusions. \(d\Gamma\) is the canonical representation of the Lie algebra L(H) on S(H). By means of \(d\Gamma\), a representation \(d{\tilde\Gamma}\) of \(L_{res}(V,W)\) is constructed. Herein L(H) is the Lie algebra of bounded operators of H and C(H) the subalgebra of all compact operators of H; and \(L_{res}(V,W)\) denotes the subalgebra of \(L(V\oplus W)\) consisting of elements of the form \(\begin{pmatrix} a&b \\ b&d \end{pmatrix}\), \(b: W\to V\), \(c: V\to W\), b and c being Hilbert-Schmidt operators. For \(A_ 1\), \(A_ 2\) in \(L_{res}(V,W)\), \(A_ i=\begin{pmatrix} a_ i&b_ i \\ c_ i&d_ i \end{pmatrix}\), \(i=1,2\), the co-cycle \((A_ 1,A_ 2)=tr.(c_ 2b_ 1- c_ 1b_ 2)\) induces a central extension \(\tilde L_{res}(V,W)\) of \(L_{res}(V,W).\) The author proves (1.6 Theorem, p. 67): The representation of \(L_{res}(V,W)\) can be lifted to a unitary representation of \(U_{res}(V,W)\) on S(V\(\oplus \bar W)\). In the case when V and W are finite-dimensional, Kashiwara and Vergne showed that this representation is completely reducible and determined all the minimal weight vectors. By methods which are purely algebraic, the author generalizes their results to the infinite-dimensional case. In Section 2 these questions are answered for the case of the symplectic group Sp(V), V a complex Hilbert space. The decomposition of the tensor products of the Segal-Shale-Weil representation of the metaplectic group is obtained.
    0 references
    separable Hilbert spaces
    0 references
    invertible bounded operators
    0 references
    Hilbert-Schmidt operators
    0 references
    unitary lowest weight representations
    0 references
    Segal-Shale-Weil representation
    0 references
    Lie algebra
    0 references
    completely reducible
    0 references
    minimal weight vectors
    0 references
    symplectic group
    0 references
    tensor products
    0 references
    metaplectic group
    0 references

    Identifiers