Related papers: Diagrams and the second homotopy group

We study equations over torsion-free groups in terms of their `t-shape' (the occurences of the variable t in the equation). A t-shape is good if any equation with that shape has a solution. It is an outstanding conjecture that all t-shapes…

We introduce the notion of groups of polytope class and show that torsion-free amenable groups satisfying the Atiyah Conjecture possess this property. A direct consequence is the homotopy invariance of the $L^2$-torsion polytope among…

The Addition Theorem for the algebraic entropy of group endomorphisms of torsion abelian groups was proved by Dikranjan, Goldsmith, Salce and Zanardo. It was later extended by Shlossberg to torsion nilpotent groups of class 2. As our main…

We give a uniform construction that, on input of a recursive presentation $P$ of a group, outputs a recursive presentation of a torsion-free group, isomorphic to $P$ whenever $P$ is itself torsion-free. We use this to re-obtain a known…

The Atiyah conjecture predicts that the L2-Betti numbers of a finite CW-complex with torsion-free fundamental group are integers. We show that the Atiyah conjecture holds (with an additional technical condition) for direct and inverse…

The Addition Theorem for the algebraic entropy of group endomorphisms of torsion abelian groups was proved in [4]. Later, this result was extended to all abelian groups [3] and, recently, to all torsion finitely quasihamiltonian groups [7].…

Relying on the theory of agrarian invariants introduced in previous work, we solve a conjecture of Friedl-Tillmann: we show that the marked polytopes they constructed for two-generator one-relator groups with nice presentations are…

We examine the first non-vanishing higher homotopy group, $\pi_p$, of the complement of a hypersolvable, non--supersolvable, complex hyperplane arrangement, as a module over the group ring of the fundamental group, $\Z\pi_1$. We give a…

An extension of subgroups $H\leqslant K\leqslant F_A$ of the free group of rank $|A|=r\geqslant 2$ is called onto when, for every ambient free basis $A'$, the Stallings graph $\Gamma_{A'}(K)$ is a quotient of $\Gamma_{A'}(H)$. Algebraic…

We establish a loop space decomposition for certain $CW$-complexes with a single top cell in the presence of a spherical pair, thereby generalizing several known decompositions of Poincar\'{e} duality complexes in which a loop of a product…

We construct finitely generated simple torsion-free groups with strong homological control. Our main result is that every subset of $\mathbb{N} \cup \{\infty\}$, with some obvious exceptions, can be realized as the set of dimensions of…

We show that, without any extra physical degree introduced, the Standard Model can be readily reformulated as a Double Field Theory. Consequently, the Standard Model can couple to an arbitrary stringy gravitational background in an…

We use Klyachko's methods to prove that the natural map G to G-hat, where G is a torsion-free group and G-hat is obtained by adding a new generator t and a new relator w, is surjective only if w is conjugate to gt or gt^{-1} for some g in…

We prove that the direct sums of extensions of scalars of relation modules are geometrically realisable as the second homotopy group of a finite 2-complex. We use this to exhibit a finite 2-complex with fundamental group the $(10,15)$ torus…

We note a link between combinatorial results of Bollob\'as and Leader concerning sumsets in the grid, the Brunn-Minkowski theorem and a result of Freiman and Bilu concerning the structure of sets of integers with small doubling. Our main…

We classify compact oriented $5$-manifolds with free fundamental group and $\pi_{2}$ a torsion free abelian group in terms of the second homotopy group considered as $\pi_1$-module, the cup product on the second cohomology of the universal…

For an arbitrary rational polyhedron we consider its decompositions into Minkowski summands and, dual to this, the free extensions of the associated pair of semigroups. Being free for the pair of semigroups is equivalent to flatness for the…

Two 4-manifolds are stably diffeomorphic if they become diffeomorphic after connected sum with S^2 x S^2's. This paper shows that two closed, orientable, homotopy equivalent, smooth 4-manifolds are stably diffeomorphic, provided a certain…

Given a finite and connected two-dimensional $CW$-complex $K$ with fundamental group $\Pi$ and second integer cohomology group $H^2(K;\mathbb{Z})$ finite of odd order, we prove that: (1) for each local integer coefficient system…

In this paper we identify different classes of free group extension using core graphs. We show that every free group extension $H\leq K\leq F$ has a base $B$ such that the associated pointed graph morphism…