Dominant Schur module conjecture for Veronese syzygies

Let Kp,q(Pn,b;d)K_{p,q}(\mathbb P^n,b;d) be the Koszul cohomology group of the dd-uple Veronese embedding, let Ep,q(Pn,b;d)\mathrm E_{p,q}(\mathbb P^n,b;d) be its monomial syzygy construction, and let domWeights\operatorname{domWeights} denote the set of most dominant Schur-module weights occurring in a representation. Dominant Schur module conjecture. For all n,d,b,pn,d,b,p and qq,

domWeightsEp,q(Pn,b;d)=domWeightsKp,q(Pn,b;d).\operatorname{domWeights}\,\mathrm E_{p,q}(\mathbb P^n,b;d)=\operatorname{domWeights}\,K_{p,q}(\mathbb P^n,b;d).

Thus the monomial syzygies are conjectured not only to control vanishing and nonvanishing, but also to determine the most dominant Schur-module weights. The authors report computational confirmations, including cases with d=7d=7, but the assertion is not proved in general.

Sources & referencesView supporting material

Primary source

Juliette Bruce, Daniel Erman, Steve Goldstein and Jay Yang, “Conjectures and computations about Veronese syzygies”, arXiv:1711.03513 (2017).

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.