Related papers: On the model theory of higher rank arithmetic grou…

We show that the decidability of the first-order theory of the language that combines Boolean algebras of sets of uninterpreted elements with Presburger arithmetic operations. We thereby disprove a recent conjecture that this theory is…

For a field $F$ of characteristic zero and an additive subgroup $G$ of $F$, a Lie algebra $B(G)$ of lock type is defined with basis $\{L_{a,i},c|a \in G, i>-2\}$ and relations…

We show that the first-order logical theory of the binary overlap-free words (and, more generally, the ${\alpha}$-free words for rational ${\alpha}$, $2 < {\alpha} \leq 7/3$), is decidable. As a consequence, many results previously obtained…

We show a rigidity result for subfactors that are normalized by a representation of a lattice $\Gamma$ in a higher rank simple Lie group with trivial center into a finite factor. This implies that every subfactor of $L\Gamma$ which is…

Let $\Gamma$ be an irreducible lattice of $\Q$-rank $\geq 2$ in a semisimple Lie group of noncompact type. We prove that any action of $\Gamma$ on a $\CAT(0)$ cubical complex has a global fixed point.

We extend results of Videla and Fukuzaki to define algebraic integers in large classes of infinite algebraic extensions of Q and use these definitions for some of the fields to show the first-order undecidability. We also obtain a…

Let $\C(\Gamma)$ be the set of isomorphism classes of the finite groups that are homomorphic images of $\Gamma$. We investigate the extent to which $\C(\Gamma)$ determines $\Gamma$ when $\Gamma$ is a group of geometric interest. If…

The first-order theory of the automorphism group of an infinite resplendent model in a finite language is undecidable.

Let $\mathcal{O}$ be the ring of integers of a number field, and let $n\geq 3$. This paper studies bi-interpretability of the ring of integers $\mathbb{Z}$ with the special linear group $\text{SL}_n(\mathcal{O})$, the general linear group…

We show that the finiteness length of an $S$-arithmetic subgroup $\Gamma$ in a noncommutative isotropic absolutely almost simple group $G$ over a global function field is one less than the sum of the local ranks of $G$ taken over the places…

We lay the foundations of the first-order model theory of Coxeter groups. Firstly, with the exception of the $2$-spherical non-affine case (which we leave open), we characterize the superstable Coxeter groups of finite rank, which we show…

For any prime number p and any positive real number {\alpha}, we construct a finitely generated group {\Gamma} with p-gradient equal to {\alpha}. This construction is used to show that there exist uncountably many pairwise non-commensurable…

We address two questions of Simon Thomas. First, we show that for any n>2 one can find a four generated free subgroup of SLn(Z) which is profinitely dense. More generally, we show that an arithmetic group \Gamma which admits the congruence…

Let $\Gamma$ be a higher rank lattice acting on a nondegenerate dendrite $X$ with no infinite order points. We show that there exists a nondegenerate subdendrite $Y$ which is $\Gamma$-invariant and satisfies the following items: (1) There…

A finite group $G$ is called *uniformly generated*, if whenever there is a (strictly ascending) chain of subgroups $1<\langle x_1\rangle<\langle x_1,x_2\rangle <\cdots<\langle x_1,x_2,\dots,x_d\rangle=G$, then $d$ is the minimal number of…

A discrete subgroup $\Gamma$ of a locally compact group $H$ is called a uniform lattice if the quotient $H/\Gamma$ is compact. Such an $H$ is called an envelope of $\Gamma$. In this paper we study the problem of classifying envelopes of…

If $\Gamma$ is any nonuniform lattice in the group ${\rm PU}(2,1)$, let $\overline{\Gamma}$ be the quotient of $\Gamma$ obtained by filling the cusps of $\Gamma$ (i.e. killing the center of parabolic subgroups). Assuming that such a lattice…

Let $\Gamma$ be a group of type rotating automorphisms of a building $\cB$ of type $\widetilde A_2$, and suppose that $\Gamma$ acts freely and transitively on the vertex set of $\cB$. The apartments of $\cB$ are tiled by triangles, labelled…

Let $(X,T)$ be a Cantor minimal system, and let $\Gamma$ denote either its associated topological full group or the full group of a Bratteli diagram associated with $(X,T)$. In this paper we describe the structure of indecomposable…

We prove that the problems of representing a finite ordered complemented semigroup or finite lattice-ordered semigroup as an algebra of binary relations over a finite set are undecidable. In the case that complementation is taken with…