Quasi-socle ideals and Goto numbers of parameters

Goto numbers for certain parameter ideals Q in a Noetherian local ring (A,m) with Gorenstein associated graded ring are explored. As an application, the structure of quasi-socle ideals I=Q:m^q (q≥1) in a one-dimensional local complete intersection and the question of when the graded rings are Cohen-Macaulay are studied in the case where the ideals I are integral over Q.     

Hilbert coefficients and Buchsbaumness of associated graded rings

Let A be a Noetherian local ring with the maximal ideal and I an -primary ideal. The purpose of this paper is to generalize Northcott's inequality on Hilbert coefficients of I given in Northcott (J. London Math. Soc. 35 (1960) 209), without assuming that A is a Cohen-Macaulay ring. We will investigate when our inequality turns into an equality. It is related to the Buchsbaumness of the associated graded ring of I.     

A numerical characterization of the S2-ification of a Rees algebra

Let A be a local ring with maximal ideal . For an arbitrary ideal I of A, we define the generalized Hilbert coefficients . When the ideal I is -primary, j_k(I)=(0,…,0,(−1)^ke_k(I)), where e_k(I) is the classical kth Hilbert coefficient of I. Using these coefficients we give a numerical characterization of the homogeneous components of the S₂-ification of S=A[It,t⁻¹], extending previous results obtained by the author to not necessarily -primary ideals.     

Fonction asymptotique de Samuel des sections hyperplanes et multiplicité

Let (A,m_A,k) be a local noetherian ring and I an m_A-primary ideal. The asymptotic Samuel function (with respect to I) : A?R∪{+∞} is defined by , ∀x∈A. Similarly, one defines, for another ideal J, as the minimum of as x varies in J. Of special interest is the rational number . We study the behavior of the asymptotic Samuel function (with respect to I) when passing to hyperplane sections of A as one does for the theory of mixed multiplicities.     

Primary decomposition II: Primary components and linear growth

We study the following properties about primary decomposition over a Noetherian ring R: (1) For finitely generated modules N⊆M and a given subset X={P₁,P₂,…,P_r}⊆Ass(M/N), we define an X-primary component of N?M to be an intersection Q₁∩Q₂∩?∩Q_r for some P_i-primary components Q_i of N⊆M and we study the maximal X-primary components of N⊆M; (2) We give a proof of the ‘linear growth’ property of Ext and Tor, which says that for finitely generated modules N and M, any fixed ideals I₁,I₂,…,I_t of R and any fixed integer i∈N, there exists a k∈N such that for any there exists a primary decomposition of 0 in (or 0 in ) such that every P-primary component Q of that primary decomposition contains (or ), where .     

Generalized local cohomology and the canonical element conjecture

We study a generalization of the Canonical Element Conjecture. In particular we show that given a nonregular local ring (A,m) and an i>0, there exist finitely generated A-modules M such that the canonical map from to is nonzero. Moreover, we show that even when M has an infinite projective dimension and i>dim(A), studying these maps sheds light on the Canonical Element Conjecture.     

Factoring ideals in Prüfer domains

We show that in certain Prüfer domains, each nonzero ideal I can be factored as , where I^v is the divisorial closure of I and is a product of maximal ideals. This is always possible when the Prüfer domain is h-local, and in this case such factorizations have certain uniqueness properties. This leads to new characterizations of the h-local property in Prüfer domains. We also explore consequences of these factorizations and give illustrative examples.     

A uniform Artin-Rees property for syzygies in rings of dimension one and two

Let be a local Noetherian ring, let M be a finitely generated R-module and let I⊂R be an -primary ideal. Let be a free resolution of M. In this paper we study the question whether there exists an integer h such that IⁿF_i∩ker(∂_i)⊂I^n−hker(∂_i) holds for all i. We give a positive answer for rings of dimension at most two. We relate this property to the existence of an integer s such that I^s annihilates the modules for all i>0 and all integers n.     

The Betti polynomials of powers of an ideal

