Showing 1–31 of 31 results for author: Antolín, Y

When is a TRAAG orderable?

Authors: Yago Antolín, Martín Blufstein, Luis Paris

Abstract: We characterize, in terms of the defining graph, when a twisted right-angled Artin group (a group whose only relations among pairs of generators are either commuting or Klein-bottle type relations) is left-orderable. We characterize, in terms of the defining graph, when a twisted right-angled Artin group (a group whose only relations among pairs of generators are either commuting or Klein-bottle type relations) is left-orderable. △ Less

Submitted 24 October, 2024; originally announced October 2024.

MSC Class: 20F36; 20F60; 20F65

Subgroups of even Artin groups of FC-type

Authors: Yago Antolín, Islam Foniqi

Abstract: We prove a Tits alternative theorem for subgroups of finitely generated even Artin groups of FC type (EAFC groups), stating that there exists a finite index subgroup such that every subgroup of it is either finitely generated abelian, or maps onto a non-abelian free group. Parabolic subgroups play a key role, and we show that parabolic subgroups of EAFC groups are closed under taking roots. We prove a Tits alternative theorem for subgroups of finitely generated even Artin groups of FC type (EAFC groups), stating that there exists a finite index subgroup such that every subgroup of it is either finitely generated abelian, or maps onto a non-abelian free group. Parabolic subgroups play a key role, and we show that parabolic subgroups of EAFC groups are closed under taking roots. △ Less

Submitted 26 May, 2023; originally announced May 2023.

MSC Class: 20E06; 20F36; 20F65

Intersection of parabolic subgroups in even Artin groups of FC-type

Authors: Yago Antolín, Islam Foniqi

Abstract: We show that the intersection of parabolic subgroups of an even finitely generated FC-type Artin group is again a parabolic subgroup. We show that the intersection of parabolic subgroups of an even finitely generated FC-type Artin group is again a parabolic subgroup. △ Less

Submitted 29 April, 2022; originally announced April 2022.

MSC Class: 20F36; 20F65

Bredon homology of Artin groups of dihedral type

Authors: Yago Antolín, Ramón Flores

Abstract: For Artin groups of dihedral type, we compute the Bredon homology groups of the classifying space for the family of virtually cyclic subgroups with coefficients in the K-theory of a group ring. For Artin groups of dihedral type, we compute the Bredon homology groups of the classifying space for the family of virtually cyclic subgroups with coefficients in the K-theory of a group ring. △ Less

Submitted 19 May, 2022; v1 submitted 13 March, 2022; originally announced March 2022.

Comments: 27 pages

MSC Class: 19E20; 19A31; 19B28; 20F36

Geodesic Growth of some 3-dimensional RACGs

Authors: Yago Antolín, Islam Foniqi

Abstract: We give explicit formulas for the geodesic growth series of a Right Angled Coxeter Group (RACG) based on a link-regular graph that is 4-clique free, i.e. without tetrahedrons We give explicit formulas for the geodesic growth series of a Right Angled Coxeter Group (RACG) based on a link-regular graph that is 4-clique free, i.e. without tetrahedrons △ Less

Submitted 21 December, 2021; v1 submitted 20 May, 2021; originally announced May 2021.

Comments: v2 improved exposition

MSC Class: 05A15; 20F55

Regular left-orders on groups

Authors: Yago Antolín, Cristóbal Rivas, Hang Lu Su

Abstract: A regular left-order on finitely generated group $G$ is a total, left-multiplication invariant order on $G$ whose corresponding positive cone is the image of a regular language over the generating set of the group under the evaluation map. We show that admitting regular left-orders is stable under extensions and wreath products and give a classification of the groups all whose left-orders are regu… ▽ More A regular left-order on finitely generated group $G$ is a total, left-multiplication invariant order on $G$ whose corresponding positive cone is the image of a regular language over the generating set of the group under the evaluation map. We show that admitting regular left-orders is stable under extensions and wreath products and give a classification of the groups all whose left-orders are regular left-orders. In addition, we prove that solvable Baumslag-Solitar groups $B(1,n)$ admits a regular left-order if and only if $n\geq -1$. Finally, Hermiller and Sunic showed that no free product admits a regular left-order, however we show that if $A$ and $B$ are groups with regular left-orders, then $(A*B)\times \mathbb{Z}$ admits a regular left-order. △ Less

