Coherent states for Hopf algebras. (Q2641436)

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)\).