Fake lens spaces

(Difference between revisions)
Jump to: navigation, search
(Homeomorphism classification)
(Homeomorphism classification)
Line 145: Line 145:
== Homeomorphism classification ==
== Homeomorphism classification ==
<wikitex>;
<wikitex>;
The homeomorphism classification, as already noted, is an excellent application of the non-simply connected surgery theory. Recall that for a topological manifold $X$ the surgery theoretic homeomorphism classification of manifolds wihin the homotopy type of $X$ is stated in terms of the simple [[Wikipedia:Surgery structure set|surgery structure set]] $\mathcal{S}^s (X)$ and that the primary tool for its calculation is the [[Wikipedia:Surgery exact sequence|surgery exact sequence]]. The homeomorphism classification described here of course specializes to the homeomorphism classification of the classical lens spaces as can be found [[Lens spaces|here]].
+
The homeomorphism classification, as already noted, is an excellent application of the non-simply connected surgery theory. Recall that for a topological manifold $X$ the surgery theoretic homeomorphism classification of manifolds wihin the homotopy type of $X$ is stated in terms of the simple [[Wikipedia:Surgery structure set|surgery structure set]] $\mathcal{S}^s (X)$ and that the primary tool for its calculation is the [[Wikipedia:Surgery exact sequence|surgery exact sequence]]. The homeomorphism classification described here of course specializes to the homeomorphism classification of the classical lens spaces as can be found [[Lens spaces|here]], see also the remark at the end of this section.
</wikitex>
</wikitex>
Line 221: Line 221:
Finally, in {{cite|Macko&Wegner2008}} the two special cases are combined to obtain the general cases via mostly formal arguments.
Finally, in {{cite|Macko&Wegner2008}} the two special cases are combined to obtain the general cases via mostly formal arguments.
+
+
{{beginthm|Remark}}
+
The homeomorphism classification of classical lens spaces due to {{cite|Franz1935}} and {{cite|DeRham1936}}, given on the [[Lens spaces|lens space page]], is a special case of Theorem 6.2. The additional sign and factor of $k$ appearing in the statement of the classical theorem arise since Theorem 6.2 classifies oriented lens spaces with a fixed identification of the fundamental group. The sign allows for a change of orientation and the factor of $k$ for a change of generator for the fundamental group.
+
{{endthm}}
</wikitex>
</wikitex>

Revision as of 18:28, 12 February 2013

An earlier version of this page was published in the Bulletin of the Manifold Atlas: screen, print.

You may view the version used for publication as of 15:18, 25 April 2013 and the changes since publication.

This page is being refereed under the supervision of the editorial board. Hence the page may not be edited at present. As always, the discussion page remains open for observations and comments.

The user responsible for this page is Tibor Macko. No other user may edit this page at present.

Contents

1 Introduction

A fake lens space is the orbit space of a free action of a finite cyclic group on a sphere. As such it is a topological manifold. If the action is required to be smooth then a smooth fake lens space is obtained. On this page mostly topological fake lens spaces are discussed, since for these the classification is better understood.

Clearly, classical lens spaces, which are orbit spaces of free actions on a sphere coming from unitary representations of a finite cyclic group, are examples of fake lens spaces. In order to obtain fake lens spaces which are not homeomorphic to these classical lens spaces more sophisticated technology is needed. One can either use surgery theoretic methods, or one can define certain actions of finite cyclic groups on Brieskorn varieties. See the constructions and examples below.

The classification of topological fake lens spaces can be seen as one of the basic questions in the topology of manifolds. It is systematically obtained in three stages: the homotopy classification using classical homotopy theory, the simple homotopy classification using Reidemeister torsion, and finally, surgery theory is employed to obtain a homeomorphism classification within the respective simple homotopy types. In fact, this classification was one of the early spectacular applications of surgery theory. The results were mostly achieved in [Wall1999, chapter 14E].

2 Definition

Definition 2.1. Let G be a finite cyclic group and let \alpha be a free action of G by homeomorphisms on the sphere S^{2d-1}. A fake lens space is the orbit space of \alpha and it is denoted by L^{2d-1} (\alpha).

Recall that the classical lens spaces were denoted by symbols like L(N,l_1,\ldots,l_d), where N is the order of the group G. For brevity the notation L^{2d-1} (\alpha_k) = L(N,k,1,\ldots,1) is sometimes used below. Also, when the dimension and the action are clear, we sometimes leave them from notation and simply write L.

Note that by the Lefschetz fixed point theorem, only the group of order 2 can act freely on a sphere S^{2k} of even dimension. For this case see the article on fake real projective spaces.

3 Notation

Throughout this page G will be the finite cyclic group of order N. It will have a preferred generator T which allows us to identify

\displaystyle  \Zz G = \Zz [T] / \langle T^N -1 \rangle.

The norm element is Z = 1 + T + \cdots + T^{N-1}. Further we denote R_G = \Zz G / \langle Z \rangle = \Zz [T]/ \langle 1 + T + \cdots + T^{N-1} \rangle. The projection map \Zz G \rightarrow R_G fits into the arithmetic square:

\displaystyle  \xymatrix{ \Zz G \ar[r]^{\eta} \ar[d]_{\varepsilon} & R_G \ar[d]^{\varepsilon'} \\ \Zz \ar[r]_{\eta'} & \Zz_N }

where \varepsilon, \varepsilon' are the augmentation maps. The augmentation ideal is the kernel I_G = \ker \varepsilon.

We will also need the ring \Qq R_G = \Qq \otimes R_G which we identify as

\displaystyle  \Qq R_G = \Qq [T]/ \langle 1 + T + \cdots + T^{N-1} \rangle

The Pontrjagin dual of G, is the group \widehat G = \Hom_\Zz (G,S^1). Recall that since G is a finite cyclic group the representation ring R(G) can be canonically identified with the group ring \Zz \widehat G. Then we also have \Qq R(G) = \Qq \otimes R(G) = \Qq \widehat G. Dividing out the regular representation corresponds to dividing out the norm element, hence R(G)/\langle \text{reg} \rangle = R_{\widehat G} = \Zz \widehat G/\langle Z \rangle and \Qq R(G)/\langle \text{reg} \rangle = \Qq R_{\widehat G} = \Qq \widehat G/\langle Z \rangle. We will also choose a preferred generator \chi of \widehat G which gives the identifications

\displaystyle  \Qq R_{\widehat G} = \Qq [\chi]/\langle 1+\chi +\cdots + \chi^{N-1} \rangle.

Also note that one can vary the group G. Suppose that we have a subgroup H \subset G. Then by restricting the action we obtain from a fake lens space associated with the group G a fake lens space associated with the group H. Similarly we could start with a fake complex projective space which is an orbit space of a free tame action of S^1 on S^{2d-1} and restrict the action to G \subset S^1, to obtain a fake lens space associated with G. Both of these operations are referred to as transfer.

4 Invariants

For L = L^{2d-1} (\alpha) we have the following invariants:

  • \pi_1 (L) = \Zz_N, \pi_i (L) = \pi_i (S^{2d-1}) for i \geq 2
  • H_0 (L) = \Zz, H_{2d-1} (L) = \Zz, H_{2i-1} (L) = \Zz_N for 1 \leq i \leq d-1, H_i (L) = 0 for all other values of i.
  • the k-invariant (in the sense of homotopy theory) k_{2d-1} (L) \in H^{2d} (BG;\Zz).
  • the Reidemeister torsion \Delta (L) \in \Qq R_G = \Qq [T] / \langle 1 + T + \cdots T^{N-1} \rangle and
  • the \rho-invariant \rho (L) \in \Qq R_{\widehat G}^{(-1)^d} \subset \Qq [\chi] / \langle 1 + \chi + \cdots \chi^{N-1} \rangle.

When N = 2^K \cdot M with \mathrm{gcd} (M,2)= 1, then we have for a manifold structure h \co L \longrightarrow L (\alpha_k) representing an element in the surgery structure set \mathcal{S}^s (L(\alpha_k)) the so-called splitting invariants:

  • \mathbf{s}_{4i} (h) \in \Zz_{2^K} for i \geq 1
  • \mathbf{s}_{4i-2} (h) \in \Zz_{2} for i \geq 1

The invariants \mathbf{s}_{4i-2} (h) are obtained by passing to the associated manifold structure on the real projective space \Rr P^{2d-1} (alias restricting the action to \Zz_2 \subset G) and taking the splitting invariant along \Rr P^{4i-2} \subset \Rr P^{2d-1}.

The splitting invariants \mathbf{s}_{4i} (h) are harder to describe. One way is as follows. It follows from the calculations of the normal invariants \mathcal{N} (L(\alpha)) that for d even the manifold structure h is normally cobordant to a manifold structure which comes from a manifold structure on the complex projective space \Cc P^{d-1} by the transfer (alias restricting the action to G \subset S^1). When d is odd the same is true for the suspension manifold structure \Sigma (h). The invariant \mathbf{s}_{4i} (h) is then obtained from the splitting invariant along \Cc P^{2i} \subset \Cc P^{d-1} which is an integer, by taking its class modulo 2^K when d is even, and from the splitting invariant along \Cc P^{2i} \subset \Cc P^{d} which is also an integer, by taking its class modulo 2^K, when d is odd.

For the splitting invariants of the manifold structures on the real projective spaces look here and for the splitting invariants of the manifold structures on the complex projective spaces look here.

5 Simple homotopy theory

5.1 Preliminaries

The homotopy classification is stated in the a priori broader context of finite CW-complexes L with \pi_1 (L) \cong \Zz_N and with the universal cover homotopy equivalent to S^{2d-1} of which fake lens spaces are obviously a special case. It is convenient to make the following definition.

Definition 5.1.

Let L be a CW-complex with \pi_1 (L) \cong \Zz_N and with universal cover homotopy equivalent to S^{2d-1}.

A polarization of L is a pair (T,e) where T is a choice of a generator of \pi_1 (L) and e is a choice of a homotopy equivalence e \colon \widetilde L \rightarrow S^{2d-1}.

Recall the classical lens space L^{2d-1}(N;k,1,\ldots,1). By L^i(N;k,1,\ldots,1) is denoted its i-skeleton with respect to the standard cell decomposition. If i is odd this is a lens space, if i is even this is a CW-complex obtained by attaching an i-cell to the lens space of dimension i-1.

Theorem 5.2 [Wall1999, Theorem 14E.3, first part].

Let L be a finite CW-complex with \pi_1 (L) \cong \Zz_N and universal cover S^{2d-1} polarized by (T,e). Then there exists a map \phi \colon S^{2d-2} \rightarrow L^{2d-2} (N,1,\ldots,1) and a simple homotopy equivalence

\displaystyle  h \colon L \rightarrow L^{2d-2}(N;1,\ldots,1) \cup_\phi e^{2d-1}

preserving the polarization, such that the \Zz G-chain complex differential on the right hand side is given by \partial_{2d-1} e^{2d-1} = e^{2d-2} (T-1) U for some U \in \Zz G which maps to a unit u \in R_G. Furthermore, L is a simple Poincare complex and its Reidemeister torsion is \Delta (L) = (T-1)^d \cdot u. The element u is unique up to powers of T.

5.2 Homotopy classification

Theorem 5.3 [Wall1999, Theorem 14E.3, second part].

The polarized homotopy types of such L are in one-to-one correspondence with the units in \Zz_N. The correspondence is given by L \mapsto \varepsilon' (u) \in \Zz_N. The invariant \varepsilon' (u) can be identified with the first non-trivial k-invariant of L (in the sense of homotopy theory) k_{2d-1} (L) \in H^{2d} (BG; \Zz).

5.3 Simple homotopy classification

Theorem 5.4 [Wall1999, Theorem 14E.3, third part].

The polarized simple homotopy types of such L are in one-to-one correspondence with the equivalence classes of units in R_G, where the equivalence relation is by the powers of T. The correspondence is given by L \mapsto u \in R_G.

The existence of a fake lens space in the homotopy type of such L is addressed in [Wall1999, Theorem 14E.4]. Unless both N and d are even there always exists a manifold homotopy equivalent to the complex L.

5.4 Fake lens spaces versus classical lens spaces

Since the units \varepsilon' (u) \in \Zz_N are exhausted by the lens spaces L^{2d-1}(N,k,1,\ldots,1) we obtain the following corollary.

Corollary 5.5. For any fake lens space L^{2d-1}(\alpha) there exists k \in \Nn and a homotopy equivalence

\displaystyle  h \colon L^{2d-1}(\alpha) \rightarrow L^{2d-1}(N;k,1,\ldots,1).

We note that the simple homotopy classification of fake lens spaces of course includes the simple homotopy classification of the classical lens spaces. For the classical lens spaces this also already yields the homeomorphism classification, the details can be found here.

6 Homeomorphism classification

The homeomorphism classification, as already noted, is an excellent application of the non-simply connected surgery theory. Recall that for a topological manifold X the surgery theoretic homeomorphism classification of manifolds wihin the homotopy type of X is stated in terms of the simple surgery structure set \mathcal{S}^s (X) and that the primary tool for its calculation is the surgery exact sequence. The homeomorphism classification described here of course specializes to the homeomorphism classification of the classical lens spaces as can be found here, see also the remark at the end of this section.

6.1 N is odd

In terms of the structure set the main result of [Wall1999, section 14E] can be expressed as follows.

