arXiv subjects
Publications and source records attributed to Irena Swanson.
Let R be an excellent local ring, m its maximal ideal and I an ideal. Then there exists a positive integer c such that for all integers n, the integral closure of (I + m^n) is contained in m^(n/c) + the integral closure of I. In the proof, a version of the linear Artin approximation theorem is proved.
This paper investigates the doubly exponential ideal membership property of the Mayr-Meyer ideals from the point of view of their associated primes. A doubly-exponential upper bound on the set of associated primes is proved. In the paper a new family of ideals emerges which also has the doubly exponential ideal membership property. More on the new family can be found in author's paper "A new family of ideals with the doubly exponential ideal membership property".
Mayr and Meyer found ideals with the doubly exponential ideal membership property. In the analysis of the associated primes of these ideals (in math.AC/0209344), a new family of ideals arose. This new family is presented and analyzed in this paper. It is proved that this new family also satisfies the doubly exponential ideal membership property. Furthermore, the set of associated primes of this family can be computed inductively.
We establish new classes of Ratliff-Rush closed ideals and some pathological behavior of the Ratliff-Rush closure. In particular, Ratliff-Rush closure does not behave well under passage modulo superficial elements, taking powers of ideals, associated primes, leading term ideals, and the minimal number of generators. In contrast, the reduction number of the Ratliff-Rush filtration behaves better: it preserves some information on the reduction number of the ideal.
We find explicit bounds on the primary components and on the Castelnuovo-Mumford regularity of powers of monomial ideals. We also analyze the primary decompositions of Katzman's example.
Mayr and Meyer found ideals $J(n,d)$ (in a polynomial ring in $10n+2$ variables over a field $k$ and generators of degree at most $d+2$) with ideal membership property which is doubly exponential in $n$. This paper is a first step in understanding the primary decomposition of these ideals: it is proved here that $J(n,d)$ has $nd^2 + 20$ minimal prime ideals. Also, all the minimal components are computed, and the intersection of the minimal components as well.
This paper gives a complete primary decomposition of the first, that is, the smallest, Mayr-Meyer ideal, its radical, and the intersection of its minimal components. The particular membership problem which makes the Mayr-Meyer ideals' complexity doubly exponential in the number of variables is here examined also for the radical and the intersection of the minimal components. It is proved that for the first Mayr-Meyer ideal the complexity of this membership problem is the same as for its radical. This problem was motivated by a question of Bayer, Huneke and Stillman.