The initial ideal of generic sequences and Fröberg's Conjecture

2018/03/13 by Trung, Van Duc
Computer Science · Mathematics · #13P10 #Algebraic Geometry and Number Theory #Commutative Algebra (math.AC) #Commutative Algebra and Its Applications #F.2.2 #FOS: Mathematics #I.2.7 #Polynomial and algebraic computation

paper · doi:10.48550/arxiv.1803.04997

openalex publication_date 2018/03/13 · openalex created_date 2022/09/10 · openalex updated_date 2026/07/28

Abstract

Let K be an infinite field and let I = (f₁,⋯,f_r) be an ideal in the polynomial ring R = K[x₁,⋯,x_n] generated by generic forms of degrees d₁,⋯,d_r. A longstanding conjecture by Fröberg predicts the shape of the Hilbert function of R/I. In 2010 Pardue stated a conjecture on the initial ideal of n generic forms with respect to the deg-revlex order and he proved that it is equivalent to Fröberg's Conjecture. We study Pardue's Conjecture and we prove it under suitable conditions on the degrees of the forms. This yields a partial solution to Fröberg's Conjecture in the case r ≤ n+2 over an infinite field of any characteristic.

Related

• Gröbner Bases of Generic Ideals
• Generic ideals and Moreno-Soc'ıas conjecture
• Almost reverse lexicographic ideals and Fröberg sequence
• Conditions for Generic Initial Ideals to be Almost Reverse Lexicographic
• Hilbert series of generic ideals in products of projective spaces