On algebraic supergroups, coadjoint orbits and their deformations (Q1422076)

The authors consider coadjoint orbits of affine algebraic linear supergroups \(G\). They adopt the point of view of (representable) functors of points for these groups, the domain category being here the category \((\text{salg}_k)\) of superalgebras over a commutative ring \(k\). Extending results from the classical (i.e. non-super) case, they show that the Lie algebra \({\mathfrak g}\) of a linear algebraic supergroup \(G\) gives rise to a representable functor (here \(k\) is a field). As in the classical case, the functor of points of the coadjoint orbit through a point \(X_0\in{\mathfrak g}^*\) \[ {\mathcal C}_{X_0}: (\text{salg}_k)\to (\text{sets }), A\mapsto\{\text{Ad}_g^*X_0\mid\forall g\in G(A)\} \] is not representable in general. The way-out is a sheafification of \({\mathcal C}_{X_0}\), which is explicitly constructed (for \(k={\mathbb C}\)) in terms of supersymmetric extensions \(\hat{p}_i\) of the homogeneous Chevalley polynomials \(p_i\), \(i=1,\ldots,l\) (where \(l\) is the rank of the group \(G({\mathbb C})\)) - recall that the orbit in \({\mathfrak g}({\mathbb C})^*\) of a regular semisimple element \(X_0\) is characterized by the \(p_i\). Here the authors restrict their study to orbits in a simple Lie superalgebra of type \({\mathfrak s}{\mathfrak l}_{m| n}\) or \({\mathfrak o}{\mathfrak s}{\mathfrak p}_{m| n}\) in order to benefit from a non-degenerate Cartan-Killing form and invariant polynomials \(p_i\). The sheafification is then represented by \(A_{X_0}={\mathbb C}[{\mathfrak g}]/{\mathcal I}\) where \({\mathcal I}=(\hat{p}_1-c_1,\ldots,\hat{p}_l-c_l)\) with \(c_i=p_i(X_0)\). In the last part, the authors consider deformation quantization of the constructed orbits. The main result is that \(U_h\,/\,{\mathcal I}_h\) is a formal deformation quantization of \({\mathbb C}[{\mathfrak g}^*]\,/\,{\mathcal I}\) where \(U_h\) is the universal enveloping algebra of \({\mathfrak g}_h:=({\mathfrak g},h[,])\), and \({\mathcal I}_h\) has the same form as \({\mathcal I}\), but featuring a supersymmetrized version of \(\hat{p}_i\) - as in the classical case, the supersymmetrization \(\tau\) identifies \({\mathbb C}[{\mathfrak g}^*]\) and \(U({\mathfrak g})\).