arXiv research

We provide the details for Gromov's proof of Stallings' theorem on groups with infinitely many ends using harmonic functions. The main technical result of the paper is a compactness theorem for a certain family of harmonic functions.

Proves a theorem about groups and 3-manifolds.

``What aspects of a group are unchanged, or stable, under homology equivalences''? The model theorem in this regard is the 1963 result of J. Stallings that the lower central series is preserved under any integral homological equivalence of groups. Various other theorems of this nature have since appeared. Stallings him…

Corrects a flawed proof of the Kropholler Conjecture.

We give new information about the relationship between the low-dimensional homology of a group and its derived series. This yields information about how the low-dimensional homology of a topological space constrains its fundamental group. Applications are given to detecting when a set of elements of a group generates a…

We give a general treatment of the somewhat unfamiliar operation on manifolds called Connected Sum at Infinity, or CSI for short. A driving ambition has been to make the geometry behind the well definition and basic properties of CSI as clear and elementary as possible. CSI then yields a very natural and elementary pro…

A short proof of a conjecture of Kropholler is given. This gives a relative version of Stallings' Theorem on the structure of groups with more than one end. A generalisation of the Almost Stability Theorem is also obtained, that gives information about the structure of the Sageev cubing.

Stochastic Gradient Descent (SGD) is widely used in machine learning problems to efficiently perform empirical risk minimization, yet, in practice, SGD is known to stall before reaching the actual minimizer of the empirical risk. SGD stalling has often been attributed to its sensitivity to the conditioning of the probl…

The paper extends end concepts to arbitrary groups and spaces.

A celebrated theorem of Marshall Hall Jr. implies that finitely generated free groups are subgroup separable and that all of their finitely generated subgroups are retracts of finite-index subgroups. We use topological techniques inspired by the work of Stallings to prove that all limit groups share these two propertie…

The paper establishes analogs of Stallings' theorem for group homomorphisms and their nilpotent quotients.

Study filling links in 3-manifolds to understand their topological properties.

A self-contained account of the theory of structure trees for edge cuts in networks is given. Applications include a generalisation of the Max-Flow Min-Cut Theorem to infinite networks and a short proof of a conjecture of Kropholler. This gives a relative version of Stallings' Theorem on the structure of groups with mo…

In this paper, we give some necessary and sufficient conditions for a normal subgroup of an amalgamated product of groups to be finitely generated. We apply these conditions together with Stallings' fibering theorem to prove that an irreducible multilink in a homology 3-sphere fibers if and only if each of its multilin…

In this paper it is shown that for any network there is a uniquely determined network based on a structure tree that provides a convenient way of determining a minimal cut separating a pair $s, t$ where each of $s, t$ is either a vertex or an end in the original network. A Max-Flow Min-Cut Theorem is proved for any net…

New combinatorial structures represent subgroups of surface groups, analogous to Stallings core graphs.

We submit a new way to detect pairs of non-cobordant surface-links. We find a new example of a pair of non-cobordant surface-links with the following properties: Orr invariant, Cochran sequence, Sato-Levine invariant, the alinking number and one of Stallings's theorems cannot distinguish them. However our new way can d…

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…

Extends folding techniques to study subgroups of CAT(0) cube complexes.

We generalise the Karrass-Pietrowski-Solitar and the Nielsen realisation theorems from the setting of free groups to that of free products. As a result, we obtain a fixed point theorem for finite groups of outer automorphisms acting on the relative free splitting complex of Handel--Mosher and on the outer space of a fr…

New method constructs non-quasiconvex subgroups in hyperbolic groups.

In this article we construct a family of knot surgery $4$-manifolds admitting arbitrarily many nonisomorphic Lefschetz fibration structures with the same genus fiber. We obtain such families by performing knot surgery on an elliptic surface $E(2)$ using connected sums of fibered knots obtained by Stallings twist from a…

We observe that Whitehead's lemma is an immediate consequence of Stallings folds.

New $4$-manifolds without $1$- and $3$-handles are created from knots.

We prove that groups that are mod-p-homology equivalent are isomorphic modulo any term of their derived p-series, in precise analogy to Stallings' 1963 result for the lower-central p-series. Similarly spaces that are mod-p-homology equivalent have fundamental groups that are isomorphic modulo any term of their p-derive…

We study open books (or open book decompositions) of a closed oriented 3-manifold which support overtwisted contact structures. We focus on a simple closed curve along which one can perform Stallings twist, called ``twisting loop''. We show that the existence of a twisting loop on the fiber surface of an open book is e…

