2016/10/12 by Duarte, Eliana
#13 #Algebraic Geometry (math.AG) #Commutative Algebra (math.AC) #FOS: Mathematics
paper · doi:10.48550/arxiv.1610.03820
Given a 4-dimensional vector subspace U=\ f0,…,f3\ of H0(ℙ1 × ℙ1,O(a,b)), a tensor product surface, denoted by XU, is the closure of the image of the rational map λU:ℙ1 × ℙ1 - → ℙ3 determined by U. These surfaces arise in geometric modeling and in this context it is useful to know the implicit equation of XU in ℙ3. In this paper we show that if U⊆ H0(ℙ1 × ℙ1,O(a,1)) has a finite set of r basepoints in generic position, then the implicit equation of XU is determined by two syzygies of IU=⟨ f0,…,f3 ⟩ in bidegrees ( a-\lceil(r)/(2)\rceil,0 ) and ( a-\lfloor(r)/(2)\rfloor,0 ). This result is proved by understanding the geometry of the basepoints of U in ℙ1 × ℙ1. The proof techniques for the main theorem also apply when U is basepoint free.