Showing 1–39 of 39 results for author: Chardin, M

Bounds on the degrees of vector fields

Authors: Marc Chardin, S. Hamid Hassanzadeh, Claudia Polini, Aron Simis, Bernd Ulrich

Abstract: In this article, we study the generalized Poincare problem from the opposite perspective, by establishing lower bounds on the degree of the vector field in terms of invariants of the variety. In this article, we study the generalized Poincare problem from the opposite perspective, by establishing lower bounds on the degree of the vector field in terms of invariants of the variety. △ Less

Submitted 14 March, 2024; originally announced March 2024.

Comments: 51 pages

MSC Class: Primary 13N05; 32S65; Secondary 13H10; 14F10

Homology of multiple complexes and Mayer-Vietoris spectral sequences

Authors: Marc Chardin, Rafael Holanda, José Naéliton

Abstract: Similarities are noted in two Mayer-Vietoris spectral sequences that generalize to any number of ideals in the Mayer-Vietoris exact sequence in local cohomology for two ideals. One has as first terms Čech cohomology with respect to sums of the given ideals and converge to cohomology with respect to the product of the ideals, the other has as first terms Čech cohomology with respect to products of… ▽ More Similarities are noted in two Mayer-Vietoris spectral sequences that generalize to any number of ideals in the Mayer-Vietoris exact sequence in local cohomology for two ideals. One has as first terms Čech cohomology with respect to sums of the given ideals and converge to cohomology with respect to the product of the ideals, the other has as first terms Čech cohomology with respect to products of the given ideals and converge to cohomology with respect to the sum of the ideals. The first one was obtained by Lyubeznik in \cite{Lyu}, while the second is constructed in \cite[Chapter 2]{Hol} and could also be deduced from results in \cite{God}. We present results on the cohomology of multiple complexes that enables us to deduce both from two related constructions on multiple complexes. A key ingredient is a fact that seems not to have been noticed before: cohomology with respect to a product of ideals is the one of a subcomplex of the Čech complex computing cohomology with respect to the sum of the given ideals; this provides a much shorter complex to compute cohomology with respect to the product of ideals. △ Less

Submitted 3 June, 2023; originally announced June 2023.

Comments: To appear in the Proceedings of the American Mathematical Society

Multigraded Tor and local cohomology

Authors: Marc Chardin, Rafael Holanda

Abstract: Notions of Castelnuovo-Mumford regularity and of $a^*$ invariant were extended from standard graded algebras to the toric setting. We here focus our attention on the standard multigraded case, which corresponds to a product of $k$ projective spaces. A natural notion for a $\mathbb Z^k$-graded module is its support: degrees in which it is not zero. A stabilized version of it is adding… ▽ More Notions of Castelnuovo-Mumford regularity and of $a^*$ invariant were extended from standard graded algebras to the toric setting. We here focus our attention on the standard multigraded case, which corresponds to a product of $k$ projective spaces. A natural notion for a $\mathbb Z^k$-graded module is its support: degrees in which it is not zero. A stabilized version of it is adding $-\mathbb N^k$, in order for the complement (vanishing region) to be stable by addition of $\mathbb N^k$. Cohomology of twists of a sheaf on a product of projective spaces, provided by a graded module, are given by local cohomologies with respect to the product $B$ of the ideals $B_i$ generated by the $k$ sets of variables. Our results shed some light on a central issue, the relation between shifts in graded free resolution and cohomology vanishing: it shows that stabilized support of cohomology with respect to $B$ corresponds to the union of stabilized supports for cohomologies in the $B_i$'s, while shifts in (some of the) graded free resolutions are inside the intersection of these stabilized supports. A one-to-one correspondence between stabilized supports of Tor modules and of local cohomologies with respect to the sum of the $B_i$'s is also established. We then derive a consequence on linear resolutions for truncations of a graded module. △ Less

Submitted 25 November, 2022; originally announced November 2022.

Comments: 15 pages, 1 figure

Fibers of rational maps and elimination matrices: an application oriented approach

Authors: Laurent Busé, Marc Chardin

Abstract: Parameterized algebraic curves and surfaces are widely used in geometric modeling and their manipulation is an important task in the processing of geometric models. In particular, the determination of the intersection loci between points, pieces of parameterized algebraic curves and pieces of algebraic surfaces is a key problem in this context. In this paper, we survey recent methods based on syzy… ▽ More Parameterized algebraic curves and surfaces are widely used in geometric modeling and their manipulation is an important task in the processing of geometric models. In particular, the determination of the intersection loci between points, pieces of parameterized algebraic curves and pieces of algebraic surfaces is a key problem in this context. In this paper, we survey recent methods based on syzygies and blowup algebras for computing the image and the finite fibers of a curve or surface parameterization, more generally of a rational map. Conceptually, the main idea is to use elimination matrices, mainly built from syzygies, as representations of rational maps and to extract geometric informations from them. The construction and main properties of these matrices are first reviewed and then illustrated through several settings, each of them highlighting a particular feature of this approach that combines tools from commutative algebra, algebraic geometric and elimination theory. △ Less

