Fake lens spaces
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 has not been refereed. The information given here might be incomplete or provisional. |
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 of a finite cyclic group on a sphere which come from unitary representations, 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 section about 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 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 be a finite cyclic group and let be a free action of by homeomorphisms on the sphere . A fake lens space is the orbit space of and it is denoted by .
Recall that the classical lens spaces were denoted by symbols like , wheer is the order of the group . For brevity the notation is sometimes used below. Also, when the dimension and the action are clear, we sometimes leave them from notation and simply write .
Note that by the Lefschetz fixed point theorem, only the group of order 2 can act freely on a sphere of even dimension. For this case see the article on fake real projective spaces.
3 Notation
Throughout this page will be the finite cyclic group of order . It will have a preferred generator which allows us to identify
The norm element is . Further we denote . The projection map fits into the arithmetic square:
where , are the augmentation maps. The augmentation ideal is the kernel .
We will also need the ring which we identify as
The Pontrjagin dual of , is the group . Recall that since is a finite cyclic group the representation ring can be canonically identified with the group ring . Then we also have . Dividing out the regular representation corresponds to dividing out the norm element, hence and . We will also choose a preferred generator of which gives the identifications
4 Invariants
For we have the following invariants:
- , for
- , , for , for all other values of .
- the -invariant (in the sense of homotopy theory) .
- the Reidemeister torsion and
- the -invariant .
When with , then we have for a manifold structure representing an element in the structure set the so-called splitting invariants:
- for
- for
The invariants are obtained by passing to the associated manifold structure on the real projective space (alias restricting he action to ) and taking the splitting invariant along .
The splitting invariants are harder to describe. One way is as follows. It follows from the calculations of the normal invariants that the manifold structure is normally cobordant to a manifold structure which comes from a manifold structure on the complex projective space by the transfer (alias restricting the action to ). The invariant is then obtained from the splitting invariant along which is an integer, by taking its class modulo .
For the splitting invariants of the manifold structures look here for the real projective spaces and here for the complex projective spaces.
5 Simple homotopy theory
5.1 Preliminaries
The homotopy classification is stated in the a priori broader context of finite CW-complexes with and with the universal cover homotopy equivalent to of which fake lens spaces are obviously a special case. It is convenient to make the following definition.
Definition 5.1.
Let be a CW-complex with and with universal cover homotopy equivalent to .
A polarization of is a pair where is a choice of a generator of and is a choice of a homotopy equivalence .
Recall the classical lens space . By is denoted its -skeleton with respect to the standard cell decomposition. If is odd this is a lens space, if is even this is a CW-complex obtained by attaching an -cell to the lens space of dimension .
Theorem 5.2 [Wall1999, Theorem 14E.3, first part].
Let be a finite CW-complex with and universal cover polarized by . Then there exists a map and a simple homotopy equivalence
preserving the polarization, such that the -chain complex differential on the right hand side is given by for some which maps to a unit . Furthermore, is a simple Poincare complex and its Reidemeister torsion is . The element is unique up to powers of .
5.2 Homotopy classfication
Theorem 5.3 [Wall1999, Theorem 14E.3, second part].
The polarized homotopy types of such are in one-to-one correspondence with the units in . The correspondence is given by . The invariant can be identified with the first non-trivial -invariant of (in the sense of homotopy theory) .
5.3 Simple homotopy classification
Theorem 5.4 [Wall1999, Theorem 14E.3, third part].
The polarized simple homotopy types of such are in one-to-one correspondence with the equivalence classes of units in , where the equivalence relation is by the powers of . The correspondence is given by .
The existence of a fake lens space in the homotopy type of such is addressed in [Wall1999, Theorem 14E.4]. Unless both and are even there always exists a manifold homotopy equivalent to the complex .
5.4 Fake lens spaces versus classical lens spaces
Since the units are exhausted by the lens spaces we obtain the following corollary.
Corollary 5.5. For any fake lens space there exists and a homotopy equivalence
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 the surgery theoretic homeomorphism classification of manifolds wihin the homotopy type of is stated in terms of the simple surgery structure set and that the primary tool for its calculation is the surgery exact sequence.
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 is odd, then the reduced -invariant map
given by is injective.
However, in this case, that means for odd, Wall managed to obtain an even better result, namely the complete classification of fake lens spaces of a given dimension with the fundamental group which is stated in the two theorems below.
The classification theorem is:
Theorem 6.2 [Wall1999, Theorem 14E.7, first part]. Let and be oriented fake lens spaces with fundamental group cyclic of odd order . Then there is an orientation preserving homeomorphism inducing the identity on if and only if and .
The realization theorem is:
Theorem 6.3 [Wall1999, Theorem 14E.7, first part]. Let be cyclic of odd order. Given and , there exists a corresponding fake lens space if and only if the following four statements hold:
- and are both real ( even) or imaginary ( odd).
- generates , .
- The classes of and correspond under
- .
6.2 N is general
The remaining cases were addressed in [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 be a fake lens space with where with , odd and . Then we have
where is a free abelian group. If is odd then its rank is . If is even then its rank is if and if . In the torsion summand we have .
The invariant is the same reduced -invariant as above. The invarants are the well-known splitting invariants from surgery theory. The invariants 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 . 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 , in which case a reduction to ordinary cohomology with coefficients in and is obtained, and away from , in which case a real reduced -theory is obtained. This is well-known for . The -groups are completely described by the representation theory of . 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 . This is done via the following commutative diagram of abelian groups and homomorphisms with exact rows
Here the symbol denotes the reduced -group and the vertical isomorphism from it can be found for example in [Hambleton&Taylor2000]. The symbol denotes the kernel of the surgery obstruction map. As mentioned above it defers from the normal invariants only in one case, namely when both and , and in that case the difference turns out to be a factor of . The symbol is the homomorphism induced by .
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 on and that we obviously have . Restricting the action to the subgroup we obtain a fake lens space. Its -invariant can be calculated by naturality using the formula for the -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 another fake lens space such that the difference of their -invariants is a prescribed element
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 on Brieskorn varieties. This was pursued for example in [Orlik1969].
8 The join construction / The suspension map
Let be a group acting freely on the spheres and . Then the two actions extend to the join and the resulting action remains free.
Given two fake lens spaces and , 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 , or .
Given two manifold structures and , 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
When this operation is called a suspension. Taking in the above paragraph defines a mapTheorem 8.1 [Wall1999, Corollary on page 228 in section 14E].
If is odd and then the mapThe proof is based on the classification theorem above.
The invariants and (alias desuspension obstructions) are obtained by passing to the associated fake real projective spaces via the transfer (alias restricting the group action to ) and taking the Browder-Livesay invariants described in [Lopez_de_Medrano1971] and [Wall1999, Chapter 12]. The invariant can be identified with the -invariant associated to manifolds with (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 described on the page fake real projective spaces.
9 Further discussion
Higher structure sets were studied by Madsen and Milgram.
10 References
- [Hambleton&Taylor2000] I. Hambleton and L. R. Taylor, A guide to the calculation of the surgery obstruction groups for finite groups, Surveys on surgery theory, Vol. 1, Princeton Univ. Press (2000), 225–274. MR1747537 (2001e:19007) Zbl 0952.57009
- [Lopez_de_Medrano1971] S. López de Medrano, Involutions on manifolds, Springer-Verlag, 1971. MR0298698 (45 #7747) Zbl 0214.22501
- [Macko&Wegner2008] T. Macko and C. Wegner, On the classification of fake lens spaces, to appear in Forum. Math. Available at the arXiv:0810.1196.
- [Orlik1969] P. Orlik, Smooth homotopy lens spaces, Michigan Math. J. 16 (1969), 245–255. MR0248831 (40 #2081) Zbl 0182.57504
- [Wall1999] C. T. C. Wall, Surgery on compact manifolds, American Mathematical Society, Providence, RI, 1999. MR1687388 (2000a:57089) Zbl 0935.57003
Recall that the classical lens spaces were denoted by symbols like , wheer is the order of the group . For brevity the notation is sometimes used below. Also, when the dimension and the action are clear, we sometimes leave them from notation and simply write .
Note that by the Lefschetz fixed point theorem, only the group of order 2 can act freely on a sphere of even dimension. For this case see the article on fake real projective spaces.
3 Notation
Throughout this page will be the finite cyclic group of order . It will have a preferred generator which allows us to identify
The norm element is . Further we denote . The projection map fits into the arithmetic square:
where , are the augmentation maps. The augmentation ideal is the kernel .
We will also need the ring which we identify as
The Pontrjagin dual of , is the group . Recall that since is a finite cyclic group the representation ring can be canonically identified with the group ring . Then we also have . Dividing out the regular representation corresponds to dividing out the norm element, hence and . We will also choose a preferred generator of which gives the identifications
4 Invariants
For we have the following invariants:
- , for
- , , for , for all other values of .
- the -invariant (in the sense of homotopy theory) .
- the Reidemeister torsion and
- the -invariant .
When with , then we have for a manifold structure representing an element in the structure set the so-called splitting invariants:
- for
- for
The invariants are obtained by passing to the associated manifold structure on the real projective space (alias restricting he action to ) and taking the splitting invariant along .
The splitting invariants are harder to describe. One way is as follows. It follows from the calculations of the normal invariants that the manifold structure is normally cobordant to a manifold structure which comes from a manifold structure on the complex projective space by the transfer (alias restricting the action to ). The invariant is then obtained from the splitting invariant along which is an integer, by taking its class modulo .
For the splitting invariants of the manifold structures look here for the real projective spaces and here for the complex projective spaces.
5 Simple homotopy theory
5.1 Preliminaries
The homotopy classification is stated in the a priori broader context of finite CW-complexes with and with the universal cover homotopy equivalent to of which fake lens spaces are obviously a special case. It is convenient to make the following definition.
Definition 5.1.
Let be a CW-complex with and with universal cover homotopy equivalent to .
A polarization of is a pair where is a choice of a generator of and is a choice of a homotopy equivalence .
Recall the classical lens space . By is denoted its -skeleton with respect to the standard cell decomposition. If is odd this is a lens space, if is even this is a CW-complex obtained by attaching an -cell to the lens space of dimension .
Theorem 5.2 [Wall1999, Theorem 14E.3, first part].
Let be a finite CW-complex with and universal cover polarized by . Then there exists a map and a simple homotopy equivalence
preserving the polarization, such that the -chain complex differential on the right hand side is given by for some which maps to a unit . Furthermore, is a simple Poincare complex and its Reidemeister torsion is . The element is unique up to powers of .
5.2 Homotopy classfication
Theorem 5.3 [Wall1999, Theorem 14E.3, second part].
The polarized homotopy types of such are in one-to-one correspondence with the units in . The correspondence is given by . The invariant can be identified with the first non-trivial -invariant of (in the sense of homotopy theory) .
5.3 Simple homotopy classification
Theorem 5.4 [Wall1999, Theorem 14E.3, third part].
The polarized simple homotopy types of such are in one-to-one correspondence with the equivalence classes of units in , where the equivalence relation is by the powers of . The correspondence is given by .
The existence of a fake lens space in the homotopy type of such is addressed in [Wall1999, Theorem 14E.4]. Unless both and are even there always exists a manifold homotopy equivalent to the complex .
5.4 Fake lens spaces versus classical lens spaces
Since the units are exhausted by the lens spaces we obtain the following corollary.
Corollary 5.5. For any fake lens space there exists and a homotopy equivalence
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 the surgery theoretic homeomorphism classification of manifolds wihin the homotopy type of is stated in terms of the simple surgery structure set and that the primary tool for its calculation is the surgery exact sequence.
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 is odd, then the reduced -invariant map
given by is injective.
However, in this case, that means for odd, Wall managed to obtain an even better result, namely the complete classification of fake lens spaces of a given dimension with the fundamental group which is stated in the two theorems below.
The classification theorem is:
Theorem 6.2 [Wall1999, Theorem 14E.7, first part]. Let and be oriented fake lens spaces with fundamental group cyclic of odd order . Then there is an orientation preserving homeomorphism inducing the identity on if and only if and .
The realization theorem is:
Theorem 6.3 [Wall1999, Theorem 14E.7, first part]. Let be cyclic of odd order. Given and , there exists a corresponding fake lens space if and only if the following four statements hold:
- and are both real ( even) or imaginary ( odd).
- generates , .
- The classes of and correspond under
- .
6.2 N is general
The remaining cases were addressed in [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 be a fake lens space with where with , odd and . Then we have
where is a free abelian group. If is odd then its rank is . If is even then its rank is if and if . In the torsion summand we have .
The invariant is the same reduced -invariant as above. The invarants are the well-known splitting invariants from surgery theory. The invariants 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 . 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 , in which case a reduction to ordinary cohomology with coefficients in and is obtained, and away from , in which case a real reduced -theory is obtained. This is well-known for . The -groups are completely described by the representation theory of . 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 . This is done via the following commutative diagram of abelian groups and homomorphisms with exact rows
Here the symbol denotes the reduced -group and the vertical isomorphism from it can be found for example in [Hambleton&Taylor2000]. The symbol denotes the kernel of the surgery obstruction map. As mentioned above it defers from the normal invariants only in one case, namely when both and , and in that case the difference turns out to be a factor of . The symbol is the homomorphism induced by .
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 on and that we obviously have . Restricting the action to the subgroup we obtain a fake lens space. Its -invariant can be calculated by naturality using the formula for the -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 another fake lens space such that the difference of their -invariants is a prescribed element
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 on Brieskorn varieties. This was pursued for example in [Orlik1969].
8 The join construction / The suspension map
Let be a group acting freely on the spheres and . Then the two actions extend to the join and the resulting action remains free.
Given two fake lens spaces and , 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 , or .
Given two manifold structures and , 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
When this operation is called a suspension. Taking in the above paragraph defines a mapTheorem 8.1 [Wall1999, Corollary on page 228 in section 14E].
If is odd and then the mapThe proof is based on the classification theorem above.
The invariants and (alias desuspension obstructions) are obtained by passing to the associated fake real projective spaces via the transfer (alias restricting the group action to ) and taking the Browder-Livesay invariants described in [Lopez_de_Medrano1971] and [Wall1999, Chapter 12]. The invariant can be identified with the -invariant associated to manifolds with (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 described on the page fake real projective spaces.
9 Further discussion
Higher structure sets were studied by Madsen and Milgram.
10 References
- [Hambleton&Taylor2000] I. Hambleton and L. R. Taylor, A guide to the calculation of the surgery obstruction groups for finite groups, Surveys on surgery theory, Vol. 1, Princeton Univ. Press (2000), 225–274. MR1747537 (2001e:19007) Zbl 0952.57009
- [Lopez_de_Medrano1971] S. López de Medrano, Involutions on manifolds, Springer-Verlag, 1971. MR0298698 (45 #7747) Zbl 0214.22501
- [Macko&Wegner2008] T. Macko and C. Wegner, On the classification of fake lens spaces, to appear in Forum. Math. Available at the arXiv:0810.1196.
- [Orlik1969] P. Orlik, Smooth homotopy lens spaces, Michigan Math. J. 16 (1969), 245–255. MR0248831 (40 #2081) Zbl 0182.57504
- [Wall1999] C. T. C. Wall, Surgery on compact manifolds, American Mathematical Society, Providence, RI, 1999. MR1687388 (2000a:57089) Zbl 0935.57003
Recall that the classical lens spaces were denoted by symbols like , wheer is the order of the group . For brevity the notation is sometimes used below. Also, when the dimension and the action are clear, we sometimes leave them from notation and simply write .
Note that by the Lefschetz fixed point theorem, only the group of order 2 can act freely on a sphere of even dimension. For this case see the article on fake real projective spaces.
3 Notation
Throughout this page will be the finite cyclic group of order . It will have a preferred generator which allows us to identify
The norm element is . Further we denote . The projection map fits into the arithmetic square:
where , are the augmentation maps. The augmentation ideal is the kernel .
We will also need the ring which we identify as
The Pontrjagin dual of , is the group . Recall that since is a finite cyclic group the representation ring can be canonically identified with the group ring . Then we also have . Dividing out the regular representation corresponds to dividing out the norm element, hence and . We will also choose a preferred generator of which gives the identifications
4 Invariants
For we have the following invariants:
- , for
- , , for , for all other values of .
- the -invariant (in the sense of homotopy theory) .
- the Reidemeister torsion and
- the -invariant .
When with , then we have for a manifold structure representing an element in the structure set the so-called splitting invariants:
- for
- for
The invariants are obtained by passing to the associated manifold structure on the real projective space (alias restricting he action to ) and taking the splitting invariant along .
The splitting invariants are harder to describe. One way is as follows. It follows from the calculations of the normal invariants that the manifold structure is normally cobordant to a manifold structure which comes from a manifold structure on the complex projective space by the transfer (alias restricting the action to ). The invariant is then obtained from the splitting invariant along which is an integer, by taking its class modulo .
For the splitting invariants of the manifold structures look here for the real projective spaces and here for the complex projective spaces.
5 Simple homotopy theory
5.1 Preliminaries
The homotopy classification is stated in the a priori broader context of finite CW-complexes with and with the universal cover homotopy equivalent to of which fake lens spaces are obviously a special case. It is convenient to make the following definition.
Definition 5.1.
Let be a CW-complex with and with universal cover homotopy equivalent to .
A polarization of is a pair where is a choice of a generator of and is a choice of a homotopy equivalence .
Recall the classical lens space . By is denoted its -skeleton with respect to the standard cell decomposition. If is odd this is a lens space, if is even this is a CW-complex obtained by attaching an -cell to the lens space of dimension .
Theorem 5.2 [Wall1999, Theorem 14E.3, first part].
Let be a finite CW-complex with and universal cover polarized by . Then there exists a map and a simple homotopy equivalence
preserving the polarization, such that the -chain complex differential on the right hand side is given by for some which maps to a unit . Furthermore, is a simple Poincare complex and its Reidemeister torsion is . The element is unique up to powers of .
5.2 Homotopy classfication
Theorem 5.3 [Wall1999, Theorem 14E.3, second part].
The polarized homotopy types of such are in one-to-one correspondence with the units in . The correspondence is given by . The invariant can be identified with the first non-trivial -invariant of (in the sense of homotopy theory) .
5.3 Simple homotopy classification
Theorem 5.4 [Wall1999, Theorem 14E.3, third part].
The polarized simple homotopy types of such are in one-to-one correspondence with the equivalence classes of units in , where the equivalence relation is by the powers of . The correspondence is given by .
The existence of a fake lens space in the homotopy type of such is addressed in [Wall1999, Theorem 14E.4]. Unless both and are even there always exists a manifold homotopy equivalent to the complex .
5.4 Fake lens spaces versus classical lens spaces
Since the units are exhausted by the lens spaces we obtain the following corollary.
Corollary 5.5. For any fake lens space there exists and a homotopy equivalence
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 the surgery theoretic homeomorphism classification of manifolds wihin the homotopy type of is stated in terms of the simple surgery structure set and that the primary tool for its calculation is the surgery exact sequence.
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 is odd, then the reduced -invariant map
given by is injective.
However, in this case, that means for odd, Wall managed to obtain an even better result, namely the complete classification of fake lens spaces of a given dimension with the fundamental group which is stated in the two theorems below.
The classification theorem is:
Theorem 6.2 [Wall1999, Theorem 14E.7, first part]. Let and be oriented fake lens spaces with fundamental group cyclic of odd order . Then there is an orientation preserving homeomorphism inducing the identity on if and only if and .
The realization theorem is:
Theorem 6.3 [Wall1999, Theorem 14E.7, first part]. Let be cyclic of odd order. Given and , there exists a corresponding fake lens space if and only if the following four statements hold:
- and are both real ( even) or imaginary ( odd).
- generates , .
- The classes of and correspond under
- .
6.2 N is general
The remaining cases were addressed in [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 be a fake lens space with where with , odd and . Then we have
where is a free abelian group. If is odd then its rank is . If is even then its rank is if and if . In the torsion summand we have .
The invariant is the same reduced -invariant as above. The invarants are the well-known splitting invariants from surgery theory. The invariants 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 . 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 , in which case a reduction to ordinary cohomology with coefficients in and is obtained, and away from , in which case a real reduced -theory is obtained. This is well-known for . The -groups are completely described by the representation theory of . 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 . This is done via the following commutative diagram of abelian groups and homomorphisms with exact rows
Here the symbol denotes the reduced -group and the vertical isomorphism from it can be found for example in [Hambleton&Taylor2000]. The symbol denotes the kernel of the surgery obstruction map. As mentioned above it defers from the normal invariants only in one case, namely when both and , and in that case the difference turns out to be a factor of . The symbol is the homomorphism induced by .
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 on and that we obviously have . Restricting the action to the subgroup we obtain a fake lens space. Its -invariant can be calculated by naturality using the formula for the -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 another fake lens space such that the difference of their -invariants is a prescribed element
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 on Brieskorn varieties. This was pursued for example in [Orlik1969].
8 The join construction / The suspension map
Let be a group acting freely on the spheres and . Then the two actions extend to the join and the resulting action remains free.
Given two fake lens spaces and , 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 , or .
Given two manifold structures and , 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
When this operation is called a suspension. Taking in the above paragraph defines a mapTheorem 8.1 [Wall1999, Corollary on page 228 in section 14E].
If is odd and then the mapThe proof is based on the classification theorem above.
The invariants and (alias desuspension obstructions) are obtained by passing to the associated fake real projective spaces via the transfer (alias restricting the group action to ) and taking the Browder-Livesay invariants described in [Lopez_de_Medrano1971] and [Wall1999, Chapter 12]. The invariant can be identified with the -invariant associated to manifolds with (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 described on the page fake real projective spaces.
9 Further discussion
Higher structure sets were studied by Madsen and Milgram.
10 References
- [Hambleton&Taylor2000] I. Hambleton and L. R. Taylor, A guide to the calculation of the surgery obstruction groups for finite groups, Surveys on surgery theory, Vol. 1, Princeton Univ. Press (2000), 225–274. MR1747537 (2001e:19007) Zbl 0952.57009
- [Lopez_de_Medrano1971] S. López de Medrano, Involutions on manifolds, Springer-Verlag, 1971. MR0298698 (45 #7747) Zbl 0214.22501
- [Macko&Wegner2008] T. Macko and C. Wegner, On the classification of fake lens spaces, to appear in Forum. Math. Available at the arXiv:0810.1196.
- [Orlik1969] P. Orlik, Smooth homotopy lens spaces, Michigan Math. J. 16 (1969), 245–255. MR0248831 (40 #2081) Zbl 0182.57504
- [Wall1999] C. T. C. Wall, Surgery on compact manifolds, American Mathematical Society, Providence, RI, 1999. MR1687388 (2000a:57089) Zbl 0935.57003