Minimal free resolution of the associated graded ring of monomial curves of generalized arithmetic sequences

Let A(C) be the coordinate ring of a monomial curve C⊆Aⁿ corresponding to the numerical semigroup S minimally generated by a sequence a₀,…,a_n. In the literature, little is known about the Betti numbers of the corresponding associated graded ring gr_m(A) with respect to the maximal ideal m of A=A(C). In this paper we characterize the numerical invariants of a minimal free resolution of gr_m(A) in the case a₀,…,a_n is a generalized arithmetic sequence.     

On universally catenarian pairs

If 1≤n<∞ and R⊆S are integral domains, then (R,S) is called an n-catenarian pair if for each intermediate ring T (that is each ring T such that R⊆T⊆S) the polynomial ring in n indeterminates, T[n] is catenarian. This implies that (R,S) is m-catenarian for all m<n. The main purpose of this paper is to prove that 1-catenarian and universally catenarian pairs are equivalent in several cases. An example of a 1-catenarian pair which is not 2-catenarian is given.     

On questions related to saturated chains of primes in polynomial rings

We propose to give positive answers to the open questions: is R(X,Y) strong S when R(X) is strong S? is R stably strong S (resp., universally catenary) when R[X] is strong S (resp., catenary)? in case R is obtained by a (T,I,D) construction. The importance of these results is due to the fact that this type of ring is the principal source of counterexamples. Moreover, we give an answer to the open questions: is R〈X₁,…,X_n〉 residually Jaffard (resp., totally Jaffard) when R(X₁,…,X_n) is ? We construct a three-dimensional local ring R such that R(X₁,…,X_n) is totally Jaffard (and hence, residually Jaffard) whereas R〈X₁,…,X_n〉 is not residually Jaffard (and hence, not totally Jaffard).     

Indecomposable modules over one-dimensional Noetherian rings

In this article we consider finitely generated torsion-free modules over certain one-dimensional commutative Noetherian rings R. We assume there exists a positive integer N_R such that, for every indecomposable R-module M and for every minimal prime ideal P of R, the dimension of M_P, as a vector space over the field R_P, is less than or equal to N_R. If a nonzero indecomposable R-module M is such that all the localizations M_P as vector spaces over the fields R_P have the same dimension r, for every minimal prime P of R, then r=1,2,3,4 or 6. Let n be an integer ≥8. We show that if M is an R-module such that the vector space dimensions of the M_P are between n and 2n−8, then M decomposes non-trivially. For each n≥8, we exhibit a semilocal ring and an indecomposable module for which the relevant dimensions range from n to 2n−7. These results require a mild equicharacteristic assumption; we also discuss bounds in the non-equicharacteristic case.     

Set theoretic complete intersection for curves in a smooth affine algebra

Let A be a regular ring of dimension d (d≥3) containing an infinite field k. Let n be an integer such that 2n≥d+3. Let I be an ideal in A of height n and P be a projective A-module of rank n. Suppose P⊕A≈Aⁿ⁺¹ and there is a surjection α: P→I. It is proved in this note that I is a set theoretic complete intersection ideal. As a consequence, a smooth curve in a smooth affine C-algebra with trivial conormal bundle is a set theoretic complete intersection if its corresponding class in the Grothendieck group is torsion.     

Note on bounds for multiplicities

Let S=K[x₁,…,x_n] be a polynomial ring and R=S/I be a graded K-algebra where I⊂S is a graded ideal. Herzog, Huneke and Srinivasan have conjectured that the multiplicity of R is bounded above by a function of the maximal shifts in the minimal graded free resolution of R over S. We prove the conjecture in the case that codim(R)=2 which generalizes results in (J. Pure Appl. Algebra 182 (2003) 201; Trans. Amer. Math. Soc. 350 (1998) 2879). We also give a proof for the bound in the case in which I is componentwise linear. For example, stable and squarefree stable ideals belong to this class of ideals.     

Mod 2 indecomposable orthogonal invariants