Submitted 17 September, 2021; v1 submitted 9 April, 2021; originally announced April 2021.

Comments: v2: 43 pages,9 figures. Exposition improved. Construction of Theorem 5.14 simplified

MSC Class: 06F15; 20F60; 68Q45

On the geometry of positive cones in finitely generated groups

Authors: J. Alonso, Y. Antolín, J. Brum, C. Rivas

Abstract: We study the geometry of positive cones of left-invariant total orders (left-order, for short) in finitely generated groups. We introduce the \textit{Hucha property} and the \texit{Prieto property} for left-orderable groups. The first one means that in any left-order the corresponding positive cone is not coarsely connected, and the second one that in any left-order the corresponding positive cone… ▽ More We study the geometry of positive cones of left-invariant total orders (left-order, for short) in finitely generated groups. We introduce the \textit{Hucha property} and the \texit{Prieto property} for left-orderable groups. The first one means that in any left-order the corresponding positive cone is not coarsely connected, and the second one that in any left-order the corresponding positive cone is coarsely connected. We show that all left-orderable free products have the Hucha property, and that the Hucha property is stable under certain free products with amalgamatation over Prieto subgroups. As an application we show that non-abelian limit groups in the sense of Z. Sela (e.g. free groups, fundamental group of hyperbolic surfaces, doubles of free groups and others) and non-abelian finitely generated subgroups of free $\mathbb{Q}$-groups in the sense of G. Baumslag have the Hucha property. In particular, this implies that these groups have empty BNS-invariant $Σ^1$ and that they don't have finitely generated positive cones. △ Less

Submitted 28 January, 2022; v1 submitted 28 January, 2020; originally announced January 2020.

Comments: 32 pages

MSC Class: 20F60; 20E08; 20F67

Parabolic subgroups acting on the additional length graph

Authors: Yago Antolín, María Cumplido

Abstract: Let $A\neq A_1, A_2, I_{2m}$ be an irreducible Artin--Tits group of spherical type. We show that periodic elements of $A$ and the elements preserving some parabolic subgroup of $A$ act elliptically on the additional length graph $\mathcal{C}_{AL}(A)$, an hyperbolic, infinite diameter graph associated to $A$ constructed by Calvez and Wiest to show that $A/Z(A)$ is acylindrically hyperbolic. We use… ▽ More Let $A\neq A_1, A_2, I_{2m}$ be an irreducible Artin--Tits group of spherical type. We show that periodic elements of $A$ and the elements preserving some parabolic subgroup of $A$ act elliptically on the additional length graph $\mathcal{C}_{AL}(A)$, an hyperbolic, infinite diameter graph associated to $A$ constructed by Calvez and Wiest to show that $A/Z(A)$ is acylindrically hyperbolic. We use these results to find an element $g\in A$ such that $\langle P,g \rangle\cong P* \langle g \rangle$ for every proper standard parabolic subgroup $P$ of $A$. The length of $g$ is uniformly bounded with respect to the Garside generators, independently of $A$. This allows us to show that, in contrast with the Artin generators case, the sequence $\{ω(A_n,\mathcal{S})\}_{n\in \mathbb{N}}$ of exponential growth rates of braid groups with respect to the Garside generating set, goes to infinity. △ Less

Submitted 8 May, 2020; v1 submitted 14 June, 2019; originally announced June 2019.

Comments: 19 pages, 2 figures

MSC Class: 20F36; 20F65

Journal ref: Algebr. Geom. Topol. 21 (2021) 1791-1816

Transverse properties of parabolic subgroups of Garside groups

Authors: Yago Antolín, Luis Paris

