Group law on the neutral component of the Jacobian of a real curve of genus 2 having many real components A theta lift representation for the Kawazumi-Zhang and Faltings invariants of genus-two Riemann surfaces 