Ideals generated by quadratic polynomials

Abstract: Let

R

be a polynomial ring in

N

variables over an arbitrary field

K

and let

I

be an ideal of

R

generated by

n

polynomials of degree at most 2. We show that there is a bound on the projective dimension of

R / I

that depends only on

n

, and not on

N

. The proof depends on showing that if

K

is infinite and

n

is a positive integer, there exists a positive integer C(n), independent of

N

, such that any

n

forms of degree at most 2 in

R

are contained in a subring of

R

generated over

K

by at most

t l e q C (n)

forms

G_{1},, ...,, G_{t}

of degree 1 or 2 such that

G_{1},, ...,, G_{t}

is a regular sequence in

R

. C(n) is asymptotic to

2 n^{2 n}

.

Recommendations

Cited in

(21)

This page was built for publication: Ideals generated by quadratic polynomials