Abstract: Let $G$ be a Garside group endowed with the generating set $\mathcal{S}$ of non-trivial simple elements, and let $H$ be a parabolic subgroup of $G$. We determine a transversal $T$ of $H$ in $G$ such that each $θ\in T$ is of minimal length in its right-coset, $H θ$, for the word length with respect to $\mathcal{S}$. We show that there exists a regular language $L$ on… ▽ More Let $G$ be a Garside group endowed with the generating set $\mathcal{S}$ of non-trivial simple elements, and let $H$ be a parabolic subgroup of $G$. We determine a transversal $T$ of $H$ in $G$ such that each $θ\in T$ is of minimal length in its right-coset, $H θ$, for the word length with respect to $\mathcal{S}$. We show that there exists a regular language $L$ on $\mathcal{S} \cup \mathcal{S}^{-1}$ and a bijection $\mathrm{ev} : L \to T$ satisfying $\mathrm{lg} (U) = \mathrm{lg}_\mathcal{S}( \mathrm{ev}(U))$ for all $U \in L$. From this we deduce that the coset growth series of $H$ in $G$ is rational. Finally, we show that $G$ has fellow projections on $H$ but does not have bounded projections on $H$. △ Less

Submitted 26 February, 2019; originally announced February 2019.

The space of relative orders and a generalization of Morris indicability theorem

Authors: Yago Antolín, Cristóbal Rivas

Abstract: We introduce the space of relative orders on a group and show that it is compact whenever the group is finitely generated. We use this to show that if $G$ is a finitely generated group acting by order preserving homeomorphism of on the line, then if some stabilizer of a point is proper and co-amenable subgroup, then $G$ surjects onto $\mathbb{Z}$. This is a generalization of a theorem of Morris. We introduce the space of relative orders on a group and show that it is compact whenever the group is finitely generated. We use this to show that if $G$ is a finitely generated group acting by order preserving homeomorphism of on the line, then if some stabilizer of a point is proper and co-amenable subgroup, then $G$ surjects onto $\mathbb{Z}$. This is a generalization of a theorem of Morris. △ Less

Submitted 10 June, 2018; v1 submitted 14 February, 2018; originally announced February 2018.

Comments: v2: 10 pages, 2 figures. Typos corrected, Lemma 3.3 split into two statements affecting the numbering

MSC Class: 06F15; 20F60; 52A99; 37E05; 43A07; 37C85

Counting subgraphs in fftp graphs with symmetry

Authors: Yago Antolín

Abstract: Following ideas that go back to Cannon, we show the rationality of various generating functions of growth sequences counting embeddings of convex subgraphs in locally-finite, vertex-transitive graphs with the (relative) falsification by fellow traveler property (fftp). In particular, we recover results of Cannon, of Epstein, Iano-Fletcher and Zwick, and of Calegari and Fujiwara. One of our applica… ▽ More Following ideas that go back to Cannon, we show the rationality of various generating functions of growth sequences counting embeddings of convex subgraphs in locally-finite, vertex-transitive graphs with the (relative) falsification by fellow traveler property (fftp). In particular, we recover results of Cannon, of Epstein, Iano-Fletcher and Zwick, and of Calegari and Fujiwara. One of our applications concerns Schreier coset graphs of hyperbolic groups relative to quasi-convex subgroups, we show that these graphs have rational growth, the falsification by fellow traveler property, and the existence of a lower bound for the growth rate independent of the finite generating set and the infinite index quasi-convex subgroup. △ Less

Submitted 12 September, 2019; v1 submitted 14 February, 2018; originally announced February 2018.

Comments: version 2, 27 pages, 3 figures, exposition improved after the comments of the referee

MSC Class: 20F65; 20F10; 20F67; 05A15; 05C25

Journal ref: Math. Proc. Camb. Phil. Soc. 170 (2021) 327-353

Intersection properties of stable subgroups and bounded cohomology

Authors: Yago Antolín, Mahan Mj, Alessandro Sisto, Samuel J. Taylor

Abstract: We show that a finite collection of stable subgroups of a finitely generated group has finite height, finite width and bounded packing. We then use knowledge about intersections of conjugates to characterize finite families of quasimorphisms on hyperbolically embedded subgroups that can be to simultaneously extended to the ambient group. We show that a finite collection of stable subgroups of a finitely generated group has finite height, finite width and bounded packing. We then use knowledge about intersections of conjugates to characterize finite families of quasimorphisms on hyperbolically embedded subgroups that can be to simultaneously extended to the ambient group. △ Less

Submitted 3 February, 2017; v1 submitted 21 December, 2016; originally announced December 2016.

Comments: Version 2 has a new title, added applications to bounded cohomology, and two additional authors. 16 pages

Degree of commutativity of infinite groups

