Coherent states for Hopf algebras.

DOI10.1007/S11005-007-0166-YMaRDI QIDQ2641436zbMATH OpenOpenAlexFDO

Publication date 20 August 2007

Published in Letters in Mathematical Physics (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/math/0303357

coherent states coherent vectors comodule algebras cotensor products Hopf algebras line bundles localized coinvariants Ore localizations principal bundles quantum bundles quantum groups resolutions of unity

Mathematics Subject Classification ID

Noncommutative algebraic geometry (14A22) Group actions on varieties or schemes (quotients) (14L30) Quantum groups (quantized enveloping algebras) and related deformations (17B37) Applications of Lie groups to the sciences; explicit representations (22E70) Geometry of quantum groups (58B32)

Abstract: Families of Perelomov coherent states are defined axiomatically in the context of unitary representations of Hopf algebras possessing a Haar integral. A global geometric picture involving locally trivial noncommutative fibre bundles is involved in the construction. A noncommutative resolution of identity formula is proved in that setup. Examples come from quantum groups.

Review text

Let \(G\) be a complex connected semisimple group, \(B\) a Borel subgroup, \(p\colon G\to G/B\) the natural projection; set \([g]=p(g)\), \(g\in G\). Let \(\chi\colon B\to\mathbb{C}^\times\) be a one-dimensional representation, \(\mathbb{C}_\chi\) the corresponding \(B\)-module, \(L_\chi=G\times_B\mathbb{C}_\chi\) the associated line bundle and \(p_L\colon L_\chi\to G/B\) the natural projection, \(V_\chi\) the induced \(G\)-module (the space of holomorphic sections of \(p_L\)). Let \(U\) be an open subset of \(G/B\) and \(v_0\in V_\chi\) a highest weight vector. A (local) family of Perelomov coherent vectors is a map \(C\colon U\to V_\chi\) such that \(C([g])\) equals \(g\cdot v_0\) up to a scalar, for all \([g]\in U\). It can be shown that such local families can be constructed starting from a section of the principal bundle \(p^{-1}(U) \to U\). Similar notions can be considered for an arbitrary pair \((G,B)\) of an algebraic group and an algebraic subgroup. See [\textit{A. M. Perelomov}, Commun. Math. Phys. 26, 222-236 (1972; Zbl 0243.22016)] and also [\textit{J. H. Rawnsley}, Q. J. Math., Oxf. II. Ser. 28, 403-415 (1977; Zbl 0387.58002)]. The purpose of this Letter is to find an appropriate non-commutative setting to generalize the preceding situation. To begin with, the pair \((G,B)\) is replaced by a surjection of Hopf algebras \(\pi\colon\mathcal G\to\mathcal B\). Next, a (Zariski locally trivial) principal \(\mathcal B\)-bundle is a \(\mathcal B\)-comodule algebra \(\mathcal E\) provided with a finite cover of compatible Ore localizations. Then comes a delicate definition of a quantum bundle associated to a principal \(\mathcal B\)-bundle and a \(\mathcal B\) comodule \(M\); this turns out to be a functor defined in the category of \(\mathcal B\)-comodules. When \(M\) is one-dimensional, it boils down to the cotensor product \(\mathcal E\square_{\mathcal B}M\). Finally, the author considers the following particular situation: \(\bullet\) \(\mathcal G\) is a \(*\)-Hopf algebra. \(\bullet\) \(\mathcal E=\mathcal G\) with the coaction given by corestriction, with a fixed structure of principal \(\mathcal B\)-bundle. \(\bullet\) A group-like \(\chi\in G(\mathcal B)\) is fixed; it determines a one-dimensional comodule \(\mathbb{C}_\chi\). \(\bullet\) The induced comodule \(V_\chi=\text{Ind}^{\mathcal G}_{\mathcal B}\mathbb{C}_\chi:=\mathcal G\square_{\mathcal B}\mathbb{C}_\chi\) bears an invariant inner product. \(\bullet\) \(v\in V_\chi\) is a \(\chi\)-coinvariant with norm 1. In this setting, definitions of local and global families of coherent vectors are proposed and discussed. If the Hopf algebra \(\mathcal G\) is co-Frobenius (that is, it admits a non-trivial integral), then there is a formula that can be interpreted as a resolution of unity. The results are discussed on the example of the quantum group \(SU_q(2)\).

Recommendations

Cites work

Cited in

(7)

This page was built for publication: Coherent states for Hopf algebras.

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2641436)