Showing 1–11 of 11 results for author: Perin, C

Algebraic groups over free and hyperbolic groups

Authors: Vincent Guirardel, Chloé Perin

Abstract: We define an algebraic group over a group $G$ to be a variety - that is, a subset of $G^d$ defined by equations over $G$ - endowed with a group law whose coordinates can be expressed as word maps. In the case where $G$ is a torsion-free hyperbolic group and the underlying variety is irreducible we give a complete description of all algebraic groups. We define an algebraic group over a group $G$ to be a variety - that is, a subset of $G^d$ defined by equations over $G$ - endowed with a group law whose coordinates can be expressed as word maps. In the case where $G$ is a torsion-free hyperbolic group and the underlying variety is irreducible we give a complete description of all algebraic groups. △ Less

Submitted 26 June, 2025; originally announced June 2025.

Comments: 33 pages, 4 figures

MSC Class: 20F67; 20F65; 20G99; 14L10

Homogeneity of torsion-free hyperbolic groups

Authors: Ayala Dente-Byron, Chloé Perin

Abstract: We give a complete characterization of torsion-free hyperbolic groups which are homogeneous in the sense of first-order logic, in terms of the JSJ decompositions of their free factors. We give a complete characterization of torsion-free hyperbolic groups which are homogeneous in the sense of first-order logic, in terms of the JSJ decompositions of their free factors. △ Less

Submitted 7 July, 2019; originally announced July 2019.

Comments: 40 pages

MSC Class: 20E05; 03C45

Elementary subgroups of the free group are free factors - a new proof

Authors: Chloé Perin

Abstract: In this note we give a new proof of the fact that an elementary subgroup (in the sense of first-order theory) of a non abelian free group $\mathbb{F}$ must be a free factor. The proof is based on definability of orbits of elements of under automorphisms of $\mathbb{F}$ fixing a large enough subset of $\mathbb{F}$. In this note we give a new proof of the fact that an elementary subgroup (in the sense of first-order theory) of a non abelian free group $\mathbb{F}$ must be a free factor. The proof is based on definability of orbits of elements of under automorphisms of $\mathbb{F}$ fixing a large enough subset of $\mathbb{F}$. △ Less

Submitted 14 March, 2019; originally announced March 2019.

Some lower bounds on Shelah rank in the free group

Authors: Javier de la Nuez González, Chloé Perin, Rizos Sklinos

Abstract: We give some lower bounds on the Shelah rank of varieties in the free group whose coordinate groups are hyperbolic towers. We give some lower bounds on the Shelah rank of varieties in the free group whose coordinate groups are hyperbolic towers. △ Less

Submitted 11 December, 2018; originally announced December 2018.

MSC Class: 03C45; 20E05

Forking and JSJ decompositions in the free group II

Authors: Chloé Perin, Rizos Sklinos

Abstract: We give a complete characterization of the forking independence relation over any set of parameters in the free groups of finite rank, in terms of the $JSJ$ decompositions relative to those parameters. We give a complete characterization of the forking independence relation over any set of parameters in the free groups of finite rank, in terms of the $JSJ$ decompositions relative to those parameters. △ Less

Submitted 8 October, 2018; v1 submitted 24 January, 2018; originally announced January 2018.

Comments: 23 pages. In the updated version, the (cumbersome) generalization of the main result given in Theorem 3.15 of the first version was removed, as well as its proof. This induced some substantial simplifications in the presentation. A number of examples and figures have also been added to help the reader

On the (non) superstable part of the free group

Authors: Chloé Perin, Rizos Sklinos

Abstract: In this short note we prove that a definable set $X$ over $\mathbb F_n$ is superstable only if $X(\mathbb F_n)=X(\mathbb F_ω)$. In this short note we prove that a definable set $X$ over $\mathbb F_n$ is superstable only if $X(\mathbb F_n)=X(\mathbb F_ω)$. △ Less

Submitted 23 November, 2014; originally announced November 2014.

Comments: 6 pages

Forking and JSJ decompositions in the free group

Authors: Chloé Perin, Rizos Sklinos

Abstract: We give a description of the model theoretic relation of forking independence in terms of the notion of JSJ decompositions in non abelian free groups. We give a description of the model theoretic relation of forking independence in terms of the notion of JSJ decompositions in non abelian free groups. △ Less

Submitted 6 March, 2013; originally announced March 2013.

