arXiv research

We show that groups satisfying Kazhdan's property (T) have no unbounded actions on finite dimensional CAT(0) cube complexes, and deduce that there is a locally CAT(-1) Riemannian manifold which is not homotopy equivalent to any finite dimensional, locally CAT(0) cube complex.

Non-uniform lattices in PU(n,1) cannot geometrically act on CAT(0) cube complexes.

We study discrete groups from the view point of a dimension gap in connection to CAT(0) geometry. Developing studies by Brady-Crisp and Bridson, we show that there exist finitely presented groups of geometric dimension 2 which do not act properly on any proper CAT(0) spaces of dimension 2 by isometries, although such a…

We prove that every finite connected simplicial complex has the homology of the classifying space for some $\mathrm{CAT}(0)$ cubical duality group. More specifically, for any finite simplicial complex $X$, we construct a locally $\mathrm{CAT}(0)$ cubical complex $T_{X}$ and an acyclic map $t_{X} : T_{X} \to X$ such tha…

Collapsibility is a combinatorial strengthening of contractibility. We relate this property to metric geometry by proving the collapsibility of any complex that is CAT(0) with a metric for which all vertex stars are convex. This strengthens and generalizes a result by Crowley. Further consequences of our work are: (1) …

We give a generalized and self-contained account of Haglund-Paulin's wallspaces and Sageev's construction of the CAT(0) cube complex dual to a wallspace. We examine criteria on a wallspace leading to finiteness properties of its dual cube complex. Our discussion is aimed at readers wishing to apply these methods to pro…

We study complex surfaces with locally CAT(0) polyhedral Kahler metrics and construct such metrics on CP^2 with various orbifold structures. In particular, in relation to questions of Gromov and Davis-Moussong we construct such metrics on a compact quotient of the two-dimensional unite complex ball. In the course of th…

CAT(0) properties extended to a class of Shephard groups.

