Equations of some embeddings of a projective space into another one

arXiv2012.05681MaRDI QIDQ6355740FDOQ6355740

Authors: Marc Chardin, Navid Nemati 

Publication date: 10 December 2020

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}hookrightarrowmathbb{P}^{r-1}$ determined by generators of a linearly presented $mathfrakm$-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.

Mathematics Subject Classification ID

Syzygies, resolutions, complexes and commutative rings (13D02) Rational and birational maps (14E05) Associated graded rings of ideals (Rees ring, form ring), analytic spread and related topics (13A30)

This page was built for publication: Equations of some embeddings of a projective space into another one

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6355740)