arXiv research

Geometric limits of cyclic subgroups in specific groups studied.

The study shows subgroup separability conditions for specific groups.

Uniform undistortion in cyclic subgroups of certain groups.

The paper solves the conjugacy problem in a specific braid group quotient and finds infinite virtually cyclic subgroups.

We classify the (finite and infinite) virtually cyclic subgroups of the pure braid groups $P_{n}(RP^2)$ of the projective plane. The maximal finite subgroups of $P_{n}(RP^2)$ are isomorphic to the quaternion group of order 8 if $n=3$, and to $\Z_{4}$ if $n\geq 4$. Further, for all $n\geq 3$, up to isomorphism, the foll…

The virtually cyclic dimension of Out(F_N) is finite and related properties are established.

The first author conjectured certain relations for Morita-Mumford classes and Newton classes in the integral cohomology of mapping class groups (integral Riemann-Roch formulae). In this paper, the conjecture is verified for cyclic subgroups of mapping class groups.

Study subgroups of pro-$p$ PD^3 groups, finding specific conditions.

Study calculates Kulkarni limit sets for quaternionic projective groups.

We give several sufficient conditions for a double of a free group along a cyclic subgroup to contain a surface subgroup.

The paper computes Fenchel-Nielsen coordinates for fixed points of cyclic actions on Teichmüller space.

We prove that every finitely generated Kleinian group that contains a finite, non-cyclic subgroup either is finite or virtually free or contains a surface subgroup. Hence, every arithmetic Kleinian group contains a surface subgroup.

We prove that $π_1(\text{Ham}(M))$ contains an infinite cyclic subgroup, where $\text{Ham}(M)$ is the Hamiltonian group of the one point blow up of ${\Bbb C}P^3$. We give a sufficient condition for the group $π_1(\text{Ham}(M))$ to contain an infinite cyclic subgroup, when $M$ is a general toric manifold.

We use assembly maps to study $\mathbf{TC}(\mathbb{A}[G];p)$, the topological cyclic homology at a prime $p$ of the group algebra of a discrete group $G$ with coefficients in a connective ring spectrum $\mathbb{A}$. For any finite group, we prove that the assembly map for the family of cyclic subgroups is an isomorphis…

This paper solves Yang-Baxter cohomology for cyclic biquandles.

In dimension 3 and above, Bredon cohomology gives an acurate purely algebraic description of the minimal dimension of the classifying space for actions of a group with stabilisers in any given family of subgroups. For some Coxeter groups and the family of virtually cyclic subgroups we show that the Bredon cohomological…

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.

Consider a one-ended word-hyperbolic group. If it is the fundamental group of a graph of free groups with cyclic edge groups then either it is the fundamental group of a surface or it contains a finitely generated one-ended subgroup of infinite index. As a corollary, the same holds for limit groups. We also obtain a ch…

Consider a group G and a family $\mathcal{A}$ of subgroups of G. We say that vertex finiteness holds for splittings of G over $\mathcal{A}$ if, up to isomorphism, there are only finitely many possibilities for vertex stabilizers of minimal G-trees with edge stabilizers in $\mathcal{A}$. We show vertex finiteness when G…

We show that any infinite order element $g$ of a virtually cyclic hyperbolically embedded subgroup of a group $G$ is Morse, that is to say any quasi-geodesic connecting points in the cyclic group $C$ generated by $g$ stays close to $C$. This answers a question of Dahmani-Guirardel-Osin. What is more, we show that hyper…

We study the problem of determining the isomorphism classes of the virtually cyclic subgroups of the n-string braid groups B_n(S^2) of the 2-sphere S^2. If n is odd, or if n is even and sufficiently large, we obtain the complete classification. For small even values of n, the classification is complete up to an explici…

We show that the free-by-cyclic groups of the form F(2)-by-Z act properly cocompactly on CAT(0) square complexes. We also show using generalised Baumslag-Solitar groups that all known groups defined by a 2-generator 1-relator presentation are either SQ-universal or are cyclic or isomorphic to BS(1,j). Finally we consid…

Classifies hyperbolic groups with surface-like boundaries.

We show that the commutator subgroup G' of a classical knot group G need not have subgroups of every finite index, but it will if G' has a surjective homomorphism to the integers and we give an exact criterion for that to happen. We also give an example of a smoothly knotted n-sphere in the (n+2)-sphere for all n at le…

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 show that for groups acting acylindrically on simplicial trees the $K$- and $L$-theoretic Farrell-Jones Conjecture relative to the family of subgroups consisting of virtually cyclic subgroups and all subconjugates of vertex stabilisers holds. As an application, for amalgamated free products acting acylindrically on …

