arXiv subjects
Publications and source records attributed to Macarena Arenas.
We show that if $X$ is a compact nonpositively curved cube complex which is a non-product, then $\pi_1 X$ has a proper quotient that is $\pi_1$ of a cube complex with these same properties.
We show that, under suitable hypotheses, the coned-off spaces associated to $C(9)$ cubical small-cancellation presentations are aspherical, and use this to provide classifying spaces, or classifying spaces for proper actions, for their fundamental groups. Along the way, we show that the Cohen--Lyndon property holds for the subgroups of the fundamental group of a non-positively curved cube complex associated to a $C(9)$ cubical presentation, and thus obtain near-sharp upper and lower bounds for the (rational) cohomological dimension of these quotients. We apply these results to give an alternative construction of compact $K(\pi,1)$ for Artin groups with no labels in $\{3,4\}$, from which a new direct sum decomposition for their homology and cohomology with various coefficients above a certain dimension follows. We also address a question of Wise about the virtual torsion-freeness of cubical small-cancellation groups.
We study the geometric and combinatorial effect of smoothing an intersection point in a collection of arcs or curves on a surface. We prove that all taut arcs with fixed endpoints and all taut 1-manifolds with at least two non-disjoint components on an orientable surface with negative Euler characteristic admit a taut smoothing, and also that all taut arcs with free endpoints admit a smoothing that is either taut or becomes taut after removing at most one intersection. We deduce that for every Riemannian metric on a surface, the shortest properly immersed arcs with at least $k$ self-intersections have exactly $k$ self-intersections when the endpoints of the arc are fixed, and at most $k+1$ self-intersections otherwise, and that the arc length spectrum is "coarsely ordered" by self-intersection number. Along the way, we obtain partial analogous results in the case of curves.
We show that the Cohen--Lyndon property holds for all non-metric small-cancellation quotients. This generalises the analogous result from the metric small-cancellation setting, and answers a question asked by Lyndon in 1966 and by Wall in his 1979 problem list.
This survey paper, written in spanish, is an extended version of lecture notes for a mini-course taught at the 2022 Summer School in Geometric Group Theory, which took place in the Centro de Ciencias Matem\'aticas in Morelia, Mexico in July 2022. Its main aim is to give an introduction to the study of non-positively curved cube complexes, and through these, to introduce the reader to geometric group theory.
Given a non-positively curved cube complex $X$, we prove that the quotient of $\pi_1X$ defined by a cubical presentation $\langle X\mid Y_1,\dots, Y_s\rangle$ satisfying sufficient non-metric cubical small-cancellation conditions is hyperbolic provided that $\pi_1X$ is hyperbolic. This generalises the fact that finitely presented classical $C(7)$ small-cancellation groups are hyperbolic.
We show that under suitable hypotheses, the second homotopy group of the coned-off space associated to a $C(9)$ cubical presentation is trivial, and use this to provide classifying spaces for proper actions for the fundamental groups of many quotients of square complexes admitting such cubical presentations. When the cubical presentations satisfy a condition analogous to requiring that the relators in a group presentation are not proper powers, we conclude that the corresponding coned-off space is aspherical.
We show that word-hyperbolic groups satisfy linear isoperimetric functions for all homotopy types of surface diagrams. This generalises the linear isoperimetric functions for disc and annular diagrams.
Given a finitely presented group $Q$ and a compact special cube complex $X$ with non-elementary hyperbolic fundamental group, we produce a non-elementary, torsion-free, cocompactly cubulated hyperbolic group $\Gamma$ that surjects onto $Q$, with kernel isomorphic to a quotient of $G=\pi_1 X$ and such that $max\{cd(G),2\}\geq cd(\Gamma)\geq cd(G)-1$.