Skip to main content

I am reading Non-orientable 3-manifolds of small complexity (Topology and its Applications 133 (2003) pp 157-178, arXiv:math/0211092), by Amendola and Martinelli. In this work $\mathbb P^2$-irreducible complexity-6 manifolds are listed. There are five of them. I wonder about the following non-orientable manifolds.

  1. Take $S^2\times I$ and glue its top sphere to its bottom sphere with the antipodal homeomorphism or with a reflection in plane homeomorphism. Let's denote it by $S^2\widetilde\times S^1$.
  2. $\mathbb P^2\times S^1$

I assume that those two manifolds are not $\mathbb P^2$-irreducible. I don't know how to embed $\mathbb P^2$ into the first one. The preposition 1.3 on page 5 of the abovementioned work says that a Stiefel-Whitney surface cannot be a sphere. It seems to me that it is sphere for the first manifold.

Both of them have double cover $S^2\times S^1$, and the fundamental groups are $\mathbb Z$ and $\mathbb Z + \mathbb Z_2$. What are the fundamental groups of the five manifolds of complexity 6 in the above work?

At the same time I have the following additional questions about non-orientable 3-manifolds.

A. In case of surfaces we obtain every non-orientable one, except for the Klein bottle, by the connected sum of an orientable one with $\mathbb RP^2$. Is there an analog in 3-manifolds? I.e. Is every non-orientable closed 3-manifold being connected sum of orientable one and $S^2\widetilde\times S^1$ ? (clarified on 2018-09-03)

B. A non-orientable surface with a removed disk is embeddable in $\mathbb R^3$. Can we embed a non-orientable $M^3$ with removed ball into $\mathbb R^4$ ?

C. Is the regular neighborhood of a loop changing orientation in a 3-manifold homeomorphic to a solid Klein bottle ?

EDIT 2018-07-08 I add following new question.

D. Each non-orientable surface is double covered by orientable one. We can ask whether every 3-manifold with infinite fundamental group is double cover of some non-orientable one.

The answer to my question A is negative but still it seems that we can somehow convert orientable manifold into non-orientable by attaching handle which change orientation. When Stiefel-Whitney surface is sphere then it is the case.

I am reading Non-orientable 3-manifolds of small complexity (Topology and its Applications 133 (2003) pp 157-178, arXiv:math/0211092), by Amendola and Martinelli. In this work $\mathbb P^2$-irreducible complexity-6 manifolds are listed. There are five of them. I wonder about the following non-orientable manifolds.

  1. Take $S^2\times I$ and glue its top sphere to its bottom sphere with the antipodal homeomorphism or with a reflection in plane homeomorphism. Let's denote it by $S^2\widetilde\times S^1$.
  2. $\mathbb P^2\times S^1$

I assume that those two manifolds are not $\mathbb P^2$-irreducible. I don't know how to embed $\mathbb P^2$ into the first one. The preposition 1.3 on page 5 of the abovementioned work says that a Stiefel-Whitney surface cannot be a sphere. It seems to me that it is sphere for the first manifold.

Both of them have double cover $S^2\times S^1$, and the fundamental groups are $\mathbb Z$ and $\mathbb Z + \mathbb Z_2$. What are the fundamental groups of the five manifolds of complexity 6 in the above work?

At the same time I have the following additional questions about non-orientable 3-manifolds.

A. In case of surfaces we obtain every non-orientable one by the connected sum of an orientable one with $\mathbb RP^2$. Is there an analog in 3-manifolds? I.e. Is every non-orientable closed 3-manifold being connected sum of orientable one and $S^2\widetilde\times S^1$ ? (clarified on 2018-09-03)

B. A non-orientable surface with a removed disk is embeddable in $\mathbb R^3$. Can we embed a non-orientable $M^3$ with removed ball into $\mathbb R^4$ ?

C. Is the regular neighborhood of a loop changing orientation in a 3-manifold homeomorphic to a solid Klein bottle ?

EDIT 2018-07-08 I add following new question.

