Source author record

Ilya Kazachkov

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

5works

3topics

3close 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.

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.

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.