Stabilization of associated prime ideals of monomial ideals -- Bounding the copersistence index
Fuente:
arXiv
Saved in:
| Main Authors: | , , |
|---|---|
| Format: | Preprint |
| Published: |
2023
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866915043002548224 |
|---|---|
| author | Heuberger, Clemens Rath, Jutta Rissner, Roswitha |
| author_facet | Heuberger, Clemens Rath, Jutta Rissner, Roswitha |
| contents | The sequence $(\operatorname{Ass}(R/I^n))_{n\in\mathbb{N}}$ of associated primes of powers of a monomial ideal $I$ in a polynomial ring $R$ eventually stabilizes by a known result by Markus Brodmann. Lê Tuân Hoa gives an upper bound for the index where the stabilization occurs. This bound depends on the generators of the ideal and is obtained by separately bounding the powers of $I$ after which said sequence is non-decreasing and non-increasing, respectively. In this paper, we focus on the latter and call the smallest such number the copersistence index. We take up the proof idea of Lê Tuân Hoa, who exploits a certain system of inequalities whose solution sets store information about the associated primes of powers of $I$. However, these proofs are entangled with a specific choice for the system of inequalities. In contrast to that, we present a generic ansatz to obtain an upper bound for the copersistence index that is uncoupled from this choice of the system. We establish properties for a system of inequalities to be eligible for this approach to work. We construct two suitable inequality systems to demonstrate how this ansatz yields upper bounds for the copersistence index and compare them with Hoa's. One of the two systems leads to an improvement of the bound by an exponential factor. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2310_13431 |
| institution | arXiv |
| publishDate | 2023 |
| record_format | arxiv |
| spellingShingle | Stabilization of associated prime ideals of monomial ideals -- Bounding the copersistence index Heuberger, Clemens Rath, Jutta Rissner, Roswitha Commutative Algebra 13F20, 16W50, 13A02, 90C10, 13B25, 13E05 The sequence $(\operatorname{Ass}(R/I^n))_{n\in\mathbb{N}}$ of associated primes of powers of a monomial ideal $I$ in a polynomial ring $R$ eventually stabilizes by a known result by Markus Brodmann. Lê Tuân Hoa gives an upper bound for the index where the stabilization occurs. This bound depends on the generators of the ideal and is obtained by separately bounding the powers of $I$ after which said sequence is non-decreasing and non-increasing, respectively. In this paper, we focus on the latter and call the smallest such number the copersistence index. We take up the proof idea of Lê Tuân Hoa, who exploits a certain system of inequalities whose solution sets store information about the associated primes of powers of $I$. However, these proofs are entangled with a specific choice for the system of inequalities. In contrast to that, we present a generic ansatz to obtain an upper bound for the copersistence index that is uncoupled from this choice of the system. We establish properties for a system of inequalities to be eligible for this approach to work. We construct two suitable inequality systems to demonstrate how this ansatz yields upper bounds for the copersistence index and compare them with Hoa's. One of the two systems leads to an improvement of the bound by an exponential factor. |
| title | Stabilization of associated prime ideals of monomial ideals -- Bounding the copersistence index |
| topic | Commutative Algebra 13F20, 16W50, 13A02, 90C10, 13B25, 13E05 |
| url | https://arxiv.org/abs/2310.13431 |