Submitted 29 July, 2021; originally announced July 2021.

Comments: 28 pages

Multigraded Sylvester forms, Duality and Elimination Matrices

Authors: Laurent Busé, Marc Chardin, Navid Nemati

Abstract: In this paper we study the equations of the elimination ideal associated with $n+1$ generic multihomogeneous polynomials defined over a product of projective spaces of dimension $n$. We first prove a duality property and then make this duality explicit by introducing multigraded Sylvester forms. These results provide a partial generalization of similar properties that are known in the setting of h… ▽ More In this paper we study the equations of the elimination ideal associated with $n+1$ generic multihomogeneous polynomials defined over a product of projective spaces of dimension $n$. We first prove a duality property and then make this duality explicit by introducing multigraded Sylvester forms. These results provide a partial generalization of similar properties that are known in the setting of homogeneous polynomial systems defined over a single projective space. As an important consequence, we derive a new family of elimination matrices that can be used for solving zero-dimensional multiprojective polynomial systems by means of linear algebra methods. △ Less

Submitted 4 July, 2022; v1 submitted 18 April, 2021; originally announced April 2021.

Comments: To appear in Journal of Algebra

Multigraded regularity of complete intersections

Authors: Marc Chardin, Navid Nemati

Abstract: $V$ is a complete intersection scheme in a multiprojective space if it can be defined by an ideal $I$ with as many generators as $\textrm{codim}(V)$. We investigate the multigraded regularity of complete intersections scheme in $\mathbb{P}^n\times \mathbb{P}^m$. We explicitly compute many values of the Hilbert functions of $0… ▽ More $V$ is a complete intersection scheme in a multiprojective space if it can be defined by an ideal $I$ with as many generators as $\textrm{codim}(V)$. We investigate the multigraded regularity of complete intersections scheme in $\mathbb{P}^n\times \mathbb{P}^m$. We explicitly compute many values of the Hilbert functions of $0$-dimensional complete intersections. We show that these values only depend upon $n,m$, and the bidegrees of the generators of $I$. As a result, we provide a sharp upper bound for the multigraded regularity of $0$-dimensional complete intersections. △ Less

Submitted 29 December, 2020; originally announced December 2020.

MSC Class: 13D02; 13D40; 14B15; 13D45

Equations of some embeddings of a projective space into another one

Authors: Marc Chardin, Navid Nemati

Abstract: In arXiv:math/0405373 , Eisenbud, Huneke and Ulrich conjectured a result on the Castelnuovo-Mumford regularity of the embedding of a projective space $\mathbb{P}^{n-1}\hookrightarrow \mathbb{P}^{r-1}$ determined by generators of a linearly presented $\mathfrak{m}$-primary ideal. This result implies in particular that the image is scheme defined by equations of degree at most $n$. In this text we p… ▽ More In arXiv:math/0405373 , Eisenbud, Huneke and Ulrich conjectured a result on the Castelnuovo-Mumford regularity of the embedding of a projective space $\mathbb{P}^{n-1}\hookrightarrow \mathbb{P}^{r-1}$ determined by generators of a linearly presented $\mathfrak{m}$-primary ideal. This result implies in particular that the image is scheme defined by equations of degree at most $n$. In this text we prove that the ideal of maximal minors of the Jacobian dual matrix associated to the input ideal defines the image as a scheme; it is generated in degree $n$. Showing that this ideal has a linear resolution would imply that the conjecture in arXiv:math/0405373 holds. Furthermore, if this ideal of minors coincides with the one of the image in degree $n$ - what we hope to be true - the linearity of the resolution of this ideal of maximal minors is equivalent to the conjecture in arXiv:math/0405373. △ Less

Submitted 10 December, 2020; originally announced December 2020.

MSC Class: 13D02; 14E05; 13A30

Degree of Rational Maps versus Syzygies

Authors: M. Chardin, S. H. Hassanzadeh, A. Simis

Abstract: One proves a far-reaching upper bound for the degree of a generically finite rational map between projective varieties over a base field of arbitrary characteristic. The bound is expressed as a product of certain degrees that appear naturally by considering the Rees algebra (blowup) of the base ideal defining the map. Several special cases are obtained as consequences, some of which cover and exte… ▽ More One proves a far-reaching upper bound for the degree of a generically finite rational map between projective varieties over a base field of arbitrary characteristic. The bound is expressed as a product of certain degrees that appear naturally by considering the Rees algebra (blowup) of the base ideal defining the map. Several special cases are obtained as consequences, some of which cover and extend previous results in the literature. △ Less

