Is the following a sufficient condition for asphericity? - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-22T12:09:18Z http://mathoverflow.net/feeds/question/77173 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/77173/is-the-following-a-sufficient-condition-for-asphericity Is the following a sufficient condition for asphericity? Vitali Kapovitch 2011-10-04T20:33:41Z 2011-10-25T21:56:29Z <p>I recently came across the following question while working on some problems on manifolds with lower Ricci curvature bounds.</p> <p>Given $n$ does there exist a large $R>0$ with the following property:</p> <p>Suppose $M^n$ is a closed Riemannian manifold of diameter $=1$ such that for any $p$ in the universal cover $\tilde M$ the ball $B(p,R)$ is contained in a homeomorphic copy of $\mathbb R^n$ which in turn is contained in $B(p,R+\frac{1}{10})$. Then $M$ is aspherical.</p> <p>In our situation we had extra geometric assumptions which allowed us to prove asphericity but I've been wondering if the above holds as is. I suspect not but I could not construct a counterexample. </p> http://mathoverflow.net/questions/77173/is-the-following-a-sufficient-condition-for-asphericity/77189#77189 Answer by Anton Petrunin for Is the following a sufficient condition for asphericity? Anton Petrunin 2011-10-05T01:11:18Z 2011-10-05T15:02:14Z <p>Sorry, I realized that this is <strong>not an answer</strong>. I am constructing a Riemannian 3-manifold $M$ with small diameter and nontrivial $\pi_2 M$ such that for any point $p$ in the univesal cover $\widetilde M$ there is a sequence of open embeddings $$B_R(p)\hookrightarrow\mathbb R^3\hookrightarrow B_{10\cdot R}(p),$$ and its composition coinsides with the inclusionn $B_R(p)\hookrightarrow B_{10\cdot R}(p)$.</p> <p>I hope that it still might be interesting.</p> <p>Take a the surface of an $(2{\cdot}R+\tfrac1{100})$-long and $\varepsilon$-thin cylinder $C$ with caps in $\mathbb R^3$ (further $C$ is called <em>sausage</em>). Think of it as a surface of revolution around $X$-axis. Idetify points on $C$ along the folloing equivalence relation $$x\sim y\ \ \ \text{if}\ \ \ x-y=(\tfrac12,\varepsilon,0).$$</p> <p>This way you obtain a $2$-dimensional CW-complex, say $W=C/\sim$ with $\pi_1 W=\mathbb Z$ and nontrivial $\pi_2 W$. If you equip $W$ with the induced intrinsic metric then then $\mathop{\rm diam} W\approx \tfrac12$ and any $R$-ball in the universal cover $\widetilde W$ is contractible in a ball of radius $R+\tfrac1{10}$. (A rough reason: $\widetilde W$ glued from a sequence of sausages. If a ball of radius $R$ intersects one sausage then it can not contain it all, but the ball of radius $R+\tfrac1{10}$ with the same center containa at least one of the ends, which makes possible to shrink the intrsection to a point.)</p> <p>Now $W$ can be embedded into $\mathbb R^3$, it seems that thickening and then doubling produces a $3$-dimensional manifold $M$ with the property described above. (Fortunately or unfortunately, any ball in $\widetilde M$ contains a closed curve such that to shrink it one has to go about $R$-far out of the ball.) </p>