Complexity of the normalization of algebras

We introduce and develop new techniques to study the complexity of normalization processes of graded algebras. The construction of a new degree function on graded modules, with a global nature, permits a broad extension of recent bounds for the length of the chains of subalgebras that general algorithms must transverse to build the integral closure, particularly of blowup algebras. It achieves this by relating the values of the new degree with invariants of the algebra known ab initio. As a by-product, it reveals new inequalities among Hilbert coefficients. The second author was partially supported by the NSF.     

On the integral closure of ideals

Among the several types of closures of an idealI that have been defined and studied in the past decades, the integral closureĪ has a central place being one of the earliest and most relevant. Despite this role, it is often a difficult challenge to describe it concretely once the generators ofI are known. Our aim in this note is to show that in a broad class of ideals their radicals play a fundamental role in testing for integral closedness, and in caseI ≠Ī, ✓I is still helpful in finding some fresh new elements inĪ/I. Among the classes of ideals under consideration are: complete intersection ideals of codimension two, generic complete intersection ideals, and generically Gorenstein ideals. Part of the results contained in this paper were obtained while the first author was visiting Rutgers University and was partially supported by CNR grant 203.01.63, Italy. The second and third authors were partially supported by the NSF. This article was processed by the author using the LAT_EX style filecljour1 from Springer-Verlag     

On the integral closure of ideals

Among the several types of closures of an ideal I that have been defined and studied in the past decades, the integral closure has a central place being one of the earliest and most relevant. Despite this role, it is often a difficult challenge to describe it concretely once the generators of I are known. Our aim in this note is to show that in a broad class of ideals their radicals play a fundamental role in testing for integral closedness, and in case , is still helpful in finding some fresh new elements in . Among the classes of ideals under consideration are: complete intersection ideals of codimension two, generic complete intersection ideals, and generically Gorenstein ideals. Received: 28 July 1997     

On certain finite-dimensional algebras generated by two idempotents

This paper is concerned with algebras generated by two idempotents P and Q satisfying (PQ)^m=(QP)^m and (PQ)^m-1≠(QP)^m-1. The main result is the classification of all these algebras, implying that for each m?2 there exist exactly eight nonisomorphic copies. As an application, it is shown that if an element of such an algebra has a nondegenerate leading term, then it is group invertible, and a formula for the explicit computation of the group inverse is given.     

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 equations defining Veronese rings

For a standard graded noetherian algebra S that is of weakly linear type, the defining equations of the Veronesian subrings S^(d) are described explicitly, for d sufficiently large. Received: 19 January 2005     

Buchsbaum homogeneous algebras with minimal multiplicity

In this paper we first give a lower bound on multiplicities for Buchsbaum homogeneous k-algebras A in terms of the dimension d, the codimension c, the initial degree q, and the length of the local cohomology modules of A. Next, we introduce the notion of Buchsbaum k-algebras with minimal multiplicity of degree q, and give several characterizations for those rings. In particular, we will show that those algebras have linear free resolutions. Further, we will give many examples of those algebras.     

Series like Taylor's series

A theorem and some examples are given concerning the convergence, in a space of generalized functions, of power series whose terms contain successive derivatives of a given function. One example is the Euler-Maclaurin sum formula, where there are some novelties.     

Universal central extension and the second invariant of homology of crossed modules in lie algebras

In this paper we show that the kernel of the universal central extension of a crossed module in Lie algebras is the second invariant of this crossed module. As a consequence of this result we obtain a recognition criterion for universal central extensions and a vanishing situation of two invariants associated to a crossed module in Lie algebras.     

Essential spectra of spectral operators

The various essential spectra of a linear operator have been surveyed byB. Gramsch andD. Lay [4]. In this paper we characterize the essential spectra and the related quantities nullity, defect, ascent and descent of bounded spectral operators. It is shown that a number of these spectra coincide in the case of a spectral or a scalar type operator. Some results known for normal operators in Hilbert space are extended to spectral operators in Banach space.     

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.     

The multiplicity and the Cohen-Macaulayness of extended Rees algebras of equimultiple ideals

Let I be an equimultiple ideal of Noetherian local ring A. This paper gives some multiplicity formulas of the extended Rees algebras T=A[It,t^-1]. In the case A generalized Cohen-Macaulay, we determine when T is Cohen-Macaulay and as an immediate consequence we obtain e.g., some criteria for the Cohen-Macaulayness of Rees algebra R(I) over a Cohen-Macaulay ring in terms of reduction numbers and ideals.     

Subalgebras of closure algebras

Closure algebras have been intensively studied in literature ([2], [3], [11], ...) but, up to now, little interest has been devoted to subalgebras of closure algebras. In this paper, the methods of [16] are adapted to characterize closure algebras with a distributive, or a Boolean, subalgebra lattice.     

Improving the bounds of the multiplicity conjecture: The codimension 3 level case

The Multiplicity Conjecture (MC) of Huneke and Srinivasan provides upper and lower bounds for the multiplicity of a Cohen-Macaulay algebra A in terms of the shifts appearing in the modules of the minimal free resolution (MFR) of A. All the examples studied so far have lead to conjecture (see [J. Herzog, X. Zheng, Notes on the multiplicity conjecture. Collect. Math. 57 (2006) 211-226] and [J. Migliore, U. Nagel, T. Römer, Extensions of the multiplicity conjecture, Trans. Amer. Math. Soc. (preprint: math.AC/0505229) (in press)]) that, moreover, the bounds of the MC are sharp if and only if A has a pure MFR. Therefore, it seems a reasonable-and useful-idea to seek better, if possibly ad hoc, bounds for particular classes of Cohen-Macaulay algebras.In this work we will only consider the codimension 3 case. In the first part we will stick to the bounds of the MC, and show that they hold for those algebras whose h-vector is that of a compressed algebra.In the second part, we will (mainly) focus on the level case: we will construct new conjectural upper and lower bounds for the multiplicity of a codimension 3 level algebra A, which can be expressed exclusively in terms of the h-vector of A, and which are better than (or equal to) those provided by the MC. Also, our bounds can be sharp even when the MFR of A is not pure.Even though proving our bounds still appears too difficult a task in general, we are already able to show them for some interesting classes of codimension 3 level algebras A: namely, when A is compressed, or when its h-vector h(A) ends with (…,3,2). Also, we will prove our lower bound when h(A) begins with (1,3,h₂,…), where h₂≤4, and our upper bound when h(A) ends with (…,h_c−1,h_c), where h_c−1≤h_c+1.