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

From papers

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)μti1qj1.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=1kjiTμ(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.

Progress summary

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Sources & referencesView supporting material

Primary source

Donghyun Kim, Seung Jin Lee and Jaeseong Oh, “Toward Butler's conjecture”, arXiv:2212.09419 (2026).

Solutions 0

No solutions have been posted yet.