Authors: Yago Antolín, Armando Martino, Enric Ventura

Abstract: 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 hyper… ▽ More 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. △ Less

Submitted 23 November, 2015; originally announced November 2015.

Comments: 11 pages

Farrell-Jones via Dehn fillings

Authors: Yago Antolín, Rémi Coulon, Giovanni Gandini

Abstract: Following the approach of Dahmani, Guirardel and Osin, we extend the group theoretical Dehn filling theorem to show that the pre-images of infinite order elements have a certain structure of a free product. We then apply this result to show that groups hyperbolic relative to residually finite groups satisfying the Farrell-Jones conjecture, they satisfy the Farrell-Jones conjecture. Following the approach of Dahmani, Guirardel and Osin, we extend the group theoretical Dehn filling theorem to show that the pre-images of infinite order elements have a certain structure of a free product. We then apply this result to show that groups hyperbolic relative to residually finite groups satisfying the Farrell-Jones conjecture, they satisfy the Farrell-Jones conjecture. △ Less

Submitted 27 October, 2015; originally announced October 2015.

Comments: 19 pages

MSC Class: 20F65; 20F67; 18F25

Journal ref: J. Topol. Anal. 10 (2018), no. 4, 873-895

Formal conjugacy growth in acylindrically hyperbolic groups

Authors: Yago Antolín, Laura Ciobanu

Abstract: 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 gro… ▽ More 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. △ Less

Submitted 20 October, 2015; v1 submitted 25 August, 2015; originally announced August 2015.

Comments: 26 pages, 2 figures. v2 Some typos corrected and section 6 slightly rearranged

MSC Class: 20F67; 68Q45

Permute and conjugate: the conjugacy problem in relatively hyperbolic groups

Authors: Yago Antolín, Andrew Sale

Abstract: Modelled on efficient algorithms for solving the conjugacy problem in hyperbolic groups, we define and study the permutation conjugacy length function. This function estimates the length of a short conjugator between words $u$ and $v$, up to taking cyclic permutations. This function might be bounded by a constant, even in the case when the standard conjugacy length function is unbounded. We give a… ▽ More Modelled on efficient algorithms for solving the conjugacy problem in hyperbolic groups, we define and study the permutation conjugacy length function. This function estimates the length of a short conjugator between words $u$ and $v$, up to taking cyclic permutations. This function might be bounded by a constant, even in the case when the standard conjugacy length function is unbounded. We give applications to the complexity of the conjugacy problem, estimating conjugacy growth rates, and languages. Our main result states that for a relatively hyperbolic group, the permutation conjugacy length function is bounded by the permutation conjugacy length function of the parabolic subgroups. △ Less

Submitted 15 May, 2015; originally announced May 2015.

Comments: 18 pages, 8 figures

MSC Class: 20F65; 20F10; 20F67

Left relatively convex subgroups

Authors: Yago Antolín, Warren Dicks, Zoran Sunic

Abstract: 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 s… ▽ More 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. △ Less

Submitted 5 March, 2015; originally announced March 2015.

MSC Class: 06F15; 20F60; 20E08; 20E06; 20E05; 52A99; 20M99; 20F36

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

Authors: Yago Antolín, Laura Ciobanu

Abstract: 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 i… ▽ More 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. △ Less

Submitted 17 March, 2015; v1 submitted 12 February, 2014; originally announced February 2014.

Comments: 44 pages, 8 figures. Version 3. After comments from the referee added

MSC Class: 20F65; 20F10; 20F67; 68Q45

Commensurating endomorphisms of acylindrically hyperbolic groups and applications

Authors: Yago Antolin, Ashot Minasyan, Alessandro Sisto

