Panyushev's orbit conjecture for antichains above the simple roots

Let Δ\Delta be a reduced irreducible root system with positive roots Δ+\Delta^+, simple roots Π\Pi, Coxeter number hh, and reverse operator X0\mathfrak X_0 on the antichains of the subposet Δ+Π\Delta^+\setminus\Pi. For an orbit O\mathcal O, write #Γ\#\Gamma for the cardinality of an antichain Γ\Gamma. Panyushev's orbit conjecture. (i) If w0=1w_0=-1, then ord(X0)=h1\operatorname{ord}(\mathfrak X_0)=h-1. (ii) If w01w_0\ne -1, then X0h1\mathfrak X_0^{h-1} is the involution induced by w0-w_0 and ord(X0)=2h2\operatorname{ord}(\mathfrak X_0)=2h-2. (iii) For every X0\mathfrak X_0-orbit O\mathcal O,

1#OΓO#Γ=#(Δ+Π)h1=n2h2h1.\frac{1}{\#\mathcal O}\sum_{\Gamma\in\mathcal O}\#\Gamma=\frac{\#(\Delta^+\setminus\Pi)}{h-1}=\frac n2\cdot\frac{h-2}{h-1}.

The statement predicts the analogous orbit-order and average-size properties after removing the simple roots; the supplied text reports verification in several low-rank and exceptional cases but gives no general resolution.

Sources & referencesView supporting material

Primary source

Dmitri I. Panyushev, “On orbits of antichains of positive roots”, arXiv:0711.3353 (2008).

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.