Koszul property of diagonal subalgebras

DOI10.1216/JCA-2014-6-3-385MaRDI QIDQ471980zbMATH OpenOpenAlexFDO

Authors Neeraj Kumar

Publication date 18 November 2014

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

Full work available at URL https://arxiv.org/abs/1307.7381, https://projecteuclid.org/euclid.jca/1416233324

zbMATH Keywords

complete intersectiondiagonal subalgebraKoszul algebraRees algebra

Mathematics Subject Classification ID

Syzygies, resolutions, complexes and commutative rings (13D02) Quadratic and Koszul algebras (16S37)

Abstract: Let S=K[x_1,...,x_n] be a polynomial ring over a field K and I a homogeneous ideal in S generated by a regular sequence f_1,f_2,...,f_k of homogeneous forms of degree d. We study a generalization of a result of Conca, Herzog, Trung, and Valla [9] concerning Koszul property of the diagonal subalgebras associated to I. Each such subalgebra has the form K[(I^e)_{ed+c}], where c and e are positive integers. For k=3, we extend [9, Corollary 6.10] by proving that K-algebra K[(I^e)_{ed+c}] is Koszul as soon as c >= d/2. We also extend [9, Corollary 6.10] in another direction by replacing the polynomial ring with a Koszul ring.

Review text

\textit{A. Conca} et al. [Am. J. Math. 119, No. 4, 859--901 (1997; Zbl 0920.13003)] proved that for a bigraded algebra \(R\), the diagonal subalgebra \[ R_{\Delta}=\bigoplus_{s\geq 0} R_{(cs,es)} \] is Koszul where \(c\) and \(e\) are sufficiently large integers. The paper under review is a study to improve estimates on \(c\) and \(e\) concerning the koszulness of bigraded diagonal subalgebras. In this way the author devotes his attention to the homogeneous ideal generated by a regular sequence of \(k\) forms of degree \(d\) over the polynomial ring \(S=K[x_1, \dots,x_n].\) The main technical lemma provides an upper bound for the end of \(\mathrm{Tor}(-,K)\) and the regularity of the zeroth homology of a complex of graded modules. Applications of this lemma lead to the following main results: {\parindent=6mm \begin{itemize}\item[{\(\bullet\)}] The same result as Corollary 6.10(2) of Conca et al. holds even if the polynomial ring is replaced by a standard graded koszul ring. \item[{\(\bullet\)}] Affirmative answer to the conjecture of the page 900 of [loc. cit.] for \(k=3\). \item[{\(\bullet\)}] An extension of the Theorem 6.2 of [loc. cit.]. \end{itemize}}

Recommendations

• Subalgebras of bigraded Koszul algebras
• Diagonal subalgebras of bigraded algebras and embeddings of blow-ups of projective spaces
• scientific article
• Sur l'annulation de l'homologie du complexe de Koszul gradué
• A numerical criterion for the generalized Koszul property.
• Diagonal subalgebras of residual intersections
• On the growth of the Hilbert function of a module
• scientific article; zbMATH DE number 952441
• Regularity functions for homogeneous algebras.
• Homological properties of bigraded algebras

Cites work

• Bigeneric initial ideals, diagonal subalgebras and bigraded Hilbert functions
• Diagonal subalgebras of bigraded algebras and embeddings of blow-ups of projective spaces
• scientific article; zbMATH DE number 3933262 (Why is no real title available?)
• scientific article; zbMATH DE number 1532175 (Why is no real title available?)
• scientific article; zbMATH DE number 929580 (Why is no real title available?)
• Initial ideals, Veronese subrings, and rates of algebras
• Koszul algebras and regularity
• Koszul homology and syzygies of Veronese subalgebras
• Koszul property of projections of the Veronese cubic surface
• Koszul Resolutions
• Multigraded rings, diagonal subalgebras, and rational singularities
• On graded rings. I
• Regularity of modules over a Koszul algebra
• Subalgebras of bigraded Koszul algebras
• The diagonal subalgebra of a blow-up algebra
• The pinched Veronese is Koszul

Cited in

(5)

• A survey on Koszul algebras and Koszul duality
• On the diagonal subalgebra of an Ext algebra
• Diagonal subalgebras of residual intersections
• Subalgebras of bigraded Koszul algebras
• Almost complete intersections: regularity of powers and Rees algebra

This page was built for publication: Koszul property of diagonal subalgebras

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