Weyl group symmetries of the toric variety associated with Weyl chambers

TL;DR

This paper proves that the fixed subring of the cohomology of a toric variety associated with a Weyl group action is isomorphic to the cohomology of a related fundamental toric variety, extending results to non-crystallographic groups.

Contribution

It provides a uniform algebraic proof that the Weyl group invariants in cohomology correspond to a fundamental toric variety, including non-crystallographic Coxeter groups.

Findings

Fixed subring is isomorphic to the cohomology of the fundamental toric variety.

Proof applies uniformly to all finite Coxeter groups, including non-crystallographic.

Answers a previously open question about non-crystallographic root systems.

Abstract

For any crystallographic root system, let $W$ be the associated Weyl group, and let $\mathit{WP}$ be the weight polytope (also known as the $W$-permutohedron) associated with an arbitrary strongly dominant weight. The action of $W$ on $\mathit{WP}$ induces an action on the toric variety $X(\mathit{WP})$ associated with the normal fan of $\mathit{WP}$, and hence an action on the rational cohomology ring $H^*\left(X(\mathit{WP})\right)$. Let $P$ be the corresponding dominant weight polytope, which is a fundamental region of the $W$-action on $\mathit{WP}$. We give a type uniform algebraic proof that the fixed subring $H^*\left(X(\mathit{WP})\right)^{W}$ is isomorphic to the cohomology ring $H^*\left(X(P)\right)$ of the toric variety $X(P)$ associated with the normal fan of $P$. Notably, our proof applies to all finite (not necessarily crystallographic) Coxeter groups, answering a question of Horiguchi--Masuda--Shareshian--Song about non-crystallographic root systems.