Subgroups of the mapping class group from the geometrical viewpoint

Separation of Relatively Quasiconvex Subgroups

Suppose that all hyperbolic groups are residually finite. The following statements follow: In relatively hyperbolic groups with peripheral structures consisting of finitely generated nilpotent subgroups, quasiconvex subgroups are separable; Geometrically finite subgroups of non-uniform lattices in rank one symmetric spaces are separable; Kleinian groups are subgroup separable. We also show that LERF for finite volume hyperbolic 3-manifolds would follow from LERF for closed hyperbolic 3-manifolds. The method is to reduce, via combination and filling theorems, the separability of a quasiconvex s…

Folding-like techniques for CAT(0) cube complexes

In a seminal paper, Stallings introduced folding of morphisms of graphs. One consequence of folding is the representation of finitely-generated subgroups of a finite-rank free group as immersions of finite graphs. Stallings's methods allow one to construct this representation algorithmically, giving effective, algorithmic answers and proofs to classical questions about subgroups of free groups. Recently Dani--Levcovitz used Stallings-like methods to study subgroups of right-angled Coxeter groups, which act geometrically on CAT(0) cube complexes. In this paper we extend their techniques to fund…

抛物几何有限群的组合及其几何性质

Combinations of parabolically geometrically finite groups and their geometry

该文研究映射类群中的抛物几何有限（PGF）子群，通过子曲面投影证明PGF群的群图组合定理，构造新实例并给出应用方法，还证明PGF群在对应映射类群中无畸变。

Limit sets of relatively hyperbolic groups

In this paper, we prove a limit set intersection theorem in relatively hyperbolic groups. Our approach is based on a study of dynamical quasiconvexity of relatively quasiconvex subgroups. Using dynamical quasiconvexity, many well-known results on limit sets of geometrically finite Kleinian groups are derived in general convergence groups. We also establish dynamical quasiconvexity of undistorted subgroups in finitely generated groups with nontrivial Floyd boundary.

Bounded geometry in relatively hyperbolic groups

