The DG products of Peeva and Srinivasan coincide (Q2080339)

Let \(k\) be a field, \(R=k[X_{1},\dots,X_{n}]\) the polynomial ring over \(R\), and \(\mathfrak{a}=\langle X_{1},\dots,X_{n} \rangle \subseteq R\). For any \(d\geq 1\), the ideal \(\mathfrak{a}^{d}\) can be resolved (i.e. constructing a free resolution of \(R/\mathfrak{a}^{d}\)) by both the \(L\)-complexes of Buchsbaum and Eisenbud, and the Eliahou-Kervaire resolution. It is noteworthy that both of these \(R\)-complexes admit the structure of an associative DG algebra. Peeva asked whether these two DG algebra structures coincide in general. In this paper, the author constructs an isomorphism of \(R\)-complexes between the aforementioned \(R\)-complexes that is also an isomorphism of DG algebras with their respective DG products, hence giving an affirmative answer to Peeva's question.