Conjecture B on top-degree Coxeter characters

Let WW be a finite Coxeter group of rank nn, let WLW_L denote a parabolic subgroup generated by a subset LL of a Coxeter generating set, and call a conjugacy class cuspidal if it does not meet any proper standard parabolic subgroup. Let C\mathcal C be representatives of the cuspidal conjugacy classes, let ρWn\rho_W^n be the relevant top-degree constituent of the regular character, and let ωWn\omega_W^n be the top-degree Orlik–Solomon character. Conjecture B. For each wCw\in\mathcal C, there exists a linear character φw\varphi_w of CW(w)C_W(w) such that

ρWn=wCIndCW(w)Wφw=ϵωWn.\rho_W^n=\sum_{w\in\mathcal C}\operatorname{Ind}_{C_W(w)}^W\varphi_w=\epsilon\omega_W^n.

This is the cuspidal, top-degree component of the refined Lehrer–Solomon conjecture. The paper states that it was proved for symmetric and dihedral groups and proves it for all finite Coxeter groups of rank at most four; its general status is not resolved in the source.

Sources & referencesView supporting material

Primary source

Marcus Bishop, J. Matthew Douglass, Goetz Pfeiffer and Gerhard Roehrle, “Computations for Coxeter arrangements and Solomon's descent algebra: Groups of rank three and four”, arXiv:1110.0120 (2012).

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.