arXiv research

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

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

We prove that every finite-volume hyperbolic 3-manifold M with p > 0 cusps admits a canonical, complete, piecewise Euclidean CAT(0) metric, with a canonical projection to a CAT(0) spine K. Moreover, (a) the universal cover of M endowed with the CAT(0) metric is a union of Euclidean half-spaces, glued together by identi…

A simpler proof shows $L^2$-metric completion is CAT(0).

In this paper, we study the capacity dimension of the boundary of $CAT(0)$ spaces. We first compare the two metrics on the boundary of a hyperbolic $CAT(0)$ space, i.e., the visual metric and the conical metric, and prove that they give the same capacity dimension of the boundary. Then we study the capacity dimension o…

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) …

A surface which does not admit a length nonincreasing deformation is called metric minimizing. We show that metric minimizing surfaces in CAT(0) spaces are locally CAT(0) with respect to their intrinsic metric.

A new metric evaluates classification algorithms at the point of indistinguishability.

Study shows how maps from certain geometric spaces behave near their edges.

We prove an optimal systolic inequality for CAT(0) metrics on a genus~2 surface. We use a Voronoi cell technique, introduced by C.~Bavard in the hyperbolic context. The equality is saturated by a flat singular metric in the conformal class defined by the smooth completion of the curve y^2=x^5-x. Thus, among all CAT(0) …

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…

We show that the translation length of any parabolic isometry on a complete semi-uniformly visible CAT(0) space is always zero. As a consequence, we will classify the isometries on visible CAT(0) spaces in terms of translation lengths. We will also show that the moduli space $\mathbb{M}(S_{g,n})$ of surface $S_{g,n}$ o…

We prove that an open manifold $M$ of dimension at least $5$ which admits a complete CAT(0) polyhedral metric is pseudo-collarable, its fundamental group at infinity is strongly perfectly semistable and has vanishing Chapman-Siebenmann obstruction $τ_{\infty}(M)$. Moreover, this implies that $M$ is topologically collap…

The study finds multiple solutions for constant Q-curvature metrics.

This paper proves properties of CAT(κ) surfaces with bounded curvature.

The study glues $CAT(0)$ subsets of the plane under certain curvature conditions.

We consider properly discontinuous, isometric, convex cocompact actions of surface groups on a CAT(-1) space. We show that the limit set of such an action, equipped with the canonical visual metric, is a (weak) quasicircle in the sense of Falconer and Marsh. It follows that the visual metrics on such limit sets are cla…

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…

Busemann G-spaces with Finsler metrics

Lipschitz regularity proved for harmonic map heat flows into CAT(0) spaces.

CAT framework improves AI medical screening fairness and reliability.

Groups acting on CAT(0) spaces without 3-flats have rigid properties.

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

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…

Given a fixed closed manifold M, we exhibit an explicit formula for the distance function of the canonical L^2 Riemannian metric on the manifold of all smooth Riemannian metrics on M. Additionally, we examine the (metric) completion of the manifold of metrics with respect to the L^2 metric and show that there exists a …

New coarse LS-category introduced for groups and spaces.

We construct examples of smooth 4-dimensional manifolds M supporting a locally CAT(0)-metric, whose universal cover X satisfy Hruska's isolated flats condition, and contain 2-dimensional flats F with the property that the boundary at infinity of F defines a nontrivial knot in the boundary at infinity of X. As a consequ…

New criterion for generating free groups in CAT(0) spaces.

Let K be a 2-dimensional finite flag complex. We study the CAT(0) dimension of the `Bestvina-Brady group', or `Artin kernel', Gamma_K. We show that Gamma_K has CAT(0) dimension 3 unless K admits a piecewise Euclidean metric of non-positive curvature. We give an example to show that this implication cannot be reversed. …

The paper defines a new metric space invariant and computes it for various manifolds.

In this paper we study CAT(0) groups and their splittings as graphs of groups. For one-ended CAT(0) groups with isolated flats we prove a theorem characterizing exactly when the visual boundary is locally connected. This characterization depends on whether the group has a certain type of splitting over a virtually abel…

We show that for $X$ a proper $\mathrm{CAT}(-1)$ space there is a maximal open subset of the horofunction compactification of $X\times X$ with respect to the maximum metric that compactifies the diagonal action of an infinite quasi-convex group of the isometries of $X$. We also consider the product action of two quasi-…

We study analytic properties of harmonic maps from Riemannian polyhedra into CAT($κ$) spaces for $κ\in\{0,1\}$. Locally, on each top-dimensional face of the domain, this amounts to studying harmonic maps from smooth domains into CAT($κ$) spaces. We compute a target variation formula that captures the curvature bound in…

Homotopy equivalent boundaries of cube complexes are studied.

For a k-flat F inside a locally compact CAT(0)-space X, we identify various conditions that ensure that F bounds a (k+1)-dimensional half flat in X. Our conditions are formulated in terms of the ultralimit of X. As applications, we obtain (1) constraints on the behavior of quasi-isometries between tocally compact CAT(0…

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

In this paper, we study CAT(0) groups and Coxeter groups whose boundaries are scrambled sets. Suppose that a group $G$ acts geometrically (i.e. properly and cocompactly by isometries) on a CAT(0) space $X$. (Such group $G$ is called a {\it CAT(0) group}.) Then the group $G$ acts by homeomorphisms on the boundary $\part…

We show that the geometry of a Riemannian manifold (M,g) is sensitive to the apparently purely homotopy-theoretic invariant of M known as the Lusternik-Schnirelmann category, denoted cat_{LS}(M). Here we introduce a Riemannian analogue of cat_{LS}(M), called the systolic category of M. It is denoted cat_{sys}(M), and d…

The study proves conditions for CAT(0) spaces with higher rank rigidity.

Harmonic maps from surfaces to CAT(k) spheres are branched coverings.

Let $M_k$ be the complete, simply connected, Riemannian 2-manifold of constant curvature $k \le 0$. Let $E$ be a closed, simply connected subspace of $M_k$ with the property that every two points in $E$ is connected by a rectifiable path in $E$. We show that under the induced path metric, $E$ is a complete CAT($k$) spa…

This work achieves exponential concentration in heavy-tailed data over CAT(κ) spaces using the Fréchet median.

Constructs CAT(0) actions for certain groups without unipotent elements.

Study on automorphism groups of Coxeter groups, proving they are not CAT(0).

The study improves harmonic map theory for metric spaces with curvature bounds.

Let S be an orientable surface of finite type and let Mod(S) be its mapping class group. We consider actions of Mod(S) by semisimple isometries on complete CAT(0) spaces. If the genus of S is at least 3, then in any such action all Dehn twists act as elliptic isometries. The action of Mod(S) on the completion of Teichm…

New method glues Lorentzian spaces, preserving curvature bounds.

New findings on geometric flows and equidistribution in Hilbert geometry.