On the Castelnuovo-Mumford regularity and the arithmetic degree of monomial ideals

In the first part of this paper we show that the Castelnuovo-Mumford regularity of a monomial ideal is bounded above by its arithmetic degree. The second part gives upper bounds for the Castelnuovo-Mumford regularity and the arithmetic degree of a monomial ideal in terms of the degrees of its generators. These bounds can be formulated for an arbitrary homogeneous ideal in terms of any Gröbner basis.     

Comparing Castelnuovo-Mumford regularity and extended degree: The borderline cases

Castelnuovo-Mumford regularity and any extended degree function can be thought of as complexity measures for the structure of finitely generated graded modules. A recent result of Doering, Gunston, and Vasconcelos shows that both can be compared in the case of a graded algebra. We extend this result to modules and analyze when the estimate is in fact an equality. A complete classification is obtained if we choose as extended degree the homological or the smallest extended degree. The corresponding algebras are characterized in three ways: by relations among the algebra generators, by using generic initial ideals, and by their Hilbert series.

     

Generic projections, the equations defining projective varieties and Castelnuovo regularity

For a reduced, irreducible projective variety X of degree d and codimension e in the Castelnuovo-Mumford regularity is defined as the least k such that X is k-regular, i.e., for , where is the sheaf of ideals of X. There is a long standing conjecture about k-regularity (see [5]): . Here we show that for any smooth fivefold and for any smooth sixfold by extending methods used in [10]. Furthermore, we give a bound for the regularity of a reduced, connected and equidimensional locally Cohen-Macaulay curve or surface in terms of degree d, codimension e and an arithmetic genus (see Theorem 4.1). Received November 12, 1998; in final form May 4, 1999     

Arithmetically Buchsbaum divisors on varieties of minimal degree

In this paper we consider integral arithmetically Buchsbaum subschemes of projective space. First we show that arithmetical Buchsbaum varieties of sufficiently large degree have maximal Castelnuovo-Mumford regularity if and only if they are divisors on a variety of minimal degree. Second we determine all varieties of minimal degree and their divisor classes which contain an integral arithmetically Buchsbaum subscheme. Third we investigate these varieties. In particular, we compute their Hilbert function, cohomology modules and (often) their graded Betti numbers and obtain an existence result for smooth arithmetically Buchsbaum varieties.

     

Regularity of lex-segment ideals: Some closed formulas and applications

A closed formula for computing the regularity of the lex-segment ideal in terms of the Hilbert function is given. This regularity bounds the one of any ideal with the same Hilbert function. As a consequence, we give explicit expressions to bound the regularity of a projective scheme in terms of the coefficients of the Hilbert polynomial.

We also characterize, in terms of their coefficients, which polynomials are Hilbert polynomials of some projective scheme.

Finally, we provide some applications to estimates for the maximal degree of generators of Gröbner bases in terms of the degrees of defining equations.

     

Castelnuovo-Mumford regularity by approximation

The Castelnuovo-Mumford regularity of a module gives a rough measure of its complexity. We bound the regularity of a module given a system of approximating modules whose regularities are known. Such approximations can arise naturally for modules constructed by inductive combinatorial means. We apply these methods to bound the regularity of ideals constructed as combinations of linear ideals and the module of derivations of a hyperplane arrangement as well as to give degree bounds for invariants of finite groups.     

Fourier expansion of Eisenstein series on the Hilbert modular group and Hilbert class fields

In this paper we consider the Eisenstein series for the Hilbert modular group of a general number field. We compute the Fourier expansion at each cusp explicitly. The Fourier coefficients are given in terms of completed partial Hecke -series, and from their functional equations, we get the functional equation for the Eisenstein vector. That is, we identify the scattering matrix. When we compute the determinant of the scattering matrix in the principal case, the Dedekind -function of the Hilbert class field shows up. A proof in the imaginary quadratic case was given in Efrat and Sarnak, and for totally real fields with class number one a proof was given in Efrat.

     

A bound for the Castelnuovo-Mumford regularity of log canonical varieties

In this note, we give a bound for the Castelnuovo-Mumford regularity of a homogeneous ideal I in terms of the degrees of its generators. We assume that I defines a local complete intersection with log canonical singularities.     

A syzygetic approach to the smoothability of zero-dimensional schemes

We consider the question of which zero-dimensional schemes deform to a collection of distinct points; equivalently, we ask which Artinian k-algebras deform to a product of fields. We introduce a syzygetic invariant which sheds light on this question for zero-dimensional schemes of regularity two. This invariant imposes obstructions for smoothability in general, and it completely answers the question of smoothability for certain zero-dimensional schemes of low degree. The tools of this paper also lead to other results about Hilbert schemes of points, including a characterization of nonsmoothable zero-dimensional schemes of minimal degree in every embedding dimension d?4.     