Theorem 6.1 [Wall1999, Theorem 14E.7]. If N is odd, then the reduced \rho-invariant map

\displaystyle  {\widetilde \rho} \colon {\mathcal S}^s (L^{2d-1}(\alpha)) \to {\mathbb Q} R^{(-1)^d}_{\widehat G}

given by \widetilde \rho (h \co L \rightarrow L(\alpha)) \mapsto \rho (L) - \rho (L(\alpha)) is injective.

However, in this case, that means for N odd, Wall managed to obtain an even better result, namely the complete classification of fake lens spaces of a given dimension (2d-1) \geq 5 with the fundamental group G \cong \Zz_N which is stated in the two theorems below.

The classification theorem is:

Theorem 6.2 [Wall1999, Theorem 14E.7, first part]. Let L^{2d-1} and {L'}^{2d-1} be oriented fake lens spaces with fundamental group G cyclic of odd order N. Then there is an orientation preserving homeomorphism L \to L' inducing the identity on G if and only if \Delta(L) = \Delta(L') and \rho(L) = \rho(L').

The realization theorem is:

Theorem 6.3 [Wall1999, Theorem 14E.7, second part]. Let G be cyclic of odd order. Given \Delta \in R_G and \rho \in {\mathbb Q}R_{\widehat G}, there exists a corresponding fake lens space L^{2d-1} if and only if the following four statements hold:

  • \Delta and \rho are both real (d even) or imaginary (d odd).
  • \Delta generates I_G^n, \rho \in I_{\widehat G}^{-n}.
  • The classes of \rho \mod I_{\widehat G}^{-n+1} and (-2)^n \Delta \mod I_G^{n+1} correspond under
\displaystyle I_{\widehat G}^{-n} / I_{\widehat G}^{-n+1} \cong {\widehat H}^{2n}({\widehat G};\Zz) \cong {\widehat H}^{-2n}(G;\Zz) \cong I_G^n / I_G^{n+1}.
  • \rho \equiv - \displaystyle\sum_{\phi \in {\widehat G}, \phi \neq 1} \text{sign}(i^n \phi(\Delta)) \phi \mod 4.


6.2 N is general

The remaining cases were addressed in [Macko&Wegner2009] and [Macko&Wegner2008] from where the following theorem, stated in tems of the structure set is taken.

Theorem 6.4 [Macko&Wegner2008, Theorem 1.2]. Let L^{2d-1}(\alpha) be a fake lens space with \pi_1(L^{2d-1}(\alpha)) \cong {\mathbb Z}_N where N=2^K \cdot M with K \geq 0, M odd and d \geq 3. Then we have

\displaystyle  (\widetilde{\rho},\mathbf{r}_{4i-2},\mathbf{r}_{4i}) \colon {\mathcal S}^s (L^{2d-1}(\alpha)) \cong \bar \Sigma_N (d) \oplus \bigoplus_{i=1}^{c} {\mathbb Z}_{2^{\min\{K,1\}}} \oplus \bigoplus_{i=1}^{c} {\mathbb Z}_{2^{\min\{K,2i\}}}

where \bar \Sigma_N (d) \subset {\mathbb Q} R^{(-1)^d}_{\widehat G} is a free abelian group. If N is odd then its rank is (N-1)/2. If N is even then its rank is N/2-1 if d=2e+1 and N/2 if d=2e. In the torsion summand we have c = \lfloor (d-1)/2 \rfloor.

The invariant \widetilde \rho is the same reduced \rho-invariant as above. The invariants \mathbf{r}_{4i-2} \co {\mathcal S}^s (L^{2d-1}(\alpha))\longrightarrow \Zz_{2^{\min\{K,1\}}} are equal to the splitting invariants \mathbf{s}_{4i-2} described above. The invariants \mathbf{r}_{4i} \co {\mathcal S}^s (L^{2d-1}(\alpha)) \longrightarrow \Zz_{2^{\min\{K,2i\}}} are related to the the splitting invariants \mathbf{s}_{4i} above, but they do not have a straightforward description, only an inductive one, see [Macko&Wegner2008, section 7] for more details.

6.3 Some ideas from the proofs

As mentioned above the strategy in all cases is to investigate the surgery exact sequence for L. In this case there is enough information about the normal invariants, the L-groups and the surgery obstruction so that one is left with just an extension problem. Briefly speaking the normal invariants can be calculated separately when localized at 2, in which case a reduction to ordinary cohomology with coefficients in \Zz and \Zz_2 is obtained, and away from 2, in which case a real reduced K-theory is obtained. This is well-known for L(\alpha). The L-groups are completely described by the representation theory of G. By these calculations the surgery obstruction map can only be non-trivial in one case which is investigated in [Wall1999, Theorem 14E.4]. To proceed further it is convenient to study the relation of the surgery exact sequence to representation theory of G. This is done via the following commutative diagram of abelian groups and homomorphisms with exact rows

\displaystyle  \xymatrix{ 0 \ar[r] & {\widetilde L}^s_{2d} (G) \ar[r]^(0.4){\partial} \ar[d]_{\cong}^{G-sign} & {\mathcal S}^s (L^{2d-1}(\alpha)) \ar[r]^{\eta} \ar[d]^{\widetilde \rho}& \widetilde {\mathcal N} (L^{2d-1}(\alpha)) \ar[r] \ar[d]^{[\widetilde \rho]}& 0 \\ 0 \ar[r] & 4 \cdot R^{(-1)^d}_{\widehat G} \ar[r] & {\mathbb Q} R^{(-1)^d}_{\widehat G} \ar[r] & {\mathbb Q} R^{(-1)^d}_{\widehat G}/ 4 \cdot R^{(-1)^d}_{\widehat G} \ar[r] & 0 }

Here the symbol {\widetilde L}^s_{2d} (G) denotes the reduced L-group and the vertical isomorphism from it is the G-signature which can be found for example in [Hambleton&Taylor2000]. The symbol \widetilde {\mathcal N} (L^{2d-1}(\alpha)) denotes the kernel of the surgery obstruction map. As mentioned above it defers from the normal invariants {\mathcal N} (L^{2d-1}(\alpha)) only in one case, namely when both N and d are even, and in that case the difference turns out to be a factor of \Zz_2. The symbol [\widetilde \rho] is the homomorphism induced by \widetilde \rho.

To obtain Theorem 6.1 it is shown in [Wall1999] that the map [\widetilde \rho] is injective [Wall1999, Proposition 14E.6]. The proof proceeds by induction with respect to the dimension 2d-1. The crucial ingredient is the transfer which produces fake lens spaces from fake complex projective spaces and the formula for the \rho-invariant of fake complex projective spaces [Wall1999, Theorem 14C.4] which by naturality of the \rho-invariant with respect to taking subgroups translates to a formula for the \rho-invariant of the associated fake lens spaces [Wall1999, Theorem 14E.8 (c)]. The induction is possible thanks to the suspension construction described below and the multiplicativity of the \rho-invariant with respect to this construction [Wall1999, Theorem 14A.1].

To obtain Theorem 6.4 again the map [\widetilde \rho] is studied, first in case N = 2^K when it turns out not to be injective. In [Macko&Wegner2009] is determined its kernel. The result is again obtained via fake complex projective spaces and the formula [Wall1999, Theorem 14C.4]. However, in this case the calculation is obtained via induction on K (where remember N = 2^K) for any fixed 2d-1.

Finally, in [Macko&Wegner2008] the two special cases are combined to obtain the general cases via mostly formal arguments.

Remark 6.5. The homeomorphism classification of classical lens spaces due to [Franz1935] and [DeRham1936], given on the lens space page, is a special case of Theorem 6.2. The additional sign and factor of k appearing in the statement of the classical theorem arise since Theorem 6.2 classifies oriented lens spaces with a fixed identification of the fundamental group. The sign allows for a change of orientation and the factor of k for a change of generator for the fundamental group.

7 Construction and examples

Classical lens spaces are of course examples of fake lens spaces. To get fake lens spaces which are not homeomorphic to classical ones one can employ the construction of fake complex projective spaces. Note that a fake complex projective space is an orbit space of a free tame action of S^1 on S^{2d-1} and that we obviously have \Zz_N \cong G < S^1. Restricting the action to the subgroup we obtain a fake lens space. Its \rho-invariant can be calculated by naturality using the formula for the \rho-invariant of the circle action.

The above construction does not exhaust all the fake lens spaces. To get all of them there is a construction which produces from a given fake lens space L another fake lens space L' such that the difference of their \rho-invariants is a prescribed element

\displaystyle  \rho (L) - \rho(L') = x \in 4 \cdot R_{\widehat G}^{(-1)^d}.

The construction is just the Wall realization from surgery theory, alias a non-simply connected generalization of the plumbing construction.

Another possibilty is to obtain fake lens spaces as orbit spaces of actions of G on Brieskorn varieties. This was pursued for example in [Orlik1969].

8 The join construction / The suspension map

Let G be a group acting freely on the spheres S^m and S^n. Then the two actions extend to the join S^{m+n+1} \cong S^m * S^n and the resulting action remains free.

Given two fake lens spaces L and L', one can pass to the universal covers, form the join and then pass to the quotient again. The resulting space is again a fake lens space. This operation is called the join and denoted by L * L', or L (\alpha * \alpha') = L (\alpha) * L (\alpha').

Given two manifold structures h \colon L \xrightarrow{\simeq_s} L(\alpha) and h \colon L' \xrightarrow{\simeq_s} L(\alpha'), one can pass to the induced maps of the universal covers, extend them to a map of the joins and pass to the map of quotients. This will again be a simple homotopy equivalence and hence a manifold structure h *  h' \colon L * L' \xrightarrow{\simeq_s} L(\alpha * \alpha')

When L' = L^1(N,1) = L^1(\alpha_1) this operation is called a suspension. Taking h' = \id in the above paragraph defines a map
\displaystyle \Sigma \colon {\mathcal S}^s(L^{2d-1}(\alpha)) \to {\mathcal S}^s(L^{2d+1}(\alpha * \alpha_1))
.

Theorem 8.1 [Wall1999, Corollary on page 228 in section 14E].

If N is odd and d \geq 3 then the map
\displaystyle \Sigma \colon {\mathcal S}^s(L^{2d-1}(\alpha)) \to {\mathcal S}^s(L^{2d+1}(\alpha * \alpha_1))
is bijective.

The proof is based on the classification theorem above.

Theorem 8.2 [Macko&Wegner2008, Theorem 6.1 and 6.2]. For N even and e \geq 1 there are exact sequences

\displaystyle 0 \to {\mathcal S}^s (L_N^{4e+1} (\alpha_k)) \stackrel{\Sigma}{\longrightarrow} {\mathcal S}^s (L_N^{4e+3} (\alpha_k)) \stackrel{\sigma}{\longrightarrow} \Zz \to 0,
\displaystyle 0 \to \Zz \to {\mathcal S}^s (L_N^{4e+3} (\alpha_k)) \stackrel{\Sigma}{\longrightarrow} {\mathcal S}^s (L_N^{4e+5} (\alpha_k)) \stackrel{\mu}{\longrightarrow} \Zz_2 \to 0
.

The invariants \sigma and \mu (alias desuspension obstructions) are obtained by passing to the associated fake real projective spaces via the transfer (alias restricting the group action to \Zz_2) and taking the Browder-Livesay invariants described in [Lopez_de_Medrano1971] and [Wall1999, Chapter 12]. The invariant \sigma can be identified with the \rho-invariant associated to manifolds with \pi_1 = \Zz_2 (in which case it is just an integer).

The proof is based on the classification theorem above and also on the proofs of the analogous theorems for N = 2 described on the page fake real projective spaces.

9 Further sources

The sources mentioned in the text are those where the final classification statements were presented. They built on the previous work, some of which is contained in the following papers: [Browder&Livesay1967], [Browder1970], [Petrie1970], [Petrie1970a], [Browder&Petrie&Wall1971].

10 References

\leq i \leq d-1$, $H_i (L) = 0$ for all other values of $i$. * the $k$-invariant (in the sense of homotopy theory) $k_{2d-1} (L) \in H^{2d} (BG;\Zz)$. * the [[Wikipedia:Reidemeister torsion|Reidemeister torsion]] $\Delta (L) \in \Qq R_G = \Qq [T] / \langle 1 + T + \cdots T^{N-1} \rangle$ and * the $\rho$-[[Rho-invariant|invariant]] $\rho (L) \in \Qq R_{\widehat G}^{(-1)^d} \subset \Qq [\chi] / \langle 1 + \chi + \cdots \chi^{N-1} \rangle $. When $N = 2^K \cdot M$ with $\mathrm{gcd} (M,2)= 1$, then we have for a manifold structure $h \co L \longrightarrow L (\alpha_k)$ representing an element in the [[Wikipedia:Surgery structure set|surgery structure set]] $\mathcal{S}^s (L(\alpha_k))$ the so-called '''splitting invariants''': * $\mathbf{s}_{4i} (h) \in \Zz_{2^K}$ for $i \geq 1$ * $\mathbf{s}_{4i-2} (h) \in \Zz_{2}$ for $i \geq 1$ The invariants $\mathbf{s}_{4i-2} (h)$ are obtained by passing to the associated manifold structure on the real projective space $\Rr P^{2d-1}$ (alias restricting the action to $\Zz_2 \subset G$) and taking the splitting invariant along $\Rr P^{4i-2} \subset \Rr P^{2d-1}$. The splitting invariants $\mathbf{s}_{4i} (h)$ are harder to describe. One way is as follows. It follows from the calculations of the [[Wikipedia:normal invariants|normal invariants]] $\mathcal{N} (L(\alpha))$ that for $d$ even the manifold structure $h$ is normally cobordant to a manifold structure which comes from a manifold structure on the complex projective space $\Cc P^{d-1}$ by the transfer (alias restricting the action to $G \subset S^1$). When $d$ is odd the same is true for the [[Fake lens spaces#The join construction / The suspension map|suspension]] manifold structure $\Sigma (h)$. The invariant $\mathbf{s}_{4i} (h)$ is then obtained from the splitting invariant along $\Cc P^{2i} \subset \Cc P^{d-1}$ which is an integer, by taking its class modulo ^K$ when $d$ is even, and from the splitting invariant along $\Cc P^{2i} \subset \Cc P^{d}$ which is also an integer, by taking its class modulo ^K$, when $d$ is odd. For the splitting invariants of the manifold structures on the real projective spaces look [[Fake real projective spaces#Invariants|here]] and for the splitting invariants of the manifold structures on the complex projective spaces look [[Fake complex projective spaces#Invariants|here]]. == Simple homotopy theory == === Preliminaries=== ; The homotopy classification is stated in the a priori broader context of finite CW-complexes $L$ with $\pi_1 (L) \cong \Zz_N$ and with the universal cover homotopy equivalent to $S^{2d-1}$ of which fake lens spaces are obviously a special case. It is convenient to make the following definition. {{beginthm|Definition}} \label{def-pol-lens-spc} Let $L$ be a CW-complex with $\pi_1 (L) \cong \Zz_N$ and with universal cover homotopy equivalent to $S^{2d-1}$. A '''polarization''' of $L$ is a pair $(T,e)$ where $T$ is a choice of a generator of $\pi_1 (L)$ and $e$ is a choice of a homotopy equivalence $e \colon \widetilde L \rightarrow S^{2d-1}$. {{endthm}} Recall the classical [[Lens spaces|lens space]] $L^{2d-1}(N;k,1,\ldots,1)$. By $L^i(N;k,1,\ldots,1)$ is denoted its $i$-skeleton with respect to the standard cell decomposition. If $i$ is odd this is a lens space, if $i$ is even this is a CW-complex obtained by attaching an $i$-cell to the lens space of dimension $i-1$. {{beginthm|Theorem|{{cite|Wall1999|Theorem 14E.3, first part}}}} \label{prop-simple-htpy-class} Let $L$ be a finite CW-complex with $\pi_1 (L) \cong \Zz_N$ and universal cover $S^{2d-1}$ polarized by $(T,e)$. Then there exists a map $\phi \colon S^{2d-2} \rightarrow L^{2d-2} (N,1,\ldots,1)$ and a simple homotopy equivalence $$ h \colon L \rightarrow L^{2d-2}(N;1,\ldots,1) \cup_\phi e^{2d-1} $$ preserving the polarization, such that the $\Zz G$-chain complex differential on the right hand side is given by $\partial_{2d-1} e^{2d-1} = e^{2d-2} (T-1) U$ for some $U \in \Zz G$ which maps to a unit $u \in R_G$. Furthermore, $L$ is a simple Poincare complex and its Reidemeister torsion is $\Delta (L) = (T-1)^d \cdot u$. The element $u$ is unique up to powers of $T$. {{endthm}} === Homotopy classification === ; {{beginthm|Theorem|{{cite|Wall1999|Theorem 14E.3, second part}}}} The polarized homotopy types of such $L$ are in one-to-one correspondence with the units in $\Zz_N$. The correspondence is given by $L \mapsto \varepsilon' (u) \in \Zz_N$. The invariant $\varepsilon' (u)$ can be identified with the first non-trivial $k$-invariant of $L$ (in the sense of homotopy theory) $k_{2d-1} (L) \in H^{2d} (BG; \Zz)$. {{endthm}} === Simple homotopy classification === ; {{beginthm|Theorem|{{cite|Wall1999|Theorem 14E.3, third part}}}} The polarized simple homotopy types of such $L$ are in one-to-one correspondence with the equivalence classes of units in $R_G$, where the equivalence relation is by the powers of $T$. The correspondence is given by $L \mapsto u \in R_G$. {{endthm}} The existence of a fake lens space in the homotopy type of such $L$ is addressed in {{cite|Wall1999|Theorem 14E.4}}. Unless both $N$ and $d$ are even there always exists a manifold homotopy equivalent to the complex $L$. === Fake lens spaces versus classical lens spaces === ; Since the units $\varepsilon' (u) \in \Zz_N$ are exhausted by the lens spaces $L^{2d-1}(N,k,1,\ldots,1)$ we obtain the following corollary. {{beginthm|Corollary}} \label{lens-spaces-give-all-htpy-types} For any fake lens space $L^{2d-1}(\alpha)$ there exists $k \in \Nn$ and a homotopy equivalence $$ h \colon L^{2d-1}(\alpha) \rightarrow L^{2d-1}(N;k,1,\ldots,1). $$ {{endthm}} ; We note that the simple homotopy classification of fake lens spaces of course includes the simple homotopy classification of the classical lens spaces. For the classical lens spaces this also already yields the homeomorphism classification, the details can be found [[Lens spaces|here]]. == Homeomorphism classification == ; The homeomorphism classification, as already noted, is an excellent application of the non-simply connected surgery theory. Recall that for a topological manifold $X$ the surgery theoretic homeomorphism classification of manifolds wihin the homotopy type of $X$ is stated in terms of the simple [[Wikipedia:Surgery structure set|surgery structure set]] $\mathcal{S}^s (X)$ and that the primary tool for its calculation is the [[Wikipedia:Surgery exact sequence|surgery exact sequence]]. The homeomorphism classification described here of course specializes to the homeomorphism classification of the classical lens spaces as can be found [[Lens spaces|here]], see also the remark at the end of this section. ===N is odd=== ; In terms of the structure set the main result of {{cite|Wall1999|section 14E}} can be expressed as follows. {{beginthm|Theorem|{{cite|Wall1999|Theorem 14E.7}}}} If $N$ is odd, then the reduced $\rho$-invariant map $$ {\widetilde \rho} \colon {\mathcal S}^s (L^{2d-1}(\alpha)) \to {\mathbb Q} R^{(-1)^d}_{\widehat G} $$ given by $\widetilde \rho (h \co L \rightarrow L(\alpha)) \mapsto \rho (L) - \rho (L(\alpha))$ is injective. {{endthm}} However, in this case, that means for $N$ odd, Wall managed to obtain an even better result, namely the complete classification of fake lens spaces of a given dimension $(2d-1) \geq 5$ with the fundamental group $G \cong \Zz_N$ which is stated in the two theorems below. The classification theorem is: {{beginthm|Theorem|{{cite|Wall1999|Theorem 14E.7, first part}}}} Let $L^{2d-1}$ and ${L'}^{2d-1}$ be oriented fake lens spaces with fundamental group $G$ cyclic of odd order $N$. Then there is an orientation preserving homeomorphism $L \to L'$ inducing the identity on $G$ if and only if $\Delta(L) = \Delta(L')$ and $\rho(L) = \rho(L')$. {{endthm}} The realization theorem is: {{beginthm|Theorem|{{cite|Wall1999|Theorem 14E.7, second part}}}} Let $G$ be cyclic of odd order. Given $\Delta \in R_G$ and $\rho \in {\mathbb Q}R_{\widehat G}$, there exists a corresponding fake lens space $L^{2d-1}$ if and only if the following four statements hold: * $\Delta$ and $\rho$ are both real ($d$ even) or imaginary ($d$ odd). * $\Delta$ generates $I_G^n$, $\rho \in I_{\widehat G}^{-n}$. * The classes of $\rho \mod I_{\widehat G}^{-n+1}$ and $(-2)^n \Delta \mod I_G^{n+1}$ correspond under $$I_{\widehat G}^{-n} / I_{\widehat G}^{-n+1} \cong {\widehat H}^{2n}({\widehat G};\Zz) \cong {\widehat H}^{-2n}(G;\Zz) \cong I_G^n / I_G^{n+1}.$$ * $\rho \equiv - \displaystyle\sum_{\phi \in {\widehat G}, \phi \neq 1} \text{sign}(i^n \phi(\Delta)) \phi \mod 4$. {{endthm}} ===N is general=== ; The remaining cases were addressed in {{cite|Macko&Wegner2009}} and {{cite|Macko&Wegner2008}} from where the following theorem, stated in tems of the structure set is taken. {{beginthm|Theorem|{{cite|Macko&Wegner2008|Theorem 1.2}}}} Let $L^{2d-1}(\alpha)$ be a fake lens space with $\pi_1(L^{2d-1}(\alpha)) \cong {\mathbb Z}_N$ where $N=2^K \cdot M$ with $K \geq 0$, $M$ odd and $d \geq 3$. Then we have $$ (\widetilde{\rho},\mathbf{r}_{4i-2},\mathbf{r}_{4i}) \colon {\mathcal S}^s (L^{2d-1}(\alpha)) \cong \bar \Sigma_N (d) \oplus \bigoplus_{i=1}^{c} {\mathbb Z}_{2^{\min\{K,1\}}} \oplus \bigoplus_{i=1}^{c} {\mathbb Z}_{2^{\min\{K,2i\}}} $$ where $\bar \Sigma_N (d) \subset {\mathbb Q} R^{(-1)^d}_{\widehat G}$ is a free abelian group. If $N$ is odd then its rank is $(N-1)/2$. If $N$ is even then its rank is $N/2-1$ if $d=2e+1$ and $N/2$ if $d=2e$. In the torsion summand we have $c = \lfloor (d-1)/2 \rfloor$. {{endthm}} The invariant $\widetilde \rho$ is the same reduced $\rho$-invariant as above. The invariants $\mathbf{r}_{4i-2} \co {\mathcal S}^s (L^{2d-1}(\alpha))\longrightarrow \Zz_{2^{\min\{K,1\}}}$ are equal to the splitting invariants $\mathbf{s}_{4i-2}$ described [[Fake lens spaces#Invariants|above]]. The invariants $\mathbf{r}_{4i} \co {\mathcal S}^s (L^{2d-1}(\alpha)) \longrightarrow \Zz_{2^{\min\{K,2i\}}}$ are related to the the splitting invariants $\mathbf{s}_{4i}$ [[Fake lens spaces#Invariants|above]], but they do not have a straightforward description, only an inductive one, see {{cite|Macko&Wegner2008|section 7}} for more details. ===Some ideas from the proofs=== ; As mentioned above the strategy in all cases is to investigate the surgery exact sequence for $L$. In this case there is enough information about the [[Wikipedia:normal invariants|normal invariants]], the [[Wikipedia:L-theory|L-groups]] and the [[Wikipedia:surgery obstruction|surgery obstruction]] so that one is left with just an extension problem. Briefly speaking the normal invariants can be calculated separately when localized at $, in which case a reduction to ordinary cohomology with coefficients in $\Zz$ and $\Zz_2$ is obtained, and away from $, in which case a real reduced $K$-theory is obtained. This is well-known for $L(\alpha)$. The $L$-groups are completely described by the representation theory of $G$. By these calculations the surgery obstruction map can only be non-trivial in one case which is investigated in {{cite|Wall1999|Theorem 14E.4}}. To proceed further it is convenient to study the relation of the surgery exact sequence to representation theory of $G$. This is done via the following commutative diagram of abelian groups and homomorphisms with exact rows $$ \xymatrix{ 0 \ar[r] & {\widetilde L}^s_{2d} (G) \ar[r]^(0.4){\partial} \ar[d]_{\cong}^{G-sign} & {\mathcal S}^s (L^{2d-1}(\alpha)) \ar[r]^{\eta} \ar[d]^{\widetilde \rho}& \widetilde {\mathcal N} (L^{2d-1}(\alpha)) \ar[r] \ar[d]^{[\widetilde \rho]}& 0 \ 0 \ar[r] & 4 \cdot R^{(-1)^d}_{\widehat G} \ar[r] & {\mathbb Q} R^{(-1)^d}_{\widehat G} \ar[r] & {\mathbb Q} R^{(-1)^d}_{\widehat G}/ 4 \cdot R^{(-1)^d}_{\widehat G} \ar[r] & 0 } $$ Here the symbol ${\widetilde L}^s_{2d} (G)$ denotes the reduced $L$-group and the vertical isomorphism from it is the $G$-signature which can be found for example in {{cite|Hambleton&Taylor2000}}. The symbol $\widetilde {\mathcal N} (L^{2d-1}(\alpha))$ denotes the kernel of the surgery obstruction map. As mentioned above it defers from the normal invariants ${\mathcal N} (L^{2d-1}(\alpha))$ only in one case, namely when both $N$ and $d$ are even, and in that case the difference turns out to be a factor of $\Zz_2$. The symbol $[\widetilde \rho]$ is the homomorphism induced by $\widetilde \rho$. To obtain Theorem 6.1 it is shown in {{cite|Wall1999}} that the map $[\widetilde \rho]$ is injective {{cite|Wall1999|Proposition 14E.6}}. The proof proceeds by induction with respect to the dimension d-1$. The crucial ingredient is the transfer which produces fake lens spaces from fake complex projective spaces and the [[fake complex projective spaces#The_rho-invariant|formula]] for the $\rho$-invariant of fake complex projective spaces {{cite|Wall1999|Theorem 14C.4}} which by naturality of the $\rho$-invariant with respect to taking subgroups translates to a formula for the $\rho$-invariant of the associated fake lens spaces {{cite|Wall1999|Theorem 14E.8 (c)}}. The induction is possible thanks to the [[Fake lens spaces#The join construction / The suspension map|suspension]] construction described below and the multiplicativity of the $\rho$-invariant with respect to this construction {{cite|Wall1999|Theorem 14A.1}}. To obtain Theorem 6.4 again the map $[\widetilde \rho]$ is studied, first in case $N = 2^K$ when it turns out not to be injective. In {{cite|Macko&Wegner2009}} is determined its kernel. The result is again obtained via fake complex projective spaces and the formula {{cite|Wall1999|Theorem 14C.4}}. However, in this case the calculation is obtained via induction on $K$ (where remember $N = 2^K$) for any fixed d-1$. Finally, in {{cite|Macko&Wegner2008}} the two special cases are combined to obtain the general cases via mostly formal arguments. {{beginthm|Remark}} The homeomorphism classification of classical lens spaces due to {{cite|Franz1935}} and {{cite|DeRham1936}}, given on the [[Lens spaces|lens space page]], is a special case of Theorem 6.2. The additional sign and factor of $k$ appearing in the statement of the classical theorem arise since Theorem 6.2 classifies oriented lens spaces with a fixed identification of the fundamental group. The sign allows for a change of orientation and the factor of $k$ for a change of generator for the fundamental group. {{endthm}} == Construction and examples == ; Classical [[lens spaces]] are of course examples of fake lens spaces. To get fake lens spaces which are not homeomorphic to classical ones one can employ the construction of [[fake complex projective spaces]]. Note that a fake complex projective space is an orbit space of a free tame action of $S^1$ on $S^{2d-1}$ and that we obviously have $\Zz_N \cong G < S^1$. Restricting the action to the subgroup we obtain a fake lens space. Its $\rho$-[[rho-invariant|invariant]] can be calculated by naturality using the [[fake complex projective spaces#The_rho-invariant|formula]] for the $\rho$-invariant of the circle action. The above construction does not exhaust all the fake lens spaces. To get all of them there is a construction which produces from a given fake lens space $L$ another fake lens space $L'$ such that the difference of their $\rho$-invariants is a prescribed element $$ \rho (L) - \rho(L') = x \in 4 \cdot R_{\widehat G}^{(-1)^d}. $$ The construction is just the Wall realization from surgery theory, alias a non-simply connected generalization of the [[Wikipedia:plumbing|plumbing]] construction. Another possibilty is to obtain fake lens spaces as orbit spaces of actions of $G$ on [[Exotic_spheres#Brieskorn_varieties|Brieskorn varieties]]. This was pursued for example in {{cite|Orlik1969}}. == The join construction / The suspension map == ; Let $G$ be a group acting freely on the spheres $S^m$ and $S^n$. Then the two actions extend to the join $S^{m+n+1} \cong S^m * S^n$ and the resulting action remains free. Given two fake lens spaces $L$ and $L'$, one can pass to the universal covers, form the join and then pass to the quotient again. The resulting space is again a fake lens space. This operation is called the join and denoted by $L * L'$, or $L (\alpha * \alpha') = L (\alpha) * L (\alpha')$. Given two manifold structures $h \colon L \xrightarrow{\simeq_s} L(\alpha)$ and $h \colon L' \xrightarrow{\simeq_s} L(\alpha')$, one can pass to the induced maps of the universal covers, extend them to a map of the joins and pass to the map of quotients. This will again be a simple homotopy equivalence and hence a manifold structure $h * h' \colon L * L' \xrightarrow{\simeq_s} L(\alpha * \alpha')$ When $L' = L^1(N,1) = L^1(\alpha_1)$ this operation is called a suspension. Taking $h' = \id$ in the above paragraph defines a map $$\Sigma \colon {\mathcal S}^s(L^{2d-1}(\alpha)) \to {\mathcal S}^s(L^{2d+1}(\alpha * \alpha_1))$$. {{beginthm|Theorem|{{cite|Wall1999|Corollary on page 228 in section 14E}}}} If $N$ is odd and $d \geq 3$ then the map $$\Sigma \colon {\mathcal S}^s(L^{2d-1}(\alpha)) \to {\mathcal S}^s(L^{2d+1}(\alpha * \alpha_1))$$ is bijective. {{endthm}} The proof is based on the classification theorem above. {{beginthm|Theorem|{{cite|Macko&Wegner2008|Theorem 6.1 and 6.2}}}} For $N$ even and $e \geq 1$ there are exact sequences $ be a finite cyclic group and let \alpha be a free action of G by homeomorphisms on the sphere S^{2d-1}. A fake lens space is the orbit space of \alpha and it is denoted by L^{2d-1} (\alpha).

Recall that the classical lens spaces were denoted by symbols like L(N,l_1,\ldots,l_d), where N is the order of the group G. For brevity the notation L^{2d-1} (\alpha_k) = L(N,k,1,\ldots,1) is sometimes used below. Also, when the dimension and the action are clear, we sometimes leave them from notation and simply write L.

Note that by the Lefschetz fixed point theorem, only the group of order 2 can act freely on a sphere S^{2k} of even dimension. For this case see the article on fake real projective spaces.

3 Notation

Throughout this page G will be the finite cyclic group of order N. It will have a preferred generator T which allows us to identify

\displaystyle  \Zz G = \Zz [T] / \langle T^N -1 \rangle.

The norm element is Z = 1 + T + \cdots + T^{N-1}. Further we denote R_G = \Zz G / \langle Z \rangle = \Zz [T]/ \langle 1 + T + \cdots + T^{N-1} \rangle. The projection map \Zz G \rightarrow R_G fits into the arithmetic square:

\displaystyle  \xymatrix{ \Zz G \ar[r]^{\eta} \ar[d]_{\varepsilon} & R_G \ar[d]^{\varepsilon'} \\ \Zz \ar[r]_{\eta'} & \Zz_N }

where \varepsilon, \varepsilon' are the augmentation maps. The augmentation ideal is the kernel I_G = \ker \varepsilon.

We will also need the ring \Qq R_G = \Qq \otimes R_G which we identify as

\displaystyle  \Qq R_G = \Qq [T]/ \langle 1 + T + \cdots + T^{N-1} \rangle

The Pontrjagin dual of G, is the group \widehat G = \Hom_\Zz (G,S^1). Recall that since G is a finite cyclic group the representation ring R(G) can be canonically identified with the group ring \Zz \widehat G. Then we also have \Qq R(G) = \Qq \otimes R(G) = \Qq \widehat G. Dividing out the regular representation corresponds to dividing out the norm element, hence R(G)/\langle \text{reg} \rangle = R_{\widehat G} = \Zz \widehat G/\langle Z \rangle and \Qq R(G)/\langle \text{reg} \rangle = \Qq R_{\widehat G} = \Qq \widehat G/\langle Z \rangle. We will also choose a preferred generator \chi of \widehat G which gives the identifications

\displaystyle  \Qq R_{\widehat G} = \Qq [\chi]/\langle 1+\chi +\cdots + \chi^{N-1} \rangle.

Also note that one can vary the group G. Suppose that we have a subgroup H \subset G. Then by restricting the action we obtain from a fake lens space associated with the group G a fake lens space associated with the group H. Similarly we could start with a fake complex projective space which is an orbit space of a free tame action of S^1 on S^{2d-1} and restrict the action to G \subset S^1, to obtain a fake lens space associated with G. Both of these operations are referred to as transfer.

4 Invariants

For L = L^{2d-1} (\alpha) we have the following invariants:

When N = 2^K \cdot M with \mathrm{gcd} (M,2)= 1, then we have for a manifold structure h \co L \longrightarrow L (\alpha_k) representing an element in the surgery structure set \mathcal{S}^s (L(\alpha_k)) the so-called splitting invariants:

The invariants \mathbf{s}_{4i-2} (h) are obtained by passing to the associated manifold structure on the real projective space \Rr P^{2d-1} (alias restricting the action to \Zz_2 \subset G) and taking the splitting invariant along \Rr P^{4i-2} \subset \Rr P^{2d-1}.

The splitting invariants \mathbf{s}_{4i} (h) are harder to describe. One way is as follows. It follows from the calculations of the normal invariants \mathcal{N} (L(\alpha)) that for d even the manifold structure h is normally cobordant to a manifold structure which comes from a manifold structure on the complex projective space \Cc P^{d-1} by the transfer (alias restricting the action to G \subset S^1). When d is odd the same is true for the suspension manifold structure \Sigma (h). The invariant \mathbf{s}_{4i} (h) is then obtained from the splitting invariant along \Cc P^{2i} \subset \Cc P^{d-1} which is an integer, by taking its class modulo 2^K when d is even, and from the splitting invariant along \Cc P^{2i} \subset \Cc P^{d} which is also an integer, by taking its class modulo 2^K, when d is odd.

For the splitting invariants of the manifold structures on the real projective spaces look here and for the splitting invariants of the manifold structures on the complex projective spaces look here.

5 Simple homotopy theory

5.1 Preliminaries

The homotopy classification is stated in the a priori broader context of finite CW-complexes L with \pi_1 (L) \cong \Zz_N and with the universal cover homotopy equivalent to S^{2d-1} of which fake lens spaces are obviously a special case. It is convenient to make the following definition.

Definition 5.1.

Let L be a CW-complex with \pi_1 (L) \cong \Zz_N and with universal cover homotopy equivalent to S^{2d-1}.

A polarization of L is a pair (T,e) where T is a choice of a generator of \pi_1 (L) and e is a choice of a homotopy equivalence e \colon \widetilde L \rightarrow S^{2d-1}.

Recall the classical lens space L^{2d-1}(N;k,1,\ldots,1). By L^i(N;k,1,\ldots,1) is denoted its i-skeleton with respect to the standard cell decomposition. If i is odd this is a lens space, if i is even this is a CW-complex obtained by attaching an i-cell to the lens space of dimension i-1.

Theorem 5.2 [Wall1999, Theorem 14E.3, first part].

Let L be a finite CW-complex with \pi_1 (L) \cong \Zz_N and universal cover S^{2d-1} polarized by (T,e). Then there exists a map \phi \colon S^{2d-2} \rightarrow L^{2d-2} (N,1,\ldots,1) and a simple homotopy equivalence

\displaystyle  h \colon L \rightarrow L^{2d-2}(N;1,\ldots,1) \cup_\phi e^{2d-1}

preserving the polarization, such that the \Zz G-chain complex differential on the right hand side is given by \partial_{2d-1} e^{2d-1} = e^{2d-2} (T-1) U for some U \in \Zz G which maps to a unit u \in R_G. Furthermore, L is a simple Poincare complex and its Reidemeister torsion is \Delta (L) = (T-1)^d \cdot u. The element u is unique up to powers of T.

5.2 Homotopy classification

Theorem 5.3 [Wall1999, Theorem 14E.3, second part].

The polarized homotopy types of such L are in one-to-one correspondence with the units in \Zz_N. The correspondence is given by L \mapsto \varepsilon' (u) \in \Zz_N. The invariant \varepsilon' (u) can be identified with the first non-trivial k-invariant of L (in the sense of homotopy theory) k_{2d-1} (L) \in H^{2d} (BG; \Zz).

5.3 Simple homotopy classification

Theorem 5.4 [Wall1999, Theorem 14E.3, third part].

The polarized simple homotopy types of such L are in one-to-one correspondence with the equivalence classes of units in R_G, where the equivalence relation is by the powers of T. The correspondence is given by L \mapsto u \in R_G.

The existence of a fake lens space in the homotopy type of such L is addressed in [Wall1999, Theorem 14E.4]. Unless both N and d are even there always exists a manifold homotopy equivalent to the complex L.

5.4 Fake lens spaces versus classical lens spaces

Since the units \varepsilon' (u) \in \Zz_N are exhausted by the lens spaces L^{2d-1}(N,k,1,\ldots,1) we obtain the following corollary.

Corollary 5.5. For any fake lens space L^{2d-1}(\alpha) there exists k \in \Nn and a homotopy equivalence

\displaystyle  h \colon L^{2d-1}(\alpha) \rightarrow L^{2d-1}(N;k,1,\ldots,1).

We note that the simple homotopy classification of fake lens spaces of course includes the simple homotopy classification of the classical lens spaces. For the classical lens spaces this also already yields the homeomorphism classification, the details can be found here.

6 Homeomorphism classification

The homeomorphism classification, as already noted, is an excellent application of the non-simply connected surgery theory. Recall that for a topological manifold X the surgery theoretic homeomorphism classification of manifolds wihin the homotopy type of X is stated in terms of the simple surgery structure set \mathcal{S}^s (X) and that the primary tool for its calculation is the surgery exact sequence. The homeomorphism classification described here of course specializes to the homeomorphism classification of the classical lens spaces as can be found here, see also the remark at the end of this section.

6.1 N is odd

In terms of the structure set the main result of [Wall1999, section 14E] can be expressed as follows.

Theorem 6.1 [Wall1999, Theorem 14E.7]. If N is odd, then the reduced \rho-invariant map

\displaystyle  {\widetilde \rho} \colon {\mathcal S}^s (L^{2d-1}(\alpha)) \to {\mathbb Q} R^{(-1)^d}_{\widehat G}

given by \widetilde \rho (h \co L \rightarrow L(\alpha)) \mapsto \rho (L) - \rho (L(\alpha)) is injective.

However, in this case, that means for N odd, Wall managed to obtain an even better result, namely the complete classification of fake lens spaces of a given dimension (2d-1) \geq 5 with the fundamental group G \cong \Zz_N which is stated in the two theorems below.

The classification theorem is:

Theorem 6.2 [Wall1999, Theorem 14E.7, first part]. Let L^{2d-1} and {L'}^{2d-1} be oriented fake lens spaces with fundamental group G cyclic of odd order N. Then there is an orientation preserving homeomorphism L \to L' inducing the identity on G if and only if \Delta(L) = \Delta(L') and \rho(L) = \rho(L').

The realization theorem is:

Theorem 6.3 [Wall1999, Theorem 14E.7, second part]. Let G be cyclic of odd order. Given \Delta \in R_G and \rho \in {\mathbb Q}R_{\widehat G}, there exists a corresponding fake lens space L^{2d-1} if and only if the following four statements hold:

  • \Delta and \rho are both real (d even) or imaginary (d odd).
  • \Delta generates I_G^n, \rho \in I_{\widehat G}^{-n}.
  • The classes of \rho \mod I_{\widehat G}^{-n+1} and (-2)^n \Delta \mod I_G^{n+1} correspond under
\displaystyle I_{\widehat G}^{-n} / I_{\widehat G}^{-n+1} \cong {\widehat H}^{2n}({\widehat G};\Zz) \cong {\widehat H}^{-2n}(G;\Zz) \cong I_G^n / I_G^{n+1}.
  • \rho \equiv - \displaystyle\sum_{\phi \in {\widehat G}, \phi \neq 1} \text{sign}(i^n \phi(\Delta)) \phi \mod 4.


6.2 N is general

The remaining cases were addressed in [Macko&Wegner2009] and [Macko&Wegner2008] from where the following theorem, stated in tems of the structure set is taken.

Theorem 6.4 [Macko&Wegner2008, Theorem 1.2]. Let L^{2d-1}(\alpha) be a fake lens space with \pi_1(L^{2d-1}(\alpha)) \cong {\mathbb Z}_N where N=2^K \cdot M with K \geq 0, M odd and d \geq 3. Then we have

\displaystyle  (\widetilde{\rho},\mathbf{r}_{4i-2},\mathbf{r}_{4i}) \colon {\mathcal S}^s (L^{2d-1}(\alpha)) \cong \bar \Sigma_N (d) \oplus \bigoplus_{i=1}^{c} {\mathbb Z}_{2^{\min\{K,1\}}} \oplus \bigoplus_{i=1}^{c} {\mathbb Z}_{2^{\min\{K,2i\}}}

where \bar \Sigma_N (d) \subset {\mathbb Q} R^{(-1)^d}_{\widehat G} is a free abelian group. If N is odd then its rank is (N-1)/2. If N is even then its rank is N/2-1 if d=2e+1 and N/2 if d=2e. In the torsion summand we have c = \lfloor (d-1)/2 \rfloor.

The invariant \widetilde \rho is the same reduced \rho-invariant as above. The invariants \mathbf{r}_{4i-2} \co {\mathcal S}^s (L^{2d-1}(\alpha))\longrightarrow \Zz_{2^{\min\{K,1\}}} are equal to the splitting invariants \mathbf{s}_{4i-2} described above. The invariants \mathbf{r}_{4i} \co {\mathcal S}^s (L^{2d-1}(\alpha)) \longrightarrow \Zz_{2^{\min\{K,2i\}}} are related to the the splitting invariants \mathbf{s}_{4i} above, but they do not have a straightforward description, only an inductive one, see [Macko&Wegner2008, section 7] for more details.

6.3 Some ideas from the proofs

As mentioned above the strategy in all cases is to investigate the surgery exact sequence for L. In this case there is enough information about the normal invariants, the L-groups and the surgery obstruction so that one is left with just an extension problem. Briefly speaking the normal invariants can be calculated separately when localized at 2, in which case a reduction to ordinary cohomology with coefficients in \Zz and \Zz_2 is obtained, and away from 2, in which case a real reduced K-theory is obtained. This is well-known for L(\alpha). The L-groups are completely described by the representation theory of G. By these calculations the surgery obstruction map can only be non-trivial in one case which is investigated in [Wall1999, Theorem 14E.4]. To proceed further it is convenient to study the relation of the surgery exact sequence to representation theory of G. This is done via the following commutative diagram of abelian groups and homomorphisms with exact rows

\displaystyle  \xymatrix{ 0 \ar[r] & {\widetilde L}^s_{2d} (G) \ar[r]^(0.4){\partial} \ar[d]_{\cong}^{G-sign} & {\mathcal S}^s (L^{2d-1}(\alpha)) \ar[r]^{\eta} \ar[d]^{\widetilde \rho}& \widetilde {\mathcal N} (L^{2d-1}(\alpha)) \ar[r] \ar[d]^{[\widetilde \rho]}& 0 \\ 0 \ar[r] & 4 \cdot R^{(-1)^d}_{\widehat G} \ar[r] & {\mathbb Q} R^{(-1)^d}_{\widehat G} \ar[r] & {\mathbb Q} R^{(-1)^d}_{\widehat G}/ 4 \cdot R^{(-1)^d}_{\widehat G} \ar[r] & 0 }

Here the symbol {\widetilde L}^s_{2d} (G) denotes the reduced L-group and the vertical isomorphism from it is the G-signature which can be found for example in [Hambleton&Taylor2000]. The symbol \widetilde {\mathcal N} (L^{2d-1}(\alpha)) denotes the kernel of the surgery obstruction map. As mentioned above it defers from the normal invariants {\mathcal N} (L^{2d-1}(\alpha)) only in one case, namely when both N and d are even, and in that case the difference turns out to be a factor of \Zz_2. The symbol [\widetilde \rho] is the homomorphism induced by \widetilde \rho.

To obtain Theorem 6.1 it is shown in [Wall1999] that the map [\widetilde \rho] is injective [Wall1999, Proposition 14E.6]. The proof proceeds by induction with respect to the dimension 2d-1. The crucial ingredient is the transfer which produces fake lens spaces from fake complex projective spaces and the formula for the \rho-invariant of fake complex projective spaces [Wall1999, Theorem 14C.4] which by naturality of the \rho-invariant with respect to taking subgroups translates to a formula for the \rho-invariant of the associated fake lens spaces [Wall1999, Theorem 14E.8 (c)]. The induction is possible thanks to the suspension construction described below and the multiplicativity of the \rho-invariant with respect to this construction [Wall1999, Theorem 14A.1].

To obtain Theorem 6.4 again the map [\widetilde \rho] is studied, first in case N = 2^K when it turns out not to be injective. In [Macko&Wegner2009] is determined its kernel. The result is again obtained via fake complex projective spaces and the formula [Wall1999, Theorem 14C.4]. However, in this case the calculation is obtained via induction on K (where remember N = 2^K) for any fixed 2d-1.

Finally, in [Macko&Wegner2008] the two special cases are combined to obtain the general cases via mostly formal arguments.

Remark 6.5. The homeomorphism classification of classical lens spaces due to [Franz1935] and [DeRham1936], given on the lens space page, is a special case of Theorem 6.2. The additional sign and factor of k appearing in the statement of the classical theorem arise since Theorem 6.2 classifies oriented lens spaces with a fixed identification of the fundamental group. The sign allows for a change of orientation and the factor of k for a change of generator for the fundamental group.

7 Construction and examples

Classical lens spaces are of course examples of fake lens spaces. To get fake lens spaces which are not homeomorphic to classical ones one can employ the construction of fake complex projective spaces. Note that a fake complex projective space is an orbit space of a free tame action of S^1 on S^{2d-1} and that we obviously have \Zz_N \cong G < S^1. Restricting the action to the subgroup we obtain a fake lens space. Its \rho-invariant can be calculated by naturality using the formula for the \rho-invariant of the circle action.

The above construction does not exhaust all the fake lens spaces. To get all of them there is a construction which produces from a given fake lens space L another fake lens space L' such that the difference of their \rho-invariants is a prescribed element

\displaystyle  \rho (L) - \rho(L') = x \in 4 \cdot R_{\widehat G}^{(-1)^d}.

The construction is just the Wall realization from surgery theory, alias a non-simply connected generalization of the plumbing construction.

Another possibilty is to obtain fake lens spaces as orbit spaces of actions of G on Brieskorn varieties. This was pursued for example in [Orlik1969].

8 The join construction / The suspension map

Let G be a group acting freely on the spheres S^m and S^n. Then the two actions extend to the join S^{m+n+1} \cong S^m * S^n and the resulting action remains free.

Given two fake lens spaces L and L', one can pass to the universal covers, form the join and then pass to the quotient again. The resulting space is again a fake lens space. This operation is called the join and denoted by L * L', or L (\alpha * \alpha') = L (\alpha) * L (\alpha').

Given two manifold structures h \colon L \xrightarrow{\simeq_s} L(\alpha) and h \colon L' \xrightarrow{\simeq_s} L(\alpha'), one can pass to the induced maps of the universal covers, extend them to a map of the joins and pass to the map of quotients. This will again be a simple homotopy equivalence and hence a manifold structure h *  h' \colon L * L' \xrightarrow{\simeq_s} L(\alpha * \alpha')

When L' = L^1(N,1) = L^1(\alpha_1) this operation is called a suspension. Taking h' = \id in the above paragraph defines a map
\displaystyle \Sigma \colon {\mathcal S}^s(L^{2d-1}(\alpha)) \to {\mathcal S}^s(L^{2d+1}(\alpha * \alpha_1))
.

Theorem 8.1 [Wall1999, Corollary on page 228 in section 14E].

If N is odd and d \geq 3 then the map
\displaystyle \Sigma \colon {\mathcal S}^s(L^{2d-1}(\alpha)) \to {\mathcal S}^s(L^{2d+1}(\alpha * \alpha_1))
is bijective.

The proof is based on the classification theorem above.

Theorem 8.2 [Macko&Wegner2008, Theorem 6.1 and 6.2]. For N even and e \geq 1 there are exact sequences

\displaystyle 0 \to {\mathcal S}^s (L_N^{4e+1} (\alpha_k)) \stackrel{\Sigma}{\longrightarrow} {\mathcal S}^s (L_N^{4e+3} (\alpha_k)) \stackrel{\sigma}{\longrightarrow} \Zz \to 0,
\displaystyle 0 \to \Zz \to {\mathcal S}^s (L_N^{4e+3} (\alpha_k)) \stackrel{\Sigma}{\longrightarrow} {\mathcal S}^s (L_N^{4e+5} (\alpha_k)) \stackrel{\mu}{\longrightarrow} \Zz_2 \to 0
.

The invariants \sigma and \mu (alias desuspension obstructions) are obtained by passing to the associated fake real projective spaces via the transfer (alias restricting the group action to \Zz_2) and taking the Browder-Livesay invariants described in [Lopez_de_Medrano1971] and [Wall1999, Chapter 12]. The invariant \sigma can be identified with the \rho-invariant associated to manifolds with \pi_1 = \Zz_2 (in which case it is just an integer).

The proof is based on the classification theorem above and also on the proofs of the analogous theorems for N = 2 described on the page fake real projective spaces.

9 Further sources

The sources mentioned in the text are those where the final classification statements were presented. They built on the previous work, some of which is contained in the following papers: [Browder&Livesay1967], [Browder1970], [Petrie1970], [Petrie1970a], [Browder&Petrie&Wall1971].

10 References

\to {\mathcal S}^s (L_N^{4e+1} (\alpha_k)) \stackrel{\Sigma}{\longrightarrow} {\mathcal S}^s (L_N^{4e+3} (\alpha_k)) \stackrel{\sigma}{\longrightarrow} \Zz \to 0,$$ $ be a finite cyclic group and let \alpha be a free action of G by homeomorphisms on the sphere S^{2d-1}. A fake lens space is the orbit space of \alpha and it is denoted by L^{2d-1} (\alpha).

Recall that the classical lens spaces were denoted by symbols like L(N,l_1,\ldots,l_d), where N is the order of the group G. For brevity the notation L^{2d-1} (\alpha_k) = L(N,k,1,\ldots,1) is sometimes used below. Also, when the dimension and the action are clear, we sometimes leave them from notation and simply write L.

Note that by the Lefschetz fixed point theorem, only the group of order 2 can act freely on a sphere S^{2k} of even dimension. For this case see the article on fake real projective spaces.

3 Notation

Throughout this page G will be the finite cyclic group of order N. It will have a preferred generator T which allows us to identify

\displaystyle  \Zz G = \Zz [T] / \langle T^N -1 \rangle.

The norm element is Z = 1 + T + \cdots + T^{N-1}. Further we denote R_G = \Zz G / \langle Z \rangle = \Zz [T]/ \langle 1 + T + \cdots + T^{N-1} \rangle. The projection map \Zz G \rightarrow R_G fits into the arithmetic square:

\displaystyle  \xymatrix{ \Zz G \ar[r]^{\eta} \ar[d]_{\varepsilon} & R_G \ar[d]^{\varepsilon'} \\ \Zz \ar[r]_{\eta'} & \Zz_N }

where \varepsilon, \varepsilon' are the augmentation maps. The augmentation ideal is the kernel I_G = \ker \varepsilon.

We will also need the ring \Qq R_G = \Qq \otimes R_G which we identify as

\displaystyle  \Qq R_G = \Qq [T]/ \langle 1 + T + \cdots + T^{N-1} \rangle

The Pontrjagin dual of G, is the group \widehat G = \Hom_\Zz (G,S^1). Recall that since G is a finite cyclic group the representation ring R(G) can be canonically identified with the group ring \Zz \widehat G. Then we also have \Qq R(G) = \Qq \otimes R(G) = \Qq \widehat G. Dividing out the regular representation corresponds to dividing out the norm element, hence R(G)/\langle \text{reg} \rangle = R_{\widehat G} = \Zz \widehat G/\langle Z \rangle and \Qq R(G)/\langle \text{reg} \rangle = \Qq R_{\widehat G} = \Qq \widehat G/\langle Z \rangle. We will also choose a preferred generator \chi of \widehat G which gives the identifications

\displaystyle  \Qq R_{\widehat G} = \Qq [\chi]/\langle 1+\chi +\cdots + \chi^{N-1} \rangle.

Also note that one can vary the group G. Suppose that we have a subgroup H \subset G. Then by restricting the action we obtain from a fake lens space associated with the group G a fake lens space associated with the group H. Similarly we could start with a fake complex projective space which is an orbit space of a free tame action of S^1 on S^{2d-1} and restrict the action to G \subset S^1, to obtain a fake lens space associated with G. Both of these operations are referred to as transfer.

4 Invariants

For L = L^{2d-1} (\alpha) we have the following invariants:

When N = 2^K \cdot M with \mathrm{gcd} (M,2)= 1, then we have for a manifold structure h \co L \longrightarrow L (\alpha_k) representing an element in the surgery structure set \mathcal{S}^s (L(\alpha_k)) the so-called splitting invariants:

The invariants \mathbf{s}_{4i-2} (h) are obtained by passing to the associated manifold structure on the real projective space \Rr P^{2d-1} (alias restricting the action to \Zz_2 \subset G) and taking the splitting invariant along \Rr P^{4i-2} \subset \Rr P^{2d-1}.

The splitting invariants \mathbf{s}_{4i} (h) are harder to describe. One way is as follows. It follows from the calculations of the normal invariants \mathcal{N} (L(\alpha)) that for d even the manifold structure h is normally cobordant to a manifold structure which comes from a manifold structure on the complex projective space \Cc P^{d-1} by the transfer (alias restricting the action to G \subset S^1). When d is odd the same is true for the suspension manifold structure \Sigma (h). The invariant \mathbf{s}_{4i} (h) is then obtained from the splitting invariant along \Cc P^{2i} \subset \Cc P^{d-1} which is an integer, by taking its class modulo 2^K when d is even, and from the splitting invariant along \Cc P^{2i} \subset \Cc P^{d} which is also an integer, by taking its class modulo 2^K, when d is odd.

For the splitting invariants of the manifold structures on the real projective spaces look here and for the splitting invariants of the manifold structures on the complex projective spaces look here.

5 Simple homotopy theory

5.1 Preliminaries

The homotopy classification is stated in the a priori broader context of finite CW-complexes L with \pi_1 (L) \cong \Zz_N and with the universal cover homotopy equivalent to S^{2d-1} of which fake lens spaces are obviously a special case. It is convenient to make the following definition.

Definition 5.1.

Let L be a CW-complex with \pi_1 (L) \cong \Zz_N and with universal cover homotopy equivalent to S^{2d-1}.

A polarization of L is a pair (T,e) where T is a choice of a generator of \pi_1 (L) and e is a choice of a homotopy equivalence e \colon \widetilde L \rightarrow S^{2d-1}.

Recall the classical lens space L^{2d-1}(N;k,1,\ldots,1). By L^i(N;k,1,\ldots,1) is denoted its i-skeleton with respect to the standard cell decomposition. If i is odd this is a lens space, if i is even this is a CW-complex obtained by attaching an i-cell to the lens space of dimension i-1.

Theorem 5.2 [Wall1999, Theorem 14E.3, first part].

Let L be a finite CW-complex with \pi_1 (L) \cong \Zz_N and universal cover S^{2d-1} polarized by (T,e). Then there exists a map \phi \colon S^{2d-2} \rightarrow L^{2d-2} (N,1,\ldots,1) and a simple homotopy equivalence

\displaystyle  h \colon L \rightarrow L^{2d-2}(N;1,\ldots,1) \cup_\phi e^{2d-1}

preserving the polarization, such that the \Zz G-chain complex differential on the right hand side is given by \partial_{2d-1} e^{2d-1} = e^{2d-2} (T-1) U for some U \in \Zz G which maps to a unit u \in R_G. Furthermore, L is a simple Poincare complex and its Reidemeister torsion is \Delta (L) = (T-1)^d \cdot u. The element u is unique up to powers of T.

5.2 Homotopy classification

Theorem 5.3 [Wall1999, Theorem 14E.3, second part].

The polarized homotopy types of such L are in one-to-one correspondence with the units in \Zz_N. The correspondence is given by L \mapsto \varepsilon' (u) \in \Zz_N. The invariant \varepsilon' (u) can be identified with the first non-trivial k-invariant of L (in the sense of homotopy theory) k_{2d-1} (L) \in H^{2d} (BG; \Zz).

5.3 Simple homotopy classification

Theorem 5.4 [Wall1999, Theorem 14E.3, third part].

The polarized simple homotopy types of such L are in one-to-one correspondence with the equivalence classes of units in R_G, where the equivalence relation is by the powers of T. The correspondence is given by L \mapsto u \in R_G.

The existence of a fake lens space in the homotopy type of such L is addressed in [Wall1999, Theorem 14E.4]. Unless both N and d are even there always exists a manifold homotopy equivalent to the complex L.

5.4 Fake lens spaces versus classical lens spaces

Since the units \varepsilon' (u) \in \Zz_N are exhausted by the lens spaces L^{2d-1}(N,k,1,\ldots,1) we obtain the following corollary.

Corollary 5.5. For any fake lens space L^{2d-1}(\alpha) there exists k \in \Nn and a homotopy equivalence

\displaystyle  h \colon L^{2d-1}(\alpha) \rightarrow L^{2d-1}(N;k,1,\ldots,1).

We note that the simple homotopy classification of fake lens spaces of course includes the simple homotopy classification of the classical lens spaces. For the classical lens spaces this also already yields the homeomorphism classification, the details can be found here.

6 Homeomorphism classification

The homeomorphism classification, as already noted, is an excellent application of the non-simply connected surgery theory. Recall that for a topological manifold X the surgery theoretic homeomorphism classification of manifolds wihin the homotopy type of X is stated in terms of the simple surgery structure set \mathcal{S}^s (X) and that the primary tool for its calculation is the surgery exact sequence. The homeomorphism classification described here of course specializes to the homeomorphism classification of the classical lens spaces as can be found here, see also the remark at the end of this section.

6.1 N is odd

In terms of the structure set the main result of [Wall1999, section 14E] can be expressed as follows.

Theorem 6.1 [Wall1999, Theorem 14E.7]. If N is odd, then the reduced \rho-invariant map

\displaystyle  {\widetilde \rho} \colon {\mathcal S}^s (L^{2d-1}(\alpha)) \to {\mathbb Q} R^{(-1)^d}_{\widehat G}

given by \widetilde \rho (h \co L \rightarrow L(\alpha)) \mapsto \rho (L) - \rho (L(\alpha)) is injective.

However, in this case, that means for N odd, Wall managed to obtain an even better result, namely the complete classification of fake lens spaces of a given dimension (2d-1) \geq 5 with the fundamental group G \cong \Zz_N which is stated in the two theorems below.

The classification theorem is:

Theorem 6.2 [Wall1999, Theorem 14E.7, first part]. Let L^{2d-1} and {L'}^{2d-1} be oriented fake lens spaces with fundamental group G cyclic of odd order N. Then there is an orientation preserving homeomorphism L \to L' inducing the identity on G if and only if \Delta(L) = \Delta(L') and \rho(L) = \rho(L').

The realization theorem is:

Theorem 6.3 [Wall1999, Theorem 14E.7, second part]. Let G be cyclic of odd order. Given \Delta \in R_G and \rho \in {\mathbb Q}R_{\widehat G}, there exists a corresponding fake lens space L^{2d-1} if and only if the following four statements hold:

\displaystyle I_{\widehat G}^{-n} / I_{\widehat G}^{-n+1} \cong {\widehat H}^{2n}({\widehat G};\Zz) \cong {\widehat H}^{-2n}(G;\Zz) \cong I_G^n / I_G^{n+1}.


6.2 N is general

The remaining cases were addressed in [Macko&Wegner2009] and [Macko&Wegner2008] from where the following theorem, stated in tems of the structure set is taken.

Theorem 6.4 [Macko&Wegner2008, Theorem 1.2]. Let L^{2d-1}(\alpha) be a fake lens space with \pi_1(L^{2d-1}(\alpha)) \cong {\mathbb Z}_N where N=2^K \cdot M with K \geq 0, M odd and d \geq 3. Then we have

\displaystyle  (\widetilde{\rho},\mathbf{r}_{4i-2},\mathbf{r}_{4i}) \colon {\mathcal S}^s (L^{2d-1}(\alpha)) \cong \bar \Sigma_N (d) \oplus \bigoplus_{i=1}^{c} {\mathbb Z}_{2^{\min\{K,1\}}} \oplus \bigoplus_{i=1}^{c} {\mathbb Z}_{2^{\min\{K,2i\}}}

where \bar \Sigma_N (d) \subset {\mathbb Q} R^{(-1)^d}_{\widehat G} is a free abelian group. If N is odd then its rank is (N-1)/2. If N is even then its rank is N/2-1 if d=2e+1 and N/2 if d=2e. In the torsion summand we have c = \lfloor (d-1)/2 \rfloor.

The invariant \widetilde \rho is the same reduced \rho-invariant as above. The invariants \mathbf{r}_{4i-2} \co {\mathcal S}^s (L^{2d-1}(\alpha))\longrightarrow \Zz_{2^{\min\{K,1\}}} are equal to the splitting invariants \mathbf{s}_{4i-2} described above. The invariants \mathbf{r}_{4i} \co {\mathcal S}^s (L^{2d-1}(\alpha)) \longrightarrow \Zz_{2^{\min\{K,2i\}}} are related to the the splitting invariants \mathbf{s}_{4i} above, but they do not have a straightforward description, only an inductive one, see [Macko&Wegner2008, section 7] for more details.

6.3 Some ideas from the proofs

As mentioned above the strategy in all cases is to investigate the surgery exact sequence for L. In this case there is enough information about the normal invariants, the L-groups and the surgery obstruction so that one is left with just an extension problem. Briefly speaking the normal invariants can be calculated separately when localized at 2, in which case a reduction to ordinary cohomology with coefficients in \Zz and \Zz_2 is obtained, and away from 2, in which case a real reduced K-theory is obtained. This is well-known for L(\alpha). The L-groups are completely described by the representation theory of G. By these calculations the surgery obstruction map can only be non-trivial in one case which is investigated in [Wall1999, Theorem 14E.4]. To proceed further it is convenient to study the relation of the surgery exact sequence to representation theory of G. This is done via the following commutative diagram of abelian groups and homomorphisms with exact rows

\displaystyle  \xymatrix{ 0 \ar[r] & {\widetilde L}^s_{2d} (G) \ar[r]^(0.4){\partial} \ar[d]_{\cong}^{G-sign} & {\mathcal S}^s (L^{2d-1}(\alpha)) \ar[r]^{\eta} \ar[d]^{\widetilde \rho}& \widetilde {\mathcal N} (L^{2d-1}(\alpha)) \ar[r] \ar[d]^{[\widetilde \rho]}& 0 \\ 0 \ar[r] & 4 \cdot R^{(-1)^d}_{\widehat G} \ar[r] & {\mathbb Q} R^{(-1)^d}_{\widehat G} \ar[r] & {\mathbb Q} R^{(-1)^d}_{\widehat G}/ 4 \cdot R^{(-1)^d}_{\widehat G} \ar[r] & 0 }

Here the symbol {\widetilde L}^s_{2d} (G) denotes the reduced L-group and the vertical isomorphism from it is the G-signature which can be found for example in [Hambleton&Taylor2000]. The symbol \widetilde {\mathcal N} (L^{2d-1}(\alpha)) denotes the kernel of the surgery obstruction map. As mentioned above it defers from the normal invariants {\mathcal N} (L^{2d-1}(\alpha)) only in one case, namely when both N and d are even, and in that case the difference turns out to be a factor of \Zz_2. The symbol [\widetilde \rho] is the homomorphism induced by \widetilde \rho.

To obtain Theorem 6.1 it is shown in [Wall1999] that the map [\widetilde \rho] is injective [Wall1999, Proposition 14E.6]. The proof proceeds by induction with respect to the dimension 2d-1. The crucial ingredient is the transfer which produces fake lens spaces from fake complex projective spaces and the formula for the \rho-invariant of fake complex projective spaces [Wall1999, Theorem 14C.4] which by naturality of the \rho-invariant with respect to taking subgroups translates to a formula for the \rho-invariant of the associated fake lens spaces [Wall1999, Theorem 14E.8 (c)]. The induction is possible thanks to the suspension construction described below and the multiplicativity of the \rho-invariant with respect to this construction [Wall1999, Theorem 14A.1].

To obtain Theorem 6.4 again the map [\widetilde \rho] is studied, first in case N = 2^K when it turns out not to be injective. In [Macko&Wegner2009] is determined its kernel. The result is again obtained via fake complex projective spaces and the formula [Wall1999, Theorem 14C.4]. However, in this case the calculation is obtained via induction on K (where remember N = 2^K) for any fixed 2d-1.

Finally, in [Macko&Wegner2008] the two special cases are combined to obtain the general cases via mostly formal arguments.

Remark 6.5. The homeomorphism classification of classical lens spaces due to [Franz1935] and [DeRham1936], given on the lens space page, is a special case of Theorem 6.2. The additional sign and factor of k appearing in the statement of the classical theorem arise since Theorem 6.2 classifies oriented lens spaces with a fixed identification of the fundamental group. The sign allows for a change of orientation and the factor of k for a change of generator for the fundamental group.

7 Construction and examples

Classical lens spaces are of course examples of fake lens spaces. To get fake lens spaces which are not homeomorphic to classical ones one can employ the construction of fake complex projective spaces. Note that a fake complex projective space is an orbit space of a free tame action of S^1 on S^{2d-1} and that we obviously have \Zz_N \cong G < S^1. Restricting the action to the subgroup we obtain a fake lens space. Its \rho-invariant can be calculated by naturality using the formula for the \rho-invariant of the circle action.

The above construction does not exhaust all the fake lens spaces. To get all of them there is a construction which produces from a given fake lens space L another fake lens space L' such that the difference of their \rho-invariants is a prescribed element

\displaystyle  \rho (L) - \rho(L') = x \in 4 \cdot R_{\widehat G}^{(-1)^d}.

The construction is just the Wall realization from surgery theory, alias a non-simply connected generalization of the plumbing construction.

Another possibilty is to obtain fake lens spaces as orbit spaces of actions of G on Brieskorn varieties. This was pursued for example in [Orlik1969].

8 The join construction / The suspension map

Let G be a group acting freely on the spheres S^m and S^n. Then the two actions extend to the join S^{m+n+1} \cong S^m * S^n and the resulting action remains free.

Given two fake lens spaces L and L', one can pass to the universal covers, form the join and then pass to the quotient again. The resulting space is again a fake lens space. This operation is called the join and denoted by L * L', or L (\alpha * \alpha') = L (\alpha) * L (\alpha').

Given two manifold structures h \colon L \xrightarrow{\simeq_s} L(\alpha) and h \colon L' \xrightarrow{\simeq_s} L(\alpha'), one can pass to the induced maps of the universal covers, extend them to a map of the joins and pass to the map of quotients. This will again be a simple homotopy equivalence and hence a manifold structure h *  h' \colon L * L' \xrightarrow{\simeq_s} L(\alpha * \alpha')

When L' = L^1(N,1) = L^1(\alpha_1) this operation is called a suspension. Taking h' = \id in the above paragraph defines a map
\displaystyle \Sigma \colon {\mathcal S}^s(L^{2d-1}(\alpha)) \to {\mathcal S}^s(L^{2d+1}(\alpha * \alpha_1))
.

Theorem 8.1 [Wall1999, Corollary on page 228 in section 14E].

If N is odd and d \geq 3 then the map
\displaystyle \Sigma \colon {\mathcal S}^s(L^{2d-1}(\alpha)) \to {\mathcal S}^s(L^{2d+1}(\alpha * \alpha_1))
is bijective.

The proof is based on the classification theorem above.

Theorem 8.2 [Macko&Wegner2008, Theorem 6.1 and 6.2]. For N even and e \geq 1 there are exact sequences

\displaystyle 0 \to {\mathcal S}^s (L_N^{4e+1} (\alpha_k)) \stackrel{\Sigma}{\longrightarrow} {\mathcal S}^s (L_N^{4e+3} (\alpha_k)) \stackrel{\sigma}{\longrightarrow} \Zz \to 0,
\displaystyle 0 \to \Zz \to {\mathcal S}^s (L_N^{4e+3} (\alpha_k)) \stackrel{\Sigma}{\longrightarrow} {\mathcal S}^s (L_N^{4e+5} (\alpha_k)) \stackrel{\mu}{\longrightarrow} \Zz_2 \to 0
.

The invariants \sigma and \mu (alias desuspension obstructions) are obtained by passing to the associated fake real projective spaces via the transfer (alias restricting the group action to \Zz_2) and taking the Browder-Livesay invariants described in [Lopez_de_Medrano1971] and [Wall1999, Chapter 12]. The invariant \sigma can be identified with the \rho-invariant associated to manifolds with \pi_1 = \Zz_2 (in which case it is just an integer).

The proof is based on the classification theorem above and also on the proofs of the analogous theorems for N = 2 described on the page fake real projective spaces.

9 Further sources

The sources mentioned in the text are those where the final classification statements were presented. They built on the previous work, some of which is contained in the following papers: [Browder&Livesay1967], [Browder1970], [Petrie1970], [Petrie1970a], [Browder&Petrie&Wall1971].

10 References

\to \Zz \to {\mathcal S}^s (L_N^{4e+3} (\alpha_k)) \stackrel{\Sigma}{\longrightarrow} {\mathcal S}^s (L_N^{4e+5} (\alpha_k)) \stackrel{\mu}{\longrightarrow} \Zz_2 \to 0$$. {{endthm}} The invariants $\sigma$ and $\mu$ (alias desuspension obstructions) are obtained by passing to the associated fake real projective spaces via the transfer (alias restricting the group action to $\Zz_2$) and taking the Browder-Livesay invariants described in {{cite|Lopez_de_Medrano1971}} and {{cite|Wall1999|Chapter 12}}. The invariant $\sigma$ can be identified with the $\rho$-invariant associated to manifolds with $\pi_1 = \Zz_2$ (in which case it is just an integer). The proof is based on the classification theorem above and also on the proofs of the analogous theorems for $N = 2$ described on the page [[Fake real projective spaces|fake real projective spaces]]. == Further sources == ; The sources mentioned in the text are those where the final classification statements were presented. They built on the previous work, some of which is contained in the following papers: {{cite|Browder&Livesay1967}}, {{cite|Browder1970}}, {{cite|Petrie1970}}, {{cite|Petrie1970a}}, {{cite|Browder&Petrie&Wall1971}}. == References == {{#RefList:}} [[Category:Manifolds]] [[Category:Surgery]] [[Category:Group actions on manifolds]]G be a finite cyclic group and let \alpha be a free action of G by homeomorphisms on the sphere S^{2d-1}. A fake lens space is the orbit space of \alpha and it is denoted by L^{2d-1} (\alpha).

Recall that the classical lens spaces were denoted by symbols like L(N,l_1,\ldots,l_d), where N is the order of the group G. For brevity the notation L^{2d-1} (\alpha_k) = L(N,k,1,\ldots,1) is sometimes used below. Also, when the dimension and the action are clear, we sometimes leave them from notation and simply write L.

Note that by the Lefschetz fixed point theorem, only the group of order 2 can act freely on a sphere S^{2k} of even dimension. For this case see the article on fake real projective spaces.

3 Notation

Throughout this page G will be the finite cyclic group of order N. It will have a preferred generator T which allows us to identify

\displaystyle  \Zz G = \Zz [T] / \langle T^N -1 \rangle.

The norm element is Z = 1 + T + \cdots + T^{N-1}. Further we denote R_G = \Zz G / \langle Z \rangle = \Zz [T]/ \langle 1 + T + \cdots + T^{N-1} \rangle. The projection map \Zz G \rightarrow R_G fits into the arithmetic square:

\displaystyle  \xymatrix{ \Zz G \ar[r]^{\eta} \ar[d]_{\varepsilon} & R_G \ar[d]^{\varepsilon'} \\ \Zz \ar[r]_{\eta'} & \Zz_N }

where \varepsilon, \varepsilon' are the augmentation maps. The augmentation ideal is the kernel I_G = \ker \varepsilon.

We will also need the ring \Qq R_G = \Qq \otimes R_G which we identify as

\displaystyle  \Qq R_G = \Qq [T]/ \langle 1 + T + \cdots + T^{N-1} \rangle

The Pontrjagin dual of G, is the group \widehat G = \Hom_\Zz (G,S^1). Recall that since G is a finite cyclic group the representation ring R(G) can be canonically identified with the group ring \Zz \widehat G. Then we also have \Qq R(G) = \Qq \otimes R(G) = \Qq \widehat G. Dividing out the regular representation corresponds to dividing out the norm element, hence R(G)/\langle \text{reg} \rangle = R_{\widehat G} = \Zz \widehat G/\langle Z \rangle and \Qq R(G)/\langle \text{reg} \rangle = \Qq R_{\widehat G} = \Qq \widehat G/\langle Z \rangle. We will also choose a preferred generator \chi of \widehat G which gives the identifications

\displaystyle  \Qq R_{\widehat G} = \Qq [\chi]/\langle 1+\chi +\cdots + \chi^{N-1} \rangle.

Also note that one can vary the group G. Suppose that we have a subgroup H \subset G. Then by restricting the action we obtain from a fake lens space associated with the group G a fake lens space associated with the group H. Similarly we could start with a fake complex projective space which is an orbit space of a free tame action of S^1 on S^{2d-1} and restrict the action to G \subset S^1, to obtain a fake lens space associated with G. Both of these operations are referred to as transfer.

4 Invariants

For L = L^{2d-1} (\alpha) we have the following invariants:

When N = 2^K \cdot M with \mathrm{gcd} (M,2)= 1, then we have for a manifold structure h \co L \longrightarrow L (\alpha_k) representing an element in the surgery structure set \mathcal{S}^s (L(\alpha_k)) the so-called splitting invariants:

The invariants \mathbf{s}_{4i-2} (h) are obtained by passing to the associated manifold structure on the real projective space \Rr P^{2d-1} (alias restricting the action to \Zz_2 \subset G) and taking the splitting invariant along \Rr P^{4i-2} \subset \Rr P^{2d-1}.

The splitting invariants \mathbf{s}_{4i} (h) are harder to describe. One way is as follows. It follows from the calculations of the normal invariants \mathcal{N} (L(\alpha)) that for d even the manifold structure h is normally cobordant to a manifold structure which comes from a manifold structure on the complex projective space \Cc P^{d-1} by the transfer (alias restricting the action to G \subset S^1). When d is odd the same is true for the suspension manifold structure \Sigma (h). The invariant \mathbf{s}_{4i} (h) is then obtained from the splitting invariant along \Cc P^{2i} \subset \Cc P^{d-1} which is an integer, by taking its class modulo 2^K when d is even, and from the splitting invariant along \Cc P^{2i} \subset \Cc P^{d} which is also an integer, by taking its class modulo 2^K, when d is odd.

For the splitting invariants of the manifold structures on the real projective spaces look here and for the splitting invariants of the manifold structures on the complex projective spaces look here.

5 Simple homotopy theory

5.1 Preliminaries

The homotopy classification is stated in the a priori broader context of finite CW-complexes L with \pi_1 (L) \cong \Zz_N and with the universal cover homotopy equivalent to S^{2d-1} of which fake lens spaces are obviously a special case. It is convenient to make the following definition.

Definition 5.1.

Let L be a CW-complex with \pi_1 (L) \cong \Zz_N and with universal cover homotopy equivalent to S^{2d-1}.

A polarization of L is a pair (T,e) where T is a choice of a generator of \pi_1 (L) and e is a choice of a homotopy equivalence e \colon \widetilde L \rightarrow S^{2d-1}.

Recall the classical lens space L^{2d-1}(N;k,1,\ldots,1). By L^i(N;k,1,\ldots,1) is denoted its i-skeleton with respect to the standard cell decomposition. If i is odd this is a lens space, if i is even this is a CW-complex obtained by attaching an i-cell to the lens space of dimension i-1.

Theorem 5.2 [Wall1999, Theorem 14E.3, first part].

Let L be a finite CW-complex with \pi_1 (L) \cong \Zz_N and universal cover S^{2d-1} polarized by (T,e). Then there exists a map \phi \colon S^{2d-2} \rightarrow L^{2d-2} (N,1,\ldots,1) and a simple homotopy equivalence

\displaystyle  h \colon L \rightarrow L^{2d-2}(N;1,\ldots,1) \cup_\phi e^{2d-1}

preserving the polarization, such that the \Zz G-chain complex differential on the right hand side is given by \partial_{2d-1} e^{2d-1} = e^{2d-2} (T-1) U for some U \in \Zz G which maps to a unit u \in R_G. Furthermore, L is a simple Poincare complex and its Reidemeister torsion is \Delta (L) = (T-1)^d \cdot u. The element u is unique up to powers of T.

5.2 Homotopy classification

Theorem 5.3 [Wall1999, Theorem 14E.3, second part].

The polarized homotopy types of such L are in one-to-one correspondence with the units in \Zz_N. The correspondence is given by L \mapsto \varepsilon' (u) \in \Zz_N. The invariant \varepsilon' (u) can be identified with the first non-trivial k-invariant of L (in the sense of homotopy theory) k_{2d-1} (L) \in H^{2d} (BG; \Zz).

5.3 Simple homotopy classification

Theorem 5.4 [Wall1999, Theorem 14E.3, third part].

The polarized simple homotopy types of such L are in one-to-one correspondence with the equivalence classes of units in R_G, where the equivalence relation is by the powers of T. The correspondence is given by L \mapsto u \in R_G.

The existence of a fake lens space in the homotopy type of such L is addressed in [Wall1999, Theorem 14E.4]. Unless both N and d are even there always exists a manifold homotopy equivalent to the complex L.

5.4 Fake lens spaces versus classical lens spaces

Since the units \varepsilon' (u) \in \Zz_N are exhausted by the lens spaces L^{2d-1}(N,k,1,\ldots,1) we obtain the following corollary.

Corollary 5.5. For any fake lens space L^{2d-1}(\alpha) there exists k \in \Nn and a homotopy equivalence

\displaystyle  h \colon L^{2d-1}(\alpha) \rightarrow L^{2d-1}(N;k,1,\ldots,1).

We note that the simple homotopy classification of fake lens spaces of course includes the simple homotopy classification of the classical lens spaces. For the classical lens spaces this also already yields the homeomorphism classification, the details can be found here.

6 Homeomorphism classification

The homeomorphism classification, as already noted, is an excellent application of the non-simply connected surgery theory. Recall that for a topological manifold X the surgery theoretic homeomorphism classification of manifolds wihin the homotopy type of X is stated in terms of the simple surgery structure set \mathcal{S}^s (X) and that the primary tool for its calculation is the surgery exact sequence. The homeomorphism classification described here of course specializes to the homeomorphism classification of the classical lens spaces as can be found here, see also the remark at the end of this section.

6.1 N is odd

In terms of the structure set the main result of [Wall1999, section 14E] can be expressed as follows.

Theorem 6.1 [Wall1999, Theorem 14E.7]. If N is odd, then the reduced \rho-invariant map

\displaystyle  {\widetilde \rho} \colon {\mathcal S}^s (L^{2d-1}(\alpha)) \to {\mathbb Q} R^{(-1)^d}_{\widehat G}

given by \widetilde \rho (h \co L \rightarrow L(\alpha)) \mapsto \rho (L) - \rho (L(\alpha)) is injective.

However, in this case, that means for N odd, Wall managed to obtain an even better result, namely the complete classification of fake lens spaces of a given dimension (2d-1) \geq 5 with the fundamental group G \cong \Zz_N which is stated in the two theorems below.

The classification theorem is:

Theorem 6.2 [Wall1999, Theorem 14E.7, first part]. Let L^{2d-1} and {L'}^{2d-1} be oriented fake lens spaces with fundamental group G cyclic of odd order N. Then there is an orientation preserving homeomorphism L \to L' inducing the identity on G if and only if \Delta(L) = \Delta(L') and \rho(L) = \rho(L').

The realization theorem is:

Theorem 6.3 [Wall1999, Theorem 14E.7, second part]. Let G be cyclic of odd order. Given \Delta \in R_G and \rho \in {\mathbb Q}R_{\widehat G}, there exists a corresponding fake lens space L^{2d-1} if and only if the following four statements hold:

\displaystyle I_{\widehat G}^{-n} / I_{\widehat G}^{-n+1} \cong {\widehat H}^{2n}({\widehat G};\Zz) \cong {\widehat H}^{-2n}(G;\Zz) \cong I_G^n / I_G^{n+1}.


6.2 N is general

The remaining cases were addressed in [Macko&Wegner2009] and [Macko&Wegner2008] from where the following theorem, stated in tems of the structure set is taken.

Theorem 6.4 [Macko&Wegner2008, Theorem 1.2]. Let L^{2d-1}(\alpha) be a fake lens space with \pi_1(L^{2d-1}(\alpha)) \cong {\mathbb Z}_N where N=2^K \cdot M with K \geq 0, M odd and d \geq 3. Then we have

\displaystyle  (\widetilde{\rho},\mathbf{r}_{4i-2},\mathbf{r}_{4i}) \colon {\mathcal S}^s (L^{2d-1}(\alpha)) \cong \bar \Sigma_N (d) \oplus \bigoplus_{i=1}^{c} {\mathbb Z}_{2^{\min\{K,1\}}} \oplus \bigoplus_{i=1}^{c} {\mathbb Z}_{2^{\min\{K,2i\}}}

where \bar \Sigma_N (d) \subset {\mathbb Q} R^{(-1)^d}_{\widehat G} is a free abelian group. If N is odd then its rank is (N-1)/2. If N is even then its rank is N/2-1 if d=2e+1 and N/2 if d=2e. In the torsion summand we have c = \lfloor (d-1)/2 \rfloor.

The invariant \widetilde \rho is the same reduced \rho-invariant as above. The invariants \mathbf{r}_{4i-2} \co {\mathcal S}^s (L^{2d-1}(\alpha))\longrightarrow \Zz_{2^{\min\{K,1\}}} are equal to the splitting invariants \mathbf{s}_{4i-2} described above. The invariants \mathbf{r}_{4i} \co {\mathcal S}^s (L^{2d-1}(\alpha)) \longrightarrow \Zz_{2^{\min\{K,2i\}}} are related to the the splitting invariants \mathbf{s}_{4i} above, but they do not have a straightforward description, only an inductive one, see [Macko&Wegner2008, section 7] for more details.

6.3 Some ideas from the proofs

As mentioned above the strategy in all cases is to investigate the surgery exact sequence for L. In this case there is enough information about the normal invariants, the L-groups and the surgery obstruction so that one is left with just an extension problem. Briefly speaking the normal invariants can be calculated separately when localized at 2, in which case a reduction to ordinary cohomology with coefficients in \Zz and \Zz_2 is obtained, and away from 2, in which case a real reduced K-theory is obtained. This is well-known for L(\alpha). The L-groups are completely described by the representation theory of G. By these calculations the surgery obstruction map can only be non-trivial in one case which is investigated in [Wall1999, Theorem 14E.4]. To proceed further it is convenient to study the relation of the surgery exact sequence to representation theory of G. This is done via the following commutative diagram of abelian groups and homomorphisms with exact rows

\displaystyle  \xymatrix{ 0 \ar[r] & {\widetilde L}^s_{2d} (G) \ar[r]^(0.4){\partial} \ar[d]_{\cong}^{G-sign} & {\mathcal S}^s (L^{2d-1}(\alpha)) \ar[r]^{\eta} \ar[d]^{\widetilde \rho}& \widetilde {\mathcal N} (L^{2d-1}(\alpha)) \ar[r] \ar[d]^{[\widetilde \rho]}& 0 \\ 0 \ar[r] & 4 \cdot R^{(-1)^d}_{\widehat G} \ar[r] & {\mathbb Q} R^{(-1)^d}_{\widehat G} \ar[r] & {\mathbb Q} R^{(-1)^d}_{\widehat G}/ 4 \cdot R^{(-1)^d}_{\widehat G} \ar[r] & 0 }

Here the symbol {\widetilde L}^s_{2d} (G) denotes the reduced L-group and the vertical isomorphism from it is the G-signature which can be found for example in [Hambleton&Taylor2000]. The symbol \widetilde {\mathcal N} (L^{2d-1}(\alpha)) denotes the kernel of the surgery obstruction map. As mentioned above it defers from the normal invariants {\mathcal N} (L^{2d-1}(\alpha)) only in one case, namely when both N and d are even, and in that case the difference turns out to be a factor of \Zz_2. The symbol [\widetilde \rho] is the homomorphism induced by \widetilde \rho.

To obtain Theorem 6.1 it is shown in [Wall1999] that the map [\widetilde \rho] is injective [Wall1999, Proposition 14E.6]. The proof proceeds by induction with respect to the dimension 2d-1. The crucial ingredient is the transfer which produces fake lens spaces from fake complex projective spaces and the formula for the \rho-invariant of fake complex projective spaces [Wall1999, Theorem 14C.4] which by naturality of the \rho-invariant with respect to taking subgroups translates to a formula for the \rho-invariant of the associated fake lens spaces [Wall1999, Theorem 14E.8 (c)]. The induction is possible thanks to the suspension construction described below and the multiplicativity of the \rho-invariant with respect to this construction [Wall1999, Theorem 14A.1].

To obtain Theorem 6.4 again the map [\widetilde \rho] is studied, first in case N = 2^K when it turns out not to be injective. In [Macko&Wegner2009] is determined its kernel. The result is again obtained via fake complex projective spaces and the formula [Wall1999, Theorem 14C.4]. However, in this case the calculation is obtained via induction on K (where remember N = 2^K) for any fixed 2d-1.

Finally, in [Macko&Wegner2008] the two special cases are combined to obtain the general cases via mostly formal arguments.

Remark 6.5. The homeomorphism classification of classical lens spaces due to [Franz1935] and [DeRham1936], given on the lens space page, is a special case of Theorem 6.2. The additional sign and factor of k appearing in the statement of the classical theorem arise since Theorem 6.2 classifies oriented lens spaces with a fixed identification of the fundamental group. The sign allows for a change of orientation and the factor of k for a change of generator for the fundamental group.

7 Construction and examples

Classical lens spaces are of course examples of fake lens spaces. To get fake lens spaces which are not homeomorphic to classical ones one can employ the construction of fake complex projective spaces. Note that a fake complex projective space is an orbit space of a free tame action of S^1 on S^{2d-1} and that we obviously have \Zz_N \cong G < S^1. Restricting the action to the subgroup we obtain a fake lens space. Its \rho-invariant can be calculated by naturality using the formula for the \rho-invariant of the circle action.

The above construction does not exhaust all the fake lens spaces. To get all of them there is a construction which produces from a given fake lens space L another fake lens space L' such that the difference of their \rho-invariants is a prescribed element

\displaystyle  \rho (L) - \rho(L') = x \in 4 \cdot R_{\widehat G}^{(-1)^d}.

The construction is just the Wall realization from surgery theory, alias a non-simply connected generalization of the plumbing construction.

Another possibilty is to obtain fake lens spaces as orbit spaces of actions of G on Brieskorn varieties. This was pursued for example in [Orlik1969].

8 The join construction / The suspension map

Let G be a group acting freely on the spheres S^m and S^n. Then the two actions extend to the join S^{m+n+1} \cong S^m * S^n and the resulting action remains free.

Given two fake lens spaces L and L', one can pass to the universal covers, form the join and then pass to the quotient again. The resulting space is again a fake lens space. This operation is called the join and denoted by L * L', or L (\alpha * \alpha') = L (\alpha) * L (\alpha').

Given two manifold structures h \colon L \xrightarrow{\simeq_s} L(\alpha) and h \colon L' \xrightarrow{\simeq_s} L(\alpha'), one can pass to the induced maps of the universal covers, extend them to a map of the joins and pass to the map of quotients. This will again be a simple homotopy equivalence and hence a manifold structure h *  h' \colon L * L' \xrightarrow{\simeq_s} L(\alpha * \alpha')

When L' = L^1(N,1) = L^1(\alpha_1) this operation is called a suspension. Taking h' = \id in the above paragraph defines a map
\displaystyle \Sigma \colon {\mathcal S}^s(L^{2d-1}(\alpha)) \to {\mathcal S}^s(L^{2d+1}(\alpha * \alpha_1))
.

Theorem 8.1 [Wall1999, Corollary on page 228 in section 14E].

If N is odd and d \geq 3 then the map
\displaystyle \Sigma \colon {\mathcal S}^s(L^{2d-1}(\alpha)) \to {\mathcal S}^s(L^{2d+1}(\alpha * \alpha_1))
is bijective.

The proof is based on the classification theorem above.

Theorem 8.2 [Macko&Wegner2008, Theorem 6.1 and 6.2]. For N even and e \geq 1 there are exact sequences

\displaystyle 0 \to {\mathcal S}^s (L_N^{4e+1} (\alpha_k)) \stackrel{\Sigma}{\longrightarrow} {\mathcal S}^s (L_N^{4e+3} (\alpha_k)) \stackrel{\sigma}{\longrightarrow} \Zz \to 0,
\displaystyle 0 \to \Zz \to {\mathcal S}^s (L_N^{4e+3} (\alpha_k)) \stackrel{\Sigma}{\longrightarrow} {\mathcal S}^s (L_N^{4e+5} (\alpha_k)) \stackrel{\mu}{\longrightarrow} \Zz_2 \to 0
.

The invariants \sigma and \mu (alias desuspension obstructions) are obtained by passing to the associated fake real projective spaces via the transfer (alias restricting the group action to \Zz_2) and taking the Browder-Livesay invariants described in [Lopez_de_Medrano1971] and [Wall1999, Chapter 12]. The invariant \sigma can be identified with the \rho-invariant associated to manifolds with \pi_1 = \Zz_2 (in which case it is just an integer).

The proof is based on the classification theorem above and also on the proofs of the analogous theorems for N = 2 described on the page fake real projective spaces.

9 Further sources

The sources mentioned in the text are those where the final classification statements were presented. They built on the previous work, some of which is contained in the following papers: [Browder&Livesay1967], [Browder1970], [Petrie1970], [Petrie1970a], [Browder&Petrie&Wall1971].

10 References

Retrieved from "http://www.map.mpim-bonn.mpg.de/index.php?title=Fake_lens_spaces&oldid=9857"
Personal tools
Namespaces
Variants
Actions
Navigation
Interaction
Toolbox