Submitted 28 January, 2021; v1 submitted 25 July, 2020; originally announced July 2020.

Comments: The last version to appear in the Journal of Algebra. Some changes have been made in the proof of the main theorem

MSC Class: 13A30; 13D02; 14E05

Generic freeness of local cohomology and graded specialization

Authors: Marc Chardin, Yairon Cid-Ruiz, Aron Simis

Abstract: The main focus is the generic freeness of local cohomology modules in a graded setting. The present approach takes place in a quite nonrestrictive setting, by solely assuming that the ground coefficient ring is Noetherian. Under additional assumptions, such as when the latter is reduced or a domain, the outcome turns out to be stronger. One important application of these considerations is to the s… ▽ More The main focus is the generic freeness of local cohomology modules in a graded setting. The present approach takes place in a quite nonrestrictive setting, by solely assuming that the ground coefficient ring is Noetherian. Under additional assumptions, such as when the latter is reduced or a domain, the outcome turns out to be stronger. One important application of these considerations is to the specialization of rational maps and of symmetric and Rees powers of a module. △ Less

Submitted 4 October, 2020; v1 submitted 27 February, 2020; originally announced February 2020.

Comments: To appear in Transactions of the American Mathematical Society

MSC Class: Primary: 13D45; Secondary: 13A30; 14E05

The (ir)regularity of Tor and Ext

Authors: Marc Chardin, Dipankar Ghosh, Navid Nemati

Abstract: We investigate the asymptotic behaviour of Castelnuovo-Mumford regularity of Ext and Tor, with respect to the homological degree, over complete intersection rings. We derive from a theorem of Gulliksen a linearity result for the regularity of Ext modules in high homological degrees. We show a similar result for Tor, under the additional hypothesis that high enough Tor modules are supported in dime… ▽ More We investigate the asymptotic behaviour of Castelnuovo-Mumford regularity of Ext and Tor, with respect to the homological degree, over complete intersection rings. We derive from a theorem of Gulliksen a linearity result for the regularity of Ext modules in high homological degrees. We show a similar result for Tor, under the additional hypothesis that high enough Tor modules are supported in dimension at most one; we then provide examples showing that the behaviour could be pretty hectic when the latter condition is not satisfied. △ Less

Submitted 25 February, 2023; v1 submitted 7 May, 2019; originally announced May 2019.

Comments: 24 pages, updated version

MSC Class: 13D07; 13D02

Journal ref: Transactions of the American Mathematical Society, Volume 375, Issue 1, 2022, Pages 47-70

Fibers of multi-graded rational maps and orthogonal projection onto rational surfaces

Authors: Nicolás Botbol, Laurent Busé, Marc Chardin, Fatmanur Yildirim

Abstract: We contribute a new algebraic method for computing the orthogonal projections of a point onto a rational algebraic surface embedded in the three dimensional projective space. This problem is first turned into the computation of the finite fibers of a generically finite dominant rational map: a congruence of normal lines to the rational surface. Then, an in-depth study of certain syzygy modules ass… ▽ More We contribute a new algebraic method for computing the orthogonal projections of a point onto a rational algebraic surface embedded in the three dimensional projective space. This problem is first turned into the computation of the finite fibers of a generically finite dominant rational map: a congruence of normal lines to the rational surface. Then, an in-depth study of certain syzygy modules associated to such a congruence is presented and applied to build elimination matrices that provide universal representations of its finite fibers, under some genericity assumptions. These matrices depend linearly in the variables of the three dimensional space. They can be pre-computed so that the orthogonal projections of points are approximately computed by means of fast and robust numerical linear algebra calculations. △ Less

Submitted 9 April, 2020; v1 submitted 19 March, 2019; originally announced March 2019.

Fibers of rational maps and Jacobian matrices

Authors: Marc Chardin, Steven Dale Cutkosky, Quang Hoa Tran

Abstract: A rational map $φ: \mathbb{P}_k^m \dashrightarrow \mathbb{P}_k^n$ is defined by homogeneous polynomials of a common degree $d$. We establish a linear bound in terms of $d$ for the number of $(m-1)$-dimensional fibers of $φ$, by using ideals of minors of the Jacobian matrix. In particular, we answer affirmatively Question~11 in arXiv:1511.02933v2. A rational map $φ: \mathbb{P}_k^m \dashrightarrow \mathbb{P}_k^n$ is defined by homogeneous polynomials of a common degree $d$. We establish a linear bound in terms of $d$ for the number of $(m-1)$-dimensional fibers of $φ$, by using ideals of minors of the Jacobian matrix. In particular, we answer affirmatively Question~11 in arXiv:1511.02933v2. △ Less

Submitted 1 October, 2017; originally announced October 2017.

Comments: 13 pages, comments welcome

