English

Homomorphisms between Bott-Samelson bimodules corresponding to sequences of reflections

Representation Theory 2026-04-06 v2 Commutative Algebra Group Theory

Abstract

We study the space of all bimodule homomorphisms RxRR(t)RRyRzRR(t)RRwR_x\otimes_R R(\underline{t})\otimes_R R_y\to R_z\otimes_R R(\underline{t}')\otimes_R R_w as a one-sided module, where Rx,Ry,Rz,RwR_x,R_y,R_z,R_w are standard twisted bimodules and R(t)R(\underline{t}) and R(t)R(\underline{t}') are the Bott-Samelson bimodules corresponding to sequences of reflections t\underline{t} and t\underline{t}' respectively. We prove that this module is always reflexive under some reasonable restrictions on the representation of the underlying Coxeter group. However, unlike the case where t\underline{t} and t\underline{t}' contain only simple reflections, this module does not need any longer to be free. We provide a series of counterexamples already for the symmetric groups SnS_n, where n4n\ge4. The projective dimension of the modules dual to them is n3n-3 and thus serves to measure the deviation from the free modules. When placed within a geometric framework, these examples show how to find fibers of points fixed by the compact torus in the Bott-Samelson resolutions (as in the original definition by Raoul Bott and Hans Samelson) with non-vanishing odd cohomology.

Keywords

Cite

@article{arxiv.2601.16742,
  title  = {Homomorphisms between Bott-Samelson bimodules corresponding to sequences of reflections},
  author = {Vladimir Shchigolev},
  journal= {arXiv preprint arXiv:2601.16742},
  year   = {2026}
}

Comments

An improved version

R2 v1 2026-07-01T09:17:22.733Z