Abstract: We prove that the outer automorphism group $Out(G)$ is residually finite when the group $G$ is virtually compact special (in the sense of Haglund and Wise) or when $G$ is isomorphic to the fundamental group of some compact $3$-manifold. To prove these results we characterize commensurating endomorphisms of acylindrically hyperbolic groups. An endomorphism $φ$ of a group $G$ is said to be commens… ▽ More We prove that the outer automorphism group $Out(G)$ is residually finite when the group $G$ is virtually compact special (in the sense of Haglund and Wise) or when $G$ is isomorphic to the fundamental group of some compact $3$-manifold. To prove these results we characterize commensurating endomorphisms of acylindrically hyperbolic groups. An endomorphism $φ$ of a group $G$ is said to be commensurating, if for every $g \in G$ some non-zero power of $φ(g)$ is conjugate to a non-zero power of $g$. Given an acylindrically hyperbolic group $G$, we show that any commensurating endomorphism of $G$ is inner modulo a small perturbation. This generalizes a theorem of Minasyan and Osin, which provided a similar statement in the case when $G$ is relatively hyperbolic. We then use this result to study pointwise inner and normal endomorphisms of acylindrically hyperbolic groups. △ Less

Submitted 20 September, 2016; v1 submitted 31 October, 2013; originally announced October 2013.

Comments: 47 pages. v4: final version, to appear in Groups, Geometry and Dynamics

MSC Class: 20F65; 20F67; 20F28; 20E26; 20F34; 57M05

Journal ref: Groups Geom. Dyn. 10 (2016), no. 4, pp. 1149-1210

A note on the Farrell-Jones conjecture for relatively hyperbolic groups

Authors: Yago Antolín, Giovanni Gandini

Abstract: For a group G relatively hyperbolic to a family of residually finite groups satisfying the Farrell-Jones conjecture, we reduce the solution of the Farrell-Jones conjecture for G to the case of certain nice cyclic extensions in G. For a group G relatively hyperbolic to a family of residually finite groups satisfying the Farrell-Jones conjecture, we reduce the solution of the Farrell-Jones conjecture for G to the case of certain nice cyclic extensions in G. △ Less

Submitted 27 October, 2013; v1 submitted 22 October, 2013; originally announced October 2013.

Comments: The proof of Theorem 1.1 in the previous version contained a mistake. Theorem 1.1 replaced by Proposition 3.2 which is a weaker result

Report number: CPH-SYM-DNRF92

The Haagerup property is stable under graph products

Authors: Yago Antolín, Dennis Dreesen

Abstract: 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 am… ▽ More 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. △ Less

Submitted 20 February, 2014; v1 submitted 29 May, 2013; originally announced May 2013.

Comments: 20 pages, v3 minor changes

MSC Class: 22D10; 20F65

Conjugacy in Houghton's Groups

Authors: Yago Antolín, José Burillo, Armando Martino

Abstract: Let $n\in \mathbb{N}$. Houghton's group $H_n$ is the group of permutations of $\{1,\dots, n\}\times \mathbb{N}$, that eventually act as a translation in each copy of $\mathbb{N}$. We prove the solvability of the conjugacy problem and conjugator search problem for $H_n$, $n\geq 2$. Let $n\in \mathbb{N}$. Houghton's group $H_n$ is the group of permutations of $\{1,\dots, n\}\times \mathbb{N}$, that eventually act as a translation in each copy of $\mathbb{N}$. We prove the solvability of the conjugacy problem and conjugator search problem for $H_n$, $n\geq 2$. △ Less

Submitted 30 June, 2014; v1 submitted 9 May, 2013; originally announced May 2013.

Comments: 11 pages, 1 figure, v2 correct typos and fills a small gap in the argument

MSC Class: 20F10; 20B99

One Relator Quotients of Graph Products

Authors: Yago Antolin, Aditi Kar

Abstract: In this paper, we generalise Magnus' Freiheitssatz and solution to the word problem for one-relator groups by considering one relator quotients of certain classes of right-angled Artin groups and graph products of locally indicable polycyclic groups. In this paper, we generalise Magnus' Freiheitssatz and solution to the word problem for one-relator groups by considering one relator quotients of certain classes of right-angled Artin groups and graph products of locally indicable polycyclic groups. △ Less

Submitted 17 June, 2013; v1 submitted 24 April, 2012; originally announced April 2012.

Geodesic growth in right-angled and even Coxeter groups

Authors: Yago Antolín, Laura Ciobanu

Abstract: The objective of this paper is to detect which combinatorial properties of a regular graph can completely determine the geodesic growth of the right-angled Coxeter or Artin group this graph defines, and to provide the first examples of right-angled and even Coxeter groups with the same geodesic growth series. The objective of this paper is to detect which combinatorial properties of a regular graph can completely determine the geodesic growth of the right-angled Coxeter or Artin group this graph defines, and to provide the first examples of right-angled and even Coxeter groups with the same geodesic growth series. △ Less

