The multiplier ideals of a sum of ideals

We prove that if , are nonzero sheaves of ideals on a complex smooth variety , then for every we have the following relation between the multiplier ideals of , and :

A similar formula holds for the asymptotic multiplier ideals of the sum of two graded systems of ideals.

We use this result to approximate at a given point arbitrary multiplier ideals by multiplier ideals associated to zero dimensional ideals. This is applied to compare the multiplier ideals associated to a scheme in different embeddings.

     

On the regularity of -Borel ideals

In this paper we prove Pardue's conjecture on the regularity of principal -Borel ideals. As a consequence we obtain an upper bound for the regularity of general -Borel ideals.

     

On the number of generators of Cohen-Macaulay ideals

Several bounds on the number of generators of Cohen-Macaulay ideals known in the literature follow from a simple inequality which bounds the number of generators of such ideals in terms of mixed multiplicities. Results of Cohen and Akizuki, Abhyankar, Sally, Rees and Boratynski-Eisenbud-Rees are deduced very easily from this inequality.

     

A characterization of an order ideal in Riesz spaces

In this paper we give a characterization of order ideals in Riesz spaces.

     

A simple proof of some generalized principal ideal theorems

Using symmetric algebras we simplify and slightly strengthen the Bruns-Eisenbud-Evans ``generalized principal ideal theorem' on the height of order ideals of nonminimal generators in a module. We also obtain a simple proof and an extension of a result by Kwiecinski, which estimates the height of certain Fitting ideals of modules having an equidimensional symmetric algebra.

     

Multiplier ideals of hyperplane arrangements

In this note we compute multiplier ideals of hyperplane arrangements. This is done using the interpretation of multiplier ideals in terms of spaces of arcs by Ein, Lazarsfeld, and Mustata (2004).

     

Convex polytopes all of whose reverse lexicographic initial ideals are squarefree

A compressed polytope is an integral convex polytope any of whose reverse lexicographic initial ideals is squarefree. A sufficient condition for a -polytope to be compressed will be presented. One of its immediate consequences is that the class of compressed -polytopes includes (i) hypersimplices, (ii) order polytopes of finite partially ordered sets, and (iii) stable polytopes of perfect graphs.

     

Curves on normal surfaces

We study locally Cohen-Macaulay space curves lying on normal surfaces. We prove some theorems on the behaviour of the cohomology functions and initial ideals of such space curves, which give a basic distinction between those curves and curves lying on non-normal surfaces.

     

Smooth ideals in hyperelliptic function fields

Recently, several algorithms have been suggested for solving the discrete logarithm problem in the Jacobians of high-genus hyperelliptic curves over finite fields. Some of them have a provable subexponential running time and are using the fact that smooth reduced ideals are sufficiently dense. We explicitly show how these density results can be derived. All proofs are purely combinatorial and do not exploit analytic properties of generating functions.

     

A tropical nullstellensatz

We suggest a version of Nullstellensatz over the tropical semiring, the real numbers equipped with operations of maximum and summation.

     

Ultrastability of ideals of homogeneous polynomials and multilinear mappings on Banach spaces

Using the theory of full and symmetric tensor norms on normed spaces, a theorem of Kürsten and Heinrich on ultrastability and maximality of normed operator ideals is extended to ideals of -homogeneous polynomials and -linear mappings--scalar-valued and vector-valued. The motivation for these results is the following important special case: the ``uniterated' Aron-Berner extension : of an -homogeneous polynomial to the bidual remains in certain ideals under preservation of the norm. Moreover, Lotz's characterization of maximal normed ideals of linear mappings through appropriate tensor norms is proved for ideals of -homogeneous scalar-valued polynomials and ideals of -linear mappings.

     

Core and residual intersections of ideals

D. Rees and J. Sally defined the core of an -ideal as the intersection of all (minimal) reductions of . However, it is not easy to give an explicit characterization of it in terms of data attached to the ideal. Until recently, the only case in which a closed formula was known is the one of integrally closed ideals in a two-dimensional regular local ring, due to C. Huneke and I. Swanson. The main result of this paper explicitly describes the core of a broad class of ideals with good residual properties in an arbitrary local Cohen-Macaulay ring. We also find sharp bounds on the number of minimal reductions that one needs to intersect to get the core.

     

A note on Mustaţă's computation of multiplier ideals of hyperplane arrangements

In 2006, M. Mustaţă used jet schemes to compute the multiplier ideals of reduced hyperplane arrangements. We give a simpler proof using a log resolution and generalize to non-reduced arrangements. By applying the idea of wonderful models introduced by De Concini-Procesi in 1995, we also simplify the result. Indeed, Mustaţă's result expresses the multiplier ideal as an intersection, and our result uses (generally) fewer terms in the intersection.

     

Primary Ideals and Valuation Ideals in Semigroups

Let S be a cancellation torsion-free additive semigroup with identity 0 and let S {0}. We consider the relation between the valuation ideals and primary ideals of S. We give a characterization that each primary ideal is a valuation ideal in S and also give a characterization that each valuation ideal is a primary ideal in S.AMS Subject Classification (1991): 20M14     

The Integral Closure of Ideals in ℂ{x,y}

Abstract

We give some techniques to determine the ideal K _I generated by the monomials x ^{k ₁} y ^{k ₂} belonging to the integral closure ī of an ideal I ? ?{x, y}. We also give a sufficient condition for a weighted homogeneous ideal I ? ?{x, y} to satisfy the relation ī = I + K _I .     

The Analytic Spread of Monomial Ideals

Abstract

We compute the analytic spread of a monomial ideal I of the ring ?[[x ₁,…,x _n ]] in terms of the Newton polyhedron of I.     

Generalized bi-circular projections on minimal ideals of operators

We characterize generalized bi-circular projections on a minimal norm ideal of operators in where is a separable infinite dimensional Hilbert space.

     

Polynomial interpolation, ideals and approximation order of multivariate refinable functions

The paper identifies the multivariate analog of factorization properties of univariate masks for compactly supported refinable functions, that is, the ``zero at '-property, as containment of the mask polynomial in an appropriate quotient ideal. In addition, some of these quotient ideals are given explicitly.

     

The ideal envelope of an operator algebra

A left ideal of any -algebra is an example of an operator algebra with a right contractive approximate identity (r.c.a.i.). Conversely, we show here that operator algebras with a r.c.a.i. should be studied in terms of a certain left ideal of a -algebra. We study operator algebras and their multiplier algebras from the perspective of ``Hamana theory' and using the multiplier algebras introduced by the first author.

     

Tight closure commutes with localization in binomial rings

It is proved that tight closure commutes with localization in any domain which has a module finite extension in which tight closure is known to commute with localization. It follows that tight closure commutes with localization in binomial rings, in particular in semigroup or toric rings.