We give an algorithm for solving equations and inequations with rational constraints in virtually free groups. Our algorithm is based on Rips classification of measured band complexes. Using canonical representatives, we deduce an algorithm for solving equations and inequations in hyperbolic groups (maybe with torsion). Additionnally, we can deal with quasi-isometrically embeddable rational constraints.
We construct an uncountable sequence of groups acting uniformly properly on hyperbolic spaces. We show that only countably many of these groups can be virtually torsion-free. This gives new examples of groups acting uniformly properly on hyperbolic spaces that are not virtually torsion-free and cannot be subgroups of hyperbolic groups.
We construct cocompact lattices in a product of trees which are not virtually torsion-free. This gives the first examples of hierarchically hyperbolic groups which are not virtually torsion-free
This paper explores the conjecture that the following are equivalent for rational homology 3-spheres: having left-orderable fundamental group, having non-minimal Heegaard Floer homology, and admitting a co-orientable taut foliation. In particular, it adds further evidence in favor of this conjecture by studying these three properties for more than 300,000 hyperbolic rational homology 3-spheres. New or much improved methods for studying each of these properties form the bulk of the paper, including a new combinatorial criterion, called a foliar orientation, for showing that a 3-manifold has a t…
We compute the de Rham cohomology of the weak stable foliation of the geodesic flow of a connected orientable closed hyperbolic surface with various coefficients. For most of the coefficients, we also give certain "Hodge decompositions" of the corresponding de Rham complexes, which are not obtained by the usual Hodge theory of foliations. These results are based on unitary representation theory of $\mathrm{PSL}(2,\mathbb{R})$. As an application we obtain an answer to a problem considered by Haefliger and Li around 1980.
In this note, we show that the satisfiability of equations and inequations with recognisable constraints is decidable in groups that are virtually direct products of finitely many hyperbolic groups.
This article is dedicated to the characterisation of the relative hyperbolicity of Haglund and Wise's special groups. More precise, we introduce a new combinatorial formalism to study (virtually) special groups, and we prove that, given a cocompact special group $G$ and a finite collection of subgroups $\mathcal{H}$, then $G$ is hyperbolic relative to $\mathcal{H}$ if and only if (i) each subgroup of $\mathcal{H}$ is convex-cocompact, (ii) $\mathcal{H}$ is an almost malnormal collection, and (iii) every non-virtually cyclic abelian subgroup of $G$ is contained in a conjugate of some group of $…
We present a new method for showing that groups are virtually special. This is done by considering finite quotients and linear characters. We use this to show that an infinite family of groups, related to Bestvina-Brady groups and branching, provides new examples of virtually special groups outside of a hyperbolic context.
The automorphism groups of integral Lorentzian lattices act by isometries on hyperbolic space with finite covolume. In the case of reflective integral lattices, the automorphism groups are commensurable to arithmetic hyperbolic reflection groups. However, for a fixed dimension, there is only finitely many reflective integral Lorentzian lattices, and these can only occur in small dimensions. The goal of this note is to construct embeddings of low-dimensional integral Lorentzian lattices into unimodular Lorentzian lattices associated to right-angled reflection groups. As an application, we const…
Given a probability measure on a finitely generated group, its Martin boundary is a way to compactify the group using the Green's function of the corresponding random walk. We give a complete topological characterization of the Martin boundary of finitely supported random walks on relatively hyperbolic groups with virtually abelian parabolic subgroups. In particular, in the case of nonuniform lattices in the real hyperbolic space H n , we show that the Martin boundary coincides with the CAT (0) boundary of the truncated space, and thus when n = 3, is homeomorphic to the Sierpinski carpet.
For a group hyperbolic relative to virtually nilpotent subgroups, on a cusped graph associated to the group, we construct a random walk whose Martin boundary is the Bowditch boundary of the group. Moreover, the harmonic measure is a conformal density corresponding to a hyperbolic Green metric and is exact dimensional on the Bowditch boundary. The latter equipped with a visual distance induced by the Green metric is an Ahlfors-regular metric measure space. The dimension is given in terms of the drift, a Green drift and the asymptotic entropy. The Patterson-Sullivan density for the action on the…
We present an algorithm that computes Bowditch's canonical JSJ decomposition of a given one-ended hyperbolic group over its virtually cyclic subgroups. The algorithm works by identifying topological features in the boundary of the group. As a corollary we also show how to compute the JSJ decomposition of such a group over its virtually cyclic subgroups with infinite centre. We also give a new algorithm that determines whether or not a given one-ended hyperbolic group is virtually fuchsian. Our approach uses only the geometry of large balls in the Cayley graph and avoids Makanin's algorithm.
In this paper, we show that, if a group $G$ acts geometrically on a geodesically complete CAT(0) space $X$ which contains at least one point with a CAT(-1) neighborhood, then $G$ must be either virtually cyclic or acylindrically hyperbolic. As a consequence, the fundamental group of a compact Riemannian manifold whose sectional curvature is nonpositive everywhere and negative in at least one point is either virtually cyclic or acylindrically hyperbolic. This statement provides a precise interpretation of an idea expressed by Gromov in his paper Asymptotic invariants of infinite groups.
Splittings and automorphisms of relatively hyperbolic groups
研究了相对双曲群G的自同构。当G是单端的，我们描述出（G）使用首选的JSJ树的子群，几乎是循环或抛物线。特别地，当G是相对双曲的时，Out（G）实际上是由GL_n（Z）的映射类群和子群固定某些基元素构成的。当允许更一般的抛物群时，GL_n（Z）的这些子群必须用McCool群代替：抛物群的自同构平凡地（即通过共轭）作用于某些子群。给定一个双曲群G的一个反常拟凸子群P，我们认为G是相对于P的双曲群，我们应用前面的分析来描述P的自同构群Out（P to G）延伸到G：它实际上是一个McCool群。如果Out（P to G）是无限的，则P是G的一个分裂中的一个顶点群.如果P是无挠的，那么Out（P to G）是VF类型的，特别是VF呈现的。我们还确定了当G是相对双曲的时，Out（G）是无穷大的。有趣的情况是当G是无穷终结的并且有挠。当G是双曲群时，我们证明了Out（G）是无穷的当且仅当G在一个具有无穷中心的极大虚循环子群上分裂.在一般情况下，我们表明，无穷的出（G）来自于存在一个分裂与无限多的扭曲，或有一个顶点群，这是极大的抛物与无穷多个自同构平凡的事件棱道群。
