Equations of universal torsors and Cox rings A homological criterion for reducibility of analytic spaces, with application to characterizing the theta divisor of a product of two general principally polarized abelian varieties 