Let G be a word-hyperbolic group, obtained as a graph of free groups amalgamated along cyclic subgroups. If H_2(G;Q) is nonzero, then G contains a closed hyperbolic surface subgroup. Moreover, the unit ball of the Gromov-Thurston norm on H_2(G;R) is a finite-sided rational polyhedron.

Study finds smallest non-trivial quotients of braid groups and commutator subgroups.

New examples show some convex-cocompact subgroups are separable.

We study biinvariant word metrics on groups. We provide an efficient algorithm for computing the biinvariant word norm on a finitely generated free group and we construct an isometric embedding of a locally compact tree into the biinvariant Cayley graph of a nonabelian free group. We investigate the geometry of cyclic …

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 if $T$ is an $\mathbb R$-tree with a minimal free isometric action of $F_N$, then the $Out(F_N)$-stabilizer of the projective class $[T]$ is virtually cyclic. For the special case where $T=T_+(φ)$ is the forward limit tree of an atoroidal iwip element $φ\in Out(F_N)$ this is a consequence of the results o…

Study shows non-cyclic groups of diffeomorphisms can't act on certain 3-manifolds.

Previously the second author has constructed by cobordism methods, an invariant associated to a finite group $G$. This invariant approximates the number of subgroups of a group, giving in some cases the number of abelian and cyclic subgroups. Here we explain the formulas used to obtain this invariant and we present val…

Let Gamma be a finitely generated, amenable group. Using an idea of E Ghys, we prove that if Gamma has a nontrivial, orientation-preserving action on the real line, then Gamma has an infinite, cyclic quotient. (The converse is obvious.) This implies that if Gamma has a faithful action on the circle, then some finite-in…

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 o…

We let $\varphi$ be an ageometric fully irreducible outer automorphism so that its Handel-Mosher axis bundle consists of a single unique axis. We show that the centralizer $Cen(\langle\varphi\rangle)$ of the cyclic subgroup generated by $\varphi$ equals the stabilizer $\text{Stab}(Λ^+_\varphi)$ of the attracting lamina…

Study on complex hyperbolic bidisk isometries and their Dirichlet domains.

Researchers study Prym representations for handlebody groups, focusing on cyclic cases.

For $Γ$ a relatively hyperbolic group, we construct a model for the universal space among $Γ$-spaces with isotropy on the family VC of virtually cyclic subgroups of $Γ$. We provide a recipe for identifying the maximal infinite virtually cyclic subgroups of Coxeter groups which are lattices in $O^+(n,1)= \iso(\mathbb H^…

The study shows that surface groups are the only non-free infinite index subgroups of certain hyperbolic groups.

In the vein of Bonfert-Taylor, Bridgeman, Canary, and Taylor we introduce the notion of quasiconformal homogeneity for closed oriented hyperbolic surfaces restricted to subgroups of the mapping class group. We find uniform lower bounds for the associated quasiconformal homogeneity constants across all closed hyperbolic…

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…

We determine explicitly the structure of the automorphism group of a parabolic Inoue surface. We also describe the quotients of the surface by typical cyclic subgroups of the automorphism group.

We prove that all atoroidal automorphisms of $Out(F_N)$ act on the space of projectivized geodesic currents with generalized north-south dynamics. As an application, we produce new examples of non virtually cyclic, free and purely atoroidal subgroups of $Out(F_N)$ such that the corresponding free group extension is hyp…

We use controlled topology applied to the action of the infinite dihedral group on a partially compactified plane and deduce two consequences for algebraic K-theory. The first is that the family in the K-theoretic Farrell-Jones conjecture can be reduced to only those virtually cyclic groups which admit a surjection wit…

Let $G$ be a Garside group with Garside element $Δ$. An element $g$ in $G$ is said to be \emph{periodic} if some power of $g$ lies in the cyclic group generated by $Δ$. This paper shows the following. (i) The periodicity of an element does not depend on the choice of a particular Garside structure if and only if the ce…

In this paper, we prove a geometrization conjecture, every orientable smooth closed 3-manifold with finite fundamental group is homeomorphic to $S^3/G$ for some finite cyclic subgroup $G\subset {Isom}^+(S^3)$.