-
Presentation of kernels of rational characters of right-angled Artin groups
Authors:
Montserrat Casals-Ruiz,
Ilya Kazachkov,
Mallika Roy
Abstract:
In this note, we characterise when the kernel of a rational character of a right-anlged Artin group, also known as generalised Bestiva-Brady group, is finitely generated and finitely presented. In these cases, we exhibit a finite generating set and a presentation. These results generalise Dicks and Leary's presentations of Bestina-Brady kernels and provide an algebraic proof for the results proven…
▽ More
In this note, we characterise when the kernel of a rational character of a right-anlged Artin group, also known as generalised Bestiva-Brady group, is finitely generated and finitely presented. In these cases, we exhibit a finite generating set and a presentation. These results generalise Dicks and Leary's presentations of Bestina-Brady kernels and provide an algebraic proof for the results proven by Meier, Meinert, and VanWyk.
△ Less
Submitted 10 September, 2024;
originally announced September 2024.
-
Linearity of compact $R$-analytic groups
Authors:
Montserrat Casals-Ruiz,
Andoni Zozaya
Abstract:
We prove that any compact $R$-analytic group is linear when $R$ is a pro-$p$ domain of characteristic zero.
We prove that any compact $R$-analytic group is linear when $R$ is a pro-$p$ domain of characteristic zero.
△ Less
Submitted 22 November, 2023;
originally announced November 2023.
-
Pro-$\mathcal{C}$ RAAGs
Authors:
Montserrat Casals-Ruiz,
Matteo Pintonello,
Pavel Zalesskii
Abstract:
Let $\mathcal{C}$ be a class of finite groups closed under taking subgroups, quotients, and extensions with abelian kernel. The right-angled Artin pro-$\mathcal{C}$ group $G_Γ$ (pro-$\mathcal{C}$ RAAG for short) is the pro-$\mathcal{C}$ completion of the right-angled Artin group $G(Γ)$ associated with the finite simplicial graph $Γ$.
In the first part, we describe structural properties of pro-…
▽ More
Let $\mathcal{C}$ be a class of finite groups closed under taking subgroups, quotients, and extensions with abelian kernel. The right-angled Artin pro-$\mathcal{C}$ group $G_Γ$ (pro-$\mathcal{C}$ RAAG for short) is the pro-$\mathcal{C}$ completion of the right-angled Artin group $G(Γ)$ associated with the finite simplicial graph $Γ$.
In the first part, we describe structural properties of pro-$\mathcal{C}$ RAAGs. Among others, we describe the centraliser of an element and show that pro-$\mathcal{C}$ RAAGs satisfy the Tits' alternative, that standard subgroups are isolated, and that 2-generated pro-$p$ subgroups of pro-$\mathcal{C}$ RAAGs are either free pro-$p$ or free abelian pro-$p$.
In the second part, we characterise splittings of pro-$\mathcal{C}$ RAAGs in terms of the defining graph. More precisely, we prove that a pro-$\mathcal{C}$ RAAG $G_Γ$ splits as a non-trivial direct product if and only if $Γ$ is a join and it splits over an abelian pro-$\mathcal{C}$ group if and only if a connected component of $Γ$ is a complete graph or it has a complete disconnecting subgraph. We then use this characterisation to describe an abelian JSJ decomposition of a pro-$\mathcal{C}$ RAAG, in the sense of Guirardel and Levitt.
△ Less
Submitted 22 November, 2023;
originally announced November 2023.
-
Finitely presented subgroups of direct products of graphs of groups with free abelian vertex groups
Authors:
Montserrat Casals-Ruiz,
Jone Lopez de Gamiz Zearra
Abstract:
A result by Bridson, Howie, Miller, and Short states that if $S$ is a finitely presented subgroup of the direct product of free groups, then $S$ is virtually a nilpotent extension of a direct product of free groups. Moreover, if $S$ is a subgroup of type $FP_n$ of the direct product of $n$ free groups, then the nilpotent extension is finite, so $S$ is actually virtually the direct product of free…
▽ More
A result by Bridson, Howie, Miller, and Short states that if $S$ is a finitely presented subgroup of the direct product of free groups, then $S$ is virtually a nilpotent extension of a direct product of free groups. Moreover, if $S$ is a subgroup of type $FP_n$ of the direct product of $n$ free groups, then the nilpotent extension is finite, so $S$ is actually virtually the direct product of free groups.
In this paper, these results are generalized to $2$-dimensional coherent right-angled Artin groups. More precisely, we show that a finitely presented subgroup of the direct product of $2$-dimensional coherent RAAGs is still virtually a nilpotent extension of a direct product of subgroups. If $S$ is moreover a type $FP_n$ subgroup of the direct product of $n$ $2$-dimensional coherent RAAGs, then $S$ is commensurable to a kernel of a character of a direct product of subgroups.
Finally, we show that the multiple conjugacy problem and the membership problem are decidable for finitely presented subgroups of direct products of $2$-dimensional coherent RAAGs.
△ Less
Submitted 9 October, 2023;
originally announced October 2023.
-
On finitely generated normal subgroups of right-angled Artin groups and graph products of groups
Authors:
Montserrat Casals-Ruiz,
Jone Lopez de Gamiz Zearra
Abstract:
A classical result of Schreier states that nontrivial finitely generated normal subgroups of free groups are of finite index, that is, free groups can only quotient to finite groups with finitely generated kernel.
In this note we extend this result to the class of right-angled Artin groups (RAAGs). More precisely, we prove that the quotient of a RAAG by a finitely generated (full) normal subgrou…
▽ More
A classical result of Schreier states that nontrivial finitely generated normal subgroups of free groups are of finite index, that is, free groups can only quotient to finite groups with finitely generated kernel.
In this note we extend this result to the class of right-angled Artin groups (RAAGs). More precisely, we prove that the quotient of a RAAG by a finitely generated (full) normal subgroup is abelian-by-finite and finite-by-abelian.
As Schreier's result extends to nontrivial free products of groups, we further show that our result extends to graph products of groups.
As a corollary, we deduce, among others, that finitely generated normal subgroups of RAAGs have decidable word, conjugacy and membership problems and that they are hereditarily conjugacy separable.
△ Less
Submitted 3 July, 2022; v1 submitted 24 June, 2022;
originally announced June 2022.
-
On the elementary theory of graph products of groups
Authors:
Montserrat Casals-Ruiz,
Ilya Kazachkov,
Javier de la Nuez González
Abstract:
In this paper we study the elementary theory of graph products of groups and show that under natural conditions on the vertex groups we can recover (the core of) the underlying graph and the associated vertex groups. More precisely, we require the vertex groups to satisfy a non-generic almost positive sentence, a condition which generalizes a range of natural ``non-freeness conditions" such as the…
▽ More
In this paper we study the elementary theory of graph products of groups and show that under natural conditions on the vertex groups we can recover (the core of) the underlying graph and the associated vertex groups. More precisely, we require the vertex groups to satisfy a non-generic almost positive sentence, a condition which generalizes a range of natural ``non-freeness conditions" such as the satisfaction of a group law, having nontrivial center or being boundedly simple.
As a corollary, we determine an invariant of the elementary theory of a right-angled Artin group, the core of the defining graph, which we conjecture to determine the elementary class of the RAAG. We further combine our results with the results of Sela on free products of groups to describe all finitely generated groups elementarily equivalent to certain RAAGs. We also deduce rigidity results on the elementary classification of graph products of groups for specific types of vertex groups, such as finite, nilpotent or classical linear groups.
△ Less
Submitted 7 June, 2021;
originally announced June 2021.
-
Subgroups of the direct product of graphs of groups with free abelian vertex groups
Authors:
Montserrat Casals-Ruiz,
Jone Lopez de Gamiz Zearra
Abstract:
A result of Baumslag and Roseblade states that a finitely presented subgroup of the direct product of two free groups is virtually a direct product of free groups. In this paper we generalise this result to the class of cyclic subgroup separable graphs of groups with free abelian vertex groups and cyclic edge groups. More precisely, we show that a finitely presented subgroup of the direct product…
▽ More
A result of Baumslag and Roseblade states that a finitely presented subgroup of the direct product of two free groups is virtually a direct product of free groups. In this paper we generalise this result to the class of cyclic subgroup separable graphs of groups with free abelian vertex groups and cyclic edge groups. More precisely, we show that a finitely presented subgroup of the direct product of two groups in this class is virtually $H$-by-(free abelian), where $H$ is the direct product of two groups in the class. In particular, our result applies to 2-dimensional coherent right-angled Artin groups and residually finite tubular groups. Furthermore, we show that the multiple conjugacy problem and the membership problem are decidable for finitely presented subgroups of the direct product of two $2$-dimensional coherent RAAGs.
△ Less
Submitted 1 October, 2023; v1 submitted 20 October, 2020;
originally announced October 2020.
-
Limit groups over coherent right-angled Artin groups
Authors:
Montserrat Casals-Ruiz,
Andrew Duncan,
Ilya Kazachkov
Abstract:
A new class of groups $\mathcal{C}$, containing all coherent RAAGs and all toral relatively hyperbolic groups, is defined. It is shown that, for a group $G$ in the class $\mathcal{C}$, the $\mathbb{Z}[t]$-exponential group $G^{\mathbb{Z}[t]}$ may be constructed as an iterated centraliser extension. Using this fact, it is proved that $G^{\mathbb{Z}[t]}$ is fully residually $G$ (i.e. it has the same…
▽ More
A new class of groups $\mathcal{C}$, containing all coherent RAAGs and all toral relatively hyperbolic groups, is defined. It is shown that, for a group $G$ in the class $\mathcal{C}$, the $\mathbb{Z}[t]$-exponential group $G^{\mathbb{Z}[t]}$ may be constructed as an iterated centraliser extension. Using this fact, it is proved that $G^{\mathbb{Z}[t]}$ is fully residually $G$ (i.e. it has the same universal theory as $G$) and so its finitely generated subgroups are limit groups over $G$. If $\mathbb{G}$ is a coherent RAAG, then the converse also holds - any limit group over $\mathbb{G}$ embeds into $\mathbb{G}^{\mathbb{Z}[t]}$. Moreover, it is proved that limit groups over $\mathbb{G}$ are finitely presented, coherent and CAT$(0)$, so in particular have solvable word and conjugacy problems.
△ Less
Submitted 24 January, 2022; v1 submitted 3 September, 2020;
originally announced September 2020.
-
Simple groups with infinite verbal width and the same positive theory as free groups
Authors:
Montserrat Casals-Ruiz,
Albert Garreta,
Ilya Kazachkov,
Javier de la Nuez González
Abstract:
In this paper we show that there exists an uncountable family of finitely generated simple groups with the same positive theory as any non-abelian free group. In particular, these simple groups have infinite $w$-verbal width for all non-trivial words $w$.
In this paper we show that there exists an uncountable family of finitely generated simple groups with the same positive theory as any non-abelian free group. In particular, these simple groups have infinite $w$-verbal width for all non-trivial words $w$.
△ Less
Submitted 5 November, 2019;
originally announced November 2019.
-
On the positive theory of groups acting on trees
Authors:
Montserrat Casals-Ruiz,
Albert Garreta,
Javier de la Nuez González
Abstract:
We study the positive theory of groups acting on trees and show that under the presence of weak small cancellation elements, the positive theory of the group is trivial, i.e. coincides with the positive theory of a non-abelian free group. Our results apply to a wide class of groups, including non-virtually solvable fundamental groups of $3$-manifold groups, generalised Baumslag-Solitar groups and…
▽ More
We study the positive theory of groups acting on trees and show that under the presence of weak small cancellation elements, the positive theory of the group is trivial, i.e. coincides with the positive theory of a non-abelian free group. Our results apply to a wide class of groups, including non-virtually solvable fundamental groups of $3$-manifold groups, generalised Baumslag-Solitar groups and almost all one-relator groups and graph products of groups. It follows that groups in the class satisfy a number of algebraic properties: for instance, their verbal subgroups have infinite width and, although some groups in the class are simple, they cannot be boundedly simple.
In order to prove these results we describe a uniform way for constructing (weak) small cancellation tuples from (weakly) stable elements. This result of interest in its own is fundamental to obtain corollaries of general nature such as a quantifier reduction for positive sentences or the preservation of the non-trivial positive theory under extensions of groups.
△ Less
Submitted 20 October, 2019;
originally announced October 2019.
-
Commensurability of Baumslag-Solitar groups
Authors:
Montserrat Casals-Ruiz,
Ilya Kazachkov,
Alexander Zakharov
Abstract:
In this paper we classify Baumslag-Solitar groups up to commensurability. In order to prove our main result we give a solution to the isomorphism problem for a subclass of Generalised Baumslag-Solitar groups.
In this paper we classify Baumslag-Solitar groups up to commensurability. In order to prove our main result we give a solution to the isomorphism problem for a subclass of Generalised Baumslag-Solitar groups.
△ Less
Submitted 4 October, 2019;
originally announced October 2019.
-
On commensurability of some right-angled Artin groups II: RAAGs defined by paths
Authors:
Montserrat Casals-Ruiz,
Ilya Kazachkov,
Alexander Zakharov
Abstract:
In this paper we continue the study of right-angled Artin groups up to commensurability initiated in [CKZ]. We show that RAAGs defined by different paths of length greater than 3 are not commensurable. We also characterise which RAAGs defined by paths are commensurable to RAAGs defined by trees of diameter 4. More precisely, we show that a RAAG defined by a path of length $n>4$ is commensurable to…
▽ More
In this paper we continue the study of right-angled Artin groups up to commensurability initiated in [CKZ]. We show that RAAGs defined by different paths of length greater than 3 are not commensurable. We also characterise which RAAGs defined by paths are commensurable to RAAGs defined by trees of diameter 4. More precisely, we show that a RAAG defined by a path of length $n>4$ is commensurable to a RAAG defined by a tree of diameter 4 if and only if $n$ is 2 modulo 4. These results follow from the connection that we establish between the classification of RAAGs up to commensurability and linear integer-programming.
△ Less
Submitted 2 March, 2018;
originally announced March 2018.
-
Pro-Hall $R$-groups and groups discriminated by the free pro-$p$ group
Authors:
Montserrat Casals-Ruiz,
Ilya Kazachkov,
Vladimir Remeslennikov
Abstract:
In this note we introduce pro-Hall $R$-groups as inverse limits of Hall $R$-groups and show that for the binomial closure $S^{bin}$ of any ring $S$ discriminated by $\mathbb{Z}_p$, the free pro-Hall $S^{bin}$-group $\mathbb{F}(A,S^{bin})$ is fully residually free pro-$p$. Furthermore, we prove that any finite set of elements in $\mathbb{F}(A,S^{bin})$ defines a pro-$p$ subgroup and so an irreducib…
▽ More
In this note we introduce pro-Hall $R$-groups as inverse limits of Hall $R$-groups and show that for the binomial closure $S^{bin}$ of any ring $S$ discriminated by $\mathbb{Z}_p$, the free pro-Hall $S^{bin}$-group $\mathbb{F}(A,S^{bin})$ is fully residually free pro-$p$. Furthermore, we prove that any finite set of elements in $\mathbb{F}(A,S^{bin})$ defines a pro-$p$ subgroup and so an irreducible coordinate group over the free pro-$p$ group.
△ Less
Submitted 1 March, 2018;
originally announced March 2018.
-
Embeddability and quasi-isometric classification of partially commutative groups
Authors:
Montserrat Casals-Ruiz
Abstract:
The main goal of this note is to suggest an algebraic approach to the quasi-isometric classification of partially commutative groups (alias right-angled Artin groups). More precisely, we conjecture that if the partially commutative groups $\mathbb{G}(Δ)$ and $\mathbb{G}(Γ)$ are quasi-isometric, then $\mathbb{G}(Δ)$ is a (nice) subgroup of $\mathbb{G}(Γ)$ and vice-versa. We show that the conjecture…
▽ More
The main goal of this note is to suggest an algebraic approach to the quasi-isometric classification of partially commutative groups (alias right-angled Artin groups). More precisely, we conjecture that if the partially commutative groups $\mathbb{G}(Δ)$ and $\mathbb{G}(Γ)$ are quasi-isometric, then $\mathbb{G}(Δ)$ is a (nice) subgroup of $\mathbb{G}(Γ)$ and vice-versa. We show that the conjecture holds for all known cases of quasi-isometric classification of partially commutative groups, namely for the classes of $n$-tress and atomic graphs.
As in the classical Mostow rigidity theory for irreducible lattices, we relate the quasi-isometric rigidity of the class of atomic partially commutative groups with the algebraic rigidity, that is with the co-Hopfian property of their $\mathbb{Q}$-completions.
△ Less
Submitted 1 March, 2018;
originally announced March 2018.
-
On commensurability of right-angled Artin groups I: RAAGs defined by trees of diameter 4
Authors:
Montserrat Casals-Ruiz,
Ilya Kazachkov,
Alexander Zakharov
Abstract:
In this paper we study the classification of right-angled Artin groups up to commensurability. We characterise the commensurability classes of RAAGs defined by trees of diameter 4. In particular, we prove a conjecture of Behrstock and Neumann that there are infinitely many commensurability classes. Hence, we give first examples of RAAGs that are quasi-isometric but not commensurable.
In this paper we study the classification of right-angled Artin groups up to commensurability. We characterise the commensurability classes of RAAGs defined by trees of diameter 4. In particular, we prove a conjecture of Behrstock and Neumann that there are infinitely many commensurability classes. Hence, we give first examples of RAAGs that are quasi-isometric but not commensurable.
△ Less
Submitted 28 March, 2018; v1 submitted 6 November, 2016;
originally announced November 2016.
-
Embeddability and universal theory of partially commutative groups
Authors:
Montserrat Casals-Ruiz
Abstract:
The first part of the paper centers in the study of embeddability between partially commutative groups. In [KK], for a finite simplicial graph $Γ$, the authors introduce an infinite, locally infinite graph $Γ^e$, called the extension graph of $Γ$. They show that each finite induced subgraph $Δ$ of $Γ^e$ gives rise to an embedding between the partially commutative groups $G(Δ)$ and $G(Γ)$. Furtherm…
▽ More
The first part of the paper centers in the study of embeddability between partially commutative groups. In [KK], for a finite simplicial graph $Γ$, the authors introduce an infinite, locally infinite graph $Γ^e$, called the extension graph of $Γ$. They show that each finite induced subgraph $Δ$ of $Γ^e$ gives rise to an embedding between the partially commutative groups $G(Δ)$ and $G(Γ)$. Furthermore, it is proven that in many instances the converse also holds. Our first result is the decidability of the Extension Graph Embedding Problem: there is an algorithm that given two finite simplicial graphs Δ and Γ decides whether or not $Δ$ is an induced subgraph of $Γ^e$. As a corollary we obtain the decidability of the Embedding Problem for 2-dimensional partially commutative groups. In the second part of the paper, we relate the Embedding Problem between partially commutative groups to the model-theoretic question of classification up to universal equivalence. We use our characterisation to transfer algebraic and algorithmic results on embeddability to model-theoretic ones and obtain some rigidity results on the elementary theory of atomic pc groups as well as to deduce the existence of an algorithm to decide if an arbitrary pc group is universally equivalent to a 2-dimensional one.
△ Less
Submitted 10 June, 2015;
originally announced June 2015.
-
Embeddings between partially commutative groups: two counterexamples
Authors:
Montserrat Casals-Ruiz,
Andrew Duncan,
Ilya Kazachkov
Abstract:
In this note we give two examples of partially commutative subgroups of partially commutative groups. Our examples are counterexamples to the Extension Graph Conjecture and to the Weakly Chordal Conjecture of Kim and Koberda, \cite{KK}. On the other hand we extend the class of partially commutative groups for which it is known that the Extension Graph Conjecture holds, to include those with commut…
▽ More
In this note we give two examples of partially commutative subgroups of partially commutative groups. Our examples are counterexamples to the Extension Graph Conjecture and to the Weakly Chordal Conjecture of Kim and Koberda, \cite{KK}. On the other hand we extend the class of partially commutative groups for which it is known that the Extension Graph Conjecture holds, to include those with commutation graph containing no induced $C_4$ or $P_3$. In the process, some new embeddings of surface groups into partially commutative groups emerge.
△ Less
Submitted 13 June, 2013;
originally announced June 2013.
-
Group Actions on Real Cubings and Limit Groups over Partially Commutative Groups
Authors:
Montserrat Casals-Ruiz,
Ilya Kazachkov
Abstract:
We introduce a class of spaces, called real cubings, and study the stucture of groups acting nicely on these spaces. Just as cubings are a natural generalisation of simplicial trees, real cubings can be regarded as a natural generalisation of real trees. Our main result states that a finitely generated group $G$ acts nicely (essentially freely and co-specially) on a real cubing if and only if it i…
▽ More
We introduce a class of spaces, called real cubings, and study the stucture of groups acting nicely on these spaces. Just as cubings are a natural generalisation of simplicial trees, real cubings can be regarded as a natural generalisation of real trees. Our main result states that a finitely generated group $G$ acts nicely (essentially freely and co-specially) on a real cubing if and only if it is a subgroup of a graph tower (a higher dimensional generalisation of $ω$-residually free towers and NTQ-groups). It follows that $G$ acts freely, essentially freely and co-specially on a real cubing if and only if $G$ is a subgroup of the graph product of cyclic and (non-exceptional) surface groups. In the particular case when the real cubing is a tree, it follows that $G$ acts freely, essentially freely and co-specially on the real cubing if and only if it is a subgroup of the free product of abelian and surface groups. Hence, our main result can be regarded as a generalisation of the Rips' theorem on free actions on real trees.
We apply our results to obtain a characterisation of limit groups over partially commutative groups as subgroups of graph towers. This result generalises the work of Kharlampovich-Miasnikov, \cite{KhMNull}, Sela, \cite{Sela1} and Champetier-Guirardel, \cite{CG} on limit groups over free groups.
△ Less
Submitted 2 October, 2011;
originally announced October 2011.
-
Two Remarks on First-Order Theories of Baumslag-Solitar Groups
Authors:
Montserrat Casals-Ruiz,
Ilya Kazachkov
Abstract:
In this note we characterise all finitely generated groups elementarily equivalent to a solvable Baumslag-Solitar group BS$(1,n)$. It turns out that a finitely generated group $G$ is elementarily equivalent to BS$(1,n)$ if and only if $G$ is isomorphic to BS$(1,n)$.
Furthermore, we show that two Baumslag-Solitar groups are existentially (universally) equivalent if and only if they are elementari…
▽ More
In this note we characterise all finitely generated groups elementarily equivalent to a solvable Baumslag-Solitar group BS$(1,n)$. It turns out that a finitely generated group $G$ is elementarily equivalent to BS$(1,n)$ if and only if $G$ is isomorphic to BS$(1,n)$.
Furthermore, we show that two Baumslag-Solitar groups are existentially (universally) equivalent if and only if they are elementarily equivalent if and only if they are isomorphic.
△ Less
Submitted 7 February, 2020; v1 submitted 12 February, 2010;
originally announced February 2010.
-
On Systems of Equations over Free Products of Groups
Authors:
Montserrat Casals-Ruiz,
Ilya Kazachkov
Abstract:
Using an analogue of Makanin-Razborov diagrams, we give a description of the solution set of systems of equations over an equationally Noetherian free product of groups $G$. Equivalently, we give a parametrisation of the set $Hom(H, G)$ of all homomorphisms from a finitely generated group $H$ to $G$. Furthermore, we show that every algebraic set over $G$ can be decomposed as a union of finitely…
▽ More
Using an analogue of Makanin-Razborov diagrams, we give a description of the solution set of systems of equations over an equationally Noetherian free product of groups $G$. Equivalently, we give a parametrisation of the set $Hom(H, G)$ of all homomorphisms from a finitely generated group $H$ to $G$. Furthermore, we show that every algebraic set over $G$ can be decomposed as a union of finitely many images of algebraic sets of NTQ systems.
If the universal Horn theory of $G$ (the theory of quasi-identities) is decidable, then our constructions are effective.
△ Less
Submitted 12 March, 2009;
originally announced March 2009.
-
Elementary equivalence of right-angled Coxeter groups and graph products of finite abelian groups
Authors:
Montserrat Casals-Ruiz,
Ilya Kazachkov,
Vladimir Remeslennikov
Abstract:
We show that graph products of finite abelian groups are elementarily equivalent if and only if they are $\exists\forall$-equivalent if and only if they are isomorphic. In particular, two right-angled Coxeter groups are elementarily equivalent if and only if they are isomorphic.
We show that graph products of finite abelian groups are elementarily equivalent if and only if they are $\exists\forall$-equivalent if and only if they are isomorphic. In particular, two right-angled Coxeter groups are elementarily equivalent if and only if they are isomorphic.
△ Less
Submitted 2 November, 2008; v1 submitted 27 October, 2008;
originally announced October 2008.
-
On Systems of Equations over Free Partially Commutative Groups
Authors:
Montserrat Casals-Ruiz,
Ilya Kazachkov
Abstract:
Version 2: Corrected Section 3.3: instead of lexicographical normal forms we now use a normal form due to V. Diekert and A. Muscholl. Consequent changes made and some misprints corrected.
Using an analogue of Makanin-Razborov diagrams, we give an effective description of the solution set of systems of equations over a partially commutative group (right-angled Artin group) $G$. Equivalently, we…
▽ More
Version 2: Corrected Section 3.3: instead of lexicographical normal forms we now use a normal form due to V. Diekert and A. Muscholl. Consequent changes made and some misprints corrected.
Using an analogue of Makanin-Razborov diagrams, we give an effective description of the solution set of systems of equations over a partially commutative group (right-angled Artin group) $G$. Equivalently, we give a parametrisation of $Hom(H, G)$, where $H$ is a finitely generated group.
△ Less
Submitted 6 January, 2009; v1 submitted 27 October, 2008;
originally announced October 2008.
-
Elements of Algebraic Geometry and the Positive Theory of Partially Commutative Groups
Authors:
Montserrat Casals-Ruiz,
Ilya V. Kazachkov
Abstract:
In this version small mistakes are corrected and the exposition is changed as suggested by the referee (to appear in Canadian Journal of Mathematics).
The first main result of the paper is a criterion for a partially commutative group $\GG$ to be a domain. It allows us to reduce the study of algebraic sets over $\GG$ to the study of irreducible algebraic sets, and reduce the elementary theory…
▽ More
In this version small mistakes are corrected and the exposition is changed as suggested by the referee (to appear in Canadian Journal of Mathematics).
The first main result of the paper is a criterion for a partially commutative group $\GG$ to be a domain. It allows us to reduce the study of algebraic sets over $\GG$ to the study of irreducible algebraic sets, and reduce the elementary theory of $\GG$ (of a coordinate group over $\GG$) to the elementary theories of the direct factors of $\GG$ (to the elementary theory of coordinate groups of irreducible algebraic sets).
Then we establish normal forms for quantifier-free formulas over a non-abelian directly indecomposable partially commutative group $\HH$. Analogously to the case of free groups, we introduce the notion of a generalised equation and prove that the positive theory of $\HH$ has quantifier elimination and that arbitrary first-order formulas lift from $\HH$ to $\HH\ast F$, where $F$ is a free group of finite rank. As a consequence, the positive theory of an arbitrary partially commutative group is decidable.
△ Less
Submitted 27 July, 2008; v1 submitted 22 October, 2007;
originally announced October 2007.
