Fake lens spaces
(→Homeomorphism classification) |
Tibor Macko (Talk | contribs) (→Homotopy Classification) |
||
Line 39: | Line 39: | ||
<wikitex>; | <wikitex>; | ||
− | + | All the results are taken from chapter 14E of \cite{Wall1999}. | |
− | + | '''Notation''' | |
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | \ | + | Recall the arithmetic (Rim) square: |
− | + | $$ | |
− | + | \xymatrix{ | |
− | group $G | + | \Zz G \ar[r]^{\eta} \ar[d]_{\varepsilon} & R_G \ar[d]^{\varepsilon'} \\ |
− | + | \Zz \ar[r]_{\eta'} & \Zz_N | |
− | + | } | |
− | + | $$ | |
− | + | where $R_G = \Zz G / \langle Z \rangle$ with $\Zz G$ be the group ring of $G$ and $\langle Z \rangle$ is the ideal generated by the norm element $Z$ of $G$. The maps $\varepsilon$, $\varepsilon'$ are the augmentation maps. We also suppose that a generator $T$ of $G$ is chosen. | |
− | + | Recall that the Reidemeister torsion is a unit in $\Qq R_G$ where $\Qq R_G = \Qq \otimes R_G$. | |
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | The homotopy classification is stated in terms of a certain unit in $\Zz_N$. These invariants also | |
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | stated in terms of a certain unit in $\Zz_N$. These invariants also | + | |
suffice for the homotopy and simple homotopy classification of | suffice for the homotopy and simple homotopy classification of | ||
finite CW-complexes $L$ with $\pi_1 (L) \cong \Zz_N$ and with the | finite CW-complexes $L$ with $\pi_1 (L) \cong \Zz_N$ and with the | ||
Line 89: | Line 61: | ||
following definition. | following definition. | ||
− | + | The simple homotopy classification is stated in | |
− | + | terms of Reidemeister torsion which is a unit in | |
− | + | ||
− | + | ||
− | + | {{beginthm|Definition}} \label{def-pol-lens-spc} | |
− | $L^{2d-1}( | + | |
− | $L^i(\ | + | A polarization of a CW-complex $L$ as above 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}$. |
− | + | ||
− | even this is a CW-complex obtained by attaching an $i$-cell to the | + | {{endthm}} |
+ | |||
+ | 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$. | lens space of dimension $i-1$. | ||
{{beginthm|Proposition}} \label{prop-simple-htpy-class} | {{beginthm|Proposition}} \label{prop-simple-htpy-class} | ||
− | Let $L$ be a finite CW-complex | + | 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 simple homotopy equivalence |
− | there exists a simple homotopy equivalence | + | |
$$ | $$ | ||
− | h \colon L \rightarrow L^{2d-2}(\ | + | h \colon L \rightarrow L^{2d-2}(N,1,\ldots,1) \cup_\phi e^{2d-1} |
$$ | $$ | ||
preserving the polarization. It is unique up to homotopy and the | preserving the polarization. It is unique up to homotopy and the | ||
action of $G$. The chain complex differential on the right hand side | action of $G$. The 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 | 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$. | + | $U \in \Zz G$ which maps to a unit $u \in R_G$. Then $L$ is a simple Poincare complex with Reidemeister torsion $\Delta (L) = (T/1)^d \cdot u$. |
− | + | ||
− | * The polarized homotopy types of such $L$ are in one-to-one correspondence with the units in $\Zz_N$. The correspondence is given by $\varepsilon' (u) \in \Zz_N$. | + | * The polarized homotopy types of such $L$ are in one-to-one correspondence with the units in $\Zz_N$. The correspondence is given by $\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} (B \Zz_N ; \Zz)$. |
* The polarized simple homotopy types of such $L$ are in one-to-one correspondence with the units in $R_G$. The correspondence is given by $u \in R_G$. | * The polarized simple homotopy types of such $L$ are in one-to-one correspondence with the units in $R_G$. The correspondence is given by $u \in R_G$. | ||
Line 120: | Line 90: | ||
{{endthm}} | {{endthm}} | ||
− | + | See Theorem 14E.3 in \cite{Wall1999} | |
The existence of a fake lens space in the homotopy type of such $L$ | The existence of a fake lens space in the homotopy type of such $L$ | ||
− | is addressed in | + | is addressed in [Theorem 14E.4] of \cite{Wall(1999)}. |
− | $\varepsilon' (u) \in \Zz_N$ are exhausted by the lens spaces | + | |
+ | Since the units $\varepsilon' (u) \in \Zz_N$ are exhausted by the lens spaces | ||
$L^{2d-1}(\alpha_k)$ we obtain the following corollary. | $L^{2d-1}(\alpha_k)$ 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$ | For any fake lens space $L^{2d-1}(\alpha)$ there exists $k \in \Nn$ | ||
and a homotopy equivalence | and a homotopy equivalence | ||
Line 132: | Line 103: | ||
h \colon L^{2d-1}(\alpha) \rightarrow L^{2d-1}(\alpha_k). | h \colon L^{2d-1}(\alpha) \rightarrow L^{2d-1}(\alpha_k). | ||
$$ | $$ | ||
− | + | {{endthm}} | |
</wikitex> | </wikitex> | ||
Revision as of 16:50, 7 June 2010
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. |
Contents |
1 Introduction
A fake lens space is the orbit space of a free action of a finite cyclic group on a sphere . It is a generalization of the notion of a lens space which is the orbit space of a free action which comes from a unitary representation.
2 Construction and examples
- ...
3 Invariants
- , for
- , , for , for all other values of .
- , , ...
4 Homotopy Classification
All the results are taken from chapter 14E of [Wall1999].
Notation
Recall the arithmetic (Rim) square:
where with be the group ring of and is the ideal generated by the norm element of . The maps , are the augmentation maps. We also suppose that a generator of is chosen.
Recall that the Reidemeister torsion is a unit in where .
The homotopy classification is stated in terms of a certain unit in . These invariants also suffice for the homotopy and simple homotopy classification 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.
The simple homotopy classification is stated in terms of Reidemeister torsion which is a unit in
Definition 4.1.
A polarization of a CW-complex as above 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 .
Proposition 4.2.
Let be a finite CW-complex with and universal cover polarized by . Then there exists a simple homotopy equivalence
preserving the polarization. It is unique up to homotopy and the action of . The chain complex differential on the right hand side is given by for some which maps to a unit . Then is a simple Poincare complex with Reidemeister torsion .
- 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) .
- The polarized simple homotopy types of such are in one-to-one correspondence with the units in . The correspondence is given by .
See Theorem 14E.3 in [Wall1999]
The existence of a fake lens space in the homotopy type of such is addressed in [Theorem 14E.4] of [Wall(1999)].
Since the units are exhausted by the lens spaces we obtain the following corollary.
Corollary 4.3. For any fake lens space there exists and a homotopy equivalence
5 Homeomorphism classification
There is the following commutative diagram of abelian groups and homomorphisms with exact rows
where is the homomorphism induced by (see [Macko&Wegner2010, Proposition 3.5]).
The map is injective if with odd (compare [Wall1999, Corollary on page 222]?).
The following theorem is taken from [Wall1999, Theorem 14E.7].
Theorem 5.1. 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 .
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 ...
- ...
- ...
6 Further discussion
- ...
7 References
- [Macko&Wegner2010] Template:Macko&Wegner2010
- [Wall(1999)] Template:Wall(1999)
- [Wall1999] C. T. C. Wall, Surgery on compact manifolds, American Mathematical Society, Providence, RI, 1999. MR1687388 (2000a:57089) Zbl 0935.57003
This page has not been refereed. The information given here might be incomplete or provisional. |
2 Construction and examples
- ...
3 Invariants
- , for
- , , for , for all other values of .
- , , ...
4 Homotopy Classification
All the results are taken from chapter 14E of [Wall1999].
Notation
Recall the arithmetic (Rim) square:
where with be the group ring of and is the ideal generated by the norm element of . The maps , are the augmentation maps. We also suppose that a generator of is chosen.
Recall that the Reidemeister torsion is a unit in where .
The homotopy classification is stated in terms of a certain unit in . These invariants also suffice for the homotopy and simple homotopy classification 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.
The simple homotopy classification is stated in terms of Reidemeister torsion which is a unit in
Definition 4.1.
A polarization of a CW-complex as above 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 .
Proposition 4.2.
Let be a finite CW-complex with and universal cover polarized by . Then there exists a simple homotopy equivalence
preserving the polarization. It is unique up to homotopy and the action of . The chain complex differential on the right hand side is given by for some which maps to a unit . Then is a simple Poincare complex with Reidemeister torsion .
- 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) .
- The polarized simple homotopy types of such are in one-to-one correspondence with the units in . The correspondence is given by .
See Theorem 14E.3 in [Wall1999]
The existence of a fake lens space in the homotopy type of such is addressed in [Theorem 14E.4] of [Wall(1999)].
Since the units are exhausted by the lens spaces we obtain the following corollary.
Corollary 4.3. For any fake lens space there exists and a homotopy equivalence
5 Homeomorphism classification
There is the following commutative diagram of abelian groups and homomorphisms with exact rows
where is the homomorphism induced by (see [Macko&Wegner2010, Proposition 3.5]).
The map is injective if with odd (compare [Wall1999, Corollary on page 222]?).
The following theorem is taken from [Wall1999, Theorem 14E.7].
Theorem 5.1. 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 .
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 ...
- ...
- ...
6 Further discussion
- ...
7 References
- [Macko&Wegner2010] Template:Macko&Wegner2010
- [Wall(1999)] Template:Wall(1999)
- [Wall1999] C. T. C. Wall, Surgery on compact manifolds, American Mathematical Society, Providence, RI, 1999. MR1687388 (2000a:57089) Zbl 0935.57003
This page has not been refereed. The information given here might be incomplete or provisional. |
2 Construction and examples
- ...
3 Invariants
- , for
- , , for , for all other values of .
- , , ...
4 Homotopy Classification
All the results are taken from chapter 14E of [Wall1999].
Notation
Recall the arithmetic (Rim) square:
where with be the group ring of and is the ideal generated by the norm element of . The maps , are the augmentation maps. We also suppose that a generator of is chosen.
Recall that the Reidemeister torsion is a unit in where .
The homotopy classification is stated in terms of a certain unit in . These invariants also suffice for the homotopy and simple homotopy classification 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.
The simple homotopy classification is stated in terms of Reidemeister torsion which is a unit in
Definition 4.1.
A polarization of a CW-complex as above 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 .
Proposition 4.2.
Let be a finite CW-complex with and universal cover polarized by . Then there exists a simple homotopy equivalence
preserving the polarization. It is unique up to homotopy and the action of . The chain complex differential on the right hand side is given by for some which maps to a unit . Then is a simple Poincare complex with Reidemeister torsion .
- 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) .
- The polarized simple homotopy types of such are in one-to-one correspondence with the units in . The correspondence is given by .
See Theorem 14E.3 in [Wall1999]
The existence of a fake lens space in the homotopy type of such is addressed in [Theorem 14E.4] of [Wall(1999)].
Since the units are exhausted by the lens spaces we obtain the following corollary.
Corollary 4.3. For any fake lens space there exists and a homotopy equivalence
5 Homeomorphism classification
There is the following commutative diagram of abelian groups and homomorphisms with exact rows
where is the homomorphism induced by (see [Macko&Wegner2010, Proposition 3.5]).
The map is injective if with odd (compare [Wall1999, Corollary on page 222]?).
The following theorem is taken from [Wall1999, Theorem 14E.7].
Theorem 5.1. 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 .
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 ...
- ...
- ...
6 Further discussion
- ...
7 References
- [Macko&Wegner2010] Template:Macko&Wegner2010
- [Wall(1999)] Template:Wall(1999)
- [Wall1999] C. T. C. Wall, Surgery on compact manifolds, American Mathematical Society, Providence, RI, 1999. MR1687388 (2000a:57089) Zbl 0935.57003
This page has not been refereed. The information given here might be incomplete or provisional. |
2 Construction and examples
- ...
3 Invariants
- , for
- , , for , for all other values of .
- , , ...
4 Homotopy Classification
All the results are taken from chapter 14E of [Wall1999].
Notation
Recall the arithmetic (Rim) square:
where with be the group ring of and is the ideal generated by the norm element of . The maps , are the augmentation maps. We also suppose that a generator of is chosen.
Recall that the Reidemeister torsion is a unit in where .
The homotopy classification is stated in terms of a certain unit in . These invariants also suffice for the homotopy and simple homotopy classification 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.
The simple homotopy classification is stated in terms of Reidemeister torsion which is a unit in
Definition 4.1.
A polarization of a CW-complex as above 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 .
Proposition 4.2.
Let be a finite CW-complex with and universal cover polarized by . Then there exists a simple homotopy equivalence
preserving the polarization. It is unique up to homotopy and the action of . The chain complex differential on the right hand side is given by for some which maps to a unit . Then is a simple Poincare complex with Reidemeister torsion .
- 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) .
- The polarized simple homotopy types of such are in one-to-one correspondence with the units in . The correspondence is given by .
See Theorem 14E.3 in [Wall1999]
The existence of a fake lens space in the homotopy type of such is addressed in [Theorem 14E.4] of [Wall(1999)].
Since the units are exhausted by the lens spaces we obtain the following corollary.
Corollary 4.3. For any fake lens space there exists and a homotopy equivalence
5 Homeomorphism classification
There is the following commutative diagram of abelian groups and homomorphisms with exact rows
where is the homomorphism induced by (see [Macko&Wegner2010, Proposition 3.5]).
The map is injective if with odd (compare [Wall1999, Corollary on page 222]?).
The following theorem is taken from [Wall1999, Theorem 14E.7].
Theorem 5.1. 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 .
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 ...
- ...
- ...
6 Further discussion
- ...
7 References
- [Macko&Wegner2010] Template:Macko&Wegner2010
- [Wall(1999)] Template:Wall(1999)
- [Wall1999] C. T. C. Wall, Surgery on compact manifolds, American Mathematical Society, Providence, RI, 1999. MR1687388 (2000a:57089) Zbl 0935.57003
This page has not been refereed. The information given here might be incomplete or provisional. |