Divisibility Relations and $\mathcal{D}$-Extremal ideals
Fuente:
arXiv
Guardado en:
| Autores principales: | , , , , , |
|---|---|
| Formato: | Preprint |
| Publicado: |
2025
|
| Materias: | |
| Acceso en línea: | |
| Etiquetas: |
Agregar Etiqueta
Sin Etiquetas, Sea el primero en etiquetar este registro!
|
| _version_ | 1866914177104216064 |
|---|---|
| author | Cooper, Susan M. Khoury, Sabine El Faridi, Sara Morey, Susan Şega, Liana M. Spiroff, Sandra |
| author_facet | Cooper, Susan M. Khoury, Sabine El Faridi, Sara Morey, Susan Şega, Liana M. Spiroff, Sandra |
| contents | A divisibility relation between the generators of a square-free monomial ideal formally encodes the situation when one generator divides the least common multiple of some other generators. The divisibility relations contribute to the deletion of some parts of the Taylor resolution of the ideal, and therefore lead to finding a resolution closer to the minimal one. Motivated by this observation, for a given set $\mathcal{D}$ of divisibility relations, we study all square-free monomials satisfying the relations in $\mathcal{D}$. We define a class of square-free monomial ideals called $\mathcal{D}$-extremal ideals $\mathcal{E}_\mathcal{D}$ , and show it is optimal in the sense that it is an ideal satisfying exactly those divisibility relations coming from $\mathcal{D}$, and no others. We then show that $\mathcal{E}_\mathcal{D}$ is extremal in the sense that the resolution and betti numbers of the powers of any square-free monomial ideal satisfying the relations in $\mathcal{D}$ are bounded by those of the same powers of $\mathcal{E}_\mathcal{D}$. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2512_01959 |
| institution | arXiv |
| publishDate | 2025 |
| record_format | arxiv |
| spellingShingle | Divisibility Relations and $\mathcal{D}$-Extremal ideals Cooper, Susan M. Khoury, Sabine El Faridi, Sara Morey, Susan Şega, Liana M. Spiroff, Sandra Commutative Algebra 13A05, 13C05, 13D02, 13F55, 05E40 A divisibility relation between the generators of a square-free monomial ideal formally encodes the situation when one generator divides the least common multiple of some other generators. The divisibility relations contribute to the deletion of some parts of the Taylor resolution of the ideal, and therefore lead to finding a resolution closer to the minimal one. Motivated by this observation, for a given set $\mathcal{D}$ of divisibility relations, we study all square-free monomials satisfying the relations in $\mathcal{D}$. We define a class of square-free monomial ideals called $\mathcal{D}$-extremal ideals $\mathcal{E}_\mathcal{D}$ , and show it is optimal in the sense that it is an ideal satisfying exactly those divisibility relations coming from $\mathcal{D}$, and no others. We then show that $\mathcal{E}_\mathcal{D}$ is extremal in the sense that the resolution and betti numbers of the powers of any square-free monomial ideal satisfying the relations in $\mathcal{D}$ are bounded by those of the same powers of $\mathcal{E}_\mathcal{D}$. |
| title | Divisibility Relations and $\mathcal{D}$-Extremal ideals |
| topic | Commutative Algebra 13A05, 13C05, 13D02, 13F55, 05E40 |
| url | https://arxiv.org/abs/2512.01959 |