Non-orientable quotients of the product of two 2-spheres by Z/4Z
m (→Problem) |
m (→Problem) |
||
Line 11: | Line 11: | ||
Off the diagonal, the structure of $S^2 \times S^2/\langle \sigma \rangle$ is that of a mapping cylinder. Namely, the mapping cylinder of the double cover of the lens space $L(8,1)$ by the lens space $L(4, 1)$. | Off the diagonal, the structure of $S^2 \times S^2/\langle \sigma \rangle$ is that of a mapping cylinder. Namely, the mapping cylinder of the double cover of the lens space $L(8,1)$ by the lens space $L(4, 1)$. | ||
− | So $N \cup \rm{MCyl} (L(4, 1) \to L(8, 1))$ is | + | So $N \cup \rm{MCyl} (L(4, 1) \to L(8, 1))$ is a model for the quotient $M = S^2\times S^2/ \langle \sigma \rangle$. |
− | Modifying that mapping cylinder by taking the | + | Modifying that mapping cylinder by taking the double covering $L(4, 1) \to L(8, 3)$, it can be shown that $N \cup \rm{MCyl}(L(4, 1) \to L(8, 1))$ and $N \cup \rm{MCyl} (L(4, 1) \to L(8, 3))$ are homotopy equivalent. |
In \url{https://arxiv.org/pdf/1712.04572.pdf}, it is shown that there are exactly four topological manifolds in this homotopy type, two of which are smoothable and two which have non-trivial Kirby-Siebenmann invariant. | In \url{https://arxiv.org/pdf/1712.04572.pdf}, it is shown that there are exactly four topological manifolds in this homotopy type, two of which are smoothable and two which have non-trivial Kirby-Siebenmann invariant. |
Revision as of 06:06, 8 January 2019
1 Problem
Let be a generator of and consider the free action of on defined by
Let be the quotient of obtained from this free action.
To understand the structure of this quotient, first, notice that restricted to the diagonal copy of is the antipodal map.
So the diagonal projects down to the projective plane inside the quotient. Denote a normal disk bundle neighbourhood of this projective plane by .
Off the diagonal, the structure of is that of a mapping cylinder. Namely, the mapping cylinder of the double cover of the lens space by the lens space .
SoTex syntax erroris a model for the quotient . Modifying that mapping cylinder by taking the double covering , it can be shown that
Tex syntax errorand
Tex syntax errorare homotopy equivalent.
In \url{https://arxiv.org/pdf/1712.04572.pdf}, it is shown that there are exactly four topological manifolds in this homotopy type, two of which are smoothable and two which have non-trivial Kirby-Siebenmann invariant.
Question: AreTex syntax errorand
Tex syntax errordiffeomorphic?