Bergeron–Garsia Science Fiction conjecture for intersections of Garsia–Haiman modules

About 4 years old · traced to

Let ν\nu be a partition and let μ(1),…,μ(k)⊆ν\mu^{(1)},\dots,\mu^{(k)}\subseteq\nu be kk distinct partitions such that

∣ν/μ(1)∣=⋯=∣ν/μ(k)∣=1.|\nu/\mu^{(1)}|=\cdots=|\nu/\mu^{(k)}|=1.

For each partition μ\mu, let VμV_\mu be the associated Garsia–Haiman module, let H~μ[X;q,t]\widetilde{H}_\mu[X;q,t] be the modified Macdonald polynomial, and set

Tμ:=∏(i,j)∈μti−1qj−1.T_\mu:=\prod_{(i,j)\in\mu}t^{i-1}q^{j-1}.

Science Fiction conjecture. The bigraded Sn\mathfrak{S}_n-module ⋂i=1kVμ(i)\bigcap_{i=1}^{k}V_{\mu^{(i)}} has dimension n!k\frac{n!}{k}, and its Frobenius characteristic is

Frob⁡(⋂i=1kVμ(i),q,t)=∑i=1k∏j≠iTμ(j)Tμ(j)−Tμ(i)H~μ(i)[X;q,t].\operatorname{Frob}\left(\bigcap_{i=1}^{k}V_{\mu^{(i)}},q,t\right)=\sum_{i=1}^{k}\prod_{j\neq i}\dfrac{T_{\mu^{(j)}}}{T_{\mu^{(j)}}-T_{\mu^{(i)}}}\widetilde{H}_{\mu^{(i)}}[X;q,t].

This is presented as an implication of the Bergeron–Garsia Science Fiction conjecture. The first assertion is called the n!k\frac{n!}{k}-conjecture, and the source notes that the n!2\frac{n!}{2} case for hook shapes was recently proved; the general statement remains unresolved in the supplied text.

References

Primary source

Donghyun Kim, Seung Jin Lee and Jaeseong Oh, “Toward Butler's conjecture”, arXiv:2212.09419 (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.