arXiv subjects

Stephan Rosebrock

Publications and source records attributed to Stephan Rosebrock.

11 recordsLinked to original sources

arXiv2025

Local indicability in the presence of diagrammatic reducibility

If a complex $X$ is a subcomplex of a diagrammatically reducible 2-complex $Y$ that has locally indicable fundamental group, then $X$ has locally indicable fundamental group. This is a consequence of the Corson-Trace characterization of diagrammatic reducibility. In this paper we use a Corson-Trace like characterization of diagrammatic reducibility away from a subcomplex to obtain a considerable stronger result. We apply this to the question of local indicability in the context of Whitehead's asphericity conjecture. We show that an injective labeled oriented tree (LOT) that is diagrammatically reducible of degree 2, and all its quotients are as well, is locally indicable.

math.GT↗

arXiv2023

Relative Non-Positive Immersion

A 2-complex $K$ has collapsing non-positive immersion if for every combinatorial immersion $X\to K$, where $X$ is finite, connected and does not allow collapses, either $\chi(X)\le 0$ or $X$ is point. This concept is due to Wise who also showed that this property implies local indicability of the fundamental group $\pi_1(K)$. In this paper we study a relative version of collapsing non-positive immersion that can be applied to 2-complex pairs $(L,K)$: The pair has relative collapsing non-positive immersion if for every combinatorial immersion $f\colon X\to L$, where $X$ is finite, connected and does not allow collapses, either $\chi(X)\le \chi(Y)$, where $Y$ is the essential part of the preimage $f^{-1}(K)$, or $X$ is a point. We show that under certain conditions a transitivity law holds: If $(L,K)$ has relative collapsing non-positive immersion and $K$ has collapsing non-positive immersion, then $L$ has collapsing non-positive immersion. This article is partly motivated by the following open question: Do reduced injective labeled oriented trees have collapsing non-positive immersion? We answer this question in the affirmative for certain important special cases.

math.GT↗

arXiv2022

The Local Structure of Injective LOT-Complexes

Labeled oriented trees, LOT's, encode spines of ribbon discs in the 4-ball and ribbon 2-knots in the 4-sphere. The unresolved asphericity question for these spines is a major test case for Whitehead's asphericity conjecture. In this paper we give a complete description of the link of a reduced injective LOT complex. An important case is the following: If $\Gamma$ is a reduced injective LOT that does not contain boundary reduced sub-LOTs, then $lk(K(\Gamma))$ is a bi-forest. As a consequence $K(\Gamma)$ is aspherical, in fact DR, and its fundamental group is locally indicable. We also show that a general injective LOT complex is aspherical. Some of our results have already appeared in print over the last two decades and are collected here.

math.GT↗

arXiv2021

Ribbon 2-knot groups of Coxeter type

Wirtinger presentations of deficiency 1 appear in the context of knots, long virtual knots, and ribbon 2-knots. They are encoded by (word) labeled oriented trees and, for that reason, are also called LOT presentations. These presentations are a well known and important testing ground for the validity (or failure) of Whitehead's asphericity conjecture. In this paper we define LOTs of Coxeter type and show that for every given $n$ there exists a (prime) LOT of Coxeter type with group of rank $n$. We also show that label separated Coxeter LOTs are aspherical.

math.GT↗

arXiv2021

Directed diagrammatic reducibility

We introduce the notion of directed diagrammatic reducibility which is a relative version of diagrammatic reducibility. Directed diagrammatic reducibility has strong group theoretic and topological consequences. A multi-relator version of the Freiheitssatz in the presence of directed diagrammatic reducibility is given. Results concerning asphericity and $π_1$-injectivity of subcomplexes are shown. We generalize the Corson-Trace characterization of diagrammatic reducibility to directed diagrammatic reducibility. We compare diagrammatic reducibility of relative presentations to directed diagrammatic reducibility. Classical tools for showing diagrammatic reducibility, such as the weight test, the max/min test, and small cancellation techniques are adapted to directed diagrammatic reducibility. The paper ends with some applications to labeled oriented trees.

math.GT↗

arXiv2021

Relative Combinatorial Asphericity

Relative notions of combinatorial asphericity have been used to prove that injective labeled oriented trees (which encode spines of ribbon 2-knots) are aspherical. This article presents an overview and comparison of the different notions of relative combinatorial asphericity. It also contains new results concerning characterizations of relative DR and tests that imply relative combinatorial asphericity. The last section of the article is devoted to examples that illustrate the concepts and the use of the tests given.

math.GT↗

arXiv2021

Relative Vertex Asphericity

Diagrammatic reducibility DR and its generalization vertex asphericity VA are combinatorial tools developed for detecting asphericity of a 2-complex. Here we present tests for a relative version of VA that apply to pairs of 2-complexes $(L,K)$, where $K$ is a subcomplex of $L$. We show that a relative weight test holds for injective labeled oriented trees, implying that they are VA and hence aspherical. This strengthens a result obtained by the authors in 2017 and simplifies the original proof.

math.GT↗

arXiv2016

Injective Labeled Oriented Trees are Aspherical

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.

math.GT↗

arXiv2014

Aspherical Word Labeled Oriented Graphs and Cyclically Presented Groups

A {\em word labeled oriented graph} (WLOG) is an oriented graph $\cal G$ on vertices $X=\{ x_1,\ldots ,x_k\}$, where each oriented edge is labeled by a word in $X^{\pm1}$. WLOGs give rise to presentations which generalize Wirtinger presentations of knots. WLOG presentations, where the underlying graph is a tree are of central importance in view of Whitehead's Asphericity Conjecture. We present a class of aspherical world labeled oriented graphs. This class can be used to produce highly non-injective aspherical labeled oriented trees and also aspherical cyclically presented groups.

math.GT↗

arXiv1995

Generalized Small Cancellation Theory

We present four generalized small cancellation conditions for finite presentations and solve the word- and conjugacy problem in each case. Our conditions $W$ and $W^*$ contain the non-metric small cancellation cases C(6), C(4)T(4), C(3)T(6) (see [LS]) but are considerably more general. $W$ also contains as a special case the small cancellation condition $W(6)$ of Juhasz [J2]. If a finite presentation satisfies $W$ or $W^*$ then it has a quadratic isoperimetric inequality and therefore solvable word problem. For the class $W$ this was first observed by Gersten in [G7] which also contains an idea of the proof. Our main result here is the proof of the conjugacy problem for the classes $W$ and $W^*$ which uses the geometry of non-positively curved piecewise Euclidean complexes developed by Bridson in [Bri]. The conditions $V$ and $V^*$ generalize the small cancellation conditions C(7), C(5)T(4), C(4)T(5), C(3)T(7). If a finite presentation satisfies the condition $V$ or $V^*$, then it has a linear isoperimetric inequality and hence the group is hyperbolic.

math.GR↗

arXiv1993

A bicombing that implies a sub-exponential isoperimetric inequality

The idea of applying isoperimetric functions to group theory is due to M.Gromov. We introduce the concept of a ``bicombing of narrow shape'' which generalizes the usual notion of bicombing. Our bicombing is related to but different from the combings defined by M. Bridson. If the Cayley graph of a group with respect to a given set of generators admits a bicombing of narrow shape then the group is finitely presented and satisfies a sub-exponential isoperimetric inequality, as well as a polynomial isodiametric inequality. We give an infinite class of examples which are not bicombable in the usual sense but admit bicombings of narrow shape.

math.GR↗