Billey-Postnikov posets, rationally smooth Schubert varieties, and Poincaré duality
Fuente:
arXiv
Salvato in:
| Autori principali: | , |
|---|---|
| Natura: | Preprint |
| Pubblicazione: |
2025
|
| Soggetti: | |
| Accesso online: | |
| Tags: |
Aggiungi Tag
Nessun Tag, puoi essere il primo ad aggiungerne!!
|
| _version_ | 1866909950549164032 |
|---|---|
| author | Gaetz, Christian Gao, Yibo |
| author_facet | Gaetz, Christian Gao, Yibo |
| contents | Billey-Postnikov (BP) decompositions govern when Schubert varieties $X(w)$ decompose as bundles of smaller Schubert varieties. We further develop the theory of BP decompositions and show that, in finite type, they can be recognized by pattern conditions and are indexed by the order ideals of a poset $\mathsf{bp}(w)$ that we introduce; we conjecture that this holds in any Coxeter group. We then apply BP decompositions to show that, when $X(w)$ is rationally smooth and $W$ simply laced, the Schubert structure constants $c_{uv}^w$ satisfy a triangularity property, yielding a canonical involution on the Schubert cells of $X(w)$ respecting Poincaré duality. We also classify the rationally smooth Bruhat intervals in finite type (other than $E$) which admit generalized Lehmer codes, answering questions and conjectures of Billey-Fan-Losonczy, Bolognini-Sentinelli, and Bishop-Milićević-Thomas. Finally, we show that rationally smooth Schubert varieties in infinite type need not have Grassmannian BP decompositions, disproving conjectures of Richmond-Slofstra and Oh-Richmond. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2512_08168 |
| institution | arXiv |
| publishDate | 2025 |
| record_format | arxiv |
| spellingShingle | Billey-Postnikov posets, rationally smooth Schubert varieties, and Poincaré duality Gaetz, Christian Gao, Yibo Combinatorics Algebraic Geometry Billey-Postnikov (BP) decompositions govern when Schubert varieties $X(w)$ decompose as bundles of smaller Schubert varieties. We further develop the theory of BP decompositions and show that, in finite type, they can be recognized by pattern conditions and are indexed by the order ideals of a poset $\mathsf{bp}(w)$ that we introduce; we conjecture that this holds in any Coxeter group. We then apply BP decompositions to show that, when $X(w)$ is rationally smooth and $W$ simply laced, the Schubert structure constants $c_{uv}^w$ satisfy a triangularity property, yielding a canonical involution on the Schubert cells of $X(w)$ respecting Poincaré duality. We also classify the rationally smooth Bruhat intervals in finite type (other than $E$) which admit generalized Lehmer codes, answering questions and conjectures of Billey-Fan-Losonczy, Bolognini-Sentinelli, and Bishop-Milićević-Thomas. Finally, we show that rationally smooth Schubert varieties in infinite type need not have Grassmannian BP decompositions, disproving conjectures of Richmond-Slofstra and Oh-Richmond. |
| title | Billey-Postnikov posets, rationally smooth Schubert varieties, and Poincaré duality |
| topic | Combinatorics Algebraic Geometry |
| url | https://arxiv.org/abs/2512.08168 |