Kim–Yoo's representation-theoretic conjecture for two-row genomic Schur functions

Let λ=(λ1,λ2)n\lambda=(\lambda_1,\lambda_2)\vdash n with (λ)=2\ell(\lambda)=2, and set lλ=max{λ1,λ2+1}l_\lambda=\max\{\lambda_1,\lambda_2+1\}. For lλmnl_\lambda\le m\le n, let Par(λ;m)\mathsf{Par}(\lambda;m) be the set of partitions defined by the preceding formulas, and let Eλ;m\mathcal E_{\lambda;m}, Eμ\mathcal E_\mu, GE\mathbf G_E, XμX_\mu, and Hm(0)H_m(0) have the meanings used for the associated 00-Hecke modules. A partition {EμμPar(λ;m)}\{\mathcal E_\mu\mid\mu\in\mathsf{Par}(\lambda;m)\} of Eλ;m\mathcal E_{\lambda;m} should exist for every mm such that

EEμch([GE])=sμ\sum_{E\in\mathcal E_\mu}\operatorname{ch}([\mathbf G_E])=s_\mu

for every μPar(λ;m)\mu\in\mathsf{Par}(\lambda;m), and, for each such μ\mu, there should be a total order Eμ={E1μμEEμ}\mathcal E_\mu=\{E_1\prec_\mu\cdots\prec_\mu E_{|\mathcal E_\mu|}\} and a filtration

M0μ={0}M1μMEμμ=XμM^\mu_0=\{0\}\subseteq M^\mu_1\subseteq\cdots\subseteq M^\mu_{|\mathcal E_\mu|}=X_\mu

of Hm(0)H_m(0)-modules with GEiMiμ/Mi1μ\mathbf G_{E_i}\cong M^\mu_i/M^\mu_{i-1} for all 1iEμ1\le i\le|\mathcal E_\mu|. This is the representation-theoretic interpretation conjectured by Kim and Yoo for the Schur expansion of the two-row genomic Schur function UλU_\lambda; the expansion itself is Uλ=lλmnμPar(λ;m)sμU_\lambda=\sum_{l_\lambda\le m\le n}\sum_{\mu\in\mathsf{Par}(\lambda;m)}s_\mu. The claim is stated as Conjecture 7.1 of Kim and Yoo and is not resolved in the supplied source.

Sources & referencesView supporting material

Primary source

Young-Hun Kim, “A representation-theoretic interpretation of the Schur expansion of two-row genomic Schur functions”, arXiv:2604.24454 (2026).

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.