Showing 1–23 of 23 results for author: Sklinos, R

Profinite rigidity of affine Coxeter groups

Authors: Gianluca Paolini, Rizos Sklinos

Abstract: We prove that the irreducible affine Coxeter groups are first-order rigid and deduce from this that they are profinitely rigid in the absolute sense. We then show that the first-order theory of any irreducible affine Coxeter group does not have a prime model. Finally, we prove that universal Coxeter groups of finite rank are homogeneous, and that the same applies to every hyperbolic (in the sense… ▽ More We prove that the irreducible affine Coxeter groups are first-order rigid and deduce from this that they are profinitely rigid in the absolute sense. We then show that the first-order theory of any irreducible affine Coxeter group does not have a prime model. Finally, we prove that universal Coxeter groups of finite rank are homogeneous, and that the same applies to every hyperbolic (in the sense of Gromov) one-ended right-angled Coxeter group. △ Less

Submitted 2 July, 2024; v1 submitted 1 July, 2024; originally announced July 2024.

MSC Class: 03C60; 20F55

First-order sentences in random groups II: $\forall\exists$-sentences

Authors: Olga Kharlampovich, Rizos Sklinos

Abstract: We prove that a random group, in Gromov's density model with $d < 1/16$ satisfies with overwhelming probability a universal-existential first-order sentence $σ$ (in the language of groups) if and only if $σ$ is true in a nonabelian free group. We prove that a random group, in Gromov's density model with $d < 1/16$ satisfies with overwhelming probability a universal-existential first-order sentence $σ$ (in the language of groups) if and only if $σ$ is true in a nonabelian free group. △ Less

Submitted 22 December, 2022; originally announced December 2022.

MSC Class: 03C60; 20F67

First-order sentences in random groups I: universal sentences

Authors: O. Kharlampovich, R. Sklinos

Abstract: We prove that a random group, in Gromov's density model with $d<1/16$, satisfies a universal sentence $σ$ (in the language of groups) if and only if $σ$ is true in a nonabelian free group. We prove that a random group, in Gromov's density model with $d<1/16$, satisfies a universal sentence $σ$ (in the language of groups) if and only if $σ$ is true in a nonabelian free group. △ Less

Submitted 29 January, 2024; v1 submitted 9 June, 2021; originally announced June 2021.

Comments: Second version, minor changes and in addition the main result has been extended to include constants

MSC Class: 20F65; 03C60

Fields interpretable in the free group

Authors: Rizos Sklinos

Abstract: We prove that no infinite field is interpretable in the first-order theory of nonabelian free groups. We prove that no infinite field is interpretable in the first-order theory of nonabelian free groups. △ Less

Submitted 28 December, 2020; originally announced December 2020.

Towers and the first-order theory of hyperbolic groups

Authors: Vincent Guirardel, Gilbert Levitt, Rizos Sklinos

Abstract: This paper is devoted to the first-order theory of torsion-free hyperbolic groups. One of its purposes is to review some results and to provide precise and correct statements and definitions, as well as some proofs and new results. A key concept is that of a tower (Sela) or NTQ system (Kharlampovich-Myasnikov). We discuss them thoroughly. We state and prove a new general theorem which unifies… ▽ More This paper is devoted to the first-order theory of torsion-free hyperbolic groups. One of its purposes is to review some results and to provide precise and correct statements and definitions, as well as some proofs and new results. A key concept is that of a tower (Sela) or NTQ system (Kharlampovich-Myasnikov). We discuss them thoroughly. We state and prove a new general theorem which unifies several results in the literature: elementarily equivalent torsion-free hyperbolic groups have isomorphic cores (Sela); if $H$ is elementarily embedded in a torsion-free hyperbolic group $G$, then $G$ is a tower over $H$ relative to $H$ (Perin); free groups (Perin-Sklinos, Ould-Houcine), and more generally free products of prototypes and free groups, are homogeneous. The converse to Sela and Perin's results just mentioned is true. This follows from the solution to Tarski's problem on elementary equivalence of free groups, due independently to Sela and Kharlampovich-Myasnikov, which we treat as a black box throughout the paper. We present many examples and counterexamples, and we prove some new model-theoretic results. We characterize prime models among torsion-free hyperbolic groups, and minimal models among elementarily free groups. Using Fraïssé's method, we associate to every torsion-free hyperbolic group $H$ a unique homogeneous countable group $\mathcal{M}$ in which any hyperbolic group $H'$ elementarily equivalent to $H$ has an elementary embedding. In an appendix we give a complete proof of the fact, due to Sela, that towers over a torsion-free hyperbolic group $H$ are $H$-limit groups. △ Less

Submitted 28 July, 2020; originally announced July 2020.

MSC Class: 20F65; 20F77; 20F70

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

Fraïssé limits of limit groups

Authors: Olga Kharlampovich, Alexei Myasnikov, Rizos Sklinos

Abstract: We modify the notion of a Fraïssé class and show that various interesting classes of groups, notably the class of nonabelian limit groups and the class of finitely generated elementary free groups, admit Fraïssé limits. Furthermore, we rediscover Lyndon's $\Z[t]$-exponential completions of countable torsion-free CSA groups, as Fraïssé limits with respect to extensions of centralizers. Dedicate… ▽ More We modify the notion of a Fraïssé class and show that various interesting classes of groups, notably the class of nonabelian limit groups and the class of finitely generated elementary free groups, admit Fraïssé limits. Furthermore, we rediscover Lyndon's $\Z[t]$-exponential completions of countable torsion-free CSA groups, as Fraïssé limits with respect to extensions of centralizers. Dedicated to the memory of Charles Sims. △ Less

Submitted 5 August, 2019; v1 submitted 21 July, 2018; originally announced July 2018.

Comments: Revised version, accepted to J. Algebra

MSC Class: 03C60

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

Nonequational Stable Groups

Authors: Isabel Müller, Rizos Sklinos

Abstract: We introduce a combinatorial criterion for verifying whether a formula is not the conjunction of an equation and a co-equation. Using this, we give a proof for the nonequationality of the free group. Furthermore, we generalize the latter result to the first-order theory of any free product of groups of the form $G*\mathbb{F}_ω$. We introduce a combinatorial criterion for verifying whether a formula is not the conjunction of an equation and a co-equation. Using this, we give a proof for the nonequationality of the free group. Furthermore, we generalize the latter result to the first-order theory of any free product of groups of the form $G*\mathbb{F}_ω$. △ Less

Submitted 6 March, 2023; v1 submitted 12 March, 2017; originally announced March 2017.

Comments: 10 pages, version accepted in the Proc. Am. Math. Soc

Elementary equivalence vs commensurability for hyperbolic groups

Authors: Vincent Guirardel, Gilbert Levitt, Rizos Sklinos

Abstract: We study to what extent torsion-free (Gromov)-hyperbolic groups are elementarily equivalent to their finite index subgroups. In particular, we prove that a hyperbolic limit group either is a free product of cyclic groups and surface groups, or admits infinitely many subgroups of finite index which are pairwise non elementarily equivalent. We study to what extent torsion-free (Gromov)-hyperbolic groups are elementarily equivalent to their finite index subgroups. In particular, we prove that a hyperbolic limit group either is a free product of cyclic groups and surface groups, or admits infinitely many subgroups of finite index which are pairwise non elementarily equivalent. △ Less

Submitted 30 January, 2017; originally announced January 2017.

Comments: 19 pages

MSC Class: 20F65; 20F70; 20F67;

Journal ref: Trans. Amer. Math. Soc. 371 (2019), no. 5, 3397--3416

The free group has the dimensional order property

Authors: Anand Pillay, Rizos Sklinos

Abstract: We prove that the common theory of nonabelian free groups has the dimensional order property, or DOP, implying, for example, that there is no reasonable structure theorem for $\aleph_1$-saturated models of this theory. We prove that the common theory of nonabelian free groups has the dimensional order property, or DOP, implying, for example, that there is no reasonable structure theorem for $\aleph_1$-saturated models of this theory. △ Less

Submitted 24 April, 2016; originally announced April 2016.

Comments: 9 pages

Fields definable in the free group

Authors: Ayala Byron, Rizos Sklinos

Abstract: We prove that no infinite field is definable in the theory of the free group We prove that no infinite field is definable in the theory of the free group △ Less

Submitted 24 December, 2015; originally announced December 2015.

Comments: First version, 47 pages, 7 figures

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

Saturated free algebras revisited

Authors: Anand Pillay, Rizos Sklinos

Abstract: We give an exposition of results of Baldwin-Shelah on saturated free algebras, at the level of generality of complete first order theories $T$ with a saturated model $M$ which is in the algebraic closure of an indiscernible set. We then make some new observations when $M$ is a saturated free algebra, analogous to (more difficult) results for the free group, such as a description of forking. We give an exposition of results of Baldwin-Shelah on saturated free algebras, at the level of generality of complete first order theories $T$ with a saturated model $M$ which is in the algebraic closure of an indiscernible set. We then make some new observations when $M$ is a saturated free algebra, analogous to (more difficult) results for the free group, such as a description of forking. △ Less

Submitted 30 September, 2014; originally announced September 2014.

Comments: 16 pages

On ampleness and pseudo-Anosov homeomorphisms in the free group

Authors: Rizos Sklinos

Abstract: We use pseudo-Anosov homeomorphisms of surfaces in order to prove that the first order theory of non abelian free groups, $T_{fg}$, is $n$-ample for any $n\inω$. This result adds to the work of Pillay, that proved that $T_{fg}$ is non CM -trivial. The sequence witnessing ampleness is a sequence of primitive elements in $F_ω$. Our result provides an alternative proof to the main result of a prepr… ▽ More We use pseudo-Anosov homeomorphisms of surfaces in order to prove that the first order theory of non abelian free groups, $T_{fg}$, is $n$-ample for any $n\inω$. This result adds to the work of Pillay, that proved that $T_{fg}$ is non CM -trivial. The sequence witnessing ampleness is a sequence of primitive elements in $F_ω$. Our result provides an alternative proof to the main result of a preprint by Ould Houcine-Tent. We also add an appendix in which we make a few remarks on Sela's paper on imaginaries in torsion free hyperbolic groups. In particular we give alternative transparent proofs concerning the non-elimination of certain imaginaries. △ Less

Submitted 30 September, 2014; originally announced September 2014.

Comments: 22 pages, 2 figures. To appear in the Turkish Journal of Mathematics. Replaces arXiv:1205.4662

On Superstable Expansions of Free Abelian Groups

Authors: Daniel Palacin, Rizos Sklinos

Abstract: We prove that $(\Z,+,0)$ has no proper superstable expansions of finite Lascar rank. Nevertheless, this structure equipped with a predicate defining powers of a given natural number is superstable of Lascar rank $ω$. Additionally, our methods yield other superstable expansions such as $(\Z,+,0)$ equipped with the set of factorial elements. We prove that $(\Z,+,0)$ has no proper superstable expansions of finite Lascar rank. Nevertheless, this structure equipped with a predicate defining powers of a given natural number is superstable of Lascar rank $ω$. Additionally, our methods yield other superstable expansions such as $(\Z,+,0)$ equipped with the set of factorial elements. △ Less

Submitted 3 November, 2016; v1 submitted 3 May, 2014; originally announced May 2014.

MSC Class: 03C45

Journal ref: Notre Dame J. Formal Logic 59, no. 2 (2018), 157-169

The free group does not have the finite cover property

Authors: Rizos Sklinos

Abstract: We prove that the first order theory of nonabelian free groups eliminates the "there exists infinitely many" quantifier (in eq). Equivalently, since the theory of nonabelian free groups is stable, it does not have the finite cover property. We also extend our results to torsion-free hyperbolic groups under some conditions. We prove that the first order theory of nonabelian free groups eliminates the "there exists infinitely many" quantifier (in eq). Equivalently, since the theory of nonabelian free groups is stable, it does not have the finite cover property. We also extend our results to torsion-free hyperbolic groups under some conditions. △ Less

Submitted 7 June, 2017; v1 submitted 2 December, 2013; originally announced December 2013.

Comments: 23 pages, to appear in the Israel J. Math

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

A note on ampleness in the theory of non abelian free groups

Authors: Rizos Sklinos

Abstract: Recently Ould Houcine-Tent (see arXiv:1205.0929v2 [math.GR]) proved that the theory of non abelian free groups is $n$-ample for any $n<ω$. We give a sequence of single elements in $F_ω$ witnessing the above mentioned result. Our proof is not independent from the one given in arXiv:1205.0929v2 [math.GR], as we essentially use some theorems from there. On the other hand our witnessing sequence is mu… ▽ More Recently Ould Houcine-Tent (see arXiv:1205.0929v2 [math.GR]) proved that the theory of non abelian free groups is $n$-ample for any $n<ω$. We give a sequence of single elements in $F_ω$ witnessing the above mentioned result. Our proof is not independent from the one given in arXiv:1205.0929v2 [math.GR], as we essentially use some theorems from there. On the other hand our witnessing sequence is much simpler. △ Less

Submitted 13 June, 2012; v1 submitted 21 May, 2012; originally announced May 2012.

Comments: 9 pages

On the Generic Type of the Free Group

Authors: Rizos Sklinos

Abstract: We answer a question raised by Pillay, that is whether the infinite weight of the generic type of the free group is witnessed in $F_ω$. We also prove that the set of primitive elements in finite rank free groups is not uniformly definable. As a corollary, we observe that the generic type over the empty set is not isolated. Finally, we show that uncountable free groups are not $\aleph_1$-homogeneou… ▽ More We answer a question raised by Pillay, that is whether the infinite weight of the generic type of the free group is witnessed in $F_ω$. We also prove that the set of primitive elements in finite rank free groups is not uniformly definable. As a corollary, we observe that the generic type over the empty set is not isolated. Finally, we show that uncountable free groups are not $\aleph_1$-homogeneous. △ Less

Submitted 13 November, 2010; originally announced November 2010.

Comments: To appear in J. of Symbolic Logic

Journal ref: J. Symbolic Logic, Volume 76, Issue 1 (2011), 227-234

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