Source author record

Yago Antolín

Yago Antolín appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record

Catalog footprint

What is connected

15works
6topics
4close collaborators

Actions

Connect this record

Log in to claim

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

15 published item(s)

preprint2015arXiv

Degree of commutativity of infinite groups

We prove that, in a finitely generated residually finite group of subexponential growth, the proportion of commuting pairs is positive if and only if the group is virtually abelian. In particular, this covers the case where the group has polynomial growth (i.e., virtually nilpotent groups, where the hypothesis of residual finiteness is always satisfied). We also show that, for non-elementary hyperbolic groups, the proportion of commuting pairs is always zero.

preprint2015arXiv

Finite generating sets of relatively hyperbolic groups and applications to geodesic languages

Given a finitely generated relatively hyperbolic group $G$, we construct a finite generating set $X$ of $G$ such that $(G,X)$ has the `falsification by fellow traveler property' provided that the parabolic subgroups $\{H_ω\}_{ω\in Ω}$ have this property with respect to the generating sets $\{X\cap H_ω\}_{ω\in Ω}$. This implies that groups hyperbolic relative to virtually abelian subgroups, which include all limit groups and groups acting freely on $\mathbb{R}^n$-trees, or geometrically finite hyperbolic groups, have generating sets for which the language of geodesics is regular, and the complete growth series and complete geodesic series are rational. As an application of our techniques, we prove that if each $H_ω$ admits a geodesic biautomatic structure over $X\cap H_ω$, then $G$ has a geodesic biautomatic structure. Similarly, we construct a finite generating set $X$ of $G$ such that $(G,X)$ has the `bounded conjugacy diagrams' property or the `neighbouring shorter conjugate' property if the parabolic subgroups $\{H_ω\}_{ω\in Ω}$ have this property with respect to the generating sets $\{X\cap H_ω\}_{ω\in Ω}$. This implies that a group hyperbolic relative to abelian subgroups has a generating set for which its Cayley graph has bounded conjugacy diagrams, a fact we use to give a cubic time algorithm to solve the conjugacy problem. Another corollary of our results is that groups hyperbolic relative to virtually abelian subgroups have a regular language of conjugacy geodesics.

preprint2015arXiv

Formal conjugacy growth in acylindrically hyperbolic groups

Rivin conjectured that the conjugacy growth series of a hyperbolic group is rational if and only if the group is virtually cyclic. Ciobanu, Hermiller, Holt and Rees proved that the conjugacy growth series of a virtually cyclic group is rational. Here we present the proof confirming the other direction of the conjecture, by showing that the conjugacy growth series of a non-elementary hyperbolic group is transcendental. We also present and prove some variations of Rivin's conjecture for commensurability classes and primitive conjugacy classes. We then explore Rivin's conjecture for finitely generated acylindrically hyperbolic groups and prove a formal language version of it, namely that no set of minimal length conjugacy representatives can be unambiguous context-free.

preprint2015arXiv

Left relatively convex subgroups

Let G be a group and H be a subgroup of G. We say that H is left relatively convex in G if the left G-set G/H has at least one G-invariant order; when G is left orderable, this holds if and only if H is convex in G under some left ordering of G. We give a criterion for H to be left relatively convex in G that generalizes a famous theorem of Burns and Hale and has essentially the same proof. We show that all maximal cyclic subgroups are left relatively convex in free groups, in right-angled Artin groups, and in surface groups that are not the Klein-bottle group. The free-group case extends a result of Duncan and Howie. We show that if G is left orderable, then each free factor of G is left relatively convex in G. More generally, for any graph of groups, if each edge group is left relatively convex in each of its vertex groups, then each vertex group is left relatively convex in the fundamental group; this generalizes a result of Chiswell. We show that all maximal cyclic subgroups in locally residually torsion-free nilpotent groups are left relatively convex.

preprint2014arXiv

Kurosh rank of intersections of subgroups of free products of orderable groups

We prove that the reduced Kurosh rank of the intersection of two subgroups $H$ and $K$ of a free product of right-orderable groups is bounded above by the product of the reduced Kurosh ranks of $H$ and $K$. In particular, taking the fundamental group of a graph of groups with trivial vertex and edge groups, and its Bass-Serre tree, our Theorem becomes the desired inequality of the usual Strengthened Hanna Neumann conjecture for free groups.

preprint2014arXiv

The Haagerup property is stable under graph products

