Complexification of real cycles and the Lawson suspension theorem

Abstract

We embed the space of totally real r-cycles of a totally real projective variety into the space of complex r-cycles by complexification. We provide a proof of the holomorphic taffy argument in the proof of Lawson suspension theorem by using Chow forms and this proof gives us an analogous result for totally real cycle spaces. We use Sturm theorem to derive a criterion for a real polynomial of degree d to have d distinct real roots and use it to prove the openness of some subsets of real divisors. This enables us to prove that the suspension map induces a weak homotopy equivalence between two enlarged spaces of totally real cycle spaces.

A homology and cohomology theory for real projective varieties

“…As proved by Hironaka in [13] that any projective variety admits a triangulation by semi-algebraic simplices which can be chosen so that any specified finite collection of semi-algebraic closed subsets consists of sub-complexes. Recall that a subset in R n defined by the zero loci of some real polynomials is called a totally real algebraic variety (see [26]). We may embed the projective space P n into R N as a totally real algebraic variety ([2, Proposition 3.4.6]), and the conjugation of P n can be realized as a totally real algebraic map.…”