The gamma-polynomial conjecture for the matroid invariant

About 20 years old · traced to

Let x∈G(d,n)x\in G(d,n) and let γx(s,t)∈Z[s,t]/⟨sn,tn⟩\gamma_x(s,t)\in\mathbb{Z}[s,t]/\langle s^n,t^n\rangle represent the pushforward class ι∗q∗p∗[OTx‾]\iota_*q_*p^*[\mathcal{O}_{\overline{Tx}}], where pp and qq are the projections from the relevant partial flag variety and ι\iota embeds the flag variety as a hypersurface in Pn−1×Pn−1\mathbb{P}^{n-1}\times\mathbb{P}^{n-1}. Let gx(t)g_x(t) be the associated polynomial invariant and let cc be the dimension parameter used in its definition.

Gamma-polynomial conjecture.

γx(s,t)=(−1)cgx(−s−t+st).\gamma_x(s,t)=(-1)^c g_x(-s-t+st).

In particular,

γx(s,t)=γx(t,s).\gamma_x(s,t)=\gamma_x(t,s).

The conjecture would show that γx\gamma_x contains no information beyond gxg_x and, together with the duality relation mentioned in the source, would give another proof of gx(t)=gx⊥(t)g_x(t)=g_{x^\perp}(t). The source gives no resolution evidence, so it remains open.

References

Primary source

David E Speyer, “A matroid invariant via the K-theory of the Grassmannian”, arXiv:math/0603551 (2006).

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.