The odd-shift inclusion conjecture for symbol components

At least 2 years old · documented by

Let Pm\mathcal{P}_m and Pm+ke\mathcal{P}^{m+ke} be the sets appearing in the crystal-isomorphism construction, and let X∈PmX\in\mathcal{P}_m and k∈Nk\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 X1⊂X2X_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.

References

Primary source

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

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.