ad-nilpotent ideals of a Borel subalgebra: generators and duality (Q1883019)

Let \({\mathfrak g}\) be a complex simple Lie algebra and \({\mathfrak b}\) a fixed Borel subalgebra of \({\mathfrak g}\) and denote by \textbf{Ud}\(({\mathfrak g})\) the set of all ad-nilpotent ideals of \({\mathfrak b}\). In [\textit{P. Cellini} and \textit{P. Papi}, J. Algebra 225, No. 1, 130--141 (2000; Zbl 0951.17003) and ibid. 258, No. 1, 112--121 (2002; Zbl 1033.17008)], a one-to-one correspondence is established between \textbf{Ud}(\({\mathfrak g})\) and certain elements (admissible elements) of the affine Weyl group (with respect to a root system for which the roots of \({\mathfrak b}\) are positive) and a general formula for computing the cardinality of \textbf{Ud}(\({\mathfrak g})\) is given. In the first part of this paper, the author characterizes generators of ad-nilpotent ideals of \({\mathfrak b}\) in terms of admissible elements and determines, by means of a particular bijection given in Cellini-Papi papers, the number of generators of an ad-nilpotent ideal. The last part of the paper is devoted to provide the cardinality of the set of ad-nilpotent ideals with \(k\) generators (\(0\leq k\leq\) rank(\({\mathfrak g}\))) for each \({\mathfrak g}\) simple Lie algebra. If we denote by \(d_k({\mathfrak g})\) these cardinalities, in case \({\mathfrak g}=sl_{n+1}\) (that is, \({\mathfrak g}\) special of rank \(n\)) the author shows explicitly that \(d_k(sl_{n+1})\) are the coefficients of the usual Nakayama polynomial of degree \(n\) which is palindromic. This fact lets the author define an involutory transformation on \({\mathbf Ud}(sl_{n+1})\) (duality) with some nice properties. The results obtained in the special case give rise to define the (so called by the author) generalized Nakayama polynomial of type \({\mathfrak g}\): \(N_{\mathfrak g}(q)=\sum_{k=0}^{n}d_k({\mathfrak g})q^k\). All these polynomials have been listed and turn out to be palindromic. The author closes the paper conjecturing the possible existence of involutory mappings on \textbf{Ud}(\({\mathfrak g})\) for any simple Lie algebra \({\mathfrak g}\). A program for constructing such mappings in the symplectic and orthogonal (odd rank) cases is also explained.