The following inequality \cat X\le \cat Y+\lceil\frac{hd(X)-r}{r+1}\rceil holds for every locally trivial fibration between $ANE$ spaces $f:X\to Y$ which admits a section and has the $r$-connected fiber where $hd(X)$ is the homotopical dimension of $X$. We apply this inequality to prove that \cat X\le \lceil\frac{\dim …

CAT(0) study of curve complements and families.

Let $X$ be a contractible $2$-complex which is a union of two contractible subcomplexes $Y$ and $Z.$ Is the intersection $Y\cap Z$ contractible as well? In this note, we prove that the inclusion-induced map $π_{1}(Y\cap Z)\rightarrow π_{1}(Z)$ is injective if $Y$ is $π_{1}$-injective subcomplex in a locally CAT(0) 2-co…

Locally finite complexes with polyhedral $CAT(0)$ metrics are arborescent.

Minimal genus surfaces solve homology problems in finite complexes.

We construct new families of quasimorphisms on many groups acting on CAT(0) cube complexes. These quasimorphisms have a uniformly bounded defect of 12, and they "see" all elements that act hyperbolically on the cube complex. We deduce that all such elements have stable commutator length at least 1/24. The group actions…

Groups on CAT(0) cube complexes grow exponentially uniformly.

Study mapping class groups on CAT(0) cube complexes.

We prove that if $G = G_1\times\dots\times G_n$ acts essentially, properly and cocompactly on a CAT(0) cube complex X, then the cube complex splits as a product. We use this theorem to give various examples of groups for which the minimal dimension of a cube complex the group acts on is strictly larger than that of the…

Study proves topological complexity and LS-category inequalities for specific groups and manifolds.

Let G be a group acting geometrically on a CAT(0) cube complex X. We prove first that G is hyperbolic relative to the collection P of subgroups if and only if the simplicial boundary of X is the disjoint union of a nonempty discrete set, together with a pairwise-disjoint collection of subcomplexes corresponding, in the…

New group acts on complex but not in lower dimensions.

New CAT(0) groups show superexponential subgroup Dehn functions.

We examine volume pinching problems of CAT(1) spaces. We characterize a class of compact geodesically complete CAT(1) spaces of small specific volume. We prove a sphere theorem for compact CAT(1) homology manifolds of small volume. We also formulate a criterion of manifold recognition for homology manifolds on volume g…

Artin groups of type $D_n$ have special cycles and complexes with interesting properties.

Given a CAT(0) cube complex X, we show that if Aut(X) $\neq$ Isom(X) then there exists a full subcomplex of X which decomposes as a product with $\mathbb{R}^n$. As applications, we prove that if X is $δ$-hyperbolic, cocompact and 1-ended, then Aut(X) $=$ Isom(X) unless X is quasi-isometric to $\mathbb{H}^2$, and extend…

Uniform proof reconstructs spaces using cross ratio on boundary.

The study finds conditions for groups acting on CAT(0) cube complexes to have infinite girth.

In this paper, we study the geometry of cone-offs of CAT(0) cube complexes over a family of combinatorially convex subcomplexes, with an emphasis on their Gromov-hyperbolicity. A first application gives a direct cubical proof of the characterization of the (strong) relative hyperbolicity of right-angled Coxeter groups,…

Develops theory of relatively geometric actions on CAT(0) cube complexes.

We prove a Tits alternative theorem for groups acting on CAT(0) cubical complexes. Namely, suppose that $G$ is a group for which there is a bound on the orders of its finite subgroups. We prove that if $G$ acts properly on a finite-dimensional CAT(0) cubical complex, then either $G$ contains a free subgroup of rank 2 o…

CAT(0) spaces close to Euclidean spheres are homeomorphic to Euclidean spaces.

We use the Berstein-Hilton invariant to prove the formula $\cat(M_1\sharp M_2)=\max\{\cat M_1, \cat M_2\}$ for the Lustrnik-Schnirelmann category of the connected sum of closed manifolds $M_1$ and $M_2$.

Study shows Roller compactification's median graph has limited asymptotic dimension.

Croke and Kleiner constructed two homeomorphic locally CAT(0) complexes whose universal covers have visual boundaries that are not homeomorphic. We construct two homeomorphic locally CAT(0) complexes so that the visual boundary of one universal cover contains a nonplanar graph, while the visual boundary of the other do…

In this paper, we investigate finitely generated groups of isometries of CAT(0) spaces containing some central hyperbolic isometry, and study CAT(0) groups. We show that every CAT(0) group $Γ$ has the semi-direct product structure $Γ=(\cdots(((Γ'\rtimes\langleδ_{n}\rangle)\rtimes\langleδ_{n-1}\rangle)\rtimes\langleδ_{n…

Asymptotically CAT(0) metrics and Z-structures for HHGs, proving Farrell-Jones Conjecture.

In this paper, we show some splitting theorems for CAT(0) spaces on which a product group acts geometrically and we obtain a splitting theorem for compact geodesic spaces of non-positive curvature. A CAT(0) group $Γ$ is said to be {\it rigid}, if $Γ$ determines the boundary up to homeomorphisms of a CAT(0) space on whi…

The study establishes conditions for groups acting on polygonal complexes to contain virtually free subgroups.

We prove that $$ \cat X\le cd(π_1(X))+\bigg\lceil\frac{\dim X-1}{2}\bigg\rceil$$ for every CW complex $X$ where $cd(π_1(X))$ denotes the cohomological dimension of the fundamental group of $X$.

Study cup products on CAT(0) cube complexes, proving quasimorphisms' vanishing results.

We study the curvature of metric spaces and branched covers of Riemannian manifolds, with applications in topology and algebraic geometry. Here curvature bounds are expressed in terms of the CAT(k) inequality. We prove a general CAT(k) extension theorem, giving sufficient conditions on and near the boundary of a locall…

New method connects CAT(0) spaces to hyperbolic spaces.

Extends folding techniques to study subgroups of CAT(0) cube complexes.

We construct several non-trivial examples of CAT(1) spaces by using the idea of free construction.

Constructs retractions of CAT(1) spaces to convex subsets.

Groups acting on CAT(0) cube complexes have hyperfinite boundary actions.

This paper shows how to approximate CAT(-1) representations by Fuchsian ones.

The Lusternik-Schnirelmann category and topological complexity are important invariants of manifolds (and more generally, topological spaces). We study the behavior of these invariants under the operation of taking the connected sum of manifolds. We give a complete answer for the LS-categoryof orientable manifolds, $\c…

The study shows that certain complex geometries are hyperbolic and contractible but fail to be CAT(0).