Syzygies and singularities of tensor product surfaces of bidegree (2, 1)

Hal Schenck, Alexandra Seceleanu, Javid Validashti

Research output: Contribution to journalArticlepeer-review

Abstract

Let U ⊆ H0(O ℙ1×ℙ1 (2, 1)) be a basepoint free four-dimensional vector space. The sections corresponding to U determine a regular map φU : ℙ1 × ℙ1 -→ ℙ3. We study the associated bigraded ideal IU ⊆ k[s, t; u, v] from the standpoint of commutative algebra, proving that there are exactly six numerical types of possible bigraded minimal free resolution. These resolutions play a key role in determining the implicit equation for φU(ℙ1 × ℙ1), via work of Busé-Jouanolou, Busé-Chardin, Botbol and Botbol-Dickenstein-Dohm on the approximation complex Z. In four of the six cases IU has a linear first syzygy; remarkably from this we obtain all differentials in the minimal free resolution. In particular, this allows us to explicitly describe the implicit equation and singular locus of the image.

Original languageEnglish (US)
Pages (from-to)1337-1372
Number of pages36
JournalMathematics of Computation
Volume83
Issue number287
DOIs
StatePublished - May 1 2014

Keywords

  • Bihomogeneous ideal
  • Segre-Veronese map
  • Tensor product surface

ASJC Scopus subject areas

  • Algebra and Number Theory
  • Computational Mathematics
  • Applied Mathematics

Fingerprint Dive into the research topics of 'Syzygies and singularities of tensor product surfaces of bidegree (2, 1)'. Together they form a unique fingerprint.

Cite this