Saved in:
| Main Author: | |
|---|---|
| Format: | Preprint |
| Published: |
2018
|
| Subjects: | |
| Online Access: | https://arxiv.org/abs/1803.04997 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866918066837782528 |
|---|---|
| author | Trung, Van Duc |
| author_facet | Trung, Van Duc |
| contents | Let $K$ be an infinite field and let $I = (f_1,\cdots,f_r)$ be an ideal in the polynomial ring $R = K[x_1,\cdots,x_n]$ generated by generic forms of degrees $d_1,\cdots,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 \leq n+2$ over an infinite field of any characteristic. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_1803_04997 |
| institution | arXiv |
| publishDate | 2018 |
| record_format | arxiv |
| spellingShingle | The initial ideal of generic sequences and Fröberg's Conjecture Trung, Van Duc Commutative Algebra 13P10 F.2.2; I.2.7 Let $K$ be an infinite field and let $I = (f_1,\cdots,f_r)$ be an ideal in the polynomial ring $R = K[x_1,\cdots,x_n]$ generated by generic forms of degrees $d_1,\cdots,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 \leq n+2$ over an infinite field of any characteristic. |
| title | The initial ideal of generic sequences and Fröberg's Conjecture |
| topic | Commutative Algebra 13P10 F.2.2; I.2.7 |
| url | https://arxiv.org/abs/1803.04997 |