Extensions of Rokhlin congruence for curves on surfaces (Q4037366)

[For the entire collection see Zbl 0756.00007.] This paper gives a natural and interesting generalization of the Rokhlin congruence and the Kharlamov-Gudkov-Krakhnov congruence for curves on surfaces defined over the real field. A non-singular real algebraic surface \(B\) is called of characteristic type if \(B\) is a characteristic surface in the complexification \(\mathbb{C} B\). If \(A\) is a nonsingular real algebraic curve in \(B\) defined by a polynomial of even degree, then \(A\) separates \(B\) into two part \(B_ +\) and \(B_ -\). Then, in this paper, a congruence on \(\chi(B_ +)\) modulo 8 is given under some natural assumption on the pair \((B,A)\), which covers all known congruences mentioned above. Also a formula of Guillou- Marin type is shown in this paper.