Cohen–Macaulay Multi–Rees Algebras

Let A be a local ring, and let I ₁,...,I _r A be ideals of positive height. In this article we compare the Cohen–Macaulay property of the multi–Rees algebra R _A (I ₁,...,I _r ) to that of the usual Rees algebra R _A (I ₁ ··· I _r ) of the product I ₁ ··· I _r . In particular, when the analytic spread of I ₁ ··· I _r is small, this leads to necessary and sufficient conditions for the Cohen–Macaulayness of R _A (I ₁,...,I _r ). We apply our results to the theory of joint reductions and mixed multiplicities.     

Divisorial Linear Algebra of Normal Semigroup Rings

We investigate the minimal number of generators and the depth of divisorial ideals over normal semigroup rings. Such ideals are defined by the inhomogeneous systems of linear inequalities associated with the support hyperplanes of the semigroup. The main result is that for every bound C there exist, up to isomorphism, only finitely many divisorial ideals I such that (I)C. It follows that there exist only finitely many Cohen–Macaulay divisor classes. Moreover, we determine the minimal depth of all divisorial ideals and the behaviour of and depth in arithmetic progressions in the divisor class group.The results are generalized to more general systems of linear inequalities whose homogeneous versions define the semigroup in a not necessarily irredundant way. The ideals arising this way can also be considered as defined by the nonnegative solutions of an inhomogeneous system of linear diophantine equations.We also give a more ring-theoretic approach to the theorem on minimal number of generators of divisorial ideals: it turns out to be a special instance of a theorem on the growth of multigraded Hilbert functions.     

Necessary and Sufficient Conditions for the Cohen–Macaulayness of Blowup Algebras

In this paper we provide a complete characterization for when the Rees algebra and the associated graded ring of a perfect Gorenstein ideal of grade three are Cohen–Macaulay. We also treat the case of second analytic deviation one ideals satisfying some mild assumptions. In another set of results we give criteria for an ideal to be of linear type. Finally, we describe the equations defining the Rees algebras of certain Northcott ideals.     

Rees Algebras of Modules

We study Rees algebras of modules within a fairly general framework.We introduce an approach through the notion of Bourbaki idealsthat allows the use of deformation theory. One can talk aboutthe (essentially unique) generic Bourbaki ideal I(E) of a moduleE which, in many situations, allows one to reduce the natureof the Rees algebra of E to that of its Bourbaki ideal I(E).Properties such as Cohen–Macaulayness, normality and beingof linear type are viewed from this perspective. The known numericalinvariants, such as the analytic spread, the reduction numberand the analytic deviation, of an ideal and its associated algebrasare considered in the case of modules. Corresponding notionsof complete intersection, almost complete intersection and equimultiplemodules are examined in some detail. Special consideration isgiven to certain modules which are fairly ubiquitous becauseinteresting vector bundles appear in this way. For these modulesone is able to estimate the reduction number and other invariantsin terms of the Buchsbaum–Rim multiplicity. 2000 MathematicsSubject Classification 13A30 (primary), 13H10, 13B21 (secondary)     

Hilbert Schemes of Degree Four Curves

In this paper we determine the irreducible components of the Hilbert schemes H _4,g of locally Cohen-Macaulay space curves of degree four and arbitrary arithmetic genus g: there are roughly (g ²/24) of them, most of which are families of multiplicity structures on lines. We give deformations which show that these Hilbert schemes are connected. For g–3 we exhibit a component that is disjoint from the component of extremal curves and use this to give a counterexample to a conjecture of Aït-Amrane and Perrin.     

Local Rings of Bounded Cohen–Macaulay Type

Let be a complete local Cohen–Macaulay (CM) ring of dimension one. It is known that R has finite CM type if and only if R is reduced and has bounded CM type. Here we study the one-dimensional rings of bounded but infinite CM type. We will classify these rings up to analytic isomorphism (under the additional hypothesis that the ring contains an infinite field). In the first section we deal with the complete case, and in the second we show that bounded CM type ascends to and descends from the completion. In the third section we study ascent and descent in higher dimensions and prove a Brauer–Thrall theorem for excellent rings. Presented by J. HerzogMathematics Subject Classifications (2000) 13C05, 13C14, 13H10.     

Auslander-Regular and Cohen–Macaulay Quantum Groups

The quantized enveloping C(q)-algebra U _q (C) associated to a Cartan matirx C is Auslander-regular and Cohen–Macaulay. This is deduced from a general theorem, which also applies to solvable polynomial algebras. The results are obtained by constructing a new filtration keeping the properties of the associated graded algebra of a given multi-filtered algebra.     

Cohen–Macaulayness of Rees Algebras of Modules

Abstract

The notion of quasi-polynomials is very important in the theory of functional identities. For example, results on quasi-polynomials were tools in the solution of long-standing Herstein's Lie map conjectures. In this paper, we show that functional identities involving quasi-polynomial of degree one have only standard solutions on d-free sets.     