Submitted 23 July, 2012; v1 submitted 13 March, 2012; originally announced March 2012.

Comments: 27 pages, 5 figures. Some typos and minor errors were corrected

Tits alternatives for graph products

Authors: Yago Antolín, Ashot Minasyan

Abstract: 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 solv… ▽ More 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. △ Less

Submitted 3 July, 2013; v1 submitted 10 November, 2011; originally announced November 2011.

Comments: 30 pages, 1 figure. v3: minor revision implementing referee's suggestions

MSC Class: 20F65 (Primary) 20E07 (Secondary)

Journal ref: J. Reine Angew. Math. 704 (2015), pp. 55-83

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

Authors: Yago Antolín, Armando Martino, Inga Schwabrow

Abstract: 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 Strength… ▽ More 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. △ Less

Submitted 21 January, 2014; v1 submitted 1 September, 2011; originally announced September 2011.

Comments: Reference Added

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

Authors: Yago Antolín, Ramón Flores

Abstract: 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 group… ▽ More 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. △ Less

Submitted 24 October, 2011; v1 submitted 4 July, 2011; originally announced July 2011.

Comments: 23 pages. Title changed from the previous version

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

Authors: Yago Antolín, Laura Ciobanu, Noèlia Viles

Abstract: 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 homogeneou… ▽ More 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. △ Less

Submitted 12 May, 2011; originally announced May 2011.

Journal ref: Groups Geom. Dyn. 6 (2012), no. 4, 619-638

On the local-indicability Cohen-Lyndon Theorem

Authors: Yago Antolín, Warren Dicks, Peter A. Linnell

Abstract: 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… ▽ More 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. △ Less

Submitted 9 February, 2010; originally announced February 2010.

Comments: 15 pages, no figures

MSC Class: 20E08

Journal ref: Glasgow Mathematical Journal 53 (2011), 637--656

On Cayley graphs of virtually free groups

Authors: Yago Antolin

Abstract: In 1985, Dunwoody showed that finitely presentable groups are accessible. Dunwoody's result was used to show that context-free groups, groups quasi-isometric to trees or finitely presentable groups of asymptotic dimension 1 are virtually free. Using another theorem of Dunwoody of 1979, we study when a group is virtually free in terms of its Cayley graph and we obtain new proofs of the mentioned re… ▽ More In 1985, Dunwoody showed that finitely presentable groups are accessible. Dunwoody's result was used to show that context-free groups, groups quasi-isometric to trees or finitely presentable groups of asymptotic dimension 1 are virtually free. Using another theorem of Dunwoody of 1979, we study when a group is virtually free in terms of its Cayley graph and we obtain new proofs of the mentioned results and other previously depending on them. △ Less

Submitted 18 July, 2011; v1 submitted 11 November, 2009; originally announced November 2009.

Journal ref: Groups Complex. Cryptol. 3 (2011), no. 2, 301-327

Non-orientable surface-plus-one-relation groups

Authors: Yago Antolin, Warren Dicks, Peter A. Linnell

Abstract: Recently Dicks-Linnell determined the $L^2$-Betti numbers of the orientable surface-plus-one-relation groups, and their arguments involved some results that were obtained topologically by Hempel and Howie. Using algebraic arguments, we now extend all these results of Hempel and Howie to a larger class of two-relator groups, and we then apply the extended results to determine the $L^2$-Betti numb… ▽ More Recently Dicks-Linnell determined the $L^2$-Betti numbers of the orientable surface-plus-one-relation groups, and their arguments involved some results that were obtained topologically by Hempel and Howie. Using algebraic arguments, we now extend all these results of Hempel and Howie to a larger class of two-relator groups, and we then apply the extended results to determine the $L^2$-Betti numbers of the non-orientable surface-plus-one-relation groups. △ Less

Submitted 15 October, 2008; originally announced October 2008.

Comments: Version 1. 37 pages. 0 figures. Dedicated to the memory of Karl Gruenberg

MSC Class: 20F05; 16S34; 20J05

Journal ref: Journal of Algebra 326 (2011) 4-33