由四个二次型定义的 Koszul 代数的结构

Avramov、Conca 和 Iyengar 提出疑问：当 $R=S/I$ 是由 $g$ 个二次型极小定义的 Koszul 代数时，是否对所有 $i$ 都有 $\beta_i^S(R) \leq \binom{g}{i}$。在近期工作中，我们通过完全分类由四个二次型的高为二的理想定义的 Koszul 代数的可能 Betti 表，对该问题在 $g \leq 4$ 时给出了肯定回答。延续该工作，本文证明了由四个二次型定义的 Koszul 代数的一个结构定理。我们证明所有这些 Koszul 代数都是 LG-二次的，从而证明 Conca 给出的一个非 LG-二次的 Koszul 代数例子在定义方程数目上是极小的。随后我们精确刻画了这些环何时是绝对 Koszul 的，并确立了此类环（在特征零时）的绝对 Koszul 性质与 Backelin--Roos 性质在域扩张下的等价性。上述论文与本文的结合，对由 $g \leq 4$ 个二次型定义的所有 Koszul 代数给出了相当完整的刻画。