Componentwise linearity of projective varieties with almost maximal degree
type: Item
instance of: scholarly article
title: Componentwise linearity of projective varieties with almost maximal degree
zbMATH Open document ID: 1465.13011
author: Sijong Kwak
author: Trung Cuòng Đoàn
published in: Journal of Pure and Applied Algebra
publication date: 2021-06-09T00:00:00Z
full work available at URL: https://arxiv.org/abs/1905.04826
review text: Let \(X \subset \mathbb P^{n+e}\) be a non-degenerate closed subscheme of dimension \(n\) and codimension~\(e\) over an infinite field \(k\). Three important invariants of \(X\) are the degree \(\deg(X)\), the Castelnuovo-Mumford regularity and the reduction number \(r = r(X)\). The reduction number of \(X\) with respect to a \(k\)-subalgebra \(S\) of the coordinate ring \(R_X\) of \(X\), denoted \(r_S(R_X)\), is the supremum of the degrees of all homogeneous minimal generators of \(R_X\) as an \(S\)-module, where \(S = k[x_0,\dots,x_{n+e}]\). The reduction number, \(r\), of \(R_X\) is the least \(r_S(R_X)\), where \(S\) runs over all Noether normalizations. It is known that there is an upper bound \(\deg(X) \leq \binom{e+r}{e}\). It is also known that equality is achieved if and only if \(X\) is arithmetically Cohen-Macaulay and has an \((r+1)\)-linear resolution. Some information is also known when \(\deg(X) = \binom{e+r}{e}-1\) (almost maximal degree), in terms of the Betti table of \(I_X\). In this paper the authors study the structure of the saturated defining ideal of \(X\) when \(X\) has almost maximal degree. The authors want to know when this ideal is componentwise linear (meaning that for any \(d\), the degree \(d\) component of the ideal has a linear minimal free resolution); this is a question originally posed by Murai. Here the authors give a complete answer to this question.
reviewed by: Juan C. Migliore
Mathematics Subject Classification ID: 13D02
Mathematics Subject Classification ID: 14N05
zbMATH DE Number: 7357203
zbMATH Keywords: linear resolution
zbMATH Keywords: componentwise linear resolution
zbMATH Keywords: reduction number
zbMATH Keywords: degree
zbMATH Keywords: Betti table
describes a project that uses: Macaulay2
MaRDI profile type: MaRDI publication profile
OpenAlex ID: W2944085384
cites work: Ideals with stable Betti numbers
cites work: Computing the Castelnuovo-Mumford regularity of some subschemes of \(\mathbb{P}_K^n\) using quotients of monomial ideals
cites work: The reduction number and degree bound of projective subschemes
cites work: Linear free resolutions and minimal multiplicity
cites work: On the componentwise linearity and the minimal free resolution of a tetrahedral curve
cites work: Q4251931
cites work: On a theorem of Castelnuovo, and the equations defining space curves
cites work: Componentwise linear ideals
cites work: Monomial Ideals
cites work: Componentwise linear ideals with minimal or maximal Betti numbers
cites work: Théoremes de Bertini et applications
cites work: Non-degenerate curves with maximal Hartshorne-Rao module
cites work: Criteria for componentwise linearity
cites work: Reduction Exponent and Degree Bound for the Defining Equations of Graded Rings
cites work: Q5687443
DOI: 10.1016/J.JPAA.2021.106672
Recommended article: The reduction number and degree bound of projective subschemes
Recommended article: Minimal free resolutions of projective subschemes of small degree
Recommended article: On minimal free resolutions of projective varieties of degree = codimension + 2
Recommended article: Classification of Betti diagrams of varieties of almost minimal degree
Recommended article: Sharp bounds for higher linear syzygies and classifications of projective varieties
description: scientific article; zbMATH DE number 7357203