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

Less than 1 year old · traced to

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λ≤m≤nl_\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

∑E∈Eμ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≺μ⋯≺μE∣Eμ∣}\mathcal E_\mu=\{E_1\prec_\mu\cdots\prec_\mu E_{|\mathcal E_\mu|}\} and a filtration

M0μ={0}⊆M1μ⊆⋯⊆M∣Eμ∣μ=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 GEi≅Miμ/Mi−1μ\mathbf G_{E_i}\cong M^\mu_i/M^\mu_{i-1} for all 1≤i≤∣Eμ∣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λ≤m≤n∑μ∈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.

References

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.