Subscribe to the gold package and get unlimited access to Shamra Academy
Register a new userKleinian groups via strict hyperbolization
88
0
0.0
(
0
)
Authors
Beibei Liu
Ask ChatGPT about the research
No Arabic abstract
In this paper, we construct Kleinian groups $Gamma<mathrm{Isom}(mathbb{H}^{2n})$ from the direct product of $n$ copies of the rank 2 free group $F_2$ via strict hyperbolization. We give a description of the limit set and its topological dimension. Such construction can be generalized to other right-angled Artin groups.
rate research
Read More
Let $G$ be a finitely generated group acting faithfully and properly discontinuously by homeomorphisms on a planar surface $X subseteq mathbb{S}^2$. We prove that $G$ admits such an action that is in addition co-compact, provided we can replace $X$ by another surface $Y subseteq mathbb{S}^2$. We also prove that if a group $H$ has a finitely generated Cayley (multi-)graph $C$ covariantly embeddable in $mathbb{S}^2$, then $C$ can be chosen so as to have no infinite path on the boundary of a face. The proofs of these facts are intertwined, and the classes of groups they define coincide. In the orientation-preserving case they are exactly the (isomorphism types of) finitely generated Kleinian function groups. We construct a finitely generated planar Cayley graph whose group is not in this class. In passing, we observe that the Freudenthal compactification of every planar surface is homeomorphic to the sphere.
We find new bounds on the conformal dimension of small cancellation groups. These are used to show that a random few relator group has conformal dimension 2+o(1) asymptotically almost surely (a.a.s.). In fact, if the number of relators grows like l^K in the length l of the relators, then a.a.s. such a random group has conformal dimension 2+K+o(1). In Gromovs density model, a random group at density d<1/8 a.a.s. has conformal dimension $asymp dl / |log d|$. The upper bound for C(1/8) groups has two main ingredients: $ell_p$-cohomology (following Bourdon-Kleiner), and walls in the Cayley complex (building on Wise and Ollivier-Wise). To find lower bounds we refine the methods of [Mackay, 2012] to create larger `round trees in the Cayley complex of such groups. As a corollary, in the density model at d<1/8, the density d is determined, up to a power, by the conformal dimension of the boundary and the Euler characteristic of the group.
We show that Out(G) is residually finite if G is a one-ended group that is hyperbolic relative to virtually polycyclic subgroups. More generally, if G is one-ended and hyperbolic relative to proper residually finite subgroups, the group of outer automorphisms preserving the peripheral structure is residually finite. We also show that Out(G) is virtually p-residually finite for every prime p if G is one-ended and toral relatively hyperbolic, or infinitely-ended and virtually p-residually finite.
Let $M$ be a compact surface without boundary, and $ngeq 2$. We analyse the quotient group $B_n(M)/Gamma_2(P_n(M))$ of the surface braid group $B_{n}(M)$ by the commutator subgroup $Gamma_2(P_n(M))$ of the pure braid group $P_{n}(M)$. If $M$ is different from the $2$-sphere $mathbb{S}^2$, we prove that $B_n(M)/Gamma_2(P_n(M))$ is isomorphic rho $P_n(M)/Gamma_2(P_n(M)) rtimes_{varphi} S_n$, and that $B_n(M)/Gamma_2(P_n(M))$ is a crystallographic group if and only if $M$ is orientable. If $M$ is orientable, we prove a number of results regarding the structure of $B_n(M)/Gamma_2(P_n(M))$. We characterise the finite-order elements of this group, and we determine the conjugacy classes of these elements. We also show that there is a single conjugacy class of finite subgroups of $B_n(M)/Gamma_2(P_n(M))$ isomorphic either to $S_n$ or to certain Frobenius groups. We prove that crystallographic groups whose image by the projection $B_n(M)/Gamma_2(P_n(M))to S_n$ is a Frobenius group are not Bieberbach groups. Finally, we construct a family of Bieberbach subgroups $tilde{G}_{n,g}$ of $B_n(M)/Gamma_2(P_n(M))$ of dimension $2ng$ and whose holonomy group is the finite cyclic group of order $n$, and if $mathcal{X}_{n,g}$ is a flat manifold whose fundamental group is $tilde{G}_{n,g}$, we prove that it is an orientable Kahler manifold that admits Anosov diffeomorphisms.
Divergence functions of a metric space estimate the length of a path connecting two points $A$, $B$ at distance $le n$ avoiding a large enough ball around a third point $C$. We characterize groups with non-linear divergence functions as groups having cut-points in their asymptotic cones. By Olshanskii-Osin-Sapir, that property is weaker than the property of having Morse (rank 1) quasi-geodesics. Using our characterization of Morse quasi-geodesics, we give a new proof of the theorem of Farb-Kaimanovich-Masur that states that mapping class groups cannot contain copies of irreducible lattices in semi-simple Lie groups of higher ranks. It also gives a generalization of the result of Birman-Lubotzky-McCarthy about solvable subgroups of mapping class groups not covered by the Tits alternative of Ivanov and McCarthy. We show that any group acting acylindrically on a simplicial tree or a locally compact hyperbolic graph always has many periodic Morse quasi-geodesics (i.e. Morse elements), so its divergence functions are never linear. We also show that the same result holds in many cases when the hyperbolic graph satisfies Bowditchs properties that are weaker than local compactness. This gives a new proof of Behrstocks result that every pseudo-Anosov element in a mapping class group is Morse. On the other hand, we conjecture that lattices in semi-simple Lie groups of higher rank always have linear divergence. We prove it in the case when the $mathbb{Q}$-rank is 1 and when the lattice is $SL_n(mathcal{O}_S)$ where $nge 3$, $S$ is a finite set of valuations of a number field $K$ including all infinite valuations, and $mathcal{O}_S$ is the corresponding ring of $S$-integers.
Log in to be able to interact and post comments
comments
Fetching comments
Sign in to be able to follow your search criteria
