Related papers: On the generalized Andrews-Curtis-Problem -- A Dis…
We propose an induction scheme that aims at establishing the stable Andrews-Curtis conjecture in the affirmative. The stable Andrews-Curtis conjecture is equivalent to the conjecture that every contractible fake surface is 3-deformable to a…
The Andrews-Curtis conjecture claims that every balanced presentation of the trivial group can be reduced to the standard one by a sequence of ``elementary transformations" which are Nielsen transformations augmented by arbitrary…
We relate the Andrews-Curtis conjecture to the triviality problem for balanced presentations of groups using algorithms from 3-manifold topology. Implementing this algorithm could lead to counterexamples to the Andrews-Curtis conjecture.
The universal pairing for manifolds was defined and shown to lack positivity in dimension 4 by Freedman et al. We prove an analogous result for 2-complexes, and also show that the universal pairing does not detect the difference between…
We consider a 2-complex in a particular form, called the Quinn model of a 2-complex. It can be sliced in graphs, where a change from one graph to another can be organized by a sequence of local transitions, which are described in a list of…
We introduce a novel combinatorial method to study $Q^{**}$-transformations of group presentations or, equivalently, 3-deformations of CW-complexes of dimension 2. Our procedure is based on a refinement of discrete Morse theory that gives a…
The Andrews-Curtis conjecture claims that every normally generating $n$-tuple of a free group $F_n$ of rank $n \ge 2$ can be reduced to a basis by means of Nielsen transformations and arbitrary conjugations. Replacing $F_n$ by an arbitrary…
We show that the Andrews-Curtis conjecture holds for all balanced presentations of the trivial group corresponding to Heegaard diagrams of $S^3$.
The well known Andrews-Curtis Conjecture [2] is still open. In this paper, we establish its finite version by describing precisely the connected components of the Andrews-Curtis graphs of finite groups. This finite version has independent…
The Andrews-Curtis conjecture claims that every balanced presentation of the trivial group can be transformed into the trivial presentation by a finite sequence of "elementary transformations" which are Nielsen transformations together with…
We construct a compact PL 5-manifold $M$ (with boundary) which is homotopy equivalent to the wedge of eleven 2-spheres, $\vee^{}_{1 1}S^2$, which is "spineless", meaning $M$ is not the regular neighborhood of any 2-complex PL embedded in…
Two simple homotopy equivalent 2-complexes K2 and L2 are related by an algebraic criterion of their corresponding presentations as stated in [HoMeSier]. Frank Quinn set it into a topological context (see [Qu1]) and call these 2-complexes…
Motivated by problems in topology, we explore the complexity of balanced group presentations. We obtain large lower bounds on the complexity of Andrews-Curtis trivialisations, beginning in rank 4. Our results are based on a new…
It is shown that the original Andrews--Curtis conjecture on balanced presentations of the trivial group is equivalent to its "cyclic" version in which, in place of arbitrary conjugations, one can use only cyclic permutations. This, in…
The Andrews-Curtis conjecture states that every balanced presentation of the trivial group can be reduced to the standard one by a sequence of the elementary Nielsen transformations and conjugations. In this paper we describe all balanced…
A combinatorial group-theoretic hypothesis is presented that serves as a necessary and sufficient condition for a union of connected Cockcroft two-complexes to be Cockcroft. This hypothesis has a component that can be expressed in terms of…
The Andrews-Curtis conjecture remains one of the outstanding open problems in combinatorial group theory. It claims that every normally generating $r$-tuple of a free group $F_r$ of rank $r\geq 2$ can be reduced to a basis by means of…
In the paper we describe the class of principal quandles and show that connected quandles can be decomposed as a disjoint union of principal quandles. We also prove that simple affine quandles are finite and they can be characterized among…
The paper discusses the Andrews-Curtis graph of a normal subgroup N in a group G. The vertices of the graph are k-tuples of elements in N which generate N as a normal subgroup; two vertices are connected if one them can be obtained from…
We propose a geometric and categorical approach to the Hodge Conjecture for all smooth projective complex varieties. By embedding any such variety into a flat family with general fibers smooth complete intersections, we prove the conjecture…