arXiv research

Finite presentation for a specific group in 3D handlebody topology.

New computations show various properties of bounded cohomology in finitely presented groups.

It is proven that if a finitely presented group is one ended it has asymptotic dimension bigger than one. It follows that finitely presented groups with asdim 1 are virtually free. A counterexample is given for the finitely generated case.

Example shows dense subgroup of SL5(Z) not finitely presented.

Finite presentations for mapping class groups of surfaces and surfaces with points/boundaries.

We construct the first explicit finite presentations for a family of Kähler groups with arbitrary finiteness properties, answering a question of Suciu.

It is known that every finitely presented group is the fundamental group of the total space of a Lefschetz fibration. In this paper, we give another proof which improves the result of Korkmaz. In addition, Korkmaz defined the genus of a finitely presented group. We also evaluate upper bounds for genera of some finitely…

Finite presentations for skein algebras linked to gauge field theory.

We show that there is no algorithm deciding whether the maximal residually free quotient of a given finitely presented group is finitely presentable or not. Given a finitely generated subgroup G of a finite product of limit groups, we discuss the possibility of finding an explicit set of defining equations (i.e. of exp…

Defines a cell complex for even spin mapping class group.

The Burde--de Rham theorem is extended to finitely presented pro-$p$ groups with specific conditions.

We construct a finitely presented group with infinitely many non-homeomorphic asymptotic cones. We also show that the existence of cut points in asymptotic cones of finitely presented groups does, in general, depend on the choice of scaling constants and ultrafilters.

In this paper we create many examples of hyperbolic groups with subgroups satisfying interesting finiteness properties. We give the first examples of subgroups of hyperbolic groups which are of type $FP_2$ but not finitely presented. We give uncountably many groups of type $FP_2$ with similar properties to those subgro…

This is the third and last of three papers containing the complete proof that all finitely presented groups are QSF.

The paper shows how to present mapping class groups for specific 3-manifolds.

A finitely presented group is weakly geometrically simply connected (wgsc) if it is the fundamental group of some compact polyhedron whose universal covering is wgsc i.e. it has an exhaustion by compact connected and simply connected sub-polyhedra. We show that this condition is almost-equivalent to Brick's qsf propert…

Non-isomorphic groups with similar profinite completions found.

It is known that the level $2$ principal congruence subgroup of $GL(n;\mathbb{Z})$ has a finite generating set. In this paper, we give a finite presentation of the level $2$ principal congruence subgroup of $GL(n;\mathbb{Z})$.

This is a report on our long term project to find an algorithm to decide if a finitely presented group has a non-trivial action on a tree.

We give a method to compute presentations of saturated cluster modular groups. Using this, we obtain finite presentations of the saturated cluster modular groups of finite mutation type $X_6$ and $X_7$. We verify that the cluster modular groups of finite mutation type $\widetilde{E}_6$, $\widetilde{E}_7$, $\widetilde{E…

Paper compares two entropy concepts for finite presentation groups.

We prove that every finitely presentable group G arises as the fundamental group of an orientable 3-complex obtained from a hyperbolic link complement, by coning each boundary torus of the link exterior to a distinct point. We define the closed-link-genus, clg(G), of any finitely presentable group G, which completely c…

This is the second of a Series of three papers, the first one published in Geom Dedicata 167 p. 91-121 (2013), proving that all finitely presented groups are QSF.

Study infinite group presentations and their Dehn functions.

The paper shows how coarse embeddings affect homological Dehn functions.

New complexity defined for groups, inspired by topological spaces.

Every finitely presented group is the fundamental group of the total space of a Lefschetz fibration. This follows from results of Gompf and Donaldson, and was also proved by Amoros-Bogomolov-Katzarkov-Pantev. We give another proof by providing the monodromy explicitly. We then define the genus of a finitely presented g…

We prove that every finitely presented group with positive first $\ell^2$-Betti number that virtually surjects onto $\mathbb Z$ is acylindrically hyperbolic. In particular, this implies acylindrical hyperbolicity of finitely presented residually finite groups with positive first $\ell^2$-Betti number as well as groups …

We give a finite presentation for the braid twist group of a decorated surface. If the decorated surface arises from a triangulated marked surface without punctures, we obtain a finite presentation for the spherical twist group of the associated 3-Calabi-Yau triangulated category. The motivation/application is that the…

Let $N_{g,s}$ denote the nonorientable surface of genus g with s boundary components. Recently Paris and Szepietowski obtained an explicit finite presentation for the mapping class group $M(N_{g,s})$ of the surface $N_{g,s}$, where $s\in{0,1}$ and $g+s>3$. Following this work we obtain a finite presentation for the sub…

We present a method for computing the number of epimorphisms from a finitely-presented group G to a finite solvable group Γ, which generalizes a formula of Gäschutz. Key to this approach are the degree 1 and 2 cohomology groups of G, with certain twisted coefficients. As an application, we count low-index subgroups of …

In various classes of infinite groups, we identify groups that are presentable by products, i.e. groups having finite index subgroups which are quotients of products of two commuting infinite subgroups. The classes we discuss here include groups of small virtual cohomological dimension and irreducible Zariski dense sub…

Study SL(2,C) character schemes for finitely generated groups.

We give a simple proof of the finite presentation of Sela's limit groups by using free actions on R^n-trees. We first prove that Sela's limit groups do have a free action on an R^n-tree. We then prove that a finitely generated group having a free action on an R^n-tree can be obtained from free abelian groups and surfac…

In this note we give presentations of all finite subgroups of the mapping class group of a closed surface of genus 2 by the Humphries generators up to conjugacy.

Abstract: Geometrically reformulates estimation theory for finite-dimensional C*-algebras.

The paper introduces a new equivalence relation for finitely presented groups based on their asymptotic topology.

We give a finite presentation of the mapping class group of an oriented (possibly bounded) surface of genus greater or equal than 1, considering Dehn twists on a very simple set of curves.

We demonstrate how a 3-manifold, a Heegaard diagram, and a group presentation can each be interpreted as a pair of signed permutations in the symmetric group $S_d.$ We demonstrate the power of permutation data in programming and discuss an algorithm we have developed that takes the permutation data as input and determi…

Let N_{g,s} denote the nonorientable surface of genus g with s boundary components. Recently Paris and Szepietowski obtained an explicit finite presentation for the mapping class group M(N_{g,s}) of the surface N_{g,s}, where s\in{0,1} and g+s>3. Following this work we obtain a finite presentation for the mapping class…

A group is known as `large' if some finite index subgroup admits a surjective homomorphism onto a non-abelian free group. In this paper, we give a necessary and sufficient condition for a finitely presented group to be large, in terms of the existence of a normal series where successive quotients are finite abelian gro…

We give an exposition of Delzant's ideas extending the notion of Scott complexity of finitely generated groups to surjective homomorphisms of finitely presented groups to finitely generated groups.

We show that the Basilica Thompson group introduced by Belk and Forrest is not finitely presented, and in fact is not of type FP_2. The proof involves developing techniques for proving non-simple connectedness of certain subcomplexes of CAT(0) cube complexes.

The paper presents methods to write presentations for Dehn quandles.

The manifold which admits a genus-$2$ reducible Heegaard splitting is one of the $3$-sphere, $\mathbb{S}^2 \times \mathbb{S}^1$, lens spaces and their connected sums. For each of those manifolds except most lens spaces, the mapping class group of the genus-$2$ splitting was shown to be finitely presented. In this work,…

Groups with semistable peripheral subgroups are semistable.

We prove:(1) the existence, for every integer n > 3, of a noncompact smooth n-dimensional topological manifold whose diffeomorphism group contains an isomorphic copy of every finitely presented group; (2) a finiteness theorem on finite simple subgroups of diffeomorphism groups of compact smooth topological manifolds.

Pursueing our investigations on the relations between Thompson groups and mapping class groups, we introduce the group $T^*$ (and its further generalizations) which is an extension of the Ptolemy-Thompson group $T$ by means of the full braid group $B_{\infty}$ on infinitely many strands. We prove that it is a finitely …