User alessandro sisto - MathOverflow most recent 30 from http://mathoverflow.net 2013-06-19T16:13:20Z http://mathoverflow.net/feeds/user/9342 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/97304/recognising-group-actions-on-trees-from-the-boundary/97308#97308 Answer by Alessandro Sisto for Recognising group actions on trees from the boundary Alessandro Sisto 2012-05-18T13:36:05Z 2012-05-18T13:36:05Z <p>You may wish to take a look at "<a href="http://www.ams.org/mathscinet/search/publdoc.html?pg1=IID&amp;s1=650698&amp;vfpref=html&amp;r=8&amp;mx-pid=1998479" rel="nofollow">Quasi-actions on trees. I.</a>" by Mosher, Sageev and Whyte. They consider cobounded quasi-actions by quasi-isometries with bounded constants on trees with bounded valence and show that they are conjugate to actual isometric actions on trees. As noted in Theorem 5 of the same paper, such actions correspond to uniformly quasiconformal actions on the boundary which are cocompact on the space of triples. </p> http://mathoverflow.net/questions/82889/centralizers-of-non-iwip-elements-of-outf-n Centralizers of non-iwip elements of $Out(F_n)$ Alessandro Sisto 2011-12-07T17:42:43Z 2012-03-13T15:06:14Z <blockquote> <p>Does there exist an infinite order element <code>$\phi\in Out(F_n)$</code>, for some or all <code>$n\geq 3$</code>, which is not iwip but has finite index in its centralizer? How about an element such that all its non-zero powers have this property?</p> </blockquote> <p>Motivation: iwip elements are Morse (i.e., roughly speaking, all quasi-geodesics connecting points on a given orbit stay close to it), and a standard way of proving that an element is not Morse is showing that it has infinite index in its centralizer, or one of its powers do. An element in the mapping class group of a closed surface is Morse if and only if it is pseudo-Anosov.</p> http://mathoverflow.net/questions/82276/asymptotic-dimension-of-graph-manifold-groups Asymptotic dimension of graph manifold groups Alessandro Sisto 2011-11-30T14:00:19Z 2012-03-06T14:25:12Z <blockquote> <p>Does every non-geometric graph manifold have fundamental group of asymptotic dimension 3?</p> </blockquote> <p>This is affirmed in <a href="http://arxiv.org/abs/0909.1098" rel="nofollow">http://arxiv.org/abs/0909.1098</a> for closed graph manifolds, but I am interested in non-closed graph manifolds as well. Notice that the asymptotic dimension of such groups is always at least 2 (obvious) and at most 3 (by a result of Bell and Dranishnikov).</p> http://mathoverflow.net/questions/82276/asymptotic-dimension-of-graph-manifold-groups/90365#90365 Answer by Alessandro Sisto for Asymptotic dimension of graph manifold groups Alessandro Sisto 2012-03-06T14:25:12Z 2012-03-06T14:25:12Z <p>I should have seen much earlier that it's 2. In fact, every non-closed graph manifold has a finite sheeted cover that fibers over the circle, see <a href="http://journals.cambridge.org/action/displayAbstract?fromPage=online&amp;aid=37203" rel="nofollow">here</a>. The fundamental group of such cover is an HNN extension of a free group, so that it has asymptotic dimension at most 2 by the main result of <a href="http://arxiv.org/abs/math/0111087" rel="nofollow">this paper</a>.</p> http://mathoverflow.net/questions/83246/a-question-about-compact-subsets-of-hilbert-space/83252#83252 Answer by Alessandro Sisto for A question about compact subsets of Hilbert space Alessandro Sisto 2011-12-12T16:10:44Z 2011-12-12T16:10:44Z <p>Instead of using compact subsets one can just use finite subsets. Now, consider any finite subset of <code>$B$</code>: it is contained in a finite dimensional subspace <code>$V$</code>. There is a unit vector perpendicular to <code>$V$</code>, and such vector has distance at least <code>$1$</code> from the given finite subset.</p> http://mathoverflow.net/questions/75009/local-finiteness-and-coarse-bounded-geometry/75015#75015 Answer by Alessandro Sisto for Local finiteness and coarse bounded geometry Alessandro Sisto 2011-09-09T15:39:52Z 2011-09-10T13:57:40Z <p>The answer to question 2 is negative, but if you require quasi-homogeneity (i.e. you have a group of isometries with a <code>$c-$</code>dense orbit form some <code>$c$</code>) then it becomes affirmative. You typically have this.</p> <p>Also, to construct examples as in question 1 you can consider non-quasi-homogeneous spaces. Hope this helps, I can be more explicit on this point if you need clarifications.</p> http://mathoverflow.net/questions/46030/regularity-of-asymptotic-cones/46089#46089 Answer by Alessandro Sisto for Regularity of asymptotic cones Alessandro Sisto 2010-11-15T00:07:22Z 2010-11-15T00:07:22Z <p>I would just like to add to the answer by Simon Thomas that</p> <p>-if a group is virtually nilpotent, its asymptotic cones are very regular: they have a Lie group structure and their metric is of Carnot-Caratheodory type (these metrics are described in the wikipedia article "Sub-Riemannian manifold"). Also, the asymptotic cones do not depend on the scaling factor.</p> <p>-if a group is not virtually nilpotent, its asymptotic cones tend to be VERY large objects. For example, the asymptotic cones of each non-virtually cyclic hyperbolic group are real trees with valency <code>$2^{\aleph_0}$</code> at each point (those groups have exponential growth, I have to admit that I know very little about asymptotic cones of groups of intermediate growth).</p> http://mathoverflow.net/questions/41598/monotone-injection-of-an-ordinal-into-0-1/41601#41601 Answer by Alessandro Sisto for Monotone injection of an ordinal into $[0,1]$ Alessandro Sisto 2010-10-09T14:44:44Z 2010-10-09T14:44:44Z <p>No, because you could use it to construct an injective map <code>$\omega_1\to\mathbb{Q}$</code>, mapping <code>$\alpha&lt;\omega_1$</code> to some rational number between <code>$\alpha$</code> and <code>`$\alpha+1$</code>.</p> http://mathoverflow.net/questions/36205/when-completion-of-locally-compact-length-space-is-locally-compact/40671#40671 Answer by Alessandro Sisto for When completion of locally compact length space is locally compact? Alessandro Sisto 2010-09-30T20:31:42Z 2010-09-30T20:31:42Z <p>A necessary and sufficient condition (but I do not feel satisfied with that) for the locally compact length space <code>$X$</code> to have a locally compact completion is that there exists some <code>$r&gt;0$</code> such that each ball of radius <code>$r$</code> in <code>$X$</code> is totally bounded.</p> <p>In fact, if the condition holds closed balls of radius <code>$r/2$</code> in <code>$\overline{X}$</code> are compact. On the other hand, suppose that <code>$\overline{X}$</code> is locally compact. Then, as it is a complete length space, it is proper (this is called the Hopf-Rinow Theorem in the book by Bridson and Haefliger). This should imply that balls of any radius in <code>$X$</code> are totally bounded.</p> <p>The main reason why I am not satisfied with it is that the proof that the condition is sufficient does not use that <code>$X$</code> is a length space, so this is not really the answer to what you asked. I thought it might be relevant, anyway...</p> http://mathoverflow.net/questions/40507/distinct-well-orderings-of-the-same-set/40526#40526 Answer by Alessandro Sisto for Distinct well-orderings of the same set Alessandro Sisto 2010-09-29T19:36:04Z 2010-09-29T19:53:32Z <p>Here is a quick sketch (probably it can be made much cleaner). Using an inductive argument it should not be difficult to reduce to studying the case that <code>$(X,&lt;_1)$</code> is isomorphic to a cardinal, say $\kappa$. For convenience, let us identify $(\kappa,&lt;)$ and <code>$(X,&lt;_1)$</code>. Let us now construct $Y$ using transfinite induction. Let $X'\subseteq X$ be the initial segment of $X$ (with respect to <code>$&lt;_2$</code>) which, endowed with the order <code>$&lt;_2$</code>, is isomorphic to $\kappa$. For <code>$\alpha&lt;k$</code> define <code>$$y_\alpha=\min\{\beta\in X': \forall \alpha'&lt;\alpha\; \beta&gt; y_{\alpha'}\textrm{\ and\ }\beta&gt;_2 y_{\alpha'}\}.$$</code> The set above is not empty, and so $y_\alpha$ is well defined, because <code>$|\{\gamma\in X':\exists \alpha'&lt;\alpha\; \gamma\leq y_{\alpha'}\}|&lt;k$</code> and also <code>$|\{\gamma\in X':\exists \alpha'&lt;\alpha\; \gamma\leq_2 y_{\alpha'}\}|&lt;k$</code> (this depends on <code>$\{y_{\alpha'}\}_{\alpha'&lt;\alpha}$</code> not being cofinal in $(k,&lt;)$ and <code>$(X',&lt;_2)$</code>), so their complements in $X'$ intersect. The set <code>$Y=\{y_\alpha\}_{\alpha&lt;k}$</code> is what we were looking for.</p> http://mathoverflow.net/questions/92505/infinite-groups-with-a-finite-class-number Comment by Alessandro Sisto Alessandro Sisto 2012-03-28T22:20:15Z 2012-03-28T22:20:15Z This appears as a problem here: <a href="http://www.sci.ccny.cuny.edu/~shpil/gworld/problems/probFP.html" rel="nofollow">sci.ccny.cuny.edu/~shpil/gworld/problems/&hellip;</a> (Assuming that the class number is the number of conjugacy classes) http://mathoverflow.net/questions/82889/centralizers-of-non-iwip-elements-of-outf-n Comment by Alessandro Sisto Alessandro Sisto 2011-12-09T00:40:38Z 2011-12-09T00:40:38Z @Ashot: you're right! Is it easy to see that your elements actually have finite index in their centralizers? http://mathoverflow.net/questions/82889/centralizers-of-non-iwip-elements-of-outf-n Comment by Alessandro Sisto Alessandro Sisto 2011-12-08T16:13:15Z 2011-12-08T16:13:15Z I think that elements fixing the first 3 generators and conjugating the fourth one are in the centralizer of all the outer automorphisms you mention, unfortunately. http://mathoverflow.net/questions/82889/centralizers-of-non-iwip-elements-of-outf-n Comment by Alessandro Sisto Alessandro Sisto 2011-12-07T21:34:57Z 2011-12-07T21:34:57Z An element of <code>$Out(F&#95;n)$</code> is irreducible if it does not fix (the conjugacy class of) some free factor <code>$F&lt;F&#95;n$</code> (i.e. <code>$F&#95;n=F&#42;G$</code> for some other subgroup <code>$G$</code>). It is irreducible with irreducible powers (iwip) if its powers have the same property as well. http://mathoverflow.net/questions/82889/centralizers-of-non-iwip-elements-of-outf-n Comment by Alessandro Sisto Alessandro Sisto 2011-12-07T21:31:04Z 2011-12-07T21:31:04Z Behrstock proved an equivalent property in this paper (Theorem 6.5): <a href="http://arxiv.org/abs/math/0502367" rel="nofollow">arxiv.org/abs/math/0502367</a> Another proof can be found here: <a href="http://arxiv.org/abs/0801.4141" rel="nofollow">arxiv.org/abs/0801.4141</a> The idea of this last proof is best explained pretending that curve complexes are trees. If this was true then all paths connecting markings projecting on distant simplices will have to cross the pre-images in the marking complex of certain specified simplices. An orbit of a pA does this &quot;as fast as possible&quot;, and one can show that a path staying far from such orbit can't &quot;go straight&quot; (acylindricity) and so it is much longer. http://mathoverflow.net/questions/75009/local-finiteness-and-coarse-bounded-geometry/75015#75015 Comment by Alessandro Sisto Alessandro Sisto 2011-09-10T14:04:51Z 2011-09-10T14:04:51Z As I mentioned, it means that there are many isometries, meaning that there exists some <code>$c$</code> such that for each <code>$x,y$</code> there exists an isometry mapping <code>$y$</code> to a point at distance at most <code>$c$</code> from <code>$x$</code>. Notice that being homogeneous is the same thing as being quasi-homogeneous with constant <code>$c=0$</code>. http://mathoverflow.net/questions/75009/local-finiteness-and-coarse-bounded-geometry/75015#75015 Comment by Alessandro Sisto Alessandro Sisto 2011-09-10T00:00:37Z 2011-09-10T00:00:37Z @Bill: I think it has been edited. In any case, I removed the &quot;ps&quot; part, thanks for pointing this out. http://mathoverflow.net/questions/68746/riemannian-length-of-an-element-of-the-fundamental-group-of-a-manifold/68750#68750 Comment by Alessandro Sisto Alessandro Sisto 2011-06-24T18:47:40Z 2011-06-24T18:47:40Z I personally seriously doubt that there exists such an algebraic condition, as there are many manifolds with a given fundamental group and you can perturb the metric on a Riemannian manifold in several ways. I would be very surprised if the property you require was stable under those perturbations (except in the case of <code>$S^1$</code>), see the comment by Sergei Ivanov. Btw, the only examples of manifolds with that property I can think of are tori (with flat metric). And simply connected manifolds. http://mathoverflow.net/questions/62163/math-and-wormholes Comment by Alessandro Sisto Alessandro Sisto 2011-04-18T23:24:20Z 2011-04-18T23:24:20Z @Joe: try removing &quot;?isAuthorized=no&quot;. Anyway it's &quot;Topology in General Relativity&quot; by Robert Geroch http://mathoverflow.net/questions/62163/math-and-wormholes Comment by Alessandro Sisto Alessandro Sisto 2011-04-18T21:54:29Z 2011-04-18T21:54:29Z I find the related problem of what the topology of (space-like sections of) the universe is and whether it can change very interesting. This clearly relates to cobordism theory, see <a href="http://jmp.aip.org/resource/1/jmapaq/v8/i4/p782_s1?isAuthorized=no" rel="nofollow">jmp.aip.org/resource/1/jmapaq/v8/i4/&hellip;</a> http://mathoverflow.net/questions/57549/is-it-possible-to-improve-the-whitney-embedding-theorem/57598#57598 Comment by Alessandro Sisto Alessandro Sisto 2011-03-07T22:23:11Z 2011-03-07T22:23:11Z Thanks, I didn't know that result on triangulations. http://mathoverflow.net/questions/57549/is-it-possible-to-improve-the-whitney-embedding-theorem/57598#57598 Comment by Alessandro Sisto Alessandro Sisto 2011-03-07T13:08:18Z 2011-03-07T13:08:18Z The connected sum you describe is second countable only if there are countably many closed n-manifolds up to diffeomorphism. Please forgive me for my ignorance: is this the case? Why? http://mathoverflow.net/questions/53380/when-does-an-antipodal-map-on-a-manifold-extend-to-the-antipodal-map-on-a-spheres/53401#53401 Comment by Alessandro Sisto Alessandro Sisto 2011-01-26T21:40:03Z 2011-01-26T21:40:03Z Thanks Martin, I thought that the starting point was a &quot;random&quot; embedding. http://mathoverflow.net/questions/53380/when-does-an-antipodal-map-on-a-manifold-extend-to-the-antipodal-map-on-a-spheres/53401#53401 Comment by Alessandro Sisto Alessandro Sisto 2011-01-26T21:22:54Z 2011-01-26T21:22:54Z There must be something I am misunderstanding. I presume that the image of the embedding of <code>$N$</code> will (or at least might) be contained in a ball in <code>$\mathbb{R}P^j$</code>. Given this, you get a map 2-1 from <code>$M$</code> to <code>$\mathbb{R}P^j$</code> which lifts to a map 2-1 to <code>S^j\$</code>. Does this make sense? http://mathoverflow.net/questions/51768/hyperbolic-3-manifolds-with-finite-fundamental-group Comment by Alessandro Sisto Alessandro Sisto 2011-01-11T16:38:38Z 2011-01-11T16:38:38Z Indeed it is not true in general in that case. I'm sorry, the definition of hyperbolic manifold I implicitly used, and that I typically work with, is &quot;quotient of the hyperbolic space wrt to...&quot; (that is, complete hyperbolic manifold in your sense). In the non-complete case there are indeed many more examples.