Take the 2-minute tour ×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

I'm looking for examples of "fake" projective spaces.

Question: Are there smooth manifolds other than $\mathbb{C}\mathbb{P}^n$ whose cohomology ring is the truncated polynomial ring $\mathbb{K}[h]/h^{n+1}$ with $h$ of degree 2?

I know that there is a classification of so-called fake projective planes in the world of algebraic geometry and results restricting the existence of higher-dimensional examples.

However, I'm interested more in the topological question so don't need these manifolds to arise as varieties, but I do want to have the same ring structure. I don't mind about what coefficient ring we work over.

Has anyone come across examples of such things?

Edit Sorry, I should clarify: I guess I'm really looking for something with the same cohomology ring as $\mathbb{C}\mathbb{P}^n$ but, say, nontrivial fundamental group. Thanks for those answers about exotic smooth structures though.

share|improve this question
4  
You can make $\pi_1$ non-trivial by a fairly cheap trick: Take any finitely presented group $G$ which has vanishing $H_1$ and $H_2$ (there are infinitely many of these). Realise $G$ as $\pi_1$ of a homology sphere; this can be done in dimensions $>5$ by a theorem of Haefliger, IIRC. Connect sum the homology sphere with $\mathbb{C} P^n$. –  Tim Perutz Oct 31 '11 at 20:28
add comment

3 Answers

Quote from the first page of the article Uniqueness of the complex structure on Kähler manifolds of certain homotopy types by Libgober and Wood (Journal of Differential Geometry 32, 1990, no. 1, 139-154):

"On the other hand it is known that for every $n>2$ the homotopy type of $\mathbb{CP}^n$ supports infinitely many inequivalent differentiable structures distinguished by their Pontryagin classes (see Montgomery and Yang [25] or Wall [30] for $n=3$ and Hsiang [15] for $n>3$)."

share|improve this answer
    
While the same statement for $n=2$ is a wide open conjecture. :) –  Marco Golla Oct 31 '11 at 15:15
add comment

The Manifold Atlas page

http://www.map.mpim-bonn.mpg.de/Fake_complex_projective_spaces

has plenty of useful information and references.

share|improve this answer
    
Hi Diarmuid, thanks for fixing the link. –  Mark Grant Apr 3 at 12:34
add comment

A quick google search on "homotopy projective space" yields results that should interest you. A 1973 paper of Bruce Conrad gives constructions of such spaces (starting with a given one): On manifolds with the homotopy type of complex projective space, Trans. Amer. Math. Soc. 176 (1973), 165-180.

Also related is Petrie's Conjecture. He conjectured that if there is a smooth (non-trivial) circle action on a homotopy projective space $M\simeq \mathbb{C}P^n$, then the Pontryagin class of $M$ must be that of $\mathbb{C}P^n$. Some more information is available at http://www.map.mpim-bonn.mpg.de/Petrie_conjecture.

share|improve this answer
add comment

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.