Published online by Cambridge University Press: 20 November 2018
Let $X$ be a reduced nonsingular quasiprojective scheme over $\mathbb{R}$ such that the set of real rational points $X\left( \mathbb{R} \right)$ is dense in $X$ and compact. Then $X\left( \mathbb{R} \right)$ is a real algebraic variety. Denote by $H_{k}^{a\lg }\left( X\left( \mathbb{R} \right),\,\mathbb{Z}/2 \right)$ the group of homology classes represented by Zariski closed $k$-dimensional subvarieties of $X\left( \mathbb{R} \right)$. In this note we show that $H_{1}^{a\lg }\left( X\left( \mathbb{R} \right),\,\mathbb{Z}/2 \right)$ is a proper subgroup of ${{H}_{1}}\left( X\left( \mathbb{R} \right),\,\mathbb{Z}/2 \right)$ for a nonorientable hyperelliptic surface $X$. We also determine all possible groups $H_{1}^{a\lg }\left( X\left( \mathbb{R} \right),\,\mathbb{Z}/2 \right)$ for a real ruled surface $X$ in connection with the previously known description of all possible topological configurations of $X$.
The author was partially supported by NSF Grant DMS-9503138.