For an ideal I in a regular local ring or a graded ideal I in the polynomial ring we study the limiting behavior of as k goes to infinity. By Kodiyalam’s result it is known that β_i(S/I^k) is a polynomial for large k. We call these polynomials the Kodiyalam polynomials and encode the limiting behavior in their generating polynomial. It is shown that the limiting behavior depends only on the coefficients on the Kodiyalam polynomials in the highest possible degree. For these we exhibit lower bounds in special cases and conjecture that the bounds are valid in general. We also show that the Kodiyalam polynomials have weakly descending degrees and identify a situation where the polynomials all have the highest possible degree.     

On the length equalities for one-dimensional rings

In this article we characterize noetherian local one-dimensional analytically irreducible and residually rational domains (R,m_R) which are non-Gorenstein, the non-negative integer is equal to τ_R-1 and ?(R/(C+xR))=2, where τ_R is the Cohen-Macaulay type of R, C is the conductor of R in the integral closure of R in its quotient field Q(R) and xR is a minimal reduction of m by giving some conditions on the numerical semi-group v(R) of R.     

The Lichtenbaum-Hartshorne theorem for modules which are finite over a ring homomorphism

Let φ:(R,m)→S be a flat ring homomorphism such that mS≠S. Assume that M is a finitely generated S-module with dim_R(M)=d. If the set of support of M has a special property, then it is shown that if and only if for each prime ideal satisfying , we have . This gives a generalization of the Lichtenbaum-Hartshorne vanishing theorem for modules which are finite over a ring homomorphism. Furthermore, we provide two extensions of Grothendieck’s non-vanishing theorem. Applications to connectedness properties of the support are given.     

Ratliff-Rush filtration, regularity and depth of higher associated graded modules: Part I

In this paper we introduce a new technique to study associated graded modules. Let (A,m) be a Noetherian local ring with . Our techniques give a necessary and sufficient condition for for all n?0. Other applications are also included; most notable is an upper bound regarding the Ratliff-Rush filtration.     

Castelnuovo-Mumford regularity for complexes and weakly Koszul modules

Let A be a noetherian AS-regular Koszul quiver algebra (if A is commutative, it is essentially a polynomial ring), and the category of finitely generated graded left A-modules. Following Jørgensen, we define the Castelnuovo-Mumford regularity of a complex in terms of the local cohomologies or the minimal projective resolution of M^•. Let A^! be the quadratic dual ring of A. For the Koszul duality functor , we have . Using these concepts, we interpret results of Martinez-Villa and Zacharia concerning weakly Koszul modules (also called componentwise linear modules) over A^!. As an application, refining a result of Herzog and Römer, we show that if J is a monomial ideal of an exterior algebra E=?〈y₁,…,y_d〉, d≥3, then the (d−2)nd syzygy of E/J is weakly Koszul.     

The inversion formula for automorphisms of the Weyl algebras and polynomial algebras

Let A_n be the nth Weyl algebra and P_m be a polynomial algebra in m variables over a field K of characteristic zero. The following characterization of the algebras {A_n⊗P_m} is proved: an algebraAadmits a finite setδ₁,…,δ_sof commuting locally nilpotent derivations with generic kernels andiffA?A_n⊗P_mfor somenandmwith2n+m=s, and vice versa. The inversion formula for automorphisms of the algebra A_n⊗P_m (and for ) has been found (giving a new inversion formula even for polynomials). Recall that (see [H. Bass, E.H. Connell, D. Wright, The Jacobian Conjecture: Reduction of degree and formal expansion of the inverse, Bull. Amer. Math. Soc. (New Series) 7 (1982) 287-330]) given, then (the proof is algebro-geometric). We extend this result (using [non-holonomic] D-modules): given, then. Any automorphism is determined by its face polynomials [J.H. McKay, S.S.-S. Wang, On the inversion formula for two polynomials in two variables, J. Pure Appl. Algebra 52 (1988) 102-119], a similar result is proved for .One can amalgamate two old open problems (the Jacobian Conjecture and the Dixmier Problem, see [J. Dixmier, Sur les algèbres de Weyl, Bull. Soc. Math. France 96 (1968) 209-242. [6]] problem 1) into a single question, (JD): is aK-algebra endomorphismσ:A_n⊗P_m→A_n⊗P_man algebra automorphism providedσ(P_m)⊆P_mand? (P_m=K[x₁,…,x_m]). It follows immediately from the inversion formula that this question has an affirmative answer iff both conjectures have (see below) [iff one of the conjectures has a positive answer (as follows from the recent papers [Y. Tsuchimoto, Endomorphisms of Weyl algebra and p-curvatures, Osaka J. Math. 42(2) (2005) 435-452. [10]] and [A. Belov-Kanel, M. Kontsevich, The Jacobian conjecture is stably equivalent to the Dixmier Conjecture. ArXiv:math.RA/0512171. [5]])].     

On the rigidity of the cotangent complex at the prime 2

In [D. Quillen, On the (co)homology of commutative rings, Proc. Symp. Pure Math. 17 (1970) 65-87; L. Avramov, Locally complete intersection homomorphisms and a conjecture of Quillen on the vanishing of cotangent homology, Annals of Math. 2 (150) (1999) 455-487] a conjecture was posed to the effect that if R→A is a homomorphism of Noetherian commutative rings then the flat dimension, as defined in the derived category of A-modules, of the associated cotangent complex L_A/R satisfies: . The aim of this paper is to initiate an approach for solving this conjecture when R has characteristic 2 using simplicial algebra techniques. To that end, we obtain two results. First, we prove that the conjecture can be reframed in terms of certain nilpotence properties for the divided square γ₂ and the André operation ? as it acts on Tor_R(A,?), ? any residue field of A. Second, we prove the conjecture is valid in two cases: when and when R is a Cohen-Macaulay ring.     

Strong lifting splits

The concept of an enabling ideal is introduced so that an ideal I is strongly lifting if and only if it is lifting and enabling. These ideals are studied and their properties are described. It is shown that a left duo ring is an exchange ring if and only if every ideal is enabling, that Zhou’s δ-ideal is always enabling, and that the right singular ideal is enabling if and only if it is contained in the Jacobson radical. The notion of a weakly enabling left ideal is defined, and it is shown that a ring is an exchange ring if and only if every left ideal is weakly enabling. Two related conditions, interesting in themselves, are investigated: the first gives a new characterization of δ-small left ideals, and the second characterizes weakly enabling left ideals. As an application (which motivated the paper), let M be an I-semiregular left module where I is an enabling ideal. It is shown that m∈M is I-semiregular if and only if m−q∈IM for some regular element q of M and, as a consequence, that if M is countably generated and IM is δ-small in M, then where for each i.     

Configurations in abelian categories. IV. Invariants and changing stability conditions

This is the last in a series on configurations in an abelian category A. Given a finite poset (I,?), an (I,?)-configuration (σ,ι,π) is a finite collection of objects σ(J) and morphisms ι(J,K) or in A satisfying some axioms, where J,K are subsets of I. Configurations describe how an object X in A decomposes into subobjects.The first paper defined configurations and studied moduli spaces of configurations in A, using Artin stacks. It showed well-behaved moduli stacks ObjA,MA(I,?) of objects and configurations in A exist when A is the abelian category coh(P) of coherent sheaves on a projective scheme P, or mod-KQ of representations of a quiver Q. The second studied algebras of constructible functions and stack functions on ObjA.The third introduced stability conditions(τ,T,?) on A, and showed the moduli space of τ-semistable objects in class α is a constructible subset in ObjA, so its characteristic function is a constructible function. It formed algebras , , , of constructible and stack functions on ObjA, and proved many identities in them.In this paper, if (τ,T,?) and are stability conditions on A we write in terms of the , and deduce the algebras are independent of (τ,T,?). We study invariants or Iss(I,?,κ,τ) ‘counting’ τ-semistable objects or configurations in A, which satisfy additive and multiplicative identities. We compute them completely when A=mod-KQ or A=coh(P) for P a smooth curve. We also find invariants with special properties when A=coh(P) for P a smooth surface with nef, or a Calabi-Yau 3-fold.