Panyushev's orbit conjecture for antichains above the simple roots

About 19 years old · traced to

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)=h−1\operatorname{ord}(\mathfrak X_0)=h-1. (ii) If w0≠−1w_0\ne -1, then X0h−1\mathfrak X_0^{h-1} is the involution induced by −w0-w_0 and ord⁡(X0)=2h−2\operatorname{ord}(\mathfrak X_0)=2h-2. (iii) For every X0\mathfrak X_0-orbit O\mathcal O,

1#O∑Γ∈O#Γ=#(Δ+∖Π)h−1=n2⋅h−2h−1.\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.

References

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.