The Haagerup property, which is a strong converse of Kazhdan's property $(T)$, has translations and applications in various fields of mathematics such as representation theory, harmonic analysis, operator K-theory and so on. Moreover, this group property implies the Baum-Connes conjecture and related Novikov conjecture. The Haagerup property is not preserved under arbitrary group extensions and amalgamated free products over infinite groups, but it is preserved under wreath products and amalgamated free products over finite groups. In this paper, we show that it is also preserved under graph products. We moreover give bounds on the equivariant and non-equivariant $L_p$-compressions of a graph product in terms of the corresponding compressions of the vertex groups. Finally, we give an upper bound on the asymptotic dimension in terms of the asymptotic dimensions of the vertex groups. This generalizes a result from Dranishnikov on the asymptotic dimension of right-angled Coxeter groups.

preprint2013arXiv

Tits alternatives for graph products

We discuss various types of Tits Alternative for subgroups of graph products of groups, and prove that, under some natural conditions, a graph product of groups satisfies a given form of Tits Alternative if and only if each vertex group satisfies this alternative. As a corollary, we show that every finitely generated subgroup of a graph product of virtually solvable groups is either virtually solvable or large. As another corollary, we prove that every non-abelian subgroup of a right angled Artin group has an epimorphism onto the free group of rank 2. In the course of the paper we develop the theory of parabolic subgroups, which allows to describe the structure of subgroups of graph products that contain no non-abelian free subgroups. We also obtain a number of results regarding the stability of some group properties under taking graph products.

preprint2011arXiv

On the asymptotics of visible elements and homogeneous equations in surface groups

Let $F$ be a group whose abelianization is $\Z^k$, $k\geq 2.$ An element of $F$ is called visible if its image in the abelianization is visible, that is, the greatest common divisor of its coordinates is 1. In this paper we compute three types of densities, annular, even and odd spherical, of visible elements in surface groups. We then use our results to show that the probability of a homogeneous equation in a surface group to have solutions is neither 0 nor 1, as the lengths of the right- and left-hand side of the equation go to infinity.

preprint2011arXiv

On the classifying space for proper actions of groups with cyclic torsion

In this paper we introduce a common framework for describing the topological part of the Baum-Connes conjecture for a wide class of groups. We compute the Bredon homology for groups with aspherical presentation, one-relator quotients of products of locally indicable groups, extensions of $\mathbb{Z}^n$ by cyclic groups, and fuchsian groups. We take advantage of the torsion structure of these groups to use appropriate models of the universal space for proper actions which allow us, in turn, to extend some technology defined by Mislin in the case of one-relator groups.

preprint2010arXiv

On the local-indicability Cohen-Lyndon Theorem

For a group $H$ and a subset $X$ of $H$, we let ${}^HX$ denote the set $\{hxh^{-1} \mid h \in H, x \in X\}$, and when $X$ is a free-generating set of $H$, we say that the set ${}^HX$ is a Whitehead subset of $H$. For a group $F$ and an element $r$ of $F$, we say that $r$ is Cohen-Lyndon aspherical in $F$ if ${}^F\{r\}$ is a Whitehead subset of the subgroup of $F$ that is generated by ${}^F\{r\}$. In 1963, D. E. Cohen and R. C. Lyndon independently showed that in each free group each non-trivial element is Cohen-Lyndon aspherical. In 1987, M. Edjvet and J. Howie showed that if $A$ and $B$ are locally indicable groups, then each cyclically reduced element of $A \ast B$ that does not lie in $A \cup B$ is Cohen-Lyndon aspherical in $A \ast B$. Using Bass-Serre Theory and the Edjvet-Howie Theorem, one can deduce the local-indicability Cohen-Lyndon Theorem: if $F$ is a locally indicable group and $T$ is an $F$-tree with trivial edge stabilizers, then each element of $F$ that fixes no vertex of $T$ is Cohen-Lyndon aspherical in $F$. Conversely, the Cohen-Lyndon Theorem and the Edjvet-Howie Theorem are immediate consequences of the local-indicability Cohen-Lyndon Theorem. In this article, we give a detailed review of Howie induction and arrange the arguments of Edjvet and Howie into a Howie-inductive proof of the local-indicability Cohen-Lyndon Theorem that does not use Magnus induction or the Cohen-Lyndon Theorem. We conclude with a review of some standard applications of Cohen-Lyndon asphericity.