Comments: 33 pages, 6 figures

On groups and fields interpretable in torsion-free hyperbolic groups

Authors: Chloé Perin, Anand Pillay, Rizos Sklinos, Katrin Tent

Abstract: We prove that the generic type of a non-cyclic torsion-free hyperbolic group G is foreign to any interpretable abelian group, hence also to any interpretable field. This result depends, among other things, on the definable simplicity of a non-cyclic torsion-free hyperbolic group, and we take the opportunity to give a proof of the latter using Sela's description of imaginaries in torsion-free hyper… ▽ More We prove that the generic type of a non-cyclic torsion-free hyperbolic group G is foreign to any interpretable abelian group, hence also to any interpretable field. This result depends, among other things, on the definable simplicity of a non-cyclic torsion-free hyperbolic group, and we take the opportunity to give a proof of the latter using Sela's description of imaginaries in torsion-free hyperbolic groups. We also use the description of imaginaries to prove that if F is a free group of rank > 2 then no orbit of a finite tuple from F under Aut(F) is definable. △ Less

Submitted 19 February, 2013; v1 submitted 21 October, 2012; originally announced October 2012.

Comments: 12 pages

Hyperbolic towers and independent generic sets in the theory of free groups

Authors: Larsen Louder, Chloé Perin, Rizos Sklinos

Abstract: We use hyperbolic towers to answer some model theoretic questions around the generic type in the theory of free groups. We show that all the finitely generated models of this theory realize the generic type $p_0$, but that there is a finitely generated model which omits $p_0^{(2)}$. We exhibit a finitely generated model in which there are two maximal independent sets of realizations of the generic… ▽ More We use hyperbolic towers to answer some model theoretic questions around the generic type in the theory of free groups. We show that all the finitely generated models of this theory realize the generic type $p_0$, but that there is a finitely generated model which omits $p_0^{(2)}$. We exhibit a finitely generated model in which there are two maximal independent sets of realizations of the generic type which have different cardinalities. We also show that a free product of homogeneous groups is not necessarily homogeneous. △ Less

Submitted 14 August, 2012; originally announced August 2012.

Comments: to appear in Proceedings of the conference "Recent developments in Model Theory", Notre Dame Journal of Formal Logic

MSC Class: 20E05; 20F67; 03C07

Journal ref: Notre Dame J. Formal Logic 54, nos. 3-4 (2013), 521-539

Homogeneity in the free group

Authors: Chloé Perin, Rizos Sklinos

Abstract: We show that any non abelian free group $\F$ is strongly $\aleph_0$-homogeneous, i.e. that finite tuples of elements which satisfy the same first-order properties are in the same orbit under $\Aut(\F)$. We give a characterization of elements in finitely generated groups which have the same first-order properties as a primitive element of the free group. We deduce as a consequence that most hyperbo… ▽ More We show that any non abelian free group $\F$ is strongly $\aleph_0$-homogeneous, i.e. that finite tuples of elements which satisfy the same first-order properties are in the same orbit under $\Aut(\F)$. We give a characterization of elements in finitely generated groups which have the same first-order properties as a primitive element of the free group. We deduce as a consequence that most hyperbolic surface groups are not $\aleph_0$-homogeneous. △ Less

Submitted 22 March, 2010; originally announced March 2010.

Comments: 26 pages

MSC Class: 20E05; 20F67; 03C07

Journal ref: Duke Math. J. 161, no. 13 (2012), 2635-2668

Elementary embeddings in torsion-free hyperbolic groups

Authors: Chloé Perin

Abstract: We consider embeddings in a torsion-free hyperbolic group which are elementary in the sense of first-order logic. We give a description of these embeddings in terms of Sela's hyperbolic towers. We deduce as a corollary that subgroups elementarily embedded in finitely generated free groups are free factors. We consider embeddings in a torsion-free hyperbolic group which are elementary in the sense of first-order logic. We give a description of these embeddings in terms of Sela's hyperbolic towers. We deduce as a corollary that subgroups elementarily embedded in finitely generated free groups are free factors. △ Less

Submitted 15 June, 2012; v1 submitted 5 March, 2009; originally announced March 2009.

Comments: The statement and the proof of Proposition 5.11 are corrected. All the other results remain unchanged

MSC Class: 20F67 (Primary) 20E05; 03C07 (Secondary)