Tensor product surfaces and graded syzygies

Abstract

Let $U\subseteq H^0({\mathcal{O}}_{{\mathbb{P}}^1\times {\mathbb{P}}^1}(a,b))$ be a four-dimensional vector space and consider the rational map $\ddot{I}{•}_U:{\mathbb{P}}^1\times {\mathbb{P}}^1⇢{\mathbb{P}}^3$ defined by its basis of bihomogeneous polynomials. The tensor product surface $X_U\subseteq {\mathbb{P}}^3$ is the closed image of $\ddot{I}{•}_U$, and a fundamental problem in this setting is to determine its implicit equation. As these surfaces are ubiquitous within the field of geometric modeling and design, knowledge of their implicit equations is particularly advantageous, allowing for more effective and efficient computations. In this article, we expand upon work of Duarte-Schenck and work of the present author to solve this implicitization problem when the bigraded ideal $I_U$ admits a singly graded syzygy.

24 pages. Comments welcome