The orbit-by-orbit genomic tableau inequality

About 11 years old · traced to

Let O⊆LR(α,\scalebox.5\yng(1),β,γ)\mathcal{O} \subseteq \mathrm{LR}(\alpha,\scalebox{.5}{\yng(1)},\beta, \gamma) be an orbit of ω\omega. Let K1(O)K_1(\mathcal{O}) and K2(O)K_2(\mathcal{O}) denote the sets of genomic tableaux occurring in this orbit in Phases 1 and 2, respectively, via the bijections φ1\varphi_1 and φ2\varphi_2. Orbit-by-orbit genomic tableau conjecture. For i=1,2i=1,2, one has

∣Ki(O)∣≥∣O∣−1.|K_i(\mathcal{O})| \geq |\mathcal{O}|-1.

Numerical evidence supports the inequality. It has been verified in Phase 1 when β\beta has two rows and in Phase 2 when β\beta has two columns; it also holds for orbits of size two, with equality for fixed points of ω\omega.

References

Primary source

Maria Monks Gillespie and Jake Levinson, “Monodromy and K-theory of Schubert Curves via Generalized Jeu de Taquin”, arXiv:1512.06259 (2015).

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.