arXiv research

Establishes bounds on Andrews-Curtis moves for trivial group presentations.

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.

Paper proves contractible fake surfaces up to complexity 6 are deformable.

We show that the Andrews-Curtis conjecture holds for all balanced presentations of the trivial group corresponding to Heegaard diagrams of $S^3$.

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 particular, proves a satellite conjecture of Andrews and Curtis made in 1966. We also…

New findings on 3-manifolds using Heegaard Floer theory.

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 conjugations. It is a prevalent opinion that this conjecture is false; however, not many p…

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 understanding of how Dehn functions of groups behave under certain kinds of push-outs. We co…

New method shows certain group presentations are trivial.

Proves universal pairing result for 2-complexes, showing lack of positivity.

Study shows challenges in reinforcement learning math problems, proposing enhancements and a hardness measure.

Classifies fake surfaces up to complexity 5.

Study of transformations in 3-manifolds with boundary and their equivalence classes.

New 5-manifold without 'spine' challenges deformation conjecture.

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 type.

The stable Andrews-Curtis conjecture in combinatorial group theory is the statement that every balanced presentation of the trivial group can be simplified to the trivial form by elementary moves corresponding to "handle-slides" together with "stabilization" moves. Schoenflies conjecture is the statement that the compl…

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 Whitehead simple homotopy equivalence from a regular CW-complex to the simplifi…

We show that a compact n-polyhedron PL embeds in a product of n trees if and only if it collapses onto an (n-1)-polyhedron. If the n-polyhedron is contractible and n\ne 3 (or n=3 and the Andrews-Curtis Conjecture holds), the product of trees may be assumed to collapse onto the image of the embedding. In contrast, there…

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 the same invariant as the one produced by the algorithm of Frank Quinn. The new de…

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 related by an s-move. Using elementary 3-expansions, K2 extends to 3-cells in K3 r…

Study shows $S^1$ algebraic structure in 2-dimensional CW-complex cobordisms.

According to Giroux, contact manifolds can be described as open books whose pages are Stein manifolds. For 5-dimensional contact manifolds the pages are Stein surfaces, which permit a description via Kirby diagrams. We introduce handle moves on such diagrams that do not change the corresponding contact manifold. As an …

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 F. Quinn [Q1]. The decomposition of that 2-complex into graphs has to be transla…

Let $G$ be a group with a finite balanced presentation $P$. We associate a Heegaard Floer homology group $\widehat{HF}_P(G)$ with the pair $(G,P)$ based on some extra choices and technical assumptions. We show that $\widehat{HF}_P(G)$ is independent from these choices and also is invariant under stable Andrews-Curtis t…

Mathematical Reinforcement Learning faces a 'Two-Hump' problem due to sparse rewards and a scarcity of intermediate 'hard-but-solvable' instances.

New methods reveal rare epimorphisms linking 3-manifold groups to free groups.

We introduce the notion of volume of the representation variety of a finitely presented discrete group in a compact Lie group using the push-forward measure associated to a map defined by a presentation of the discrete group. We show that the volume thus defined is invariant under the Andrews-Curtis moves of the genera…

Polyhedra volume conjecture supports Stoker conjecture weakly.

Survey on two non-Kähler geometry conjectures.

Numerical study confirms Brennan's conjecture for a counterexample to Thurston's $K=2$ conjecture.

The non-vanishing conjecture implies the abundance conjecture in certain cases.

Proves Gromov's conjecture and answers Stoker's polyhedron conjecture.

This paper gives an algebraic conjecture which is shown to be equivalent to Thurston's Geometrization Conjecture for closed, orientable 3-manifolds. It generalizes the Stallings-Jaco theorem which established a similar result for the Poincare Conjecture. The paper also gives two other algebraic conjectures; one is equi…

Symmetry-breaking in three differential geometry conjectures.

We introduce a new variant of the coarse Baum-Connes conjecture designed to tackle coarsely disconnected metric spaces called the boundary coarse Baum-Connes conjecture. We prove this conjecture for many coarsely disconnected spaces that are known to be counterexamples to the coarse Baum-Connes conjecture. In particula…

Study proves Hecke lifting conjecture for torus knots and verifies it for any framed knots.

New proof shows most thin knots satisfy Cabling Conjecture.

We review the Burghelea conjecture, which constitutes a full computation of the periodic cyclic homology of complex group rings, and its relation to the algebraic Baum-Connes conjecture. The Burghelea conjecture implies the Bass conjecture. We state two conjectures about groups of finite asymptotic dimension, which tog…

Metric SYZ conjecture proved using non-archimedean geometry.

Paper confirms Chen's biharmonic conjecture for hypersurfaces in 5D.

Counterexample disproves recent Penrose conjecture variant.

In this article, we give proofs on the Arnold Lagrangian intersection conjecture on the cotangent bundles, Arnold-Givental Lagrangian intersection conjecture and the Arnold fixed point conjecture.

Proof outlined for 4D smooth Poincaré conjecture.

In order to give a unified generalization of the BW inequality and the DDVV inequality, Lu and Wenzel proposed three Conjectures 1, 2, 3 and an open Question 1 in 2016. In this paper we discuss further these conjectures and put forward several new conjectures which will be shown equivalent to Conjecture 2. In particula…

In this paper, we generalize the Cosmetic Surgery Conjecture to an $n$-cusped hyperbolic $3$-manifold and prove it under the assumption of another well-known conjecture in number theory, so called the Zilber-Pink Conjecture. For $n=1$ and $2$, we show them without the assumption.

Paper connects AJ conjecture and colored Jones polynomial potential function.

Akbulut and Kirby conjectured that two knots with the same $0$-surgery are concordant. In this paper, we prove that if the slice-ribbon conjecture is true, then the modified Akbulut-Kirby's conjecture is false. We also give a fibered potential counterexample to the slice-ribbon conjecture.

Counterexample disproves conjectures about log canonical thresholds.