Gradient estimate in terms of a Hilbert-like distance,for minimal surfaces and Chaplygin gas

We consider a quasilinear elliptic boundary value-problem with homogenenous Dirichlet condition. The data are a convex planar domain. The gradient estimate is needed to ensure the uniform ellipticity, before applying regularity theory. We establish this estimate in terms of a distance, which is equivalent to the Hilbert metric.

This fills the proof of existence and uniqueness of a solution to this BVP (boundary-value problem), when the domain is only convex but not strictly, for instance if it is a polygon.     

FINITENESS OF HILBERT FUNCTIONS FOR GENERALIZED COHEN–MACAULAY MODULES

We give effective bounds on the higher Hilbert coefficients of finitely generated modules over Noetherian local rings (A, m) with respect to m-primary ideals, in terms of the multiplicity, dimension and the lengths of local cohomology modules. We similarly bound the Castelnuovo–Mumford regularity of the associated Rees modules.     

Interpolating inequalities related to a recent result of Audenaert

Audenaert recently obtained an inequality for unitarily invariant norms that interpolates between the arithmetic–geometric mean inequality and the Cauchy–Schwarz inequality for matrices. A refined version of Audenaert’s inequality for the Hilbert–Schmidt norm is given. Other interpolating inequalities for unitarily invariant norms are also presented.     

Boundary sets in the Hilbert cube

We study properties of those σZ-sets in the Hilbert cube whose complements are homeomorphic to Hilbert space. A characterization of such sets is obtained in terms of a proximate local connectedness property and a dense imbedding condition. Some examples and applications are given, including the formulation of a tower condition useful for recognizing (f-d) cap sets.     

Hilbert Modular Threefolds of Arithmetic Genus One

In 1981, Weisser proved that there are exactly four Galois cubic number fields with Hilbert modular threefolds of arithmetic genus one. In this paper, we extend Weisser's work to cover all cubic number fields. Our main result is that there are exactly 33 fields with Hilbert modular threefolds of arithmetic genus one. These fields are enumerated explicitly.     

Sharp bounds on Castelnuovo-Mumford regularity

The Castelnuovo-Mumford regularity is one of the most important invariants in studying the minimal free resolution of the defining ideals of the projective varieties. There are some bounds on the Castelnuovo-Mumford regularity of the projective variety in terms of the other basic measures such as dimension, codimension and degree. In this paper we consider an upper bound on the regularity of a nondegenerate projective variety , , provided is -Buchsbaum for , and investigate the projective variety with its Castelnuovo-Mumford regularity having such an upper bound.

     

On the nuclearity of certain Cuntz‐Pimsner algebras

In the present paper, we give a short proof of the nuclearity property of a class of Cuntz‐Pimsner algebras associated with a Hilbert ??‐bimodule ??, where ?? is a separable and nuclear C *‐algebra. We assume that the left ??‐action on the bimodule ?? is given in terms of compact module operators and that ?? is direct summand of the standard Hilbert module over ?? (© 2010 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

Hilbert functions of Gorenstein monomial curves

It is a conjecture due to M. E. Rossi that the Hilbert function of a one-dimensional Gorenstein local ring is non-decreasing. In this article, we show that the Hilbert function is non-decreasing for local Gorenstein rings with embedding dimension four associated to monomial curves, under some arithmetic assumptions on the generators of their defining ideals in the non-complete intersection case. In order to obtain this result, we determine the generators of their tangent cones explicitly by using standard basis computations under these arithmetic assumptions and show that the tangent cones are Cohen-Macaulay. In the complete intersection case, by characterizing certain families of complete intersection numerical semigroups, we give an inductive method to obtain large families of complete intersection local rings with arbitrary embedding dimension having non-decreasing Hilbert functions.

     

Holder Norm Estimate for a Hilbert Transform in Hermitean Clifford Analysis

A Hilbert transform for H?lder continuous circulant (2 × 2) matrix functions, on the d-summable (or fractal) boundary Γ of a Jordan domain Ω in ?²ⁿ , has recently been introduced within the framework of Hermitean Clifford analysis. The main goal of the present paper is to estimate the H?lder norm of this Hermitean Hilbert transform. The expression for the upper bound of this norm is given in terms of the H?lder exponents, the diameter of Γ and a specific d-sum (d > d) of the Whitney decomposition of Ω. The result is shown to include the case of a more standard Hilbert transform for domains with left Ahlfors-David regular boundary.     

Evaluations of initial ideals and Castelnuovo-Mumford regularity

This paper characterizes the Castelnuovo-Mumford regularity by evaluating the initial ideal with respect to the reverse lexicographic order.

     

Asymptotic linear bounds for the Castelnuovo-Mumford regularity

We prove asymptotic linear bounds for the Castelnuovo-Mumford regularity of certain filtrations of homogeneous ideals whose Rees algebras need not be Noetherian.