arXiv research

The paper classifies fixed subgroups of endomorphisms in free-abelian times surface groups.

New proof and description of commutator subgroups for free and surface groups.

We discuss the possibility of lifting finite subgroups, and in particular finite cyclic subgroups, with respect to the canonical projections between automorphism and outer automorphism groups of free groups, surface groups and their abelianizations.

We prove that, except for a few explicit roots of unity, the quantum image of any Johnson subgroup of the mapping class group contains an explicit free non-abelian subgroup.

The study finds a subgroup of graph braid groups that is a direct product of non-abelian free groups.

We show that if a group is not virtually cyclic and is hyperbolic relative to a family of proper subgroups, then it has a hyperbolically embedded subgroup which contains a finitely generated non-abelian free group as a finite index subgroup.

We show, using Wise's equitable sets criterion, that every tubular free by cyclic group acts freely on a CAT(0) cube complex. We also show that these groups have a finite index subgroup satisfying the strongest Tits alternative, which means that every subgroup either surjects a non abelian free group or is torsion free…

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…

Birman-Lubotzky-McCarthy proved that any abelian subgroup of the mapping class groups for orientable surfaces is finitely generated. We apply Birman-Lubotzky-McCarthy's arguments to the mapping class groups for non-orientable surfaces. We especially find a finitely generated group isomorphic to a given torsion-free sub…

The study shows that certain groups can be uniquely identified by their finite abelian summands.

We study the large scale geometry of the mapping class group, MCG. Our main result is that for any asymptotic cone of MCG, the maximal dimension of locally compact subsets coincides with the maximal rank of free abelian subgroups of MCG. An application is an affirmative solution to Brock-Farb's Rank Conjecture which as…

We consider linear groups which do not contain unipotent elements of infinite order, which includes all linear groups in positive characteristic, and show that this class of groups has good properties which resemble those held by groups of non positive curvature and which do not hold for arbitrary characteristic zero l…

We study the growth of the order of torsion subgroups of the homology in a tower of finite abelian coverings. In particular, we prove that it is exponential for when the tower converges to the maximal free abelian cover of a link complement when the first nonzero Alexander polynomial has positive logarithmic Mahler mea…

Plante-Thurston proved that every nilpotent subgroup of $\Diff^2(S^1)$ is abelian. One of our main results is a sharp converse: $\Diff^1(S^1)$ contains every finitely-generated, torsion-free nilpotent group.

New examples of subgroups in mapping class groups are found.

We establish new strong lower bounds on the (subnormal) subgroup growth of a large class of groups. This includes the fundamental groups of all finite-volume hyperbolic 3-manifolds and all (free non-abelian)-by-cyclic groups. The lower bound is nearly exponential, which should be compared with the fastest possible subg…

We study subgroups of fundamental groups of real analytic closed 4-manifolds with nonpositive sectional curvature. In particular, we are interested in the following question: if a subgroup of the fundamental group is not virtually free abelian, does it contain a free group of rank two ? The technique involves the theor…

The study explores automorphisms and centralizers in free group outer automorphisms.

We define an integer-valued invariant of special cube complexes called the genus, and prove that having genus one characterizes special cube complexes with abelian fundamental group. Using the genus, we obtain a new proof that the fundamental group of a special cube complex is either free abelian or surjects onto a non…

New insights on nilpotent groups with balanced presentations.

Probabilistic proof shows separability in free groups.

The study characterizes subgroups of braid groups and their finite quotients.

The concordance group of algebraically slice knots is the subgroup of the classical knot concordance group formed by algebraically slice knots. Results of Casson and Gordon and of Jiang showed that this group contains in infinitely generated free (abelian) subgroup. Here it is shown that the concordance group of algebr…

Given two Lagrangian spheres in an exact symplectic manifold, we find conditions under which the Dehn twists about them generate a free non-abelian subgroup of the symplectic mapping class group. This extends a result of Ishida for Riemann surfaces. The proof generalises the categorical version of Seidel's long exact s…

Study covers of Chamanara surface with large Veech groups.

The Cartesian subgroup in graph products of groups is studied with bounds and algorithms.

We prove a Tits alternative theorem for groups acting on CAT(0) cubical complexes. Namely, suppose that $G$ is a group for which there is a bound on the orders of its finite subgroups. We prove that if $G$ acts properly on a finite-dimensional CAT(0) cubical complex, then either $G$ contains a free subgroup of rank 2 o…

Let $\mathcal{I}_g$ be the Torelli group of an oriented closed surface $S_g$ of genus $g$, that is, the kernel of the action of the mapping class group on the first integral homology group of $S_g$. We prove that the $k$th integral homology group of $\mathcal{I}_g$ contains a free abelian subgroup of infinite rank, pro…

Study of subgroups in complex hyperbolic lattice triangle groups.

The paper classifies fixed subgroups in a specific group product.

Study shows complex K3 surfaces have infinite free abelian subgroup in their diffeomorphism group.

The (torsion) complexity of a finite edge-weighted graph is defined to be the order of the torsion subgroup of the abelian group presented by its Laplacian matrix. When G is d-periodic (i.e., G has a free action of the rank-d free abelian group by graph automorphisms, with finite quotient) the Mahler measure of its Lap…

The paper constructs a free abelian group from Anosov representations on bundles.

Let A denote either the automorphism group of the free group of rank n>=4 or the mapping class group of an orientable surface of genus n>=12 with at most 1 boundary component, and let G be either the subgroup of IA-automorphisms or the Torelli subgroup of A, respectively. For a natural number N denote by G_N the Nth te…

Researchers determine the rational abelianization of a subgroup of mapping class groups.

Let Mod(S) denote the mapping class group of a compact, orientable surface S. We prove that finitely generated subgroups of Mod(S) which are not virtually abelian have uniform exponential growth with minimal growth rate bounded below by a constant depending only, and necessarily, on S. For the proof, we find in any suc…

We define \emph{piecewise rank 1} manifolds, which are aspherical manifolds that generally do not admit a nonpositively curved metric but can be decomposed into pieces that are diffeomorphic to finite volume, irreducible, locally symmetric, nonpositively curved manifolds with $π_1$-injective cusps. We prove smooth (sel…

We use the notion of fixity for representations of finite groups to construct free and smooth actions on products of spheres. In particular we show that a finite p-group (for p>3) will act freely and smoothly on a product of two spheres if and only if it does not contain a rank 3 elementary abelian subgroup. We show th…

Study shows virtually abelian subgroups have commensurable counterparts in mapping class groups.

Let G be a complex reductive algebraic group (not necessarily connected), let K be a maximal compact subgroup, and let A be a finitely generated Abelian group. We prove that the conjugation orbit space Hom(A,K)/K is a strong deformation retract of the GIT quotient space Hom(A,G)//G. As a corollary, we determine necessa…

Researchers prove abelianizations of specific groups are finitely generated.

The paper disproves the existence of certain subgroups with nontrivial rational abelianization.

For certain manifolds, nonnegative Ricci curvature limits dimension and forces almost abelian fundamental group.

Geometric methods show cosets of mapping class groups for 3-manifolds.

Groups with similar pro-$p$ completions have two-generated subgroups that are free.

Closed Lorentz 4-manifolds have finite isometry groups with a bounded abelian subgroup.

New findings on Johnson kernel's top homology group.

In this paper, we show that for every abelian subgroup $H$ of a Garside group, some conjugate $g^{-1}Hg$ consists of ultra summit elements and the centralizer of $H$ is a finite index subgroup of the normalizer of $H$. Combining with the results on translation numbers in Garside groups, we obtain an easy proof of the a…