Clare D'Cruz

Castelnuovo–Mumford regularity: examples of curves and surfaces

The behaviour of Castelnuovo-Mumford regularity under “geometric” transformations is not well understood. In this paper we are concerned with examples which will shed some light on certain questions concerning this behaviour. One simple question which was open (see e.g. [R]) is: May the regularity increase if we pass to the radical or remove embedded primes? By examples, we show that this happens. As a by-product we are also able to answer some related questions. In particular, we provide examples of licci ideals related to monomial curves in P (resp. in P) such that the regularity of their radical is essentially the square (resp. the cube) of that of the ideal. It is well known that the regularity cannot increase when points (embedded or not) are removed. Hence, in order to construct examples where on removing an embedded component the regularity increases, we have to consider surfaces. More surprisingly, we find an irreducible surface such that, after embedding a line into it, the depth of the coordinate ring increases! Another important concept to understand is the limit of validity of Kodaira type vanishing theorems. The Castelnuovo-Mumford regularity of the canonical module of a reduced curve is 2. An analogous result holds true for higher dimensional varieties with isolated singularities (in characteristic zero), thanks to Kodaira vanishing. As a consequence one can give bounds for CastelnuovoMumford regularity (see [CU]). In [Mum], Mumford proves that for an ample line bundle L on a normal surface S, H(S,OS ⊗ L−1) = 0. He remarks that this is false if S doesn’t satisfy S2 (i.e. S is not Cohen-Macaulay) and asks if the S2 condition is sufficient. The first counter-example was given in [AJ]. In this article, we show that counter-examples satisfying S1 give rise to counterexamples satisfying S2. We then provide monomial surfaces whose canonical module has large Castelnuovo-Mumford regularity, so that this vanishing fails. We give a simple proof to show that if S satisfies R1, then H1(S, ωS ⊗L) = 0

Quadratic transform of complete ideals in regular local rings

The theory of complete ideals in two-dimensional regular local rings was first studied by Zariski [ZS]. Zariski showed that the product of complete ideals is complete. Moreover, every complete ideal can be uniquely factorised as a product of simple complete ideals. An elegant treatment for Zariskis theory was given by Huneke in [Hl]. Zariskis theory does not hold true for complete ideals in regular local rings of dimension greater than two ([C], [H2], [L], [TI).

On the Homology and Fiber Cone of Ideals

In this article, we give a unified approach for several results concerning the fiber cone. Our novel idea is to use the complex C(x k , ℱ I 1; I 2 , (1, n)). We improve earlier results obtained by several researchers and get some new results. We give a more general definition of ideals of minimal multiplicity and of ideals of almost minimal multiplicity. We also compute the Hilbert series of the fiber cone for these ideals.

A Formula for the Multiplicity of the Multi-graded Extended Rees Algebra

Abstract Let (R, 𝔪) be a Noetherian local ring of positive dimension d with infinite residue field. Let I 1,…, I g be ideals of positive height in R and let t 1,…, t g be indeterminates. Set T(I) := R[I 1 t 1,…, I g t g , ,…, ]𝒩(I) where 𝒩(I) = (I 1 t 1,…, I g t g ,𝔪, ,…, ). In this paper we express mixed multiplicities of certain ideals in T(I) in terms of mixed multiplicities of ideals in R. This in turn gives a formula for the multiplicity of 𝒩(I).