MSC Class: 12Y05; 14Q10; 13P05; 13C40

Journal ref: Journal of Algebra 571 (2021), Pages 40-54

Cohen-Macaulayness and canonical module of residual intersections

Authors: Marc Chardin, José Naéliton, Quang Hoa Tran

Abstract: We show the Cohen-Macaulayness and describe the canonical module of residual intersections $J=\mathfrak{a}\colon_R I$ in a Cohen-Macaulay local ring $R$, under sliding depth type hypotheses. For this purpose, we construct and study, using a recent article of Hassanzadeh and the second named author, a family of complexes that contains important informations on a residual intersection and its canoni… ▽ More We show the Cohen-Macaulayness and describe the canonical module of residual intersections $J=\mathfrak{a}\colon_R I$ in a Cohen-Macaulay local ring $R$, under sliding depth type hypotheses. For this purpose, we construct and study, using a recent article of Hassanzadeh and the second named author, a family of complexes that contains important informations on a residual intersection and its canonical module. We also determine several invariants of residual intersections as the graded canonical module, the Hilbert series, the Castelnuovo-Mumford regularity and the type. Finally, whenever $I$ is strongly Cohen-Macaulay, we show duality results for residual intersections that are closely connected to results by Eisenbud and Ulrich. It establishes some tight relations between the Hilbert series of some symmetric powers of $I/\mathfrak{a}$. We also provide closed formulas for the types and for the Bass numbers of some symmetric powers of $I/\mathfrak{a}.$ △ Less

Submitted 2 June, 2017; v1 submitted 27 January, 2017; originally announced January 2017.

Comments: 28 pages. Comments are welcome

MSC Class: 13C14; 13H10; 13D25; 13C40; 13D02; 13D45; 14M06; 14M10

Journal ref: Trans. Amer. Math. Soc. 372 (2019), 1601-1630

Effective criteria for bigraded birational maps

Authors: Nicolás Botbol, Laurent Busé, Marc Chardin, Seyed Hamid Hassanzadeh, Aron Simis, Quang Hoa Tran

Abstract: In this paper, we consider rational maps whose source is a product of two subvarieties, each one being embedded in a projective space. Our main objective is to investigate birationality criteria for such maps. First, a general criterion is given in terms of the rank of a couple of matrices that became to be known as Jacobian dual matrices. Then, we focus on rational maps from the product of two pr… ▽ More In this paper, we consider rational maps whose source is a product of two subvarieties, each one being embedded in a projective space. Our main objective is to investigate birationality criteria for such maps. First, a general criterion is given in terms of the rank of a couple of matrices that became to be known as Jacobian dual matrices. Then, we focus on rational maps from the product of two projectine lines to the projective plane in very low bidegrees and provide new matrix-based birationality criteria by analyzing the syzygies of the defining equations of the map, in particular by looking at the dimension of certain bigraded parts of the syzygy module. Finally, applications of our results to the context of geometric modeling are discussed at the end of the paper. △ Less

Submitted 24 February, 2016; originally announced February 2016.

Degree Bounds on Homology and a Conjecture of Derksen

Authors: Marc Chardin, Peter Symonds

Abstract: Harm Derksen made a conjecture concerning degree bounds for the syzygies of rings of polynomial invariants in the non-modular case. We provide counterexamples to this conjecture, but also prove a slightly weakened version. We also prove some general results that give degree bounds on the homology of complexes and of Tor groups. Harm Derksen made a conjecture concerning degree bounds for the syzygies of rings of polynomial invariants in the non-modular case. We provide counterexamples to this conjecture, but also prove a slightly weakened version. We also prove some general results that give degree bounds on the homology of complexes and of Tor groups. △ Less

Submitted 1 October, 2014; originally announced October 2014.

MSC Class: 13D02; 13A50

Fitting ideals and multiple-points of surface parameterizations

Authors: Nicolás Botbol, Laurent Busé, Marc Chardin

Abstract: Given a birational parameterization of an algebraic surface S in the projective space, the purpose of this paper is to investigate the sets of points on S whose preimage consists in k or more points, counting multiplicities. They are described explicitly in terms of Fitting ideals of some graded parts of the symmetric algebra associated to this parameterization. Given a birational parameterization of an algebraic surface S in the projective space, the purpose of this paper is to investigate the sets of points on S whose preimage consists in k or more points, counting multiplicities. They are described explicitly in terms of Fitting ideals of some graded parts of the symmetric algebra associated to this parameterization. △ Less

Submitted 18 October, 2013; originally announced October 2013.

Regularity stabilization for the powers of graded m-primary ideals

Authors: Marc Chardin

