Chapoton's H-triangle identity for noncrystallographic root systems

About 14 years old · traced to

Let Φ\Phi be a noncrystallographic root system of rank nn. Define the antichain generating function

H(Φ;s,t)=∑A∈A(Φ)s∣A∩Δ∣t∣A∣.H(\Phi;s,t)=\sum_{A\in\mathcal{A}(\Phi)}s^{|A\cap\Delta|}t^{|A|}.

Let N ⁣C(Φ)N\!C(\Phi) be the noncrossing partition lattice and let

M(Φ;x,y)=∑σ,π∈NC(Φ)σ≤πμ(σ,π)xn−rk⁡(σ)yn−rk⁡(π)M(\Phi;x,y)=\sum_{\substack{\sigma,\pi\in N\!C(\Phi)\sigma\leq\pi}}\mu(\sigma,\pi)x^{n-\operatorname{rk}(\sigma)}y^{n-\operatorname{rk}(\pi)}

be its Möbius generating function. Chapoton's H-triangle identity. Chapoton's HH-triangle is related to the MM-triangle by

H(Φ;s,t)=(1+(s−1)t)nM(Φ;ss−1,(s−1)t1+(s−1)t).H(\Phi;s,t)=(1+(s-1)t)^nM\left(\Phi;\frac{s}{s-1},\frac{(s-1)t}{1+(s-1)t}\right).

This conjecture asserts a numerical connection between antichains in the root poset and the Möbius function of the noncrossing partition lattice; the source states that it remains open.

References

Primary source

Michael Cuntz and Christian Stump, “On root posets for noncrystallographic root systems”, arXiv:1212.2876 (2012).

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.