Representation-theoretic decomposition conjecture for genomic Schur functions

Let λ\lambda be a partition with (λ)2\ell(\lambda)\le 2, and let Eλ;m\mathcal{E}_{\lambda;m}, Par(λ;m)\mathsf{Par}(\lambda;m), GE\mathbf{G}_E, and XμX_\mu be the sets and 00-Hecke modules introduced above. For each lλmnl_\lambda\le m\le n, consider a partition {EμμPar(λ;m)}\{\mathcal{E}_\mu\mid \mu\in\mathsf{Par}(\lambda;m)\} of Eλ;m\mathcal{E}_{\lambda;m}. Representation-theoretic decomposition conjecture. Such a partition exists and satisfies: for every μPar(λ;m)\mu\in\mathsf{Par}(\lambda;m),

EEμch([GE])=sμ,\sum_{E\in\mathcal{E}_\mu}\operatorname{ch}([\mathbf{G}_E])=s_\mu,

and there are a total order μ\prec_\mu on Eμ={E1μE2μμEEμ}\mathcal{E}_\mu=\{E_1\prec_\mu E_2\prec_\mu\cdots\prec_\mu E_{|\mathcal{E}_\mu|}\} and a filtration

M0={0}M1M2MEμ=XμM_0=\{0\}\subseteq M_1\subseteq M_2\subseteq\cdots\subseteq M_{|\mathcal{E}_\mu|}=X_\mu

of Hm(0)H_m(0)-modules such that

GEiMi/Mi1\mathbf{G}_{E_i}\cong M_i/M_{i-1}

for all 1iEμ1\le i\le |\mathcal{E}_\mu|. This would give a representation-theoretic realization of the Schur expansion of the genomic Schur function in the two-row case, while the indecomposability of the modules GE\mathbf{G}_E is separately left as a future question.

Sources & referencesView supporting material

Primary source

Young-Hun Kim and Semin Yoo, “Weak Bruhat interval modules for genomic Schur functions”, arXiv:2211.06575 (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.