Basis conjecture for the alternating component of generalized diagonal coinvariants

About 1 year old · traced to

Let m,nm,n be positive integers, let Lmn,n+L_{mn,n}^+ denote the set of rational mm-Dyck paths, and let Ln,n+L_{n,n}^+ denote the set of Dyck paths of size nn. For any rational Dyck path π∈Lmn,n+\pi\in L_{mn,n}^+ and any i∈{0,1,…,m−1}i\in\{0,1,\dots,m-1\}, let πi∈Ln,n+\pi^i\in L_{n,n}^+ be the Dyck path defined by the decomposition in the source, and let Δζ−1(πi)\Delta_{\zeta^{-1}(\pi^i)} denote the associated alternating generalized diagonal coinvariant. Basis conjecture. The collection

{∏i=0m−1Δζ−1(πi)}\left\{\prod_{i=0}^{m-1}\Delta_{\zeta^{-1}(\pi^i)}\right\}

over all mm-Dyck paths forms a basis of the alternating component of the space of generalized diagonal coinvariants. This conjecture proposes a combinatorial basis indexed by the decomposition of rational Dyck paths; its resolution depends on identifying the stated products with a basis of the alternating generalized diagonal coinvariant component.

References

Primary source

Yuhan Jiang, “A decomposition of m-Dyck paths”, arXiv:2508.12521 (2026).

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.