The Koszul homology algebra of the second Veronese is generated by the lowest strand (Q2219009)

Recall that \(R\), a standard \(\Bbbk\)-algebra over a field \(\Bbbk\), is Koszul if \(\Bbbk\) has a linear resolution as an \(R\)-module, i.e., it admits an exact sequence of the type \(\cdots \rightarrow R(-i)^{\beta_i} \rightarrow \cdots \rightarrow R(-2)^{\beta_2} \rightarrow R(-1)^{\beta_1} \rightarrow R \rightarrow k \rightarrow 0.\) It was asked by Avramov, see Question 1.1 in the paper, if the Koszul homology algebra \(H(R)=\bigoplus\limits_{(i,j)}H_i(R)_j\), where \(i=0,\ldots, \dim_{\mathbb k}R_1\) and \(j\in \mathbb N,\) of a Koszul algebra \(R\) is generated, as \(\Bbbk\)-algebra, by the lowest linear strend, i.e., by \(\bigoplus\limits_{i}H_i(R)_{i+1}\). It was showed in Theorem 3.5 of [\textit{A. Boocher} et al., Matematiche 70, No. 1, 215--237 (2015; Zbl 1355.13013)] that the answer to such question is negative in general. However, it is interesting to investigate the question for specific algebras such as Veronese subalgebras and Segre products of polynomial rings. In this paper, see Corollary 2.4, the authors prove that the answer is positive for second Veronese subring of a polynomial ring in characteristic 0.