Representation-theoretic decomposition conjecture for genomic Schur functions

About 4 years old · traced to

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

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

M0={0}⊆M1⊆M2⊆⋯⊆M∣Eμ∣=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

GEi≅Mi/Mi−1\mathbf{G}_{E_i}\cong M_i/M_{i-1}

for all 1≤i≤∣Eμ∣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.

References

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.