Symbolic powers,Serre conditions and Cohen-Macaulay Rees algebras

Summary LetR be a Cohen-Macaulay ring andI an unmixed ideal of heightg which is generically a complete intersection and satisfiesI ⁽ⁿ⁾=Iⁿ for alln≥1. Under what conditions will the Rees algebra be Cohen-Macaulay or have good depth? A series of partial answers to this question is given, relating the Serre condition (S _r ) of the associated graded ring to the depth of the Rees algebra. A useful device in arguments of this nature is the canonical module of the Rees algebra. By making use of the technique of the fundamental divisor, it is shown that the canonical module has the expected form: ω _R[It] ≅(t(1−t) ^g−2). The third author was partially supported by the NSF This article was processed by the author using theLaTex style filecljour1 from Springer-Verlag.     

Covering morphisms

Let (R, m) be a two-dimensional regular local ring and let A be a finitely generated torsion-free R-module. If A is a complete module, then Dan Katz and Vijay Kodiyalam show A satisfies five conditions. They ask whether these five conditions are equivalent without assuming A to be complete. In a previous paper we determined all implications among these five conditions with one exception. In this paper, with an additional hypothesis on the units of R, we resolve the remaining case.     

Tate–Vogel Completions of Half-Exact Functors

We provide a general method to construct the Tate–Vogel homology theory for a general half-exact functor with one variable, aiming at a good generalization of Cohen–Macaulay approximations of modules over commutative Gorenstein rings. For a half exact functor F, using the left and right satellites (S _n and S ⁿ ), we define F (X)=lim S _n S ⁿ F(X) and F (X)=lim S _n S ⁿ F(X), and call F and F the Tate–Vogel completions of F. We provide several properties of F and F , and their relations with the G-dimension and the projective dimension of the functor F. A comparison theorem of Tate–Vogel completions with ordinary Tate–Vogel homologies is proved. If F is a half exact functor over the category of R-modules, where R is a commutative Noetherian local ring inspired by Martsinkovsky's works, we can define the invariants (F) and (F) of F. If F=Ext _R ⁱ (M, ), then they coincide with Martsinkovsky's -invariants and Auslander's delta invariants. Our advantage is that we can consider these invariants for any half exact functors. We also compute these invariants for the local cohomology functors.     

Graded filtrations and ideals of reduction number 2

In this paper, we give a way to construct graded filtrations of graded modules. We then apply it to the Sally module, which describes a correction term of the Hilbert function. As a result, we obtain the inequality of the Hilbert coefficients for ideals of reduction number 2 or 3.     

Steps in the Classification of Cohen–Macaulay Modules Over Singularities of Type xt + y3

Let k be an algebraically closed field of characteristic 3 and i, j, t some positive integers such that 1 i < j < t, i + j t. Then there exist a finite number of nonisomorphic indecomposable maximal Cohen–Macaulay modules N over k[[x, y]] /(x^t + y³) such that N / y N is a direct sum of copies of k[[x]] /(xⁱ), k[[x]] /(x^j) and we describe them completely.     

Normal Ideals and Expected Reduction Numbers #

We give a criterion for normality of certain strongly Cohen-Macaulay ideals, of a regular local ring, having the expected reduction number.     

On the notion of Cohen–Macaulayness for non-Noetherian rings

There exist many characterizations of Noetherian Cohen–Macaulay rings in the literature. These characterizations do not remain equivalent if we drop the Noetherian assumption. The aim of this paper is to provide some comparisons between some of these characterizations in non-Noetherian case. Toward solving a conjecture posed by Glaz, we give a generalization of the Hochster–Eagon result on Cohen–Macaulayness of invariant rings, in the context of non-Noetherian rings.     

On some properties of (fc)-sequences of ideals in local rings

The paper characterizes the length of maximal sequences satisfying conditions (i) and (ii) of (FC)-sequences, and proves some properties of (FC)-sequences, such as a bound on their lengths. As a consequence we get some results for mixed multiplicities and multiplicities of Rees rings of equimultiple ideals. We also prove that if is an ideal of positive height and is an arbitrary maximal sequence in satisfying conditions (i) and (ii) of (FC)-sequences, then is a reduction of

     

Free summands of conormal modules and central elements in homotopy Lie algebras of local rings

If is a surjective local homomorphism with kernel , such that and the conormal module has a free summand of rank , then the degree central subspace of the homotopy Lie algebra of has dimension greater than or equal to . This is a corollary of the Main Theorem of this note. The techniques involved provide new proofs of some well known results concerning the conormal module.

     

The Hilbert Series of Measures of Entanglement for 4 Qubits

We determine the Hilbert series of measures of entanglement for 4 qubits. Various techniques of constructive invariant theory are applied to prove the formula.Mathematics Subject Classifications (2000) 81R99, 14L24, 22E46.Nolan R. Wallach: Research partially supported by an NSF and an ARO grant.