Over an algebraically closed base field k of characteristic 2, the ring R^G of invariants is studied, G being the orthogonal group O(n) or the special orthogonal group SO(n) and acting naturally on the coordinate ring R of the m-fold direct sum kⁿ⊕?⊕kⁿ of the standard vector representation. It is proved for O(n) (n?2) and for SO(n) (n?3) that there exist m-linear invariants with m arbitrarily large that are indecomposable (i.e., not expressible as polynomials in invariants of lower degree). In fact, they are explicitly constructed for all possible values of m. Indecomposability of corresponding invariants over immediately follows. The constructions rely on analysing the Pfaffian of the skew-symmetric matrix whose entries above the diagonal are the scalar products of the vector variables.     

On the asymptotic properties of the Rees powers of a module

Let R be a commutative ring and G a free R-module with finite rank e>0. For any R-submodule E⊂G one may consider the image of the symmetric algebra of E by the natural map to the symmetric algebra of G, and then the graded components E_n, n≥0, of the image, that we shall call the n-th Rees powers of E (with respect to the embedding E⊂G). In this work we prove some asymptotic properties of the R-modules E_n, n≥0, which extend well known similar ones for the case of ideals, among them Burch’s inequality for the analytic spread.     

Torus quotients of homogeneous spaces

We study torus quotients of principal homogeneous spaces. We classify the Grassmannians for which semi-stable=stable and as an application we construct smooth projective varieties as torus quotients of certain homogeneous spaces. We prove the finiteness of the ring ofT invariants of the homogeneous co-ordinate ring of the GrassmannianG _2,n (n odd) over the ring generated byR ₁, the first graded part of the ring ofT invariants.     

Some stably tame polynomial automorphisms

We study the structure of length three polynomial automorphisms of R[X,Y] when R is a UFD. These results are used to prove that if SL_m(R[X₁,X₂,…,X_n])=E_m(R[X₁,X₂,…,X_n]) for all n≥0 and for all m≥3 then all length three polynomial automorphisms of R[X,Y] are stably tame.     

On the kernels of some higher derivations in polynomial rings

Let A=R[x₁,…,x_n] be the polynomial ring in n variables over an integral domain R with unit, let D be a rational higher R-derivation on A and let be the extension of D to the quotient field of A. We prove that, if the transcendental degree of the kernel of D over R is not less than n−1, then the quotient field of the kernel of D equals the kernel of . Moreover, when n=2, we give a necessary and sufficient condition for an R-subalgebra of A to be expressed as the kernel of a rational higher R-derivation on A.     

Rings of matrix invariants in positive characteristic

Denote by R_n,m the ring of invariants of m-tuples of n×n matrices (m,n?2) over an infinite base field K under the simultaneous conjugation action of the general linear group. When char(K)=0, Razmyslov (Izv. Akad. Nauk SSSR Ser. Mat. 38 (1974) 723) and Procesi (Adv. Math. 19 (1976) 306) established a connection between the Nagata-Higman theorem and the degree bound for generators of R_n,m. We extend this relationship to the case when the base field has positive characteristic. In particular, we show that if 0<char(K))?n, then R_n,m is not generated by its elements whose degree is smaller than m. A minimal system of generators of R_2,m is determined for the case char(K)=2: it consists of 2^m+m−1 elements, and the maximum of their degrees is m. We deduce a consequence indicating that the theory of vector invariants of the special orthogonal group in characteristic 2 is not analogous to the case char(K)≠2. We prove that the characterization of the R_n,m that are complete intersections, known before when char(K)=0, is valid for any infinite K. We give a Cohen-Macaulay presentation of R_2,4, and analyze the difference between the cases char(K)=2 and char(K)≠2.     

3-standardness of the maximal ideal

We study a notion called n-standardness (defined by M.E. Rossi (2000) in [10] and extended in this paper) of ideals primary to the maximal ideal in a Cohen-Macaulay local ring and some of its consequences. We further study conditions under which the maximal ideal is 3-standard, first proving results for when the residue field has prime characteristic and then using the method of reduction to prime characteristic to extend the results to the equicharacteristic 0 case. As an application, we extend a result due to T. Puthenpurakal (2005) [9] and show that a certain length associated with a minimal reduction of the maximal ideal does not depend on the minimal reduction chosen.     