Abstract: This Note provides first a generalization of the stabilization result of Eisenbud and Ulrich for the regularity of powers of a m-primary ideal to the case of ideals that are not generated in a single degree. We then partially extend our previous results expressing this stabilization degree in term of the regularity of a specific graded strand of the Rees ring : The natural extension of the stateme… ▽ More This Note provides first a generalization of the stabilization result of Eisenbud and Ulrich for the regularity of powers of a m-primary ideal to the case of ideals that are not generated in a single degree. We then partially extend our previous results expressing this stabilization degree in term of the regularity of a specific graded strand of the Rees ring : The natural extension of the statement holds at least if the stabilization index or the regularity is greater than the number of variables. In any case a precise comparison is given. △ Less

Submitted 17 October, 2013; originally announced October 2013.

MSC Class: 13D02; 13D45; 13A30

Hilbert Series of Residual Intersections

Authors: Marc Chardin, David Eisenbud, Bernd Ulrich

Abstract: We find explicit formulas for the Hilbert series of residual intersections of a scheme in terms of the Hilbert series of its conormal modules. In a previous paper we proved that such formulas should exist. We give applications to the dimension of secant varieties of surfaces and three-folds. We find explicit formulas for the Hilbert series of residual intersections of a scheme in terms of the Hilbert series of its conormal modules. In a previous paper we proved that such formulas should exist. We give applications to the dimension of secant varieties of surfaces and three-folds. △ Less

Submitted 29 March, 2013; originally announced April 2013.

MSC Class: Primary; 13D40; 13C40; Secondary; 13H15; 13M06; 14C17; 14N15

Journal ref: Compositio Mathematica 151 (2015) 1663-1687

The eventual stability of depth, associated primes and cohomology of a graded module

Authors: Marc Chardin, Jean-Pierre Jouanolou, Ahad Rahimi

Abstract: The asymptotic stability of several homological invariants of the graded pieces of a graded module has attracted quite a lot of attention over the last decades. We provide in this text several stability results together with estimates of the degree from which it stabilizes. Before we establish these regularity results, we prove several facts about depth and cohomological dimension with respect to… ▽ More The asymptotic stability of several homological invariants of the graded pieces of a graded module has attracted quite a lot of attention over the last decades. We provide in this text several stability results together with estimates of the degree from which it stabilizes. Before we establish these regularity results, we prove several facts about depth and cohomological dimension with respect to a finitely generated ideal and about Castelnuovo-Mumford regularity of a graded module. △ Less

Submitted 20 March, 2012; originally announced March 2012.

MSC Class: 13C15; 13D07; 13D45; 14B15

The eventual shape of Betti tables of powers of ideals

Authors: Amir Bagheri, Marc Chardin, Huy Tai Ha

Abstract: Let $G$ be a finitely generated abelian group, and let $S = A[x_1, ..., x_n]$ be a $G$-graded polynomial ring over a commutative ring $A$. Let $I_1, ..., I_s$ be $G$-homogeneous ideals in $S$, and let $M$ be a finitely generated $G$-graded $S$-module. We show that, when $A$ is Noetherian, the nonzero $G$-graded Betti numbers of $MI_1^{t_1} ... I_s^{t_s}$ exhibit an asymptotic linear behavior as th… ▽ More Let $G$ be a finitely generated abelian group, and let $S = A[x_1, ..., x_n]$ be a $G$-graded polynomial ring over a commutative ring $A$. Let $I_1, ..., I_s$ be $G$-homogeneous ideals in $S$, and let $M$ be a finitely generated $G$-graded $S$-module. We show that, when $A$ is Noetherian, the nonzero $G$-graded Betti numbers of $MI_1^{t_1} ... I_s^{t_s}$ exhibit an asymptotic linear behavior as the $t_i$s get large. △ Less

Submitted 1 July, 2013; v1 submitted 3 October, 2011; originally announced October 2011.

Comments: 15 pages; To appear in Math. Res. Letters

MSC Class: 13D45; 13D02

Castelnuovo Mumford Regularity with respect to multigraded ideals

Authors: Nicolás Botbol, Marc Chardin

Abstract: In this article we extend a previous definition of Castelnuovo-Mumford regularity for modules over an algebra graded by a finitely generated abelian group. Our notion of regularity is based on Maclagan and Smith's definition, and is extended first by working over any commutative base ring, and second by considering local cohomology with support in an arbitrary finitely generated graded ideal… ▽ More In this article we extend a previous definition of Castelnuovo-Mumford regularity for modules over an algebra graded by a finitely generated abelian group. Our notion of regularity is based on Maclagan and Smith's definition, and is extended first by working over any commutative base ring, and second by considering local cohomology with support in an arbitrary finitely generated graded ideal $B$, obtaining, for each $B$, a $B$-regularity region. The first extension provides a natural approach for working with families of sheaves or of graded modules, while the second opens new applications. We provide tools to transfer knowledge in two directions. First to deduce some information on the graded Betti numbers from the knowledge of regions where the local cohomology with support in a given graded ideal vanishes. This is one of our main results. Conversely, vanishing of local cohomology with support in any graded ideal is deduced from the shifts in a free resolution and the local cohomology of the polynomial ring. Furthermore, the flexibility of treating local cohomology with respect to any $B$ open new possibilities for passing information. We provide new persistence results for the vanishing of local cohomology that extend the fact that weakly regular implies regular in the classical case, and we give sharp estimates for the regularity of a truncation of a module. In the last part, we present a result on Hilbert functions for multigraded polynomial rings, that in particular provides a simple proof of the Grothendieck-Serre formula. △ Less

