The gamma-polynomial conjecture for the matroid invariant

From papers

Let xG(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 ιqp[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 Pn1×Pn1\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(st+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.

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

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

Solutions 0

No solutions have been posted yet.