Avramov–Conca–Iyengar subadditivity conjecture for syzygies of Koszul algebras

Let R=Q/IR=Q/I be a Koszul algebra, and let ti(R)t_i(R) denote the maximal degree of a minimal generator in homological degree ii of the minimal graded free resolution of RR over QQ. Write pdQR\operatorname{pd}_Q R for its projective dimension over QQ. Avramov–Conca–Iyengar's subadditivity conjecture. The inequality

ta+b(R)ta(R)+tb(R)t_{a+b}(R)\leq t_a(R)+t_b(R)

should hold whenever a+bpdQRa+b\leq\operatorname{pd}_Q R. This conjecture concerns subadditivity of syzygies, equivalently of Koszul homologies. To the authors' knowledge, it remains open, with results of Eisenbud, Huneke, and Ulrich and of Herzog and Srinivasan providing supporting evidence for its validity.

Sources & referencesView supporting material

Primary source

Rachel N. Diethorn, “A survey on the Koszul homology algebra”, arXiv:2103.07767 (2021).

Additional references

2 papers in this index state this conjecture (2020–2021). The statement above is taken from the most recent of them; the others are arXiv:2007.15319.

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.