Existence of plethystic sl2\mathfrak{sl}_2 crystal seeds

Let n0n\ge 0 and let S(n)S(n) be a seed. A seed is a solution to Problems 1, 2, and 3 when it satisfies the three conditions specified there; for each rnr\ge n, Definition of the crystal associated with S(n)S(n) gives an operator on the set SSYT2(1n[r])\operatorname{SSYT}_2(1^n[r]) of semistandard Young tableaux involved in the construction.

Seed-existence conjecture. For all n0n\ge 0, there exists a seed S(n)S(n) which is a solution to Problems 1, 2, and 3, and therefore the crystal definition depending on S(n)S(n) defines a crystal operator on SSYT2(1n[r])\operatorname{SSYT}_2(1^n[r]) for all rnr\ge n.

This conjecture would establish the existence of the proposed plethystic sl2\mathfrak{sl}_2 crystal operators in every rank parameter nn. The paper shows the conjecture for n4n\le 4; existence for all nn remains open.

Sources & referencesView supporting material

Primary source

Álvaro Gutiérrez, “Towards plethystic sl_2 crystals”, arXiv:2412.15006 (2025).

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.