arXiv++ Combinatorics

We show that a certain triangulation of CAT(0) triangle-pentagon complexes is $7$-located and locally $5$-large. Hereby we give examples of $7$-located, locally $5$-large groups.

We investigate the structure of the minimal displacement set in weakly systolic complexes. We show that such set is systolic and that it embeds isometrically into the complex. As corollaries, we prove that any isometry of a weakly systolic complex either fixes the barycentre of some simplex (elliptic case) or it stabilizes a thick geodesic (hyperbolic case).

$m$-location is a local combinatorial condition for flag simplicial complexes introduced by Osajda. Osajda showed that simply connected 8-located locally 5-large complexes are hyperbolic. We treat the nonpositive curvature case of 7-located locally 5-large complexes. We show that any minimal area disc diagram in a 7-located locally 5-large complex is itself 7-located and locally 5-large. We define a natural CAT(0) metric for 7-located disc diagrams and use this to prove that simply connected 7-located locally 5-large complexes have quadratic isoperimetric function. Along the way, we prove that locally weakly systolic complexes are 7-located locally 5-large.

We introduce $(s,t)$-uniform simplicial complexes. We show that the lengths of spheres in minimal filling diagrams associated to loops in such complexes are the terms of certain recurrence relations. We study the limit of the ratio of the area of such spheres over their length as the radii of spheres grow. Besides we compute the average Gaussian curvature for vertices inside these spheres.

We introduce t-uniform simplicial complexes and we show that the lengths of spheres in such complexes are the terms of certain Lucas sequences. We find optimal constants for the linear isoperimetric inequality in the hyperbolic case.

We investigate the collapsibility of systolic finite simplicial complexes of arbitrary dimension. The main tool we use in the proof is discrete Morse theory. We shall consider a convex subcomplex of the complex and project any simplex of the complex onto a ball around this convex subcomplex. These projections will induce a convenient gradient matching on the complex. Besides we analyze the combinatorial structure of both CAT(0) and systolic locally finite simplicial complexes of arbitrary dimensions. We will show that both such complexes possess an arborescent structure. Along the way we make use of certain well known results regarding systolic geometry.