Generalization of the centralizer theorem for parabolic subgroups in Coxeter groups

About 21 years old · traced to

Let (W,S)(W,S) be a Coxeter system and let I⊆SI\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 W⊥IfinW^{\perp I}{}_{\mathrm{fin}} be the finite-type part of the perpendicular subgroup W⊥IW^{\perp I}. For γ∈ΠI\gamma\in\Pi^I, write sγs_\gamma for the reflection associated with γ\gamma.

Generalized centralizer theorem. For arbitrary I⊆SI\subseteq S, if γ∈ΠI\gamma\in\Pi^I and sγ∈W⊥Ifins_\gamma\in W^{\perp I}{}_{\mathrm{fin}}, then w⋅γ=γw\cdot\gamma=\gamma for every w∈YIw\in Y_I. Consequently, every element of YI⊆ZW(WI)Y_I\subseteq Z_W(W_I) commutes with every element of W⊥IfinW^{\perp I}{}_{\mathrm{fin}}.

The claim removes the theorem's restriction that II have no irreducible components of type AnA_n for 2≤n<∞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.

References

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.