Parabolic Homotopy Colimits and Coxeter Descents
Abstract
Let G be a compact, connected, simply connected semisimple Lie group with Weyl group W and simple reflections S. For a simplicial complex š¦ on S, form the homotopy colimit Xš¦(G)=*hocolimIāš¦G/GI of standard partial flag manifolds. We compute its integral homology. If DesR(w) is the right descent set of wā W and ā(w) its Coxeter length, then Hn(Xš¦(G);ā¤)ā āØwā WHĢnā2ā(w)ā1(š¦DesR(w);ā¤). Thus the induced subcomplexes of š¦ supply the topological data, while the Weyl group determines which subcomplex occurs and the Schubert-degree shift. The proof gives a chain-level splitting and an integral Morse reduction. We derive homotopy detection, duality and rigidity results, and recover polyhedral products, matroid--Tutte formulas, and the adjoint sphere as special cases.
Related
BibTeX
@misc{zhang2026parabolic,
title = {{Parabolic Homotopy Colimits and Coxeter Descents}},
author = {Yifan Zhang},
howpublished = {arXiv},
year = {2026},
month = sep,
doi = {10.48550/arxiv.2609.01882},
eprint = {2609.01882},
archivePrefix = {arXiv},
url = {https://arxiv.org/abs/2609.01882},
note = {CC BY-NC-ND 4.0},
}
RIS
TY - UNPB
TI - Parabolic Homotopy Colimits and Coxeter Descents
AU - Yifan Zhang
PY - 2026
DA - 2026/09/24
PB - arXiv
DO - 10.48550/arxiv.2609.01882
UR - https://arxiv.org/abs/2609.01882
AB - Let G be a compact, connected, simply connected semisimple Lie group with Weyl group W and simple reflections S. For a simplicial complex š¦ on S, form the homotopy colimit X_š¦(G)=*hocolim_Iāš¦G/G_I of standard partial flag manifolds. We compute its integral homology. If Des_R(w) is the right descent set of wā W and ā(w) its Coxeter length, then H_n(X_š¦(G);ā¤)ā
āØ_wā WHĢ_nā2ā(w)ā1(š¦_Des_R(w);ā¤). Thus the induced subcomplexes of š¦ supply the topological data, while the Weyl group determines which subcomplex occurs and the Schubert-degree shift. The proof gives a chain-level splitting and an integral Morse reduction. We derive homotopy detection, duality and rigidity results, and recover polyhedral products, matroid--Tutte formulas, and the adjoint sphere as special cases.
ER -