Initial ideals, veronese subrings, and rates of algebras

78Citations
Citations of this article
12Readers
Mendeley users who have this article in their library.

This article is free to access.

Abstract

⌉Let S be a polynomial ring over an infinite field and let I be a homogeneous ideal of S. Let Td be a polynomial ring whose variables correspond to the monomials of degree d in S. We study the initial ideals of the ideals Vd(I) ⊂ Td that define the Veronese subrings of S/I. In suitable orders, they are easily deduced from the initial ideal of I. We show that in Vd(I) is generated in degree ≤ max (⌉ reg(I)/d ⌈, 2), where reg(I) is the regularity of the ideal I. (In other words, the dth Veronese subrings of any commutative graded ring S/I has a Gröbner basis of degree ≤ max (⌉(I)/d ⌈, 2).) We also give bounds on the regularity of I in terms of the degrees of the generators of in(I) and some combinatorial data. This implies a version of Backelin′s theorem that high Veronese subrings of any ring are homogeneous Koszul algebras in the sense of Priddy [Trans. Amer. Math. Soc, 152 (1970), 39-60]. We also give a general obstruction for a homogeneous ideal I ⊂ S to have an initial ideal in(I) that is generated by quadrics, beyond the obvious requirement that I itself should be generated by quadrics, and the stronger statement that S/I is Koszul. We use the obstruction to show that in certain dimensions, a generic complete intersection of quadrics cannot have an initial ideal that is generated by quadrics. For the application to Backelin′s theorem, we require a result of Backelin whose proof has never appeared. We give a simple proof of a sharpened version, bounding the rate of growth of the degrees of generators for syzygies of any multihomogenous module over a polynomial ring modulo an ideal generated by monomials, following a method of Bruns and Herzog. © 1994 Academic Press, Inc. All rights reserved.

Cite

CITATION STYLE

APA

Eisenbud, D., Reeves, A., & Totaro, B. (1994). Initial ideals, veronese subrings, and rates of algebras. Advances in Mathematics, 109(2), 168–187. https://doi.org/10.1006/aima.1994.1085

Register to see more suggestions

Mendeley helps you to discover research relevant for your work.

Already have an account?

Save time finding and organizing research with Mendeley

Sign up for free