Ideals of the Multiview Variety

The multiview variety of an arrangement cameras is the Zariski closure images world points in cameras. prime vanishing ideal this complex projective called ideal. We show that bifocal and trifocal polynomials from generate when foci are distinct. In computer vision literature, many sets (determinantal) have been proposed to describe variety. establish precise algebraic relationships between these various ideals. When camera noncoplanar, we prove saturate give Finally, all ideals consider coincide dehomogenized, cut out space finite images.