English

Toric Bruhat interval polytopes

Combinatorics 2021-05-11 v2 Algebraic Geometry

Abstract

For two elements vv and ww of the symmetric group Sn\mathfrak{S}_n with vwv\leq w in Bruhat order, the Bruhat interval polytope Qv,wQ_{v,w} is the convex hull of the points (z(1),,z(n))Rn(z(1),\ldots,z(n))\in \mathbb{R}^n with vzwv\leq z\leq w. It is known that the Bruhat interval polytope Qv,wQ_{v,w} is the moment map image of the Richardson variety Xw1v1X^{v^{-1}}_{w^{-1}}. We say that Qv,wQ_{v,w} is \emph{toric} if the corresponding Richardson variety Xw1v1X_{w^{-1}}^{v^{-1}} is a toric variety. We show that when Qv,wQ_{v,w} is toric, its combinatorial type is determined by the poset structure of the Bruhat interval [v,w][v,w] while this is not true unless Qv,wQ_{v,w} is toric. We are concerned with the problem of when Qv,wQ_{v,w} is (combinatorially equivalent to) a cube because Qv,wQ_{v,w} is a cube if and only if Xw1v1X_{w^{-1}}^{v^{-1}} is a smooth toric variety. We show that a Bruhat interval polytope Qv,wQ_{v,w} is a cube if and only if Qv,wQ_{v,w} is toric and the Bruhat interval [v,w][v,w] is a Boolean algebra. We also give several sufficient conditions on vv and ww for Qv,wQ_{v,w} to be a cube.

Cite

@article{arxiv.1904.10187,
  title  = {Toric Bruhat interval polytopes},
  author = {Eunjeong Lee and Mikiya Masuda and Seonjeong Park},
  journal= {arXiv preprint arXiv:1904.10187},
  year   = {2021}
}

Comments

30 pages, 10 figures

R2 v1 2026-06-23T08:46:59.950Z