Source author record

Montserrat Casals-Ruiz

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

math.GR math.LO math.GT

Catalog footprint

Research overview

7works

3topics

4close collaborators

Actions

Is this your work?

Open graph Browse papers

preprint2022arXiv

Limit groups over coherent right-angled Artin groups

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.

preprint2022arXiv

On finitely generated normal subgroups of right-angled Artin groups and graph products of groups

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.

preprint2020arXiv

Two Remarks on First-Order Theories of Baumslag-Solitar Groups

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.

preprint2015arXiv

Embeddability and universal theory of partially commutative groups

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.

preprint2013arXiv

Embeddings between partially commutative groups: two counterexamples

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.

preprint2011arXiv

Group Actions on Real Cubings and Limit Groups over Partially Commutative Groups

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.

preprint2008arXiv

Elementary equivalence of right-angled Coxeter groups and graph products of finite abelian groups

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.

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

Building this map preview

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