D. Each non-orientable surface is double covered by orientable one. We can ask whether every 3-manifold with infinite fundamental group is double cover of some non-orientable one.

The answer to my question A is negative but still it seems that we can somehow convert orientable manifold into non-orientable by attaching handle which change orientation. When Stiefel-Whitney surface is sphere then it is the case.

I am reading Non-orientable 3-manifolds of small complexity (Topology and its Applications 133 (2003) pp 157-178, arXiv:math/0211092), by Amendola and Martinelli. In this work $\mathbb P^2$-irreducible complexity-6 manifolds are listed. There are five of them. I wonder about the following non-orientable manifolds.

  1. Take $S^2\times I$ and glue its top sphere to its bottom sphere with the antipodal homeomorphism or with a reflection in plane homeomorphism. Let's denote it by $S^2\widetilde\times S^1$.
  2. $\mathbb P^2\times S^1$

I assume that those two manifolds are not $\mathbb P^2$-irreducible. I don't know how to embed $\mathbb P^2$ into the first one. The preposition 1.3 on page 5 of the abovementioned work says that a Stiefel-Whitney surface cannot be a sphere. It seems to me that it is sphere for the first manifold.

Both of them have double cover $S^2\times S^1$, and the fundamental groups are $\mathbb Z$ and $\mathbb Z + \mathbb Z_2$. What are the fundamental groups of the five manifolds of complexity 6 in the above work?

At the same time I have the following additional questions about non-orientable 3-manifolds.

A. In case of surfaces we obtain every non-orientable one, except for the Klein bottle, by the connected sum of an orientable one with $\mathbb RP^2$. Is there an analog in 3-manifolds? I.e. Is every non-orientable closed 3-manifold being connected sum of orientable one and $S^2\widetilde\times S^1$ ? (clarified on 2018-09-03)

B. A non-orientable surface with a removed disk is embeddable in $\mathbb R^3$. Can we embed a non-orientable $M^3$ with removed ball into $\mathbb R^4$ ?

C. Is the regular neighborhood of a loop changing orientation in a 3-manifold homeomorphic to a solid Klein bottle ?

EDIT 2018-07-08 I add following new question.

D. Each non-orientable surface is double covered by orientable one. We can ask whether every 3-manifold with infinite fundamental group is double cover of some non-orientable one.

The answer to my question A is negative but still it seems that we can somehow convert orientable manifold into non-orientable by attaching handle which change orientation. When Stiefel-Whitney surface is sphere then it is the case.

added 1 character in body
Source Link
user21230
user21230

I am reading Non-orientable 3-manifolds of small complexity (Topology and its Applications 133 (2003) pp 157-178, arXiv:math/0211092), by Amendola and Martinelli. In this work $\mathbb P^2$-irreducible complexity-6 manifolds are listed. There are five of them. I wonder about the following non-orientable manifolds.

  1. Take $S^2\times I$ and glue its top sphere to its bottom sphere with the antipodal homeomorphism or with a reflection in plane homeomorphism. Let's denote it by $S^2\widetilde\times S^1$.
  2. $\mathbb P^2\times S^1$

I assume that those two manifolds are not $\mathbb P^2$-irreducible. I don't know how to embed $\mathbb P^2$ into the first one. The preposition 1.3 on page 5 of the abovementioned work says that a Stiefel-Whitney surface cannot be a sphere. It seems to me that it is sphere for the first manifold.

Both of them have double cover $S^2\times S^1$, and the fundamental groups are $\mathbb Z$ and $\mathbb Z + \mathbb Z_2$. What are the fundamental groups of the five manifolds of complexity 6 in the above work?

At the same time I have the following additional questions about non-orientable 3-manifolds.

A. In case of surfaces we obtain every non-orientable one by the connected sum of an orientable one with $\mathbb RP^2$. Is there an analog in 3-manifolds? I.e. Is every non-orientable closed 3-manifold being connected sum of orientable one and $S^2\widetilde\times S^1$ ? (clarified on 2018-09-03)

