2013/04/01 by Sabine El Khoury, Khoury, Sabine El, A. V. Jayanthan +3
Mathematics · #13C05 #13H10 #Commutative Algebra (math.AC) #FOS: Mathematics #math.AC #msc:13C05 #msc:13H10
paper · pdf · doi:10.48550/arxiv.1304.0305
Third author's email address was incorrect in the first version. It has been corrected now
arxiv created 2013/04/03 · arxiv updated 2013/04/04
Let R = k[w, x1,..., xn]/I be a graded Gorenstein Artin algebra . Then I = \ann F for some F in the divided power algebra kDP[W, X1,..., Xn]. If RI2 is a height one idealgenerated by n quadrics, then I2 ⊂ (w) after a possible change of variables. Let J = I ∩ k[x1,..., xn]. Then μ(I) ≤ μ(J)+n+1 and I is said to be generic if μ(I) = μ(J) + n+1. In this article we prove necessary conditions, in terms of F, for an ideal to be generic. With some extra assumptions on the exponents of terms of F, we obtain a characterization for I = \ann F to be generic in codimension four.