Added topological complexity (for which I intend to create a page in the future) of complex projective space.

(The glitch appeared again and the edit is now in the log twice with a time difference of only two seconds.)

]]>Added topological complexity (for which I intend to create a page in the future) of complex projective space.

]]>Added fixed-point property for complex projective space.(The general subsection of properties already existed, but was empty so far.) Also added Hatcher as a reference.

(Also there seems to have been a little glitch, that previously replacing “is” by “are” was taken into the log twice with only a difference of five seconds inbetween. I’ve submitted it without comment.)

]]>added pointer to:

- Raoul Bott, Loring Tu, Exp. 14.22 of:
*Differential Forms in Algebraic Topology*, Graduate Texts in Mathematics 82, Springer 1982 (doi:10.1007/978-1-4757-3951-0)

added the statement (here) that $\mathbb{C}P^n$ is an Oka manifold

]]>Since it was missing, I have added statement and proof of the homotopy groups of $\mathbb{C}P^n$ (now here).

In doing so, I noticed that an existing Properties-section titled “Homotopy” really should have been titled “Relation to topological K-theory”, so I renamed it and also moved it further down the list (to have the Properties ordered, roughly, from more basic to more sophisticated), now here

]]>Sure! Please do.

]]>added brief mentioning of the Sullivan model of $\mathbb{C}P^n$

]]>I have added a bunch of basic stuff to *complex projective space*:

the definition with some more details;

the statement and proof of the standard cell structure;

the statement and proof of the ordinary homology groups and cohomology rings;

the statement and proof of the complex oriented cohomology ring

(the last one essentially copied over from *complex oriented cohomology theory*, for completeness).

I have split off *complex projective space* from *projective space* and added some basic facts about its cohomology.