The modular plethystic isomorphism for two-row partitions

At least 1 year old · documented by

Let M,N∈NM,N\in\mathbb{N}, let d∈N0d\in\mathbb{N}_0, let F\mathbb{F} be the underlying field, and let EE be the natural 22-dimensional F\mathbb{F}-representation of SL⁡2(F)\operatorname{SL}_2(\mathbb{F}). Write Δ(M,1N−1)\Delta^{(M,1^{N-1})} for the Weyl module associated with the partition (M,1N−1)(M,1^{N-1}). Modular plethystic isomorphism conjecture. There is an isomorphism of SL⁡2(F)\operatorname{SL}_2(\mathbb{F})-representations

⋀M−1Sym⁡M+N−3E⊗⋀M+N−1Sym⁡M+d−1E≅Δ(M,1N−1)Sym⁡dE.\bigwedge^{M-1} \operatorname{Sym}^{M+N-3}E\otimes\bigwedge^{M+N-1}\operatorname{Sym}^{M+d-1}E\cong\Delta^{(M,1^{N-1})}\operatorname{Sym}^dE.

The paper's main theorem proves the special case M=2M=2; the asserted isomorphism for general MM is the conjectural extension.

References

Primary source

Alvaro L. Martinez and Mark Wildon, “A new modular plethystic SL_2(F)-isomorphism Sym^N-1E ^N+1 Sym^d+1E Δ^(2,1^N-1) Sym^d E”, arXiv:2405.04631 (2024).

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.