Basis conjecture for the alternating component of generalized diagonal coinvariants

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,,m1}i\in\{0,1,\dots,m-1\}, let πiLn,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=0m1Δζ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.

Sources & referencesView supporting material

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.