Analogues of the Harnack–Thom inequality for a real algebraic surface

We prove two analogues of the Harnack–Thom inequality for a real algebraic surface. These inequalities involve the Picard group and the Brauer group of the complexification of the surface. We present necessary and sufficient conditions for these inequalities to be equations. These conditions are stated with the help of real cycle maps.