Triangularity conjecture for RSK-standard representations

Let M\mathcal{M} be the set of multisegments. For a multisegment cmathfrakmcmathfrak{m}, let cLambda(cmathfrakm)cLambda(cmathfrak{m}) be its RSK-standard representation, let Z(cmathfrakm)Z(cmathfrak{m}) be the corresponding irreducible representation, and let cmathcalRSK(cmathfrakm)cmathcal{RSK}(cmathfrak{m}) be its RSK data. Write [cLambda(cmathfrakm)][cLambda(cmathfrak{m})] and [Z(cmathfrakm)][Z(cmathfrak{m})] for their classes in the Grothendieck group. The order << is the product order induced by the domination order on inverted Young tableaux. Triangularity conjecture. For every multisegment cmathfrakmcmathfrak{m}, there are multisegments cmathfrakn1,,cmathfraknlcmathfrak{n}_1,\dots,cmathfrak{n}_l such that

[Λ(m)]=[Z(m)]+i=1l[Z(ni)],[\Lambda(\mathfrak{m})]=[Z(\mathfrak{m})]+\sum_{i=1}^l[Z(\mathfrak{n}_i)],

with cmathcalRSK(cmathfrakni)<cmathcalRSK(cmathfrakm)cmathcal{RSK}(cmathfrak{n}_i)<cmathcal{RSK}(cmathfrak{m}) for every i=1,,li=1,\dots,l. The multisegments cmathfraknicmathfrak{n}_i need not be distinct, and not every smaller RSK datum need occur. The conjecture has been verified by computer calculation for all multisegments consisting of at most eight segments; the induced partial order is otherwise not known to have a geometric interpretation or simpler combinatorial description.

Sources & referencesView supporting material

Primary source

Maxim Gurevich and Erez Lapid, “Robinson-Schensted-Knuth correspondence in the representation theory of the general linear group over a non-archimedean local field”, arXiv:1902.09180 (2020).

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.