Group law on the neutral component of the Jacobian of a real curve of genus 2 having many real components 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 