Implicitization using approximation complexes

We present a method for the implicitization problem that goes back to the work of Sederberg and Chen. The formalism we use, with approximation complexes as a key ingredient, is due to Jean-Pierre Jouanolou and was explained in details in this context in his joint work with Laurent Buse. Most of this note is dedicated to presenting the method, the geometric ideas behind it and the tools from commutative algebra that are needed. In the last section, we give the most advanced results we know related to this approach.Comment: 13 page

Liaison of varieties of small dimension and deficiency modules

This article studies the behaviour under liaison of the deficiency modules of schemes that are not assumed to be Cohen-Macaulay. Our study uses in particular a generalization of Serre duality, and gives a satisfactory description of this behaviour in dimension at most three. On the way we show other properties of linked schemes

Projective schemes: What is Computable in low degree?

This article first presents two examples of algorithms that extracts information on scheme out of its defining equations. We also give a review on the notion of Castelnuovo-Mumford regularity, its main properties (in particular its relation to computational issues) and different ways that were used to estimate it

Powers of ideals and the cohomology of stalks and fibers of morphisms

We first provide here a very short proof of a refinement of a theorem of Kodiyalam and Cutkosky, Herzog and Trung on the regularity of powers of ideals. This result implies a conjecture of H\`a and generalizes a result of Eisenbud and Harris concerning the case of ideals primary for the graded maximal ideal in a standard graded algebra over a field. It also implies a new result on the regularities of powers of ideal sheaves. We then compare the cohomology of the stalks and the cohomology of the fibers of a projective morphism to the effect of comparing the maximum over fibers and over stalks of the Castelnuovo-Mumford regularities of a family of projective schemes

Liaison and Castelnuovo-Mumford regularity

In this article we establish bounds for the Castelnuovo-Mumford regularity of projective schemes in terms of the degrees of their defining equations. The main new ingredient in our proof is to show that generic residual intersections of complete intersection rational singularities again have rational singularities. When applied to the theory of residual intersections this circle of ideas also sheds new light on some known classes of free resolutions of residual ideals.Comment: 19 pages. To appear in "American Journal of Mathematics