Related papers: On the Andrews-Curtis equivalence

We prove the Tits-Weiss conjecture for Albert division algebras over fields of arbitrary characteristics in the affirmative. The conjecture predicts that every norm similarity of an Albert division algebra is a product of a scalar homothety…

Given a semisimple stable autonomous tensor category over a field $K$, to any group presentation with finite number of generators we associate an element $Q(P)\in K$ invariant under the Andrews-Curtis moves. We show that in fact, this is…

Motivated by the search for a counterexample to the Poincar\'e conjecture in three and four dimensions, the Andrews-Curtis conjecture was proposed in 1965. It is now generally suspected that the Andrews-Curtis conjecture is false, but small…

We prove that the structure group of any Albert algebra over an arbitrary field is $R$-trivial. This implies the Tits-Weiss conjecture for Albert algebras and the Kneser-Tits conjecture for isotropic groups of type $\mathrm{E}_{7,1}^{78},…

The main aim of this paper is to prove $R$-triviality for simple, simply connected algebraic groups with Tits index $E_{8,2}^{78}$ or $E_{7,1}^{78}$, defined over a field $k$ of arbitrary characteristic. Let $G$ be such a group. We prove…

Let $G$ be a finite group, and let $N(G)$ be the set of sizes of its conjugacy classes. We show that if a finite group $G$ has trivial center and $N(G)$ equals to $N(Alt_n)$ or $N(Sym_n)$ for $n\geq 23$, then $G$ has a composition factor…

A $(d-1)$-dimensional simplicial complex is called balanced if its underlying graph admits a proper $d$-coloring. We show that many well-known face enumeration results have natural balanced analogs (or at least conjectural analogs).…

We prove that the presentations $\langle x,y | [x,y],1 \rangle$ and $\langle x,y | [x,[x,y^{-1}]]^2y[y^{-1},x]y^{-1},[x,[[y^{-1},x],x]] \rangle$ are not $Q^*$-equivalent even though their standard complexes have the same simple homotopy…

A conjecture of Dehornoy claims that, given a presentation of an Artin-Tits group, every word that represents the identity can be transformed into the trivial word using the braid relations, together with certain rules (between pairs of…

Using a long-standing conjecture from combinatorial group theory, we explore, from multiple perspectives, the challenges of finding rare instances carrying disproportionately high rewards. Based on lessons learned in the context defined by…

Let G be a simple complex algebraic group. We prove that the irregularity of the adjoint connection of an irregular flat G-bundle on the formal punctured disk is always greater than or equal to the rank of G. This can be considered as a…

A natural higher K-theoretic analogue of the triviality of vector bundles on affine toric varieties is the conjecture on nilpotence of the multiplicative action of the natural numbers on the K-theory of these varieties. This includes both…

Kendall transformation is a conversion of an ordered feature into a vector of pairwise order relations between individual values. This way, it preserves ranking of observations and represents it in a categorical form. Such transformation…

We study the positive theory of groups acting on trees and show that under the presence of weak small cancellation elements, the positive theory of the group is trivial, i.e. coincides with the positive theory of a non-abelian free group.…

We construct a sequence of balanced finite presentations of the trivial group with two generators and two relators with the following property: The minimal number of relations required to demonstrate that a generator represents the trivial…

We develop general methods to compute the algebraic $K$-theory of crossed products by Bernoulli shifts on additive categories. From this we obtain a $K$-theory formula for regular group rings associated to wreath products of finite groups…

We use a simple geometric argument and small cancellation properties of link groups to prove that alternating links are non-trivial. This proof uses only classic results in topology and combinatorial group theory.

Let A be a simple, unital, exact, and finite C*-algebra which absorbs the Jiang-Su algebra Z tensorially. We prove that the Cuntz semigroup of A admits a complete order embedding into an ordered semigroup obtained from the Elliott invariant…

The cyclically reduced product of two words $u, v$, denoted $u * v$, is the cyclically reduced form of the concatenation of $u$ by $v$. This product is not associative. Recently S. V. Ivanov has proved that the Andrews-Curtis conjecture can…

The statement ``no nonabelian simple group can be obtained from a nonsimple group by adding one generator and one relator" 1) is equivalent to the Kervaire--Laudenbach conjecture; 2) becomes true under the additional assumption that the…