Related papers: Complete type amalgamation for non-standard finite…

We show the existence of Calabi quasimorphisms on the universal covering of the group of Hamiltonian diffeomorphisms of a monotone coadjoint orbit of a compact Lie group. We show that this result follows from positivity results of…

In this paper we begin the systematic study of group equations with abelian predicates in the main classes of groups where solving equations is possible. We extend the line of work on word equations with length constraints, and more…

We classify by numerical invariants the finite subgroups $H$ of a primary abelian group $G$ for which every homomorphism or monomorphism of $H$ into $G$, or every endomorphism of $H$, extends to an endomorphism of $G$. We apply these…

We show that if $A$ is a finite $K$-approximate subgroup of an $s$-step nilpotent group then there is a finite normal subgroup $H\subset A^{K^{O_s(1)}}$ modulo which $A^{O_s(\log^{O_s(1)}K)}$ contains a nilprogression of rank at most…

We generalize the classical Tanaka result on the finiteness of symmetry algebra for non-degenerate pseudo-product structures to the case when the completely-integrable distributions defining the pseudo-product structure are no longer…

A generalized Baumslag-Solitar group (GBS group) is a finitely generated group $G$ which acts on a tree with all edge and vertex stabilizers infinite cyclic. We show that Out(G) either contains non-abelian free groups or is virtually…

The following refinement of the Higman embedding theorem is proved: A finitely generated group $R$ is recursively presented if and only if there exists a quasi-isometric malnormal embedding of $R$ into a finitely presented group $H$ such…

We call a restriction semigroup almost perfect if it is proper and its least monoid congruence is perfect. We show that any such semigroup is isomorphic to a `$W$-product' $W(T,Y)$, where $T$ is a monoid, $Y$ is a semilattice and there is a…

This is the second installment of an exposition of an ACL2 formalization of finite group theory. The first, which was presented at the 2022 ACL2 workshop, covered groups and subgroups, cosets, normal subgroups, and quotient groups,…

Let K >= 1 be a parameter. A K-approximate group is a finite set A in a (local) group which contains the identity, is symmetric, and such that A^2 is covered by K left translates of A. The main result of this paper is a qualitative…

A direct consequence of Gromov's theorem is that if a group has polynomial geodesic growth with respect to some finite generating set then it is virtually nilpotent. However, until now the only examples known were virtually abelian. In this…

We show that all non-trivial continuous endomorphisms of the circle group are topologically mixing. We also show that there exists a large infinite class of continuous endomorphisms of any n-dimensional torus group which are topologically…

Suppose that G is an abelian group and A is a finite subset of G containing no three-term arithmetic progressions. We show that |A+A| >> |A|(log |A|)^{1/3-\epsilon} for all \epsilon>0.

In this note, we generalise a Bourgain's construction of finitely-supported symmetric measures whose Furstenberg measure has a smooth density from the case of $\mathrm{SL}_2(\mathbb{R})$ to that of a general simple Lie group. The proof is…

A finite sampling theory associated with a unitary representation of a finite non Abelian group $\mathbf{G}$ on a Hilbert space is stablished. The non Abelian group $\mathbf{G}$ is a knit product $\mathbf{N}\bowtie \mathbf{H}$ of two finite…

Let $G$ be a reductive affine algebraic group, and let $X$ be an affine algebraic $G$-variety. We establish a (poly)stability criterion for points $x\in X$ in terms of intrinsically defined closed subgroups $H_{x}$ of $G$, and relate it…

We introduce a generalization of the product expansion of a finite semigroup. As an application, we provide an alternative proof of the decidability of pointlike sets for pseudovarieties consisting of semigroups whose subgroups all belong…

We prove that the vanishing of the module of universal norms associated with a de Rham Galois representation whose Hodge-Tate weights are not all non-positive characterises the algebraic extensions of the field of $p$-adic numbers whose…

A finitely generated group $G$ is said to be condensed if its isomorphism class in the space of finitely generated marked groups has no isolated points. We prove that every product variety $\mathcal{UV}$, where $\mathcal{U}$ (respectively,…

We prove that any countable discrete and torsion free subgroup of a general linear group over an arbitrary field or a similar subgroup of an almost connected Lie group satisfies the integral algebraic K-theoretic (split) Novikov conjecture…