We prove that, if a group is relatively hyperbolic, the parabolic subgroups are virtually nilpotent if and only if there exists a hyperbolic space with bounded geometry on which it acts geometrically finitely. This provides, by use of M. Bonk and O. Schramm embedding theorem, a very short proof of the finiteness of asymptotic dimension of relatively hyperbolic groups with virtually nilpotent parabolic subgroups (which is known to imply Novikov conjectures

Surgery obstructions on closed manifolds and the Inertia subgroup

The Wall surgery obstruction groups have two interesting geometrically defined subgroups, consisting of the surgery obstructions between closed manifolds, and the inertial elements. We show that the inertia group $I_{n+1}(π,w)$ and the closed manifold subgroup $C_{n+1}(π,w)$ are equal in dimensions $n+1\geq 6$, for any finitely-presented group $π$ and any orientation character $w\colon π\to \cy 2$.

Finite-type invariants of three-manifolds and the dimension subgroup problem

For a certain class of compact oriented 3-manifolds, M. Goussarov and K. Habiro have conjectured that the information carried by finite-type invariants should be characterized in terms of ``cut-and-paste'' operations defined by the lower central series of the Torelli group of a surface. In this paper, we observe that this is a variation of a classical problem in group theory, namely the ``dimension subgroup problem.'' This viewpoint allows us to prove, by purely algebraic methods, an analogue of the Goussarov-Habiro conjecture for finite-type invariants with values in a fixed field. We deduce …

结群的分支子群及其 profinite 和上同调结构

Ramification Subgroups of Knot Groups and their Profinite and Cohomological Structure

本文研究结群的分支子群及其 profinite 和上同调结构，通过定义meridional inertia子群和全局分支子群，分析其在有限商、profinite 完成和上同调中的性质。

Hyperbolically embedded subgroups and rotating families in groups acting on hyperbolic spaces

We introduce and study the notions of hyperbolically embedded and very rotating families of subgroups. The former notion can be thought of as a generalization of the peripheral structure of a relatively hyperbolic group, while the later one provides a natural framework for developing a geometric version of small cancellation theory. Examples of such families naturally occur in groups acting on hyperbolic spaces including hyperbolic and relatively hyperbolic groups, mapping class groups, $Out(F_n)$, and the Cremona group. Other examples can be found among groups acting geometrically on $CAT(0)$…

Equidistribution and Counting for orbits of geometrically finite hyperbolic groups

Let G be the identity component of SO(n,1), acting linearly on a finite dimensional real vector space V. Consider a vector w_0 in V such that the stabilizer of w_0 is a symmetric subgroup of G or the stabilizer of the line Rw_0 is a parabolic subgroup of G. For any non-elementary discrete subgroup Gamma of G with w_0Gamma discrete, we compute an asymptotic formula for the number of points in w_0Gamma of norm at most T, provided that the Bowen-Margulis-Sullivan measure on the associated hyperbolic manifold and the Gamma skinning size of w_0 are finite. The main ergodic ingredient in our approac…

Matrix coefficients, Counting and Primes for orbits of geometrically finite groups

Let G:=SO(n,1)^\circ and Γbe a geometrically finite Zariski dense subgroup with critical exponent delta bigger than (n-1)/2. Under a spectral gap hypothesis on L^2(Γ\ G), which is always satisfied for delta>(n-1)/2 for n=2,3 and for delta>n-2 for n>= 4, we obtain an {\it effective} archimedean counting result for a discrete orbit of Γin a homogeneous space H\G, where H is the trivial group, an affine symmetric subgroup or a horospherical subgroup. More precisely, we show that for any effectively well-rounded family {B_T} of compact subsets in H\G, there exists η>0 such that #[e]\G\cap B_T=M(B_…

Boundary classification and 2-ended splittings of groups with isolated flats

In this paper we provide a classification theorem for 1-dimensional boundaries of groups with isolated flats. Given a group $Γ$ acting geometrically on a $CAT(0)$ space $X$ with isolated flats and 1-dimensional boundary, we show that if $Γ$ does not split over a virtually cyclic subgroup, then $\partial X$ is homeomorphic to a circle, a Sierpinski carpet, or a Menger curve. This theorem generalizes a theorem of Kapovich-Kleiner, and resolves a question due to Kim Ruane. We also study the relationship between local cut points in $\partial X$ and splittings of $Γ$ over $2$-ended subgroups. In pa…

On a generalization of Dehn's algorithm

Viewing Dehn's algorithm as a rewriting system, we generalise to allow an alphabet containing letters which do not necessarily represent group elements. This extends the class of groups for which the algorithm solves the word problem to include nilpotent groups, many relatively hyperbolic groups including geometrically finite groups and fundamental groups of certain geometrically decomposable manifolds. The class has several nice closure properties. We also show that if a group has an infinite subgroup and one of exponential growth, and they commute, then it does not admit such an algorithm. W…

Ubiquity of geometric finiteness in mapping class groups of Haken 3-manifolds

Mapping class groups of Haken 3-manifolds enjoy many of the homological finiteness properties of mapping class groups of 2-manifolds of finite type. For example, H(M) has a torsionfree subgroup of finite index, which is geometrically finite (i. e. is the fundamental group of a finite aspherical complex). This was proven by J. Harer for 2-manifolds and by the second author for Haken 3-manifolds. In this paper we prove that H(M) acts properly discontinuously on a contractible simplicial complex, with compact quotient. This implies that every torsionfree subgroup of finite index in H(M) is geomet…

Free products of abelian groups in mapping class groups

We construct a new family of examples of parabolically geometrically finite subgroups of the mapping class group in the sense of Dowdall-Durham-Leininger-Sisto and prove they are undistorted in Mod($S$).

算术性与几何可公度子

Arithmeticity and geometrical commensurators

该研究在粗几何场景下用粗几何可公度子刻画秩1算术及局部对称度量，在Hilbert-Smith猜想下获一般性肯定结论，且对有限尖点有限体积负曲率流形给出无条件结果。

从描述角度看的流形分类

Manifold classification from the descriptive viewpoint

本文从描述集合论角度研究流形和李群离散子群的分类问题，揭示了流形同胚问题的Borel复杂性及双曲流形等距关系的分类特性。

A Combination Theorem for Convex Hyperbolic Manifolds, with Applications to Surfaces in 3-Manifolds

We prove the convex combination theorem for hyperbolic n-manifolds. Applications are given both in high dimensions and in 3 dimensions. One consequence is that given two geometrically finite subgroups of a discrete group of isometries of hyperbolic n-space, satisfying a natural condition on their parabolic subgroups, there are finite index subgroups which generate a subgroup that is an amalgamated free product. Constructions of infinite volume hyperbolic n-manifolds are described by gluing lower dimensional manifolds. It is shown that every slope on a cusp of a hyperbolic 3-manifold is a multi…

Cheeger constants of hyperbolic reflection groups and Maass cusp forms of small eigenvalues

We compute the Cheeger constants of a collection of hyperbolic surfaces corresponding to maximal non-compact arithmetic Fuchsian groups, and to subgroups which are the rotation subgroup of maximal reflection groups. The Cheeger constants are geometric quantities, but relate to the smallest eigenvalues of Maass cusp forms. From geometrical considerations, we find evidence for the existence of small eigenvalues. We search for these small eigenvalues and compute the corresponding Maass cusp forms numerically.