On the multiplicity and the Cohen-Macaulayness of fiber cones of graded algebras

Let A be a Noetherian local ring with the maximal ideal m and an m-primary ideal J. Let S=?_n≥0S_n be a finitely generated standard graded algebra over A. Set S⁺=?_n>0S_n. Denote by F_J(S)=?_n≥0→(S_n/JS_n) the fiber cone of S with respect to J. The paper characterizes the multiplicity and the Cohen-Macaulayness of F_J(S) in terms of minimal reductions of S⁺.     

On the multigraded Hilbert and Poincaré-Betti series and the Golod property of monomial rings

In this paper we study the multigraded Hilbert and Poincaré-Betti series of A=S/a, where S is the ring of polynomials in n indeterminates divided by the monomial ideal a. There is a conjecture about the multigraded Poincaré-Betti series by Charalambous and Reeves which they proved in the case where the Taylor resolution is minimal. We introduce a conjecture about the minimal A-free resolution of the residue class field and show that this conjecture implies the conjecture of Charalambous and Reeves and, in addition, gives a formula for the Hilbert series. Using Algebraic Discrete Morse theory, we prove that the homology of the Koszul complex of A with respect to x₁,…,x_n is isomorphic to a graded commutative ring of polynomials over certain sets in the Taylor resolution divided by an ideal r of relations. This leads to a proof of our conjecture for some classes of algebras A. We also give an approach for the proof of our conjecture via Algebraic Discrete Morse theory in the general case.The conjecture implies that A is Golod if and only if the product (i.e. the first Massey operation) on the Koszul homology is trivial. Under the assumption of the conjecture we finally prove that a very simple purely combinatorial condition on the minimal monomial generating system of a implies Golodness for A.     

Derivations of polynomial algebras without Darboux polynomials

We present several new examples of homogeneous derivations of a polynomial ring k[X]=k[x₁,…,x_n] over a field k of characteristic zero without Darboux polynomials. Using a modification of a result of Shamsuddin, we produce these examples by induction on the number n of variables, thus more easily than the previously known example multidimensional Jouanolou systems of ?o?a?dek.     

The limiting behavior on the restriction of divisor classes to hypersurfaces

Let A be an excellent local normal domain and {f_n}_n=1^∞ a sequence of elements lying in successively higher powers of the maximal ideal, such that each hypersurface A/f_nA satisfies R₁. We investigate the injectivity of the maps Cl(A)→Cl((A/f_nA)′), where (A/f_nA)′ represents the integral closure. The first result shows that no non-trivial divisor class can lie in every kernel. Secondly, when A is, in addition, an isolated singularity containing a field of characteristic zero, dim A?4, and A has a small Cohen-Macaulay module, then we show that there is an integer N>0 such that if , then Cl(A)→Cl((A/f_nA)′) is injective. We substantiate these results with a general construction that provides a large collection of examples.     

An algorithm for unimodular completion over Laurent polynomial rings

We present a new and simple algorithm for completion of unimodular vectors with entries in a multivariate Laurent polynomial ring over an infinite field K. More precisely, given n?3 and a unimodular vector V=^t(v₁,…,v_n)∈Rⁿ (that is, such that 〈v₁,…,v_n〉=R), the algorithm computes a matrix M in M_n(R) whose determinant is a monomial such that MV=^t(1,0,…,0), and thus M^-1 is a completion of V to an invertible matrix.     

Primitive divisors of some Lehmer-Pierce sequences

We study primitive prime divisors of the terms of Δ(u)=(Δn(u))_n?1, where Δn(u)=NK/Q(un−1) for K a real quadratic field, and u a unit element of its ring of integers. The methods used allow us to find the terms of the sequence that do not have a primitive prime divisor.