Submitted 5 April, 2012; v1 submitted 13 July, 2011; originally announced July 2011.

Comments: 31 pages, 5 figures

MSC Class: 13D45; 13D02; 13D07; 14M25; 14B15

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

Authors: Marc Chardin

Abstract: 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à 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 o… ▽ More 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à 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. △ Less

Submitted 9 February, 2012; v1 submitted 7 September, 2010; originally announced September 2010.

MSC Class: 13A30; 13D02; 13D45; 14A15

Elimination and nonlinear equations of Rees algebra

Authors: Laurent Busé, Marc Chardin, Aron Simis

Abstract: A new approach is established to computing the image of a rational map, whereby the use of approximation complexes is complemented with a detailed analysis of the torsion of the symmetric algebra in certain degrees. In the case the map is everywhere defined this analysis provides free resolutions of graded parts of the Rees algebra of the base ideal in degrees where it does not coincide with the… ▽ More A new approach is established to computing the image of a rational map, whereby the use of approximation complexes is complemented with a detailed analysis of the torsion of the symmetric algebra in certain degrees. In the case the map is everywhere defined this analysis provides free resolutions of graded parts of the Rees algebra of the base ideal in degrees where it does not coincide with the corresponding symmetric algebra. A surprising fact is that the torsion in those degrees only contributes to the first free module in the resolution of the symmetric algebra modulo torsion. An additional point is that this contribution -- which of course corresponds to non linear equations of the Rees algebra -- can be described in these degrees in terms of non Koszul syzygies via certain upgrading maps in the vein of the ones introduced earlier by J. Herzog, the third named author and W. Vasconcelos. As a measure of the reach of this torsion analysis we could say that, in the case of a general everywhere defined map, half of the degrees where the torsion does not vanish are understood. △ Less

Submitted 13 November, 2009; originally announced November 2009.

MSC Class: 13A30; 13D02; 13D45; 14Q10

Castelnuovo-Mumford regularity of Ext modules and homological degree

Authors: Marc Chardin, Dao Thanh Ha, Le Tuan Hoa

Abstract: Bounds for the Castelnuovo-Mumford regularity of Ext modules, over a polynomial ring over a field, are given in terms of the initial degrees, Castelnuovo-Mumford regularities and number of generators of the two graded modules involved. These general bounds are refined in the case the second module is the ring. Other estimates, for instance on the size of graded pieces of these modules, are given… ▽ More Bounds for the Castelnuovo-Mumford regularity of Ext modules, over a polynomial ring over a field, are given in terms of the initial degrees, Castelnuovo-Mumford regularities and number of generators of the two graded modules involved. These general bounds are refined in the case the second module is the ring. Other estimates, for instance on the size of graded pieces of these modules, are given. We also derive a bound on the homological degree in terms of the Castelnuovo-Mumford regularity. This answers positively a question raised by Vasconcelos. △ Less

Submitted 26 March, 2009; originally announced March 2009.

MSC Class: 13D45

On the behavior of Castelnuovo-Mumford regularity with respect to some functors

Authors: Marc Chardin

Abstract: We investigate the behavior of Castelnuovo-Mumford regularity with respect to some classical functors : Tor, the Frobenius functor in positive characteristic, taking a power or a product (on ideals). These generalizes and refines previous results on these issues by several authors. As an application we provide results on the regularity of an intersection of subschemes of a projective scheme, und… ▽ More We investigate the behavior of Castelnuovo-Mumford regularity with respect to some classical functors : Tor, the Frobenius functor in positive characteristic, taking a power or a product (on ideals). These generalizes and refines previous results on these issues by several authors. As an application we provide results on the regularity of an intersection of subschemes of a projective scheme, under appropriate geometric hypotheses. Results on the rigidity of multiple Tor modules and on the characterization of their vanishing are given, motivated by geometric applications. △ Less

Submitted 19 June, 2007; originally announced June 2007.

MSC Class: 13D02; 13D07; 13D25; 13D45

A duality theorem for generalized local cohomology

Authors: Marc Chardin, Kamran Divaani-Aazar

