Related papers: First-order model theory and Kaplansky's stable fi…

A first-order theory $T$ is a model-complete core theory if every first-order formula is equivalent modulo $T$ to an existential positive formula; the core companion of a theory $T$ is a model-complete core theory $S$ such that every model…

Let $T$ be a countable complete first-order theory with a definable, infinite, discrete linear order. We prove that $T$ has continuum-many countable models. The proof is purely first-order, but raises the question of Borel completeness of…

Thurston's Ending Lamination Conjecture states that a hyperbolic 3-manifold N with finitely generated fundamental group is uniquely determined by its topological type and its end invariants. In this paper we prove this conjecture for…

We present a new and simple proof of a theorem due to Kaplansky which unifies theorems of Kolchin and Levitzki on triangularizability of semigroups of matrices. We also give two different extensions of the theorem. As a consequence, we…

Let $G$ be the fundamental group of a three-manifold. By piecing together many known facts about three manifold groups, we establish two properties of the group ring $\mathbb{C}G$. We show that if $G$ has rational cohomological dimension…

We prove a general homological stability theorem for certain families of groups equipped with product maps, followed by two theorems of a new kind that give information about the last two homology groups outside the stable range. (These…

Let $F$ be a global field. Let $G$ be a non trivial finite \'etale tame $F$-group scheme. We define height functions on the set of $G$-torsors over $F,$ which generalize the usual heights such as discriminant. As an analogue of the Malle…

In this article, we prove that if a finitely generated group $G$ is not torsion then a necessary and sufficient condition for every full shift over $G$ has (continuous) cocycle superrigidity is that $G$ has one end. It is a topological…

In this paper we develop a theory of stability for $G$-categories (presheaf of categories on the orbit category of $G$), where $G$ is a finite group. We give a description of Mackey functors as $G$-commutative monoids exploit it to…

We prove that for any monotone class of finite relational structures, the first-order theory of the class is NIP in the sense of stability theory if, and only if, the collection of Gaifman graphs of structures in this class is nowhere…

We introduce the notion of first order amenability, as a property of a first order theory $T$: every complete type over $\emptyset$, in possibly infinitely many variables, extends to an automorphism-invariant global Keisler measure in the…

Let G be a locally compact Hausdorff group in which every element is of finite order, and let P(G) denote the class of all regular probability measures on G. In this note, it is observed that a characterization of algebraically regular…

In this paper homology stability for unitary groups over a ring with finite unitary stable rank is established. Homology stability of symplectic groups and orthogonal groups appears as a special case of our results.

We prove a homological stability theorem for the subgroup of the mapping class group acting as the identity on some fixed portion of the first homology group of the surface. We also prove a similar theorem for the subgroup of the mapping…

We identify the simple algebraic groups over number fields that are, in a suitable sense, determined by their finite adele points. Assuming CSP and Grothendieck rigidity, our results essentially characterize higher rank arithmetic groups…

We prove that, when $n$ goes to infinity, the expression, with respect to the dual Kazhdan-Lusztig basis, of the product $\hat{\underline{H}}_x\underline{H}_y$ of elements of the dual and the usual Kazhdan-Lusztig bases in the Hecke algebra…

A first-order theory is Noetherian with respect to the collection of formulae $\mathcal{F}$ if every definable set is a Boolean combination of instances of formulae in $\mathcal{F}$ and the topology whose subbasis of closed sets is the…

It has been recently proved (by Croot, Lev and Pach and the subsequent work by Ellenberg and Gijswijt) that for a group $G=G_0^n$, where $G_0\ne \{1,-1\}^m$ is a fixed finite Abelian group and $n$ is large, any subset $A$ without…

In this paper, we prove stability results about orthogonal groups over finite commutative rings where 2 is a unit. Inspired by Putman and Sam (2017), we construct a category $\mathbf{OrI}(R)$ and prove a Noetherianity theorem for the…

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…