10
$\begingroup$

I had already posted this on mathoverflow and was advised to post the same here. So here it goes:

$X=\{(x,y,z)|x^2+y^2+z^2\le 1$ and $z≥0\}$ i.e. $X$ is the top half of a $3$-Disk.

$Z=X/E$, where $E$ is the equivalence relation on the the plane $z = 0$ which is as follows:

$(x,y,0)∼(−x,−y,0)$.

I was told that this space is equivalent to a cone of $\mathbb R\mathbb P^2$ (Real Projective Plane).

I want to know the following facts about "$Z$"

1) Is this a manifold with a boundary?

2) If it is a manifold with a boundary, what are the points of $Z$ that make the boundary?

3) Is it simply connected?

4) What is the minimum Euclidean dimension in which $Z$ can be embedded in?

Thank you very much for your help. I am new to topology and this problem came up as a part of my project. Any help is appreciated.

Thank you. Will.

3 Answers 3

6
  1. It's not a manifold either with or without boundary. For the proof, look at the cone point c. If U is a small open set around c, then $U-c$ is homeomorphic to $\mathbb{R}P^2 \times (0,1]$. However, this is not homeomorphic to either $\mathbb{R}^3-pt$ nor a half space minus a point.

  2. In fact, it's contractible (the cone over anything is contracitble). Thus, it's simply connected.

  3. I'm not sure, but it can definitely be topological embedded in R^5. To see this, let $f$ be an embedding of $\mathbb{R}P^2$ into $\mathbb{R}^4$ (which exists by Whitney's embedding theorem). Define $G:Z\rightarrow\mathbb{R}^5$ by $G(p, t) = (tf(p),t)$. This will be a topological embedding.

The minimal possible answer is 4 since that's the smallest in which $\mathbb{R}P^2$ can be embedded into.

  • 0
    @Lee: I completely agree, and even know about using local homology to deal with this. I'm not sure what I was thinking back then (perhaps I didn't know of using local homology that way at the time).2017-08-18
2

First consider just the hemisphere $X'\subseteq X$, and define $Z'= X'/E$. This is the real projective plane, in one of its many incarnations. You may have seen $\mathbb{RP}^2$ presented as the space of lines through the origin in $\mathbb{R}^3$. To get from that presentation to this one, note that each such line intersects $S^2 \subseteq \mathbb{R}^3$ in exactly two points, and for those lines where one point is above the xy-plane and the other is below, we've just chosen the z>0 representative. This is a manifold without boundary, and it is not simply-connected. Indeed, its universal cover is $S^2$, which is a two-fold cover. Hence its fundamental group has two elements.

Now, note that in $Z$, we're literally just taking the cone over $Z'$ -- those rays from the origin that end at points in $X'$ that were identified in $Z'$ are themselves identified. It is a non-trivial (?) fact that $\mathbb{RP}^2$ is not the boundary of any 3-manifold. I'm pretty sure that if the cone over a space is a manifold, then the boundary is the manifold itself, although I can't instantly tell you why this should be true. (In fact, $\mathbb{RP}^2$ generates the unoriented cobordism ring in dimension 3.) Note that the cone over any space is simply-connected, since it is contractible (to the cone point). I don't know the answer to 4, though I'd suspect it's either 4 or 5, since 4 is the minimum dimension you need in order to embed $\mathbb{RP}^2$. In general, the question of minimum dimension for embedding a particular manifold is not so easy, beyond the a priori bounds given by the Whitney embedding theorem. And this isn't even a manifold...

  • 0
    The precise way to measure "stuff" around a point depends on your perspective. If you're working with smooth manifolds, every point needs to have a neighborhood which is diffeomorphic to an n-ball. If you're working with topological manifolds, replace "diffeo" with "homeo". (These are practically the definitions of manifolds.)2010-10-20
2

This should be a comment somehwere, but got to long.

Will, the cone on $P^2_\mathbb R$ is not a manifold. Consider the long exact sequence for integral reduced homology of the pair $(C,C')$ where $C=C(P^2_\mathbb R)$ is the cone over $P^2_\mathbb R$ and $C'=C\setminus\{a\}$ is the complement of the apex of the cone. Since $C$ is contractible and $C'$ deformation-retracts onto $P^2_\mathbb R$, you get isomorphisms $H^\sharp_2(C,C')\cong H^\sharp_{1}(P^2_\mathbb R)\cong\mathbb Z/2\mathbb Z$.

If follows that $C$ is not a manifold: in a manifold $M$, for every point $p\in M$ we have that the integral reduced homology $H^\#_\bullet(M,M\setminus\{p\})$ is that of a sphere.

(Generalizing this reasoning, you get a rather strong condition on a manifold for its cone to be also a manifold. I'm sure the topologists among our fellow M.SEers know of a precise characterization.)

In the same way, we see that $C$ is not a manifold with boundary, because in such a space $H^\#_\bullet(M,M\setminus\{p\})$ is, for every $p$, either identically zero or that of a sphere.

  • 0
    Suppose that $p$ is in the boundary of $M$. By excision and an homeomorphism, $H_*(M,M-p)$ is the same thing as $H_*(D,D-0)$, with $D=\{(x_1,\dots,x_n)\in\mathbb R^n:x_1^2+\cdots+x_n^2\leq1, x_1\geq0\}$, the closed half ball, and $0$ the origin. Consider now the long exact sequence for the pair $(D,D-0)$ in homology. The inclusion $D-0\to D$ is an homotopy equivalence, so it induces isomorphisms in homology, and it follows that the relative homology is zero.2017-03-09