Abstract: We prove a duality theorem for graded algebras over a field that implies several known duality results : graded local duality, versions of Serre duality for local cohomology and of Suzuki duality for generalized local cohomology, and Herzog-Rahimi bigraded duality. We prove a duality theorem for graded algebras over a field that implies several known duality results : graded local duality, versions of Serre duality for local cohomology and of Suzuki duality for generalized local cohomology, and Herzog-Rahimi bigraded duality. △ Less

Submitted 18 May, 2007; originally announced May 2007.

Comments: 6 pages

MSC Class: 13D45;14B15;13D07;13C14

Duality and Tameness

Authors: Marc Chardin, Steven Dale Cutkosky, Juergen Herzog, Hema Srinivasan

Abstract: We prove a duality theorem for certain graded algebras and show by various examples different kinds of failure of tameness of local cohomology. We prove a duality theorem for certain graded algebras and show by various examples different kinds of failure of tameness of local cohomology. △ Less

Submitted 1 April, 2007; originally announced April 2007.

Comments: 18 pages

MSC Class: 13D45; 13D25; 14F05

Generalized local cohomology and regularity of Ext modules

Authors: Marc Chardin, Kamran Divaani-Aazar

Abstract: Let R be a Noetherian standard graded ring, and M and N two finitely generated graded R-modules. We introduce reg_R (M,N) by using the notion of generalized local cohomology instead of local cohomology, in the definition of regularity. We prove that reg_R (M,N)is finite in several cases. In the case that the base ring is a field, we show that reg_R (M,N)=reg (N)-indeg (M). This formula, together… ▽ More Let R be a Noetherian standard graded ring, and M and N two finitely generated graded R-modules. We introduce reg_R (M,N) by using the notion of generalized local cohomology instead of local cohomology, in the definition of regularity. We prove that reg_R (M,N)is finite in several cases. In the case that the base ring is a field, we show that reg_R (M,N)=reg (N)-indeg (M). This formula, together with a graded version of duality for generalized local cohomology, gives a formula for the minimum of the initial degrees of some Ext modules(in the case R is Cohen-Macaulay), of which the three usual definitions of regularity are special cases. Bounds for regularity of certain Ext modules are obtained, using the same circle of ideas. △ Less

Submitted 19 June, 2007; v1 submitted 18 January, 2007; originally announced January 2007.

Comments: 17 pages, contains some addings and corrections

MSC Class: 13D02;13D45

Torsion of the symmetric algebra and implicitization

Authors: Laurent Buse, Marc Chardin, Jean-Pierre Jouanolou

Abstract: Recently, a method to compute the implicit equation of a parametrized hypersurface has been developed by the authors. We address here some questions related to this method. First, we prove that the degree estimate for the stabilization of the MacRae's invariant of a graded part of the symmetric algebra is optimal. Then we show that the extraneous factor that may appear in the process splits into… ▽ More Recently, a method to compute the implicit equation of a parametrized hypersurface has been developed by the authors. We address here some questions related to this method. First, we prove that the degree estimate for the stabilization of the MacRae's invariant of a graded part of the symmetric algebra is optimal. Then we show that the extraneous factor that may appear in the process splits into a product a linear forms in the algebraic closure of the base field, each linear form being associated to a non complete intersection base point. Finally, we make a link between this method and a resultant computation for the case of rational plane curves and space surfaces. △ Less

Submitted 13 September, 2007; v1 submitted 5 October, 2006; originally announced October 2006.

MSC Class: 13D02; 13D25; 13A30; 13D30; 14Q10

Bounds for the Castelnuovo-Mumford regularity of modules

Authors: Marc Chardin, Amadou Lamine Fall, Uwe Nagel

Abstract: We establish bounds for the Castelnuovo-Mumford regularity of a finitely generated graded module and its symmetric powers in terms of the degrees of the generators of the module and the degrees of their relations. We extend to modules (and improve) the known bounds for homogenous ideal in a polynomial ring established by Galligo, Guisti, Caviglia and Sbarra. We establish bounds for the Castelnuovo-Mumford regularity of a finitely generated graded module and its symmetric powers in terms of the degrees of the generators of the module and the degrees of their relations. We extend to modules (and improve) the known bounds for homogenous ideal in a polynomial ring established by Galligo, Guisti, Caviglia and Sbarra. △ Less

Submitted 1 September, 2006; originally announced September 2006.

MSC Class: 13D02; 13D45; 13P10; 14Q15; 14Q20

On the Castelnuovo-Mumford regularity of ideals, in dimension 2

Authors: Marc Chardin, Amadou Lamine Fall

