Non-local equivariant star product on the minimal nilpotent orbit (Q1865269)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Non-local equivariant star product on the minimal nilpotent orbit
scientific article

    Statements

    Non-local equivariant star product on the minimal nilpotent orbit (English)
    0 references
    26 March 2003
    0 references
    Let \(G\) be a connected complex simple Lie group with Lie algebra \({\mathfrak g}\). Let \({\mathcal S} = S({\mathfrak g})\) be the algebra of polynoms over \({\mathfrak g}^*\). This algebra is a symmetric graded Poisson algebra \({\mathcal S} = \oplus_{d=0}^\infty {\mathcal S}^d\). Let \({\mathcal O}_{\min}\) be the minimal nonzero nilpotent coadjoint orbit in \({\mathfrak g}^*\), i.e. \({\mathcal O}_{\min}\) corresponds to the adjoint orbit of highest weight vectors, and put \({\mathcal R} = {\mathcal S}/ I\), where \(I\) is the ideal of \({\mathcal O}_{\min}\). The algebra \({\mathcal R} = \oplus_{d=0}^\infty {\mathcal R}^d\) again is a graded Poisson algebra. A graded star product on \({\mathcal R}\) is an associative \({\mathbb{C}}[t]\)-linear product \(\star\) on \({\mathcal R}[t]\) such that for any \(f,g \in {\mathcal R}\) the product \(f \star g\) can be written as \(f \star g = \sum_{n=0}^\infty c_n(f,g)t^n\) and the following axioms hold: (i) \(c_0(f,g) = fg\), (ii) \(c_1(f,g)-c_1(g,f)=\{f,g\}\), (iii) \(c_n(f,g)=(-1)^nc_n(g,f)\), and (iv) \(c_n(f,g)\in{\mathcal R}^{k+l-n}\) for \(f \in {\mathcal R}^k\) and \(g \in {\mathcal R}^l\). The authors prove that \({\mathcal R}\) admits a \(G\)-invariant graded star product. This star product is unique if \({\mathfrak g}\) is different from \({\mathfrak sl}(2,{\mathbb{C}})\). This improves a result of \textit{D. Arnal, H. Benamor} and \textit{B. Cahen} [Lett. Math. Phys. 30, No. 3, 241-250 (1994; Zbl 0805.17009)]. The main result is the computation of the star product \(\mu_x \star f\) of a momentum function \(\mu_x\) and any function \(f\). It turns out that \(\mu_x \star f = \mu_x f + \{\mu_x,f\}t/2 + \Lambda^x(f)t^2\), where \(\Lambda^x = -1/(4E'(E'+1))D^x\), \(E'\) is a positive shift of the Euler vector field and \(D^x\) is an order 4 algebraic differential operator. In case \({\mathfrak g} \not\cong {\mathfrak sl}(2,{\mathbb{C}})\) the operator \(\Lambda^x\) is not a differential operator. Using the star product the authors construct a positive definite Hermitian inner product on \({\mathcal R}\) such that the Hilbert space completion of \({\mathcal R}\) becomes a unitary representation of the Lie group \(G\).
    0 references
    0 references
    star product
    0 references
    nilpotent orbit
    0 references
    Joseph ideal
    0 references
    Poisson algebra
    0 references
    momentum function
    0 references
    complex simple Lie group
    0 references
    coadjoint orbit
    0 references
    0 references
    0 references