Feigin's map and monomial bases for quantized enveloping algebras (Q5947805)

Let \(\mathcal{U}^+\) be the positive part of a quantized enveloping algebra associated to a Cartan datum of simply-laced finite type in the sense of \textit{G. Lusztig} [Introduction to quantum groups, Progress in Mathematics 110, Birkhäuser, Boston (1993; Zbl 0788.17010)]. It was conjectured by Feigin and proved by \textit{A. Joseph} [C. R. Acad. Sci., Paris, Sér. I 320, No. 12, 1441--1444 (1995; Zbl 0847.17011)] that for every reduced expression of the longest Weyl group element there is an embedding of \(\mathcal{U}^+\) into a skew polynomial ring over \(\mathbb{Q}(v)\) such that the skew fields of fractions of \(\mathcal{U}^+\) and the skew polynomial ring are isomorphic. In contrast to other realizations of \(\mathcal{U}^+\), Feigin's embedding is a useful tool for studying the multiplicative structure of \(\mathcal{U}^+\). But for this purpose one needs an explicit description of the image of Feigin's map. In the paper under review it is proved that the image of Feigin's map is the set of invariants of a finite family of linear operators on the skew polynomial ring. Moreover, the author shows that such a family of linear operators can be constructed from a straightening algorithm for monomial bases. In the paper the monomial bases of \(\mathcal{U}^+\) are constructed by using the combinatorics of the Auslander-Reiten quivers of path algebras and translating the results to \(\mathcal{U}^+\) via the Hall algebra approach of \textit{C. M. Ringel} [Invent. Math. 101, No. 3, 583--591 (1990; Zbl 0735.16009)]. In type \(A\) the straightening algorithm given by \textit{P. Littelmann} [J. Pure Appl. Algebra 117/118, 447--468 (1997; Zbl 0973.17008)] yields explicit formulas for the desired linear operators. The paper concludes with some remarks and open questions regarding the nature of these linear operators.