Skip to main content
2 of 3
added 130 characters in body
David C
  • 9.9k
  • 3
  • 31
  • 58

Let $M^n_{\mathbb{R}}$ be a smooth manifold that is the set of real points of a smooth complex manifold $M^n_{\mathbb{C}}$ then we have: $$\sum_{j=0}^n b_j(M^n_{\mathbb{R}})\leq \sum_{j=0}^{2n}b_j(M^n_{\mathbb{C}}).$$ Where $b_j$ is the $j$-th Betti number with $\mathbb{Z}/2$-coefficients. We consider $M^n_{\mathbb{R}}$ as the set of fixed points of the involution given by by complex conjugation on $M^n_{\mathbb{C}}$.

A modern proof of this inegality can be found in: A. Borel. "Seminar on Transformation groups, (with contributions by G. Bredon, E.E. Floyd, D. Montgomery, R. Palais)" Ann. of M. Studies n. 46, Princeton UniversityPress, 1960.

It uses spectral sequences for the $\mathbb{Z}/2$-equivariant cohomology.

David C
  • 9.9k
  • 3
  • 31
  • 58