English

On the First Order Cohomology of Infinite--Dimensional Unitary Groups

Representation Theory 2017-12-05 v2

Abstract

The irreducible unitary highest weight representations (πλ,Hλ)(\pi_\lambda,\mathcal{H}_\lambda) of the group U()U(\infty), which is the countable direct limit of the compact unitary groups U(n)U(n), are classified by the orbits of the weights λZN\lambda \in \mathbb{Z}^{\mathbb{N}} under the Weyl group S(N)S_{(\mathbb{N})} of finite permutations. Here, we determine those weights λ\lambda for which the first cohomology space H1(U(),πλ,Hλ)H^1(U(\infty),\pi_\lambda,\mathcal{H}_\lambda) vanishes. For finitely supported λ0\lambda \neq 0, we find that the first cohomology space H1(U(),πλ,Hλ)H^1(U(\infty),\pi_\lambda,\mathcal{H}_\lambda) never vanishes. For these λ\lambda, the highest weight representations extend to norm-continuous irreducible representations of the full unitary group U(H)U(\mathcal{H}) (for H:=2(N,C)\mathcal{H}:= \ell^2(\mathbb{N},\mathbb{C})) endowed with the strong operator topology and to norm-continuous representations of the unitary groups Up(H)U_p(\mathcal{H}) (p[1,]p\in [1,\infty]) consisting of those unitary operators gU(H)g\in U(\mathcal{H}) for which g1g-\mathbb{1} is of ppth Schatten class. However, not every 1-cocycle on U()U(\infty) automatically extends to one on these unitary groups, so we may not conclude that the first cohomology spaces of the extended representations are non-vanishing. On the contrary, for the groups U(H)U(\mathcal{H}) and U(H)U_\infty(\mathcal{H}), all first cohomology spaces vanish. This is different for the groups Up(H)U_p(\mathcal{H}) with 1p<1\leq p <\infty, where only the natural representation on H\mathcal{H} and on its dual have vanishing first cohomology spaces.

Keywords

Cite

@article{arxiv.1607.00181,
  title  = {On the First Order Cohomology of Infinite--Dimensional Unitary Groups},
  author = {Manuel Herbst and Karl-Hermann Neeb},
  journal= {arXiv preprint arXiv:1607.00181},
  year   = {2017}
}

Comments

To appear in Annales de l'Institut Fourier