Related papers: Mixed identities in linear groups -- effective ver…
The main result of this paper is to show that all binomial identities are orderable. This is a natural statement in the combinatorial theory of finite sets, which can also be applied in distributed computing to derive new strong bounds on…
We prove that a finitely generated soluble residually finite group has polynomial index growth if and only if it is a minimax group. We also show that if a finitely generated group with PIG is residually finite-soluble then it is a linear…
The isomorphism problem for infinite finitely presented groups is probably the hardest among standard algorithmic problems in group theory. Classes of groups where it has been completely solved are nilpotent groups, hyperbolic groups, and…
We investigate the finite-dimensional Lie groups whose points are separated by the continuous homomorphisms into groups of invertible elements of locally convex algebras with continuous inversion that satisfy an appropriate completeness…
We prove twisted homological stability with polynomial coefficients for automorphism groups of free nilpotent groups of any given class. These groups interpolate between two extremes for which homological stability was known before, the…
Given a closed, smooth 4-manifold $X$ and self-diffeomorphism $f$ that is topologically pseudo-isotopic to the identity, we study the question of whether $f$ is moreover smoothly pseudo-isotopic to the identity. If the fundamental group of…
We develop a class of integrals on a manifold M called exponential iterated integrals, an extension of K. T. Chen's iterated integrals. It is shown that the matrix entries of any upper triangular representation of the fundamental group of M…
Let G be a special linear group over the real, the complex or the quaternion, or a special unitary group. In this note, we determine all special unipotent representations of G in the sense of Arthur and Barbasch-Vogan, and show in…
We consider the feasibility problem of integer linear programming (ILP). We show that solutions of any ILP instance can be naturally represented by an FO-definable class of graphs. For each solution there may be many graphs representing it.…
We study identities of finite dimensional algebras over a field of characteristic zero, graded by an arbitrary groupoid $\Gamma$. First we prove that its graded colength has a polynomially bounded growth. For any graded simple algebra $A$…
We study the differential identities of the algebra $M_k(F)$ of $k\times k$ matrices over a field $F$ of characteristic zero when its full Lie algebra of derivations, $L=\mbox{Der}(M_k(F))$, acts on it. We determine a set of 2 generators of…
In this paper we study the integral cohomology of pure mapping class groups of surfaces, and other related groups and spaces, as FI-modules. We use recent results from Church, Miller, Nagpal and Reinhold to obtain explicit linear bounds for…
We study connections between linear equations over various semigroups and recursively enumerable sets of positive integers. We give variants of the universal Diophantine representation of recursively enumerable sets of positive integers…
We develop the theory of fragile words by introducing the concept of eraser morphism and extending the concept to more general contexts such as (free) inverse monoids. We characterize the image of the eraser morphism in the free group case,…
We prove the conjugacy of Sylow $2$-subgroups in pseudofinite $\mathfrak{M}_c$ (in particular linear) groups under the assumption that there is at least one finite Sylow $2$-subgroup. We observe the importance of the pseudofiniteness…
We prove new separability results about free groups. Namely, if $H_1, \ldots , H_k$ are infinite index, finitely generated subgroups of a non-abelian free group $F$, then there exists a homomorphism onto some alternating group $f:F…
A family of general integral identities is derived and several applications of physical interest are presented
We consider metric versions of the notions of local embeddability and LEF. We pay special attention to normally finitely generated groups with word metrics.
We consider the Noether's problem on the noncommutative real rational functions invariant under the linear action of a finite group. For abelian groups the invariant skew-fields are always rational. We show that for a solvable group the…
Yu. I. Merzljakov developed a method of splittable coordinates which helps to verify the linearity of some groups, he established some fundamental results using this method. In this paper we use the method of splittable coordinates and find…