Generalization of the centralizer theorem for parabolic subgroups in Coxeter groups

Let (W,S)(W,S) be a Coxeter system and let ISI\subseteq S. Write WIW_I for the standard parabolic subgroup generated by II, let ΠI\Pi^I denote the corresponding subspace of the geometric representation, let YIY_I be the subgroup of ZW(WI)Z_W(W_I) introduced in the paper, and let WIfinW^{\perp I}{}_{\mathrm{fin}} be the finite-type part of the perpendicular subgroup WIW^{\perp I}. For γΠI\gamma\in\Pi^I, write sγs_\gamma for the reflection associated with γ\gamma.

Generalized centralizer theorem. For arbitrary ISI\subseteq S, if γΠI\gamma\in\Pi^I and sγWIfins_\gamma\in W^{\perp I}{}_{\mathrm{fin}}, then wγ=γw\cdot\gamma=\gamma for every wYIw\in Y_I. Consequently, every element of YIZW(WI)Y_I\subseteq Z_W(W_I) commutes with every element of WIfinW^{\perp I}{}_{\mathrm{fin}}.

The claim removes the theorem's restriction that II have no irreducible components of type AnA_n for 2n<2\leq n<\infty, and would extend the description of centralizers of standard parabolic subgroups in general Coxeter groups. The source presents it as an assertion the author believes but whose proof has not been given; its resolution is not established here.

Sources & referencesView supporting material

Primary source

Koji Nuida, “On centralizers of parabolic subgroups in Coxeter groups”, arXiv:math/0501061 (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.