BZPEERPapers, people, evidence and research pathsDiscover
Research tools
Network
Opportunities
Account
Source author record
Juan Souto appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.
Catalog footprint
Research graph
Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.
BZPEER is loading the nearby papers, people, topics and institutions for this page.
Published work
We study the growth of the number of conjugacy classes of infinite dihedral subgroups of lattices in PSL(2,R), generalizing earlier work of Sarnak and Bourgain-Kontorovich on the growth of the number of reciprocal geodesics on the modular surface. We also prove that reciprocal geodesics are equidistributed in the unit tangent bundle.
We give explicit theoretical and heuristical bounds for how big does a data set sampled from a reach-1 submanifold M of euclidian space need to be, to be able to estimate the dimension of M with 90% confidence.
We prove that pseudo-Anosov mapping classes are generic with respect to certain notions of genericity reflecting that we are dealing with mapping classes.
We prove that any mapping torus of a pseudo-Anosov mapping class with bounded normalized Weil-Petersson translation length contains a finite set of transverse and level closed curves, and drilling out this set of curves results in one of a finite number of cusped hyperbolic 3-manifolds. The number of manifolds in the finite list depends only on the bound for normalized translation length. We also prove a complementary result that explains the necessity of removing level curves by producing new estimates for the Weil-Petersson translation length of compositions of pseudo-Anosov mapping classes and arbitrary powers of a Dehn twist.
We give a necessary condition for a closed subset of $R^3$ to be the set of critical points of some smooth function. In particular we obtain that for example neither the Whitehead continuum nor the p-adic solenoid are such a critical sets.
Let $S$ be a closed orientable hyperbolic surface, and let $\mathcal{O}(K,S)$ denote the number of mapping class group orbits of curves on $S$ with at most $K$ self-intersections. Building on work of Sapir [16], we give upper and lower bounds for $\mathcal{O}(K,S)$ which are both exponential in $\sqrt{K}$.
Let $γ_0$ be a curve on a surface $Σ$ of genus $g$ and with $r$ boundary components and let $π_1(Σ)\curvearrowright X$ be a discrete and cocompact action on some metric space. We study the asymptotic behavior of the number of curves $γ$ of type $γ_0$ with translation length at most $L$ on $X$. For example, as an application, we derive that for any finite generating set $S$ of $π_1(Σ)$ the limit $$\lim_{L\to\infty}\frac 1{L^{6g-6+2r}}\{γ\text{ of type }γ_0\text{ with }S\text{-translation length}\le L\}$$ exists and is positive. The main new technical tool is that the function which associates to each curve its stable length with respect to the action on $X$ extends to a (unique) continuous and homogenous function on the space of currents. We prove that this is indeed the case for any action of a torsion free hyperbolic group.
The geometric dimension for proper actions $\underline{\mathrm{gd}}(G)$ of a group $G$ is the minimal dimension of a classifying space for proper actions $\underline{E}G$. We construct for every integer $r\geq 1$, an example of a virtually torsion-free Gromov-hyperbolic group $G$ such that for every group $Γ$ which contains $G$ as a finite index normal subgroup, the virtual cohomological dimension $\mathrm{vcd}(Γ)$ of $Γ$ equals $\underline{\mathrm{gd}}(Γ)$ but such that the outer automorphism group $\mathrm{Out}(G)$ is virtually torsion-free, admits a cocompact model for $\underline E\mathrm{Out}(G)$ but nonetheless has $\mathrm{vcd}(\mathrm{Out}(G))\le\underline{\mathrm{gd}}(\mathrm{Out}(G))-r$.
Let $Σ$ be a hyperbolic surface. We study the set of curves on $Σ$ of a given type, i.e. in the mapping class group orbit of some fixed but otherwise arbitrary $γ_0$. For example, in the particular case that $Σ$ is a once-punctured torus, we prove that the cardinality of the set of curves of type $γ_0$ and of at most length $L$ is asymptotic to $L^2$ times a constant.
We prove that Kleinian groups whose limit sets are Cantor sets of Hausdorff dimension $<1$ are free. On the other hand we construct for any $ε>0$ examples of non-free purely hyperbolic Kleinian groups whose limit set is a Cantor set of Hausdorff dimension $<1+ε$.
We prove that if $Γ$ is a lattice in a classical simple Lie group $G$, then the symmetric space of $G$ is $Γ$-equivariantly homotopy equivalent to a proper cocompact $Γ$-CW complex of dimension the virtual cohomological dimension of $Γ$.
In this note we show that a bounded degree planar triangulation is recurrent if and only if the set of accumulation points of some/any circle packing of it is polar (that is, planar Brownian motion avoids it with probability 1). This generalizes a theorem of He and Schramm [6] who proved it when the set of accumulation points is either empty or a Jordan curve, in which case the graph has one end. We also show that this statement holds for any straight-line embedding with angles uniformly bounded away from 0.
Suppose that $Σ$ is a hyperbolic surface and $f:\mathbb R_+\to\mathbb R_+$ a monotonic function. We study the closure in the projective tangent bundle $PTΣ$ of the set of all geodesics $γ$ satisfying $I(γ,γ)\leq f(\ell_Σ(γ))$. For instance we prove that if $f$ is unbounded and sublinear then this set has Hausdorff dimension strictly bounded between 1 and 3.
Benjamini and Schramm introduced the notion of distributional limit of a sequence of graphs with uniformly bounded valence and studied such limits in the case that the involved graphs are planar. We investigate distributional limits of sequences of Riemannian manifolds with bounded curvature which satisfy certain condition of quasi-conformal nature. We then apply our results to somewhat improve Benjamini's and Schramm's original result on the recurrence of the simple random walk on limits of planar graphs. For instance, as an application give a proof of the fact that for graphs in an expander family, the genus of each graph is bounded from below by a linear function of the number of vertices.
The main purpose of this article is to demonstrate three techniques for proving algebraicity statements about circle packings. We give proofs of three related theorems: (1) that every finite simple planar graph is the contact graph of a circle packing on the Riemann sphere, equivalently in the complex plane, all of whose tangency points, centers, and radii are algebraic, (2) that every flat conformal torus which admits a circle packing whose contact graph triangulates the torus has algebraic modulus, and (3) that if R is a compact Riemann surface of genus at least 2, having constant curvature -1, which admits a circle packing whose contact graph triangulates R, then R is isomorphic to the quotient of the hyperbolic plane by a subgroup of PSL_2(real algebraic numbers). The statement (1) is original, while (2) and (3) have been previously proved in the Ph.D. thesis of McCaughan. Our first proof technique is to apply Tarski's Theorem, a result from model theory, which says that if an elementary statement in the theory of real-closed fields is true over one real-closed field, then it is true over any real closed field. This technique works to prove (1) and (2). Our second proof technique is via an algebraicity result of Thurston on finite co-volume discrete subgroups of the orientation-preserving-isometry group of hyperbolic 3-space. This technique works to prove (1). Our first and second techniques had not previously been applied in this area. Our third and final technique is via a lemma in real algebraic geometry, and was previously used by McCaughan to prove (2) and (3). We show that in fact it may be used to prove (1) as well.
We construct a Cantor set in S^3 whose complement admits a complete hyperbolic metric.
We prove that the spectral gap of a finite planar graph $X$ is bounded by $λ_1(X)\le C(\frac{\log(\diam X)}{\diam X})^2$ where $C$ depends only on the degree of $X$. We then give a sequence of such graphs showing the the above estimate cannot be improved. This yields a negative answer to a question of Benjamini and Curien on the mixing times of the simple random walk on planar graphs.
Let S be a closed surface of genus g >= 2 and z in S a marked point. We prove that the subgroup of the mapping class group Map(S,z) corresponding to the fundamental group pi_1(S,z) of the closed surface does not lift to the group of diffeomorphisms of S fixing z. As a corollary, we show that the Atiyah-Kodaira surface bundles admit no invariant flat connection, and obtain another proof of Morita's non-lifting theorem.
We show that, for any (symmetric) finite generating set of the Torelli group of a closed surface, the probability that a random word is not pseudo-Anosov decays exponentially in terms of the length of the word.
Being a maximal compact subgroup of SL_nC, SU_n is a deformation retract of the former group. In this note we prove that, for sufficiently large n, there is no retraction of SL_nC to SU_n which preserves commutativity.
Anderson and Canary have shown that if the algebraic limit of a sequence of discrete, faithful representations of a finitely generated group into PSL(2,C) does not contain parabolics, then it is also the sequence's geometric limit. We construct examples that demonstrate the failure of this theorem for certain sequences of unfaithful representations, and offer a suitable replacement.
Suppose that $X$ and $Y$ are surfaces of finite topological type, where $X$ has genus $g\geq 6$ and $Y$ has genus at most $2g-1$; in addition, suppose that $Y$ is not closed if it has genus $2g-1$. Our main result asserts that every non-trivial homomorphism $\Map(X) \to \Map(Y)$ is induced by an {\em embedding}, i.e. a combination of forgetting punctures, deleting boundary components and subsurface embeddings. In particular, if $X$ has no boundary then every non-trivial endomorphism $\Map(X)\to\Map(X)$ is in fact an isomorphism. As an application of our main theorem we obtain that, under the same hypotheses on genus, if $X$ and $Y$ have finite analytic type then every non-constant holomorphic map $\CM(X)\to\CM(Y)$ between the corresponding moduli spaces is a forgetful map. In particular, there are no such holomorphic maps unless $X$ and $Y$ have the same genus and $Y$ has at most as many marked points as $X$.
Let G be a compact Lie group, and consider the variety Hom(Z^k,G) of representations of Z^k into G. We view this as a based space by designating the trivial representation to be its base point. We prove that the fundamental group of this space is naturally isomorphic to π_1(G)^k.
We prove that while there are maps $\bT^4\to\#^3(\bS^2\times\bS^2)$ of arbitrarily large degree, there is no branched cover from $4$-torus to $\#^3(\bS^2\times \bS^2)$. More generally, we obtain that, as long as $N$ satisfies a suitable cohomological condition, any $π_1$-surjective branched cover $\bT^n \to N$ is a homeomorphism.
We prove that any complete hyperbolic 3--manifold with finitely generated fundamental group, with a single topological end, and which embeds into $\BS^3$ is the geometric limit of a sequence of hyperbolic knot complements in $\BS^3$. In particular, we derive the existence of hyperbolic knot complements which contain balls of arbitrarily large radius. We also show that a complete hyperbolic 3--manifold with two convex cocompact ends cannot be a geometric limit of knot complements in $\BS^3$.
We construct new monomorphisms between mapping class groups of surfaces. The first family of examples injects the mapping class group of a closed surface into that of a different closed surface. The second family of examples are defined on mapping class groups of once-punctured surfaces and have quite curious behaviour. For instance, some pseudo-Anosov elements are mapped to multi-twists. Neither of these two types of phenomena were previously known to be possible although the constructions are elementary.
We prove that the well-rounded retract of SO_n\SL_n(R) is a minimal SL_n(Z)-invariant spine.
We prove that every closed oriented 3-manifold admits a hyperbolic cone-manifold structure with cone-angle arbitrarily close to 2pi.