The derived group of a permutation representation, introduced by R.H. Crowell, unites many notions of knot theory. We survey Crowell's construction, and offer new applications. The twisted Alexander group of a knot is defined. Using it, we obtain twisted Alexander modules and polynomials. Also, we extend a well-known t…

Study embedding calculus and link invariants using functor calculus.

Let $F_n$ be the free group on $n$ generators and $Γ_g$ the surface group of genus $g$. We consider two particular generating sets: the set of all primitive elements in $F_n$ and the set of all simple loops in $Γ_g$. We give a complete characterization of distorted and undistorted elements in the corresponding $Aut$-in…

We prove a freeness theorem for low-rank subgroups of one-relator groups. Let $F$ be a free group, and let $w\in F$ be a non-primitive element. The primitivity rank of $w$, $π(w)$, is the smallest rank of a subgroup of $F$ containing $w$ as an imprimitive element. Then any subgroup of the one-relator group $G=F/\langle…

New equivalence relation for links using cut-diagrams.

A labeled oriented tree is called injective if each generator occurs at most once as an edge label. We show that injective labeled oriented trees are aspherical. The proof relies on a new relative asphericity test based on a lemma of Stallings.

This paper classifies fibered links in 3-sphere using open book decompositions.

The stabilisation height of a fibre surface in the 3-sphere is the minimal number of Hopf plumbing operations needed to attain a stable fibre surface from the initial surface. We show that families of fibre surfaces related by iterated Stallings twists have unbounded stabilisation height.

The aim of this note is to take benefit of the foam nature of the Khovanov-Kuperberg algebras to compute the Grothendieck groups of their categories of finitely generated projective modules. The computation relies on the Hattori-Stallings trace and some geometrical properties of foams in a solid torus.

The symplectic isotopy conjecture states that every smooth symplectic surface in $CP^2$ is symplectically isotopic to a complex algebraic curve. Progress began with Gromov's pseudoholomorphic curves [Gro85], and progressed further culminating in Siebert and Tian's proof of the conjecture up to degree 17 [ST05], but fur…

We use topology of configuration spaces to give a characterization of Neuwirth--Stallings pairs $(S^5, K)$ with $\dim K = 2$. As a consequence, we construct polynomial map germs $(\mathbb{R}^{6},0)\to (\mathbb{R}^{3},0)$ with an isolated singularity at the origin such that their Milnor fibers are not diffeomorphic to a…

We characterize in terms of the Goldman Lie algebra which conjugacy classes in the fundamental group of a surface with non empty boundary are represented by simple closed curves. We prove the following: A non power conjugacy class X contains an embedded representative if and only if the Goldman Lie bracket of X with th…

In 1964, John Stallings established an important relationship between the low-dimensional homology of a group and its lower central series. We establish a similar relationship between the low-dimensional homology of a group and its derived series. We also define a torsion-free-solvable completion of a group that is ana…

Study various series of groups and their Lie algebras in split extensions.

The paper constructs wild Cantor sets in high dimensions.

We study global fixed points for actions of Coxeter groups on nonpositively curved singular spaces. In particular, we consider property FA_n, an analogue of Serre's property FA for actions on CAT(0) complexes. Property FA_n has implications for irreducible representations and complex of groups decompositions. In this p…

We study the relationship between fibered ribbon 1-knots and fibered ribbon 2-knots by studying fibered slice disks with handlebody fibers. We give a characterization of fibered homotopy-ribbon disks and give analogues of the Stallings twist for fibered disks and 2-knots. As an application, we produce infinite families…

The paper explores the geometry and dynamics of free splitting and free factor complexes for groups.

We associate cube complexes called completions to each subgroup of a right-angled Coxeter group (RACG). A completion characterizes many properties of the subgroup such as whether it is quasiconvex, normal, finite-index or torsion-free. We use completions to show that reflection subgroups are quasiconvex, as are one-end…

We study the behaviour of quasi-geodesics in Out(F_n). Given an element f in Out(F_n) there are several natural paths connecting the origin to f in Out(F_n); for example, paths associated to sequences of Stallings folds and paths induced by the shadow of greedy folding paths in Outer Space. We show that none of these p…

Deviation-based learning improves recommender systems by abstaining from recommending choices users might follow.

We consider two mod-p central series of the free group given by Stallings and Zassenhaus. Applying these series to definitions of Dennis Johnson's filtration of the mapping class group we obtain two mod-p Johnson filtrations. Further, we adapt the definition of the Johnson homomorphisms to obtain mod-p Johnson homomorp…