Researcher profile

Marc Chardin

Marc Chardin contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate

Trust snapshot

Quick read

Trust 21 - EmergingVerification L1Unclaimed author
14works
0followers
3topics
4close collaborators

Actions

Decide how to stay connected

Follow researcher0

Identity and collaboration

How to connect with this researcher

Claiming links this public author record to a researcher profile and unlocks direct collaboration workflows.

Log in to claim

Direct collaboration

Open a focused conversation when the fit is right

Claim this author entity first to unlock direct invitations.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.

Building this graph slice

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

14 published item(s)

preprint2022arXiv

Multigraded Sylvester forms, Duality and Elimination Matrices

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.

preprint2020arXiv

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

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.

preprint2020arXiv

Multigraded regularity of complete intersections

$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.

preprint2016arXiv

Effective criteria for bigraded birational maps

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.

preprint2013arXiv

Regularity stabilization for the powers of graded m-primary ideals

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.

preprint2013arXiv

The eventual shape of Betti tables of powers of ideals

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.

preprint2012arXiv

Castelnuovo Mumford Regularity with respect to multigraded ideals

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.

preprint2012arXiv

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à 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.

preprint2012arXiv

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

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.