Skip to main content
1 of 2
Rellek
  • 553
  • 2
  • 9

In a commutative Koszul algebra, does every ideal generated by a subset of variables have linear resolution?

Let $A = k[x_1 , \dots , x_n] / I$ be a commutative Koszul algebra; that is, the ideal $(x_1 , \dots , x_n)$ has linear minimal free resolution. Does it follow that the ideal generated by any subset of variables $(x_{i_1} , \dots , x_{i_\ell})$ also has a linear minimal free resolution?

The answer seems to be yes. Indeed, it seems like the resolution of the subset of variables is obtained as a direct summand of the Priddy (generalized Koszul) complex, which is acyclic by the Koszul assumption on $A$. Probably this subcomplex is realized as a Tate construction, and I was looking for a reference (or a quick proof/counterexample) of the question in the title.

Rellek
  • 553
  • 2
  • 9