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

DOI10.1016/J.JALGEBRA.2018.09.013MaRDI QIDQ2219009zbMATH OpenOpenAlexFDO

Authors Aldo Conca, Lukas Katthän, Victor Reiner

Publication date 18 January 2021

Published in Journal of Algebra (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1710.04293

zbMATH Keywords

Koszul homologylinear groupVeronese algebra

Mathematics Subject Classification ID

Combinatorial aspects of representation theory (05E10) Syzygies, resolutions, complexes and commutative rings (13D02) Ordinary representations and characters (20C15)

Abstract: We show that the Koszul homology algebra of the second Veronese subalgebra of a polynomial ring over a field of characteristic zero is generated, as an algebra, by the homology classes corresponding to the syzygies of the lowest linear strand.

Review text

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.

Recommendations

• scientific article; zbMATH DE number 3933262
• Strongly Koszul algebras
• scientific article; zbMATH DE number 929580
• Regularity of modules over a Koszul algebra
• Explicit linear minimal free resolutions over a natural class of Rees algebras
• The absolutely Koszul property of Veronese subrings and Segre products
• Initially Koszul algebras
• scientific article; zbMATH DE number 952441
• Koszul algebras and their syzygies
• scientific article; zbMATH DE number 5793881

Cites work

• Edge ideals and DG algebra resolutions
• Free resolutions over commutative Koszul algebras
• scientific article; zbMATH DE number 1194481 (Why is no real title available?)
• scientific article; zbMATH DE number 3767833 (Why is no real title available?)
• Koszul cycles
• Koszul homology and syzygies of Veronese subalgebras
• Minimal resolutions and the homology of matching and chessboard complexes
• Subadditivity of syzygies of Koszul algebras
• Symmetric functions and Hall polynomials. With contributions by A. V. Zelevinsky

Cited in

(2)

• A survey on the Koszul homology algebra
• The pinched Veronese is Koszul

This page was built for publication: The Koszul homology algebra of the second Veronese is generated by the lowest strand

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2219009)