Fake complex projective spaces
(→Construction and examples) |
|||
Line 28: | Line 28: | ||
In fact, this construction defines a suspension map | In fact, this construction defines a suspension map | ||
$$\Sigma\colon \mathcal{S}(\Cc P^n)\to \mathcal{S}(\Cc P^{n+1}).$$ | $$\Sigma\colon \mathcal{S}(\Cc P^n)\to \mathcal{S}(\Cc P^{n+1}).$$ | ||
+ | |||
+ | This construction can be generalized as follows: Suppose that the map $f$ we started with is just a degree one normal map, without assuming that it is a homotopy equivalence. We can still pull back the disk bundle $p$ over $\Cc P^n$ along $f$ to obtain a disk bundle $E'$ over $M$. The induced map $E'\to E$ may now fail to be a homotopy equivalence, but it is a degree one normal map which restricts to a degree one normal map $\gamma\colon \partial E'\to \partial E\cong S^{2n+1}$ on the boundary. As $\partial E'$ is null-bordant in $E$, the surgery obstruction of $\gamma$ is zero. More precisely $\gamma$ is bordant to a homotopy equivalence $\Sigma^{2n+1}\to S^{2n+1}$ via a normal cobordism $W$ such that | ||
+ | $$ E'\cup_{\partial E'} W \to E\cup_{S^{2n+1}} S^{2n+1}\times I$$ | ||
+ | is a homotopy equivalence. Then, coning off $\Sigma^{2n+1}$ and $S^{2n+1}$ produces a homotopy equivalence $g\colon N\to \Cc P^{n+1}$ from some closed $(2n+2)$-manifold $N$ to $\Cc P^{n+1}$. The map $g$ has the pleasant feature that it is transverse to $\Cc P^n\subset \Cc P^{n+1}$ and the restriction of $g$ to a degree one normal map $g^{-1}(\Cc P^n)\to \Cc P^n$ is the map $f$ we started with. | ||
+ | |||
+ | |||
+ | Hence, the suspension map $\Sigma$ extends to a map | ||
+ | $$\Sigma'\colon \mathcal{N}(\Cc P^n) \to \mathcal{S}(\Cc P^{n+1})$$ | ||
+ | which is split injective. In fact, the following holds: | ||
+ | |||
+ | {{beginthm|Theorem}} | ||
+ | The map $\Sigma'$ is a bijection. | ||
+ | {{endthm}} | ||
+ | |||
+ | This follows from the classification $\mathcal{N}(\Cc P^n)$ using normal invariants, as described below. | ||
+ | |||
+ | |||
Revision as of 16:31, 7 June 2010
Contents |
1 Introduction
A fake complex projective space is a topological manifold which is homotopy equivalent to a complex projective space for some .
2 Construction and examples
Tex syntax erroris a closed manifold, any homotopy equivalence induces a principal -bundle over
Tex syntax errorwhose total space is homeomorphic to . We obtain the following result:
Proposition 2.1. The surgery structure set of is in bijection to the set of free tame circle actions on modulo -equivariant homeomorphism.
Given a homotopy equivalence , we can suspend to obtain a fake as follows: Denote by the disk bundle of the canonical complex line bundle over . Notice that , and we obtain by glueing a -disk to along the boundary. Let be the total space of the disk bundle pulled back bundle from using . The homotopy equivalence induces a homotopy equivalence . By the Poincaré conjecture, is therefore homeomorphic to ; hence glueing the cone of onto produces a -manifold equipped with a homotopy equivalence to .
In fact, this construction defines a suspension map
Tex syntax error. The induced map may now fail to be a homotopy equivalence, but it is a degree one normal map which restricts to a degree one normal map on the boundary. As is null-bordant in , the surgery obstruction of is zero. More precisely is bordant to a homotopy equivalence via a normal cobordism such that
is a homotopy equivalence. Then, coning off and produces a homotopy equivalence from some closed -manifold to . The map has the pleasant feature that it is transverse to and the restriction of to a degree one normal map is the map we started with.
Hence, the suspension map extends to a map
which is split injective. In fact, the following holds:
Theorem 2.2. The map is a bijection.
This follows from the classification using normal invariants, as described below.
3 Invariants
Obviously the homology and homotopy groups of a fake complex projective space are isomorphic to the ones of the . Different fake complex projective spaces may be distinguished using the so-called splitting invariants. More precisely, for any , there is a function
from the surgery structure set of to the -groups of the integers, where if is even, and if is odd.
The splitting invariant is defined as follows: Given an element , represent it by homotopy equivalence which is transverse to . The restriction of to a map may fail to be a homotopy equivalence, but it is still a degree one normal map. Hence the surgery obstruction of is defined. Let .
Proposition 3.1. Under the suspension map , the splitting invariants remain unchanged for .
Using the classification of fake complex projective spaces described in the next section, it follows:
Corollary 3.2. The suspension map is injective. Its image is given by the homotopy equivalences whose highest splitting invariant is zero.
The -invariant of a free tame circle action on may be explicitly expressed in terms of the splitting invariants of the corresponding homotopy equivalence :
Theorem 3.3. For , we have
where , and .
4 Classification/Characterization
The surgery structure set of may be completely described using the splitting invariants:
Theorem 4.1. The cartesian product
is a bijection.
Thus, all possible combination of splitting invariants are realized by elements in the structure set, and two elements of the structure set agree if and only if all the splitting invariants agree.
5 Further discussion
...