B. A non-orientable surface with a removed disk is embeddable in $\mathbb R^3$. Can we embed a non-orientable $M^3$ with removed ball into $\mathbb R^4$ ?

C. Is the regular neighborhood of a loop changing orientation in a 3-manifold homeomorphic to a fullsolid Klein bottle ?

EDIT 2018-07-08 I add following new question.

D. Each non-orientable surface is double covered by orientable one. We can ask whether every 3-manifold with infinite fundamental group is double cover of some non-orientable one.

The answer to my question A is negative but still it seems that we can somehow convert orientable manifold into non-orientable by attaching handle which change orientation. When Stiefel-Whitney surface is sphere then it is the case.

I am reading Non-orientable 3-manifolds of small complexity (Topology and its Applications 133 (2003) pp 157-178, arXiv:math/0211092), by Amendola and Martinelli. In this work $\mathbb P^2$-irreducible complexity-6 manifolds are listed. There are five of them. I wonder about the following non-orientable manifolds.

  1. Take $S^2\times I$ and glue its top sphere to its bottom sphere with the antipodal homeomorphism or with a reflection in plane homeomorphism. Let's denote it by $S^2\widetilde\times S^1$.
  2. $\mathbb P^2\times S^1$

I assume that those two manifolds are not $\mathbb P^2$-irreducible. I don't know how to embed $\mathbb P^2$ into the first one. The preposition 1.3 on page 5 of the abovementioned work says that a Stiefel-Whitney surface cannot be a sphere. It seems to me that it is sphere for the first manifold.

Both of them have double cover $S^2\times S^1$, and the fundamental groups are $\mathbb Z$ and $\mathbb Z + \mathbb Z_2$. What are the fundamental groups of the five manifolds of complexity 6 in the above work?

At the same time I have the following additional questions about non-orientable 3-manifolds.

A. In case of surfaces we obtain every non-orientable one by the connected sum of an orientable one with $\mathbb RP^2$. Is there an analog in 3-manifolds? I.e. Is every non-orientable closed 3-manifold being connected sum of orientable one and $S^2\widetilde\times S^1$ ? (clarified on 2018-09-03)

B. A non-orientable surface with a removed disk is embeddable in $\mathbb R^3$. Can we embed a non-orientable $M^3$ with removed ball into $\mathbb R^4$ ?

C. Is the regular neighborhood of a loop changing orientation in a 3-manifold homeomorphic to a full Klein bottle ?

EDIT 2018-07-08 I add following new question.

D. Each non-orientable surface is double covered by orientable one. We can ask whether every 3-manifold with infinite fundamental group is double cover of some non-orientable one.

The answer to my question A is negative but still it seems that we can somehow convert orientable manifold into non-orientable by attaching handle which change orientation. When Stiefel-Whitney surface is sphere then it is the case.

I am reading Non-orientable 3-manifolds of small complexity (Topology and its Applications 133 (2003) pp 157-178, arXiv:math/0211092), by Amendola and Martinelli. In this work $\mathbb P^2$-irreducible complexity-6 manifolds are listed. There are five of them. I wonder about the following non-orientable manifolds.

  1. Take $S^2\times I$ and glue its top sphere to its bottom sphere with the antipodal homeomorphism or with a reflection in plane homeomorphism. Let's denote it by $S^2\widetilde\times S^1$.
  2. $\mathbb P^2\times S^1$

I assume that those two manifolds are not $\mathbb P^2$-irreducible. I don't know how to embed $\mathbb P^2$ into the first one. The preposition 1.3 on page 5 of the abovementioned work says that a Stiefel-Whitney surface cannot be a sphere. It seems to me that it is sphere for the first manifold.

Both of them have double cover $S^2\times S^1$, and the fundamental groups are $\mathbb Z$ and $\mathbb Z + \mathbb Z_2$. What are the fundamental groups of the five manifolds of complexity 6 in the above work?

At the same time I have the following additional questions about non-orientable 3-manifolds.

A. In case of surfaces we obtain every non-orientable one by the connected sum of an orientable one with $\mathbb RP^2$. Is there an analog in 3-manifolds? I.e. Is every non-orientable closed 3-manifold being connected sum of orientable one and $S^2\widetilde\times S^1$ ? (clarified on 2018-09-03)

B. A non-orientable surface with a removed disk is embeddable in $\mathbb R^3$. Can we embed a non-orientable $M^3$ with removed ball into $\mathbb R^4$ ?

C. Is the regular neighborhood of a loop changing orientation in a 3-manifold homeomorphic to a solid Klein bottle ?

EDIT 2018-07-08 I add following new question.

D. Each non-orientable surface is double covered by orientable one. We can ask whether every 3-manifold with infinite fundamental group is double cover of some non-orientable one.

The answer to my question A is negative but still it seems that we can somehow convert orientable manifold into non-orientable by attaching handle which change orientation. When Stiefel-Whitney surface is sphere then it is the case.

complexity-6 is an adjective; also it was confusing to have "...6 manifolds are listed. There are 5 of them". Expanded reference and gave arXiv link
Source Link
David Roberts
  • 35.5k
  • 11
  • 124
  • 349

I am reading "Non-orientable 3-manifolds of small complexity"Non-orientable 3-manifolds of small complexity (Topology and its Applications 133 (2003) pp 157-178, arXiv:math/0211092), by Amendola, and Martinelli. In this work $\mathbb P^2$-irreducible complexity 6-6 manifolds are listed. There are 5five of them. I wonder about the following non-orientable manifolds.

  1. Take $S^2\times I$ and glue its top sphere to its bottom sphere with the antipodal homeomorphism or with a reflection in plane homeomorphism. Let's denote it by $S^2\widetilde\times S^1$.
  2. $\mathbb P^2\times S^1$

I assume that those two manifolds are not $\mathbb P^2$-irreducible. I don't know how to embed $\mathbb P^2$ into the first one. The preposition 1.3 on page 5 of the abovementioned work says that a Stiefel-Whitney surface cannot be a sphere. It seems to me that it is sphere for the first manifold.

Both of them have double cover $S^2\times S^1$, and the fundamental groups are $\mathbb Z$ and $\mathbb Z + \mathbb Z_2$. What are the fundamental groups of the 5five manifolds of complexity 6 in the above work?

At the same time I have the following additional questions about non-orientable 3-manifolds.

A. In case of surfaces we obtain every non-orientable one by the connected sum of an orientable one with $\mathbb RP^2$. Is there an analog in 3-manifolds? I.e. Is every non-orientable closed 3-manifold being connected sum of orientable one and $S^2\widetilde\times S^1$ ? (clarified on 2018-09-03)

B. A non-orientable surface with a removed disk is embeddable in $\mathbb R^3$. Can we embed a non-orientable $M^3$ with removed ball into $\mathbb R^4$ ?

C. Is the regular neighborhood of a loop changing orientation in a 3-manifold homeomorphic to a full Klein bottle ?

EDIT 2018-07-08 I add following new question.

D. Each non-orientable surface is double covered by orientable one. We can ask whether every 3-manifold with infinite fundamental group is double cover of some non-orientable one.

The answer to my question A is negative but still it seems that we can somehow convert orientable manifold into non-orientable by attaching handle which change orientation. When Stiefel-Whitney surface is sphere then it is the case.

I am reading "Non-orientable 3-manifolds of small complexity" by Amendola, Martinelli. In this work $\mathbb P^2$-irreducible complexity 6 manifolds are listed. There are 5 of them. I wonder about the following non-orientable manifolds.

  1. Take $S^2\times I$ and glue its top sphere to its bottom sphere with the antipodal homeomorphism or with a reflection in plane homeomorphism. Let's denote it by $S^2\widetilde\times S^1$.
  2. $\mathbb P^2\times S^1$

I assume that those two manifolds are not $\mathbb P^2$-irreducible. I don't know how to embed $\mathbb P^2$ into the first one. The preposition 1.3 on page 5 of the abovementioned work says that a Stiefel-Whitney surface cannot be a sphere. It seems to me that it is sphere for the first manifold.

Both of them have double cover $S^2\times S^1$, and the fundamental groups are $\mathbb Z$ and $\mathbb Z + \mathbb Z_2$. What are the fundamental groups of the 5 manifolds of complexity 6 in the above work?

At the same time I have the following additional questions about non-orientable 3-manifolds.

A. In case of surfaces we obtain every non-orientable one by the connected sum of an orientable one with $\mathbb RP^2$. Is there an analog in 3-manifolds? I.e. Is every non-orientable closed 3-manifold being connected sum of orientable one and $S^2\widetilde\times S^1$ ? (clarified on 2018-09-03)

B. A non-orientable surface with a removed disk is embeddable in $\mathbb R^3$. Can we embed a non-orientable $M^3$ with removed ball into $\mathbb R^4$ ?

C. Is the regular neighborhood of a loop changing orientation in a 3-manifold homeomorphic to a full Klein bottle ?

EDIT 2018-07-08 I add following new question.

D. Each non-orientable surface is double covered by orientable one. We can ask whether every 3-manifold with infinite fundamental group is double cover of some non-orientable one.

The answer to my question A is negative but still it seems that we can somehow convert orientable manifold into non-orientable by attaching handle which change orientation. When Stiefel-Whitney surface is sphere then it is the case.

I am reading Non-orientable 3-manifolds of small complexity (Topology and its Applications 133 (2003) pp 157-178, arXiv:math/0211092), by Amendola and Martinelli. In this work $\mathbb P^2$-irreducible complexity-6 manifolds are listed. There are five of them. I wonder about the following non-orientable manifolds.

  1. Take $S^2\times I$ and glue its top sphere to its bottom sphere with the antipodal homeomorphism or with a reflection in plane homeomorphism. Let's denote it by $S^2\widetilde\times S^1$.
  2. $\mathbb P^2\times S^1$

I assume that those two manifolds are not $\mathbb P^2$-irreducible. I don't know how to embed $\mathbb P^2$ into the first one. The preposition 1.3 on page 5 of the abovementioned work says that a Stiefel-Whitney surface cannot be a sphere. It seems to me that it is sphere for the first manifold.

Both of them have double cover $S^2\times S^1$, and the fundamental groups are $\mathbb Z$ and $\mathbb Z + \mathbb Z_2$. What are the fundamental groups of the five manifolds of complexity 6 in the above work?

At the same time I have the following additional questions about non-orientable 3-manifolds.

A. In case of surfaces we obtain every non-orientable one by the connected sum of an orientable one with $\mathbb RP^2$. Is there an analog in 3-manifolds? I.e. Is every non-orientable closed 3-manifold being connected sum of orientable one and $S^2\widetilde\times S^1$ ? (clarified on 2018-09-03)

B. A non-orientable surface with a removed disk is embeddable in $\mathbb R^3$. Can we embed a non-orientable $M^3$ with removed ball into $\mathbb R^4$ ?

C. Is the regular neighborhood of a loop changing orientation in a 3-manifold homeomorphic to a full Klein bottle ?

EDIT 2018-07-08 I add following new question.

D. Each non-orientable surface is double covered by orientable one. We can ask whether every 3-manifold with infinite fundamental group is double cover of some non-orientable one.

The answer to my question A is negative but still it seems that we can somehow convert orientable manifold into non-orientable by attaching handle which change orientation. When Stiefel-Whitney surface is sphere then it is the case.

clarification of A
Source Link
user21230
user21230
Loading
deleted 46 characters in body
Source Link
user21230
user21230
Loading
added 526 characters in body
Source Link
user21230
user21230
Loading
add ref link, attempt at fixing grammar
Source Link
j.c.
  • 13.6k
  • 3
  • 52
  • 90
Loading
Source Link
user21230
user21230
Loading