Related papers: A co-analytic Cohen indestructible maximal cofinit…

We prove that a finitely generated Lie algebra $L$ such that (i) every commutator in generators is ad-nilpotent, and (ii) $ L$ satisfies a polynomial identity, is nilpotent. As a corollary we get that a finitely generated residually-$p$…

We consider Gomory and Johnson's infinite group model with a single row. Valid inequalities for this model are expressed by valid functions and it has been recently shown that any valid function is dominated by some nonnegative valid…

A $\lambda$-quiddity of size $n$ is an $n$-tuple of elements from a fixed set, which is a solution to a matrix equation that arises in the study of Coxeter's friezes. The study of these solutions involves in particular the use of a notion…

A combing is a set of normal forms for a finitely generated group. This article investigates the language-theoretic and geometric properties of combings for nilpotent and polycyclic groups. It is shown that a finitely generated class 2…

In this note we give a classification of the Maximal order Abelian subgroups of finite irreducible Coxeter groups. We also prove a Weyl group analogue of Cartan's theorem that all maximal tori in a connected compact Lie group are conjugate.

We study the fundamental group of an open $n$-manifold $M$ of nonnegative Ricci curvature with additional stability condition on $\widetilde{M}$, the Riemannian universal cover of $M$. We prove that if any tangent cone of $\widetilde{M}$ at…

We introduce a category whose objects are stationary set preserving complete boolean algebras and whose arrows are complete homomorphisms with a stationary set preserving quotient. We show that the cut of this category at a rank initial…

Let $A$ and $G$ be finite groups such that $A$ acts coprimely on $G$ by automorphisms. For any fixed prime divisor $p$ of $|G|$, we provide a complete characterization of the structure of a group $G$ in which every maximal $A$-invariant…

There exist a number of results proving that for certain classes of interacting particle systems in population genetics, mutual invadability of types implies coexistence. In this paper we prove a sort of converse statement for a class of…

We obtain a necessary and sufficient condition of existence of a K{\"a}hler-Einstein metric on a $G\times G$-equivariant Fano compactification of a complex connected reductive group $G$ in terms of the associated polytope. This condition is…

We investigate the local topological structure of non-metrizable topological groups through the lens of Tukey order and cofinal types. Motivated by recent advances in topological groups admitting an $\omega^\omega$-base, we introduce the…

Recently, Paolini and Shelah have constructed absolutely Hopfian torsion-free abelian groups of any given size. In contrast, we show that this is not necessarily the case for absolutely co-Hopfian groups. We use the infinitary logic to show…

We combine classical methods of combinatorial group theory with the theory of small cancellations over relatively hyperbolic groups to construct finitely generated torsion-free groups that have only finitely many classes of conjugate…

We prove an inequality, valid on any finitely generated group with a fixed finite symmetric generating set, involving the growth of successive balls, and the average length of an element in a ball. It generalizes recent improvements of the…

We study the definability of maximal towers and of inextendible linearly ordered towers (ilt's), a notion that is more general than that of a maximal tower. We show that there is, in the constructible universe, a $\Pi^1_1$ definable maximal…

A finite element cochain complex on Cartesian meshes of any dimension based on the H1-inner product is introduced. It yields H1-conforming finite element spaces with exterior derivatives in H1. We use a tensor product construction to obtain…

We first give a short group theoretic proof of the following result of Lackenby. If $G$ is a large group, $H$ is a finite index subgroup of $G$ admitting an epimorphism onto a non--cyclic free group, and $g$ is an element of $H$, then the…

Let K be differential field with algebraically closed field of constants. Let K^diff be a differential closure of K, and L the (iterated) Picard-Vessiot closure of K inside K^diff. Let G be a linear differential algebraic group over K and X…

In this paper, we study a conjecture of Gao and Wang concerning a proposed formula $K_1^*(G)$ for the maximal cross number $K_1(G)$ taken over all unique factorization indexed multisets over a given finite abelian group $G$. As a corollary…

We prove the Banach strong Novikov conjecture for groups having polynomially bounded higher-order combinatorial functions. This includes all automatic groups.