Abstract: We give a bound on the Castelnuovo-Mumford regularity of a homogeneous ideals I, in a polynomial ring A, in terms of number of variables and the degrees of generators, when the dimension of A/I is at most two. This bound improves the one obtained by Caviglia and Sbarra in this case. In the continuation of the examples constructed by Clare D'Cruz and the first author, we use families of monomial… ▽ More We give a bound on the Castelnuovo-Mumford regularity of a homogeneous ideals I, in a polynomial ring A, in terms of number of variables and the degrees of generators, when the dimension of A/I is at most two. This bound improves the one obtained by Caviglia and Sbarra in this case. In the continuation of the examples constructed by Clare D'Cruz and the first author, we use families of monomial curves to construct homogeneous ideals showing that these bounds are quite sharp. △ Less

Submitted 31 March, 2005; originally announced March 2005.

Comments: 5 pages

MSC Class: 13D02; 14Q05; 14Q20; 13C40; 14H50; 13P10

Implicitization using approximation complexes

Authors: Marc Chardin

Abstract: 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 comm… ▽ More 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. △ Less

Submitted 9 March, 2005; originally announced March 2005.

Comments: 13 pages

MSC Class: 13D02; 14Q05; 14Q10; 14Q15; 14Q20; 13C12

On the regularity of products and intersections of complete intersections

Authors: Marc Chardin, Nguyen Cong Minh, Ngo Viet Trung

Abstract: This paper proves that the Castelnuovo-Mumford regularities of the product and sum of two monomial complete intersection ideals are at most the sum of the regularities of the two ideals, and provides examples showing that these inequalities do not hold for general complete intersections. This paper proves that the Castelnuovo-Mumford regularities of the product and sum of two monomial complete intersection ideals are at most the sum of the regularities of the two ideals, and provides examples showing that these inequalities do not hold for general complete intersections. △ Less

Submitted 8 March, 2005; originally announced March 2005.

Comments: 10 pages

MSC Class: 13D02

Implicitizing rational hypersurfaces using approximation complexes

Authors: Laurent Buse, Marc Chardin

Abstract: In this paper we describe an algorithm for implicitizing rational hypersurfaces in case there exists at most a finite number of base points. It is based on a technique exposed in math.AG/0210096, where implicit equations are obtained as determinants of certain graded parts of a so-called approximation complex. We detail and improve this method by providing an in-depth study of the cohomology of… ▽ More In this paper we describe an algorithm for implicitizing rational hypersurfaces in case there exists at most a finite number of base points. It is based on a technique exposed in math.AG/0210096, where implicit equations are obtained as determinants of certain graded parts of a so-called approximation complex. We detail and improve this method by providing an in-depth study of the cohomology of such a complex. In both particular cases of interest of curve and surface implicitization we also yield explicit algorithms which only involves linear algebra routines. △ Less

Submitted 21 January, 2003; originally announced January 2003.

Comments: 20 pages

MSC Class: 14Qxx; 13D02

Liaison and Castelnuovo-Mumford regularity

Authors: Marc Chardin, Bernd Ulrich

Abstract: 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 sh… ▽ More 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. △ Less

Submitted 4 November, 2002; originally announced November 2002.

Comments: 19 pages. To appear in "American Journal of Mathematics"

MSC Class: 13C40; 14M06; 13D45; 14B05

Projective schemes: What is Computable in low degree?

Authors: Marc Chardin

Abstract: 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. 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. △ Less

Submitted 30 October, 2002; originally announced October 2002.

MSC Class: 13P10; 14Q20; 13D45; 13D02

Journal ref: ACM SIGSAM Bulletin, Issue 138, vol. 35, n. 4, 2001, pp. 23-39

Liaison of varieties of small dimension and deficiency modules

Authors: Marc Chardin

Abstract: 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. 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. △ Less

Submitted 11 September, 2003; v1 submitted 29 October, 2002; originally announced October 2002.

MSC Class: 13C40; 14M06; 13D45; 13D07

Castelnuovo-Mumford regularity: Examples of curves and surfaces

Authors: Marc Chardin, Clare D'Cruz

Abstract: 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. 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. △ Less

Submitted 17 October, 2002; originally announced October 2002.

MSC Class: 13D45; 13C40; 13D02; 13D40

Cohomology of projective schemes: From annihilators to vanishing

Authors: Marc Chardin

Abstract: We provide bounds on the Castelnuovo-Mumford regularity in terms of ``defining equations'' by using elements that annihilates some cohomology modules, inspired by works of Miyazaki, Nagel, Schenzel and Vogel. The elements in these annihilators are provided either by liaison or by tight closure theories. Our results hold in any characteristic. We provide bounds on the Castelnuovo-Mumford regularity in terms of ``defining equations'' by using elements that annihilates some cohomology modules, inspired by works of Miyazaki, Nagel, Schenzel and Vogel. The elements in these annihilators are provided either by liaison or by tight closure theories. Our results hold in any characteristic. △ Less

Submitted 25 September, 2002; originally announced September 2002.

MSC Class: 13D45; 13C40; 13D02