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.     

The minimum distance of sets of points and the minimum socle degree

Let K be a field of characteristic 0. Let be a reduced finite set of points, not all contained in a hyperplane. Let be the maximum number of points of Γ contained in any hyperplane, and let . If I⊂R=K[x₀,…,x_n] is the ideal of Γ, then in Tohaˇneanu (2009) [12] it is shown that for n=2,3, d(Γ) has a lower bound expressed in terms of some shift in the graded minimal free resolution of R/I. In these notes we show that this behavior holds true in general, for any n≥2: d(Γ)≥A_n, where A_n=min{a_i−n} and ⊕_iR(−a_i) is the last module in the graded minimal free resolution of R/I. In the end we also prove that this bound is sharp for a whole class of examples due to Juan Migliore (2010) [10].     

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.     

Pure-injective hulls of modules over valuation rings

If is the pure-injective hull of a valuation ring R, it is proved that is the pure-injective hull of M, for every finitely generated R-module M. Moreover , where (A_k)_1≤k≤n is the annihilator sequence of M. The pure-injective hulls of uniserial or polyserial modules are also investigated. Any two pure-composition series of a countably generated polyserial module are isomorphic.     

Finiteness of graded local cohomology modules

Let R=?_n∈N0R_n be a Noetherian homogeneous ring with local base ring (R₀,m₀) and irrelevant ideal R₊, let M be a finitely generated graded R-module. In this paper we show that is Artinian and is Artinian for each i in the case where R₊ is principal. Moreover, for the case where , we prove that, for each i∈N₀, is Artinian if and only if is Artinian. We also prove that is Artinian, where and c is the cohomological dimension of M with respect to R₊. Finally we present some examples which show that and need not be Artinian.     

Computing the minimal number of equations defining an affine curve ideal-theoretically

There is an algorithm which computes the minimal number of generators of the ideal of a reduced curve C in affine n-space over an algebraically closed field K, provided C is not a local complete intersection.The existence of such an algorithm follows from the fact that given , there exists , such that if is a height n−1 radical ideal in K[X₁,…,X_n], generated by polynomials of degree at most d, then admits a set of generators of minimal cardinality, with each generator having degree at most d′, except possibly when is an (unmixed) local complete intersection.     

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.     

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 .     

Algebraic series and valuation rings over nonclosed fields

Suppose that k is an arbitrary field. Let k[[x₁,…,x_n]] be the ring of formal power series in n variables with coefficients in k. Let be the algebraic closure of k and . We give a simple necessary and sufficient condition for σ to be algebraic over the quotient field of k[[x₁,…,x_n]]. We also characterize valuation rings V dominating an excellent Noetherian local domain R of dimension 2, and such that the rank increases after passing to the completion of a birational extension of R. This is a generalization of the characterization given by M. Spivakovsky [Valuations in function fields of surfaces, Amer. J. Math. 112 (1990) 107–156] in the case when the residue field of R is algebraically closed.     

Stanley-Reisner rings and the radicals of lattice ideals

In this article we associate to every lattice ideal I_L,ρ⊂K[x₁,…,x_m] a cone σ and a simplicial complex Δ_σ with vertices the minimal generators of the Stanley-Reisner ideal of σ. We assign a simplicial subcomplex Δ_σ(F) of Δ_σ to every polynomial F. If F₁,…,F_s generate I_L,ρ or they generate rad(I_L,ρ) up to radical, then is a spanning subcomplex of Δ_σ. This result provides a lower bound for the minimal number of generators of I_L,ρ which improves the generalized Krull's principal ideal theorem for lattice ideals. But mainly it provides lower bounds for the binomial arithmetical rank and the A-homogeneous arithmetical rank of a lattice ideal. Finally, we show by a family of examples that the given bounds are sharp.     

Nodal and positive solutions for singular semilinear elliptic equations with critical exponents in symmetric domains

In this paper, we consider the semilinear elliptic problem in Ω, u=0 on ∂Ω, where Ω is a smooth bounded domain in RN, N?4, , is the critical Sobolev exponent, K(x) is a continuous function. When Ω and K(x) are invariant under a group of orthogonal transformations, we prove the existence of nodal and positive solutions for 0<λ<λ₁, where λ₁ is the first Dirichlet eigenvalue of on Ω.     

On Brown’s constant associated with irreducible polynomials over henselian valued fields

Let v be a henselian valuation of arbitrary rank of a field K and be the prolongation of v to the algebraic closure of K with value group . In 2008, Ron Brown gave a class P of monic irreducible polynomials over K such that to each g(x) belonging to P, there corresponds a smallest constant λ_g belonging to (referred to as Brown’s constant) with the property that whenever is more than λ_g with K(β) a tamely ramified extension of (K,v), then K(β) contains a root of g(x). In this paper, we determine explicitly this constant besides giving an important property of λ_g without assuming that K(β)/K is tamely ramified.     

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.     

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.