Subscribe to the gold package and get unlimited access to Shamra Academy
Register a new userUniform negative immersions and the coherence of one-relator groups
147
0
0.0
(
0
)
Ask ChatGPT about the research
No Arabic abstract
Previously, the authors proved that the presentation complex of a one-relator group $G$ satisfies a geometric condition called negative immersions if every two-generator, one-relator subgroup of $G$ is free. Here, we prove that one-relator groups with negative immersions are coherent, answering a question of Baumslag in this case. Other strong constraints on the finitely generated subgroups also follow such as, for example, the co-Hopf property. The main new theorem strengthens negative immersions to uniform negative immersions, using a rationality theorem proved with linear-programming techniques.
rate research
Read More
We prove a freeness theorem for low-rank subgroups of one-relator groups. Let $F$ be a free group, and let $win F$ be a non-primitive element. The primitivity rank of $w$, $pi(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/langlelangle wranglerangle$ generated by fewer than $pi(w)$ elements is free. In particular, if $pi(w)>2$ then $G$ doesnt contain any Baumslag--Solitar groups. The hypothesis that $pi(w)>2$ implies that the presentation complex $X$ of the one-relator group $G$ has negative immersions: if a compact, connected complex $Y$ immerses into $X$ and $chi(Y)geq 0$ then $Y$ is Nielsen equivalent to a graph. The freeness theorem is a consequence of a dependence theorem for free groups, which implies several classical facts about free and one-relator groups, including Magnus Freiheitssatz and theorems of Lyndon, Baumslag, Stallings and Duncan--Howie. The dependence theorem strengthens Wises $w$-cycles conjecture, proved independently by the authors and Helfer--Wise, which implies that the one-relator complex $X$ has non-positive immersions when $pi(w)>1$.
We show that any one-relator group $G=F/langlelangle wranglerangle$ with torsion is coherent -- i.e., that every finitely generated subgroup of $G$ is finitely presented -- answering a 1974 question of Baumslag in this case.
In this paper, we prove that two-generator one-relator groups with depth less than or equal to 3 can be effectively embedded into a tower of HNN-extensions in which each group has the effective standard normal form. We give an example to show how to deal with some general cases for one-relator groups. By using the Magnus method and Composition-Diamond Lemma, we reprove the G. Higman, B. H. Neumann and H. Neumanns embedding theorem.
We give several sufficient conditions for uniform exponential growth in the setting of virtually torsion-free hierarchically hyperbolic groups. For example, any hierarchically hyperbolic group that is also acylindrically hyperbolic has uniform exponential growth. In addition, we provide a quasi-isometric characterizations of hierarchically hyperbolic groups without uniform exponential growth. To achieve this, we gain new insights on the structure of certain classes of hierarchically hyperbolic groups. Our methods give a new unified proof of uniform exponential growth for several examples of groups with notions of non-positive curvature. In particular, we obtain the first proof of uniform exponential growth for certain groups that act geometrically on CAT(0) cubical groups of dimension 3 or more. Under additional hypotheses, we show that a quantitative Tits alternative holds for hierarchically hyperbolic groups.
We introduce a quantitative characterization of subgroup alternatives modeled on the Tits alternative in terms of group laws and investigate when this property is preserved under extensions. We develop a framework that lets us expand the classes of groups known to have locally uniform exponential growth to include extensions of either word hyperbolic or right-angled Artin groups by groups with locally uniform exponential growth. From this, we deduce that the automorphism group of a torsion-free one-ended hyperbolic group has locally uniform exponential growth. Our methods also demonstrate that automorphism groups of torsion-free one-ended toral relatively hyperbolic groups and certain right-angled Artin groups satisfy our quantitative subgroup alternative.
Log in to be able to interact and post comments
comments
Fetching comments
Sign in to be able to follow your search criteria
