The odd-shift inclusion conjecture for symbol components

From papers

Let Pm\mathcal{P}_m and Pm+ke\mathcal{P}^{m+ke} be the sets appearing in the crystal-isomorphism construction, and let XPmX\in\mathcal{P}_m and kNk\in\mathbb{N}. Define

(X1,X2)=Ψ(e,(0,ke))Ψ(e,(0,e))Ψ(e,(0,0))(X,X)Pm×Pm+ke.(X_1,X_2)=\Psi_{(e,(0,ke))}\circ\ldots\circ\Psi_{(e,(0,e))}\circ\Psi_{(e,(0,0))}(X,X)\in\mathcal{P}^{m}\times\mathcal{P}^{m+ke}.

Odd-shift inclusion conjecture. If kk is odd, then X1X2X_1\subset X_2.

This is the paper's main combinatorial conjecture concerning the iterated crystal isomorphisms Ψ(e,(0,je))\Psi_{(e,(0,je))}. The supplied text gives no evidence that it has been proved or disproved.

Progress summary

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

Sources & referencesView supporting material

Primary source

Nicolas Jacon and Cédric Lecouvey, “Crystal isomorphisms and Mullineux involution II”, arXiv:2307.01065 (2023).

Solutions 0

No solutions have been posted yet.