6,337 research outputs found

    An example of an infinite set of associated primes of a local cohomology module

    Get PDF
    Let (R,m)(R,m) be a local Noetherian ring, let IRI\subset R be any ideal and let MM be a finitely generated RR-module. In 1990 Craig Huneke conjectured that the local cohomology modules HIi(M)H^i_I(M) have finitely many associated primes for all ii. In this paper I settle this conjecture by constructing a local cohomology module of a local kk-algebra with an infinite set of associated primes, and I do this for any field kk

    The Hilbert series of algebras of Veronese type

    Get PDF
    This paper gives a fairly explicit formula for the Hilbert series of algebras of Veronese type

    The support of top graded local cohomology modules

    Get PDF
    Let R0R_0 be any domain, let R=R0[U1,...,Us]/IR=R_0[U_1, ..., U_s]/I, where U1,...,UsU_1, ..., U_s are indeterminates of some positive degrees, and IR0[U1,...,Us]I\subset R_0[U_1, ..., U_s] is a homogeneous ideal. The main theorem in this paper is states that all the associated primes of H:=HR+s(R)H:=H^s_{R_+}(R) contain a certain non-zero ideal c(I)c(I) of R0R_0 called the ``content'' of II. It follows that the support of HH is simply V(\content(I)R + R_+) (Corollary 1.8) and, in particular, HH vanishes if and only if c(I)c(I) is the unit ideal. These results raise the question of whether local cohomology modules have finitely many minimal associated primes-- this paper provides further evidence in favour of such a result. Finally, we give a very short proof of a weak version of the monomial conjecture based on these results

    F-stable submodules of top local cohomology modules of Gorenstein rings

    Get PDF
    This paper applies G. Lyubeznik's notion of F-finite modules to describe in a very down-to-earth manner certain annihilator submodules of some top local cohomology modules over Gorenstein rings. As a consequence we obtain an explicit description of the test ideal of Gorenstein rings in terms of ideals in a regular ring

    Parameter test ideals of Cohen Macaulay rings

    Full text link
    We describe an algorithm for computing parameter-test-ideals in certain local Cohen-Macaulay rings. The algorithm is based on the study of a Frobenius map on the injective hull of the residue field of the ring and on the application of Rodney Sharp's notion of ``special ideals''. Our techniques also provide an algorithm for computing indices of nilpotency of Frobenius actions on top local cohomology modules of the ring and on the injective hull of its residue field. The study of nilpotent elements on injective hulls of residue fields also yields a great simplification of the proof of the fact that for a power series ring RR of prime characteristic, for all nonzero fRf\in R, 1/f1/f generates RfR_f as a DRD_R-module.Comment: 16 pages To appear in Compositio Mathematic

    On ideals of minors of matrices with indeterminate entries

    Get PDF
    This paper has two aims. The first is to study ideals of minors of matrices whose entries are among the variables of a polynomial ring. Specifically, we describe matrices whose ideals of minors of a given size are prime. The main result in the first part of this paper is a theorem which gives sufficient conditions for the ideal of minors of a matrix to be prime. This theorem is general enough to include interesting examples, such as the ideal of maximal minors of catalecticant matrices and their generalisations discussed in the second part of the paper. The second aim of this paper is to settle a specific problem raised by David Eisenbud and Frank-Olaf Schreyer on the primary decomposition of an ideal of maximal minors. We solve this problem by applying the theorem above together with some ad-hoc techniques
    corecore