most recent 30 from http://mathoverflow.net 2013-05-23T12:25:24Z http://mathoverflow.net/feeds/question/22105 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/22105/details-of-perelmans-example-about-soul-of-alexandrov-space MG 2010-04-21T19:50:14Z 2011-10-22T04:02:28Z

<p>Reading Perelman's preprint(1991) Alexandrov space II now. Got confused about the last section 6.4, which contains an example which indicate that the statement ".... manifold is diffeomorphic to the normal bundle over soul" in Cheeger-Gromoll's Soul Theory won't hold for Alexandrov spaces. I also read BBI's book(A course in Metric Geometry) (page 400-401) which also contains the description of this example. I am using the notation in BBI's book, the example goes as follows:</p> <p>Let $\pi: K_0(\mathbb{CP}^2)\to K_0(\mathbb{CP}^1)$ be the projection. $\bar{B}_0(1)$ be the unit ball in $\mathbb{CP}^1$ (Note: here should be $K_0(\mathbb{CP}^1$), right?). Let $X^5=\pi^{-1}(\bar{B}_0(1))$. Take double of $X^5$ and it will be the example</p> <p>The picture in my mind is $K_0(\mathbb{CP}^1)$ is sub-cone of $K_0(\mathbb{CP}^2)$, so the projection is the projection on the second factor if we write the coordinate in cone as $(t, x)$ for $t\in \mathbb R$ and $x\in \mathbb{CP}^2$.</p> <p>My question is what is the topology of $X^5$? </p> <p>1) Is $\bar{B}_0(1)$ a close ball? If so then $\bar{B}_0(1)$ will have boundary $\mathbb{CP}^1$, right? and $X^5$ will be a closed cone over $\mathbb{CP}^2$, right?</p> <p>2) Is $X^5$ compact? </p>

http://mathoverflow.net/questions/22105/details-of-perelmans-example-about-soul-of-alexandrov-space/22112#22112 Sergei Ivanov 2010-04-21T20:29:58Z 2010-04-21T20:29:58Z

<p>No $X^5$ is not a cone over $CP^2$ and is not compact. The projection has nothing to do with the cone structure. In fact, it's better to forget about the cone structure altogether (until you ask what is the topology of the thing).</p> <p>The spaces are just quotients of $\mathbb C^3$ and $\mathbb C^2$ by the standard circle action, and the projection is induced by the coordinate projection $\mathbb C^3\to \mathbb C^2$. For example, there is a whole half-line in the pre-image of the origin.</p> <p>I suggest you visualize a similar construction with $\mathbb R$ in place of $\mathbb C$ or lower the dimensions by 1 (or both) to see what is going on.</p>