Expected action of the type D descent algebra on D_n-Lie monomials

Let DnD_n be the Weyl group of type DD with descent algebra ΣDn\Sigma_{D_n}, let C(n)\mathcal{C}(n) denote the relevant class of compositions, and let P(κ)P^{(\kappa)} and BνB_\nu be the corresponding type DD Lie-monomial and descent-algebra elements. For filled templates zZ(κ,ν)\boldsymbol{z}\in Z(\kappa,\nu), write r(z)r(\boldsymbol{z}) for the associated composition and use tildes for the corresponding type DD sums. Expected type D Lie-monomial multiplication property. The action should satisfy

P(κ)Bν=zP~(r(z)),P^{(\kappa)}B_\nu=\sum _{\boldsymbol{z}} \tilde{P}^{(r(\boldsymbol{z}))},

where the sum is over filled templates with exactly one non-zero entry in each column; moreover, P(η)P^{(\eta)} should be a summand of P~(r(z))\tilde{P}^{(r(\boldsymbol{z}))} if and only if B(η)B_{(\eta)} is a summand of B~(r(z))\tilde{B}_{(r(\boldsymbol{z}))}. Also, P(κ)BνP^{(\kappa)}B_\nu should vanish unless adjacent components of κ\kappa sum to give the components of ν\nu, excluding the two cases in which κ\kappa and ν\nu belong respectively to Cn\mathcal{C}_n and Cn\mathcal{C}'_n (or conversely) and all components are even. This is an expected type DD analogue of the established descriptions for the symmetric and hyperoctahedral groups; the conjecture concerns the still-to-be-defined DnD_n-Lie monomials and their compatibility with multiplication in the type DD descent algebra.

Sources & referencesView supporting material

Primary source

Stephanie van Willigenburg, “Properties of the descent algebras of type D”, arXiv:0706.2910 (2007).

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.