Bigraded Castelnuovo-Mumford regularity and Gröbner bases
Fuente:
arXiv
Saved in:
| Main Authors: | , , , |
|---|---|
| Format: | Preprint |
| Published: |
2024
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866918026063904768 |
|---|---|
| author | Bender, Matías Busé, Laurent Checa, Carles Tsigaridas, Elias |
| author_facet | Bender, Matías Busé, Laurent Checa, Carles Tsigaridas, Elias |
| contents | We study the relation between the bigraded Castelnuovo-Mumford regularity of a bihomogeneous ideal $I$ in the coordinate ring of the product of two projective spaces and the bidegrees of a Gröbner basis of $I$ with respect to the degree reverse lexicographical monomial order in generic coordinates. For the single-graded case, Bayer and Stillman unraveled all aspects of this relationship forty years ago and these results led to complexity estimates for computations with Gröbner bases. We build on this work to introduce a bounding region of the bidegrees of minimal generators of bihomogeneous Gröbner bases for $I$. We also use this region to certify the presence of some minimal generators close to its boundary. Finally, we show that, up to a certain shift, this region is related to the bigraded Castelnuovo-Mumford regularity of $I$. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2407_13536 |
| institution | arXiv |
| publishDate | 2024 |
| record_format | arxiv |
| spellingShingle | Bigraded Castelnuovo-Mumford regularity and Gröbner bases Bender, Matías Busé, Laurent Checa, Carles Tsigaridas, Elias Commutative Algebra We study the relation between the bigraded Castelnuovo-Mumford regularity of a bihomogeneous ideal $I$ in the coordinate ring of the product of two projective spaces and the bidegrees of a Gröbner basis of $I$ with respect to the degree reverse lexicographical monomial order in generic coordinates. For the single-graded case, Bayer and Stillman unraveled all aspects of this relationship forty years ago and these results led to complexity estimates for computations with Gröbner bases. We build on this work to introduce a bounding region of the bidegrees of minimal generators of bihomogeneous Gröbner bases for $I$. We also use this region to certify the presence of some minimal generators close to its boundary. Finally, we show that, up to a certain shift, this region is related to the bigraded Castelnuovo-Mumford regularity of $I$. |
| title | Bigraded Castelnuovo-Mumford regularity and Gröbner bases |
| topic | Commutative Algebra |
| url | https://arxiv.org/abs/2407.13536 |