Abstract:We investigate the surjectivity of the real cycle class map from $I$-cohomology to classical intergral cohomology for some real smooth varieties, in particular surfaces. This might be considered as one of several possible incarnations of real integral Hodge theory.
What problem does this paper attempt to address?
The main problem that this paper attempts to solve is the surjectivity of the real cycle class map on low - dimensional real algebraic varieties, especially on real surfaces. Specifically:
1. **Definition and background of the real cycle class map**:
- The real cycle class map is a map from I - cohomology to classical integer cohomology. For complex algebraic varieties, the Hodge conjecture predicts that under certain conditions, the cycle class map is surjective.
- For real algebraic varieties, there is a classical real cycle class map \( CH^*(X)/2 \to H^*(X(\mathbb{R}), \mathbb{Z}/2) \) studied by Borel and Haefliger.
2. **Specific problems**:
- The author is concerned with whether the real cycle class map \( c_R: H^k(X, I^k) \to H^k(X(\mathbb{R}), \mathbb{Z}) \) is surjective, especially in the case of small dimensions (such as surfaces).
- The paper explores the surjectivity conditions of the real cycle class map on different types of real algebraic varieties (such as geometrically rational surfaces, Enriques surfaces, K3 surfaces, etc.).
3. **Main results**:
- For some real surfaces, all elements in \( H^1(X(\mathbb{R}), \mathbb{Z}) \) are of algebraic origin, while for some other surfaces, they are not.
- Some specific calculation examples are provided to show the behavior of the real cycle class map in non - cellular examples, especially in the case where the cohomology degree is not equal to the dimension \( d \).
4. **Specific applications**:
- For example, for a smooth projective real K3 surface \( X \), the real cycle class map \( c_R: H^1(X, I^1) \to H^1(X(\mathbb{R}), \mathbb{Z}) \) is surjective if and only if the Borel - Haefliger cycle class map \( c_{BH} \) is surjective.
- For a smooth projective real Enriques surface \( X \), the real cycle class map \( c_R: H^1(X, I^1) \to H^1(X(\mathbb{R}), \mathbb{Z}) \) is always surjective.
Through these studies, the author hopes to further understand the algebraicity and the properties of cohomology classes on real algebraic varieties and provide a basis for more in - depth research in the future.