Homological properties of pinched Veronese rings

DOI10.1016/J.JALGEBRA.2022.09.020MaRDI QIDQ2097250zbMATH OpenOpenAlexFDO

Authors Kyle Maddox, Vaibhav Pandey

Publication date 11 November 2022

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

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

zbMATH Keywords

affine semigroup ringscharacteristic \(p\) methodsF-nilpotent ringslocal cohomologypinched Veronese rings

Mathematics Subject Classification ID

Characteristic (p) methods (Frobenius endomorphism) and reduction to characteristic (p); tight closure (13A35) Cohen-Macaulay modules (13C14) Special types (Cohen-Macaulay, Gorenstein, Buchsbaum, etc.) (13H10)

Abstract: Pinched Veronese rings are formed by removing an algebra generator from a Veronese subring of a polynomial ring. We study the homological properties of such rings, including the Cohen-Macaulay, Gorenstein, and complete intersection properties. Greco and Martino classified Cohen-Macaulayness of pinched Veronese rings by the maximum entry of the exponent vector of the pinched monomial; we re-prove their results with semigroup methods and correct an omission of a small class of examples of Cohen-Macaulay pinched Veronese rings. When the underlying field is of prime characteristic, we show that pinched Veronese rings exhibit a variety of F-singularities, including F-regular, F-injective, and F-nilpotent. We also compute upper bounds on the Frobenius test exponents of pinched Veronese rings, a computational invariant which controls the Frobenius closure of all parameter ideals simultaneously.

Review text

Let \(S = k[x_1,\ldots,x_n]\) denote the polynomial ring in \(n\) variables over the field \(k\). The pinched Veronese ring \(\mathcal{P}_{n,d,\textbf{m}} \subseteq S^{(d)}\) is the subring of the \(d\)-th Veronese ring \(S^{(d)}\) where the monomial \(x_1^{m_1} \cdot \ldots \cdot x_n^{m_n}\) with \(\textbf{m} = (m_1,\ldots,m_n) \in \mathbb{N}^d\) and \(m_1 + \cdots m_n = d\) is removed. There is an interest in homological properties of pinched Veronese rings. For instance, by the reviewer (see [Arch. Math. 30, 391--397 (1978; Zbl 0417.14040)]) there is a study when it is a Buchbsbaum ring. Furthermore, in answering Sturmfels' question \textit{G. Caviglia} [J. Algebr. Comb. 30, No. 4, 539--548 (2009; Zbl 1213.13003)] showed that \(\mathcal{P}_{3,3,{1,1,1}}\) is Koszul. In the present paper the authors compute the depth of the pinched Veronese ring, characterize when it is Cohen-Macaulay and give conditions when it is Gorenstein resp. a complete intersection. With their Cohen-Macaulay characterization they reprove and slightly extend results by \textit{O. Greco} and \textit{I. Martino} [J. Commut. Algebra 13, No. 3, 347--360 (2021; Zbl 1485.13038)]. The second main results are concerned when the underlying field is of positive prime characteristic. They give a complete picture about the \(F\)-singularity type of the pinched Veronese ring \(\mathcal{P}_{n,d,\textbf{m}}\). There are also bounds for the Hartshorne-Speiser-Lyubeznik numbers and the Frobenius test exponents of pinched Veronese rings. They conclude with some results and open questions for affine semigroup rings obtained by removing larger subsets of the Veronese generators.

Recommendations

• Cohen-Macaulay property and linearity of pinched Veronese rings
• Vertex rings and their Pierce bundles
• Some homological properties of ``high Veronese subrings
• Homological properties of (graded) Noetherian PI rings
• scientific article; zbMATH DE number 5954358
• P-rings and P-homomorphisms
• scientific article; zbMATH DE number 4044032
• scientific article; zbMATH DE number 151702
• scientific article; zbMATH DE number 3103443
• Homological dimensions and regular rings

Cites work

• \(F\)-injectivity and Frobenius closure of ideals in Noetherian rings of characteristic \(p>0\)
• A sufficient condition for the finiteness of Frobenius test exponents
• Affine Semigroups and Cohen-Macaulay Rings Generated by Monomials
• Characterizations of Regular Local Rings of Characteristic p
• Cohomological dimension of ideals defining Veronese subrings
• Cyclic Purity Versus Purity in Excellent Noetherian Rings
• F-modules: applications to local cohomology and D-modules in characteristic p>0.
• F-Purity and Rational Singularity
• F-rational rings have rational singularities
• F-Regularity, Test Elements, and Smooth Base Change
• scientific article; zbMATH DE number 578220 (Why is no real title available?)
• scientific article; zbMATH DE number 589387 (Why is no real title available?)
• Koszul property of projections of the Veronese cubic surface
• Local cohomological dimension in characteristic p
• Nilpotence of Frobenius action and the Hodge filtration on local cohomology
• On graded rings. I
• On Noetherian Rings of Characteristic p
• On the Hartshorne–Speiser–Lyubeznik theorem about Artinian modules with a Frobenius action
• On the uniform bound of Frobenius test exponents
• Rings of Invariants of Tori, Cohen-Macaulay Rings Generated by Monomials, and Polytopes
• Strong and weak F -regularity are equivalent for graded rings
• The pinched Veronese is Koszul
• Tight closure of parameter ideals
• Uniform behaviour of the Frobenius closures of ideals generated by regular sequences

Cited in

(6)

• Cohen-Macaulay property and linearity of pinched Veronese rings
• Rees algebras and generalized depth‐like conditions in prime characteristic
• Counting geometric branches via the Frobenius map and \(F\)-nilpotent singularities
• The weak normalization of an affine semigroup
• A bound on the Hartshorne-Speiser-Lyubeznik number of semigroup rings
• The pinched Veronese is Koszul

This page was built for publication: Homological properties of pinched Veronese rings

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