On the first non-trivial strand of syzygies of projective schemes and Condition
arXiv:2011.06785 · doi:10.2140/ant.2023.17.1359
Abstract
Let be any -dimensional closed subscheme. We are mainly interested in two notions related to syzygies: one is the property , which means that is -regular up to -th step in the minimal free resolution and the other is a new notion which generalizes the classical "being nondegenerate" to the condition that requires a general finite linear section not to be contained in any hypersurface of degree . First, we introduce condition and consider examples and basic properties deduced from the notion. Next we prove sharp upper bounds on the graded Betti numbers of the first non-trivial strand of syzygies, which generalize results in the quadratic case to higher degree case, and provide characterizations for the extremal cases. Further, after regarding some consequences of property , we characterize the resolution of to be -linear arithmetically Cohen-Macaulay as having property and condition at the same time. From this result, we obtain a syzygetic rigidity theorem which suggests a natural generalization of syzygetic rigidity on -regularity due to Eisenbud-Green-Hulek-Popescu to a general -regularity.
19 pages, 3 figures, some typos corrected