Lim's theorems for multivalued mappings in CAT(0) spaces

Let X be a complete CAT(0) space. We prove that, if E is a nonempty bounded closed convex subset of X and a nonexpansive mapping satisfying the weakly inward condition, i.e., there exists p∈E such that ∀x∈E, ∀α∈[0,1], then T has a fixed point. In Banach spaces, this is a result of Lim [On asymptotic centers and fixed points of nonexpansive mappings, Canad. J. Math. 32 (1980) 421-430]. The related result for unbounded R-trees is given.     

CAT(0) spaces and expanders

We construct a CAT(0) space Y with Izeki–Nayatani invariant δ(Y) =?1. By a similar construction, we also prove that there exists a CAT(0) space which does not have Markov type p for every p?>?1.     

On the number of geodesic segments connecting two points on manifolds of non-positive curvature

We prove that on a complete Riemannian manifold of dimension with sectional curvature , two points which realize a local maximum for the distance function (considered as a function of two arguments) are connected by at least geodesic segments. A simpler version of the argument shows that if one of the points is fixed and then the two points are connected by at least geodesic segments. The proof uses mainly the convexity properties of the distance function for metrics of negative curvature.

     

Convergence theorems for a finite family of generalized nonexpansive multivalued mappings in CAT(0) spaces

We establish △-convergence and strong convergence theorems for an iterative process for a finite family of generalized nonexpansive multivalued mappings in a CAT(0) space. Moreover, we present a fixed point theorem for a pair consisting of a finite family of generalized nonexpansive single valued mappings, and a generalized nonexpansive multivalued mapping in CAT(0) spaces.     

Invariant approximations in CAT(0) spaces

Some common fixed point and invariant approximation results for CAT(0) spaces are obtained. Our results improve and extend some results of Shahzad and Markin [N. Shahzad, J. Markin, Invariant approximation for commuting mappings in hyperconvex and CAT(0) spaces, J. Math. Anal. Appl. 337 (2008) 1457–1464] and Dhompongsa, Kaewkhao, and Panyanak [S. Dhompongsa, A. Kaewkhao, B. Panyanak, Lim’s theorem for multivalued mappings in CAT(0) spaces, J. Math. Anal. Appl. 312 (2005) 478–487].     

Alternating projections in CAT(0) spaces

By using recently developed theory which extends the idea of weak convergence into CAT(0) space we prove the convergence of the alternating projection method for convex closed subsets of a CAT(0) space. Given the right notion of weak convergence it turns out that the generalization of the well-known results in Hilbert spaces is straightforward and allows the use of the method in a nonlinear setting. As an application, we use the alternating projection method to minimize convex functionals on a CAT(0) space.     

Boundaries of cocompact proper CAT(0) spaces

A proper CAT(0) metric space X is cocompact if it has a compact generating domain with respect to its full isometry group. Any proper CAT(0) space, cocompact or not, has a compact metrizable boundary at infinity ∂_∞X; indeed, up to homeomorphism, this boundary is arbitrary. However, cocompactness imposes restrictions on what the boundary can be. Swenson showed that the boundary of a cocompact X has to be finite-dimensional. Here we show more: the dimension of ∂_∞X has to be equal to the global ?ech cohomological dimension of ∂_∞X. For example: a compact manifold with non-empty boundary cannot be ∂_∞X with X cocompact. We include two consequences of this topological/geometric fact: (1) The dimension of the boundary is a quasi-isometry invariant of CAT(0) groups. (2) Geodesic segments in a cocompact X can “almost” be extended to geodesic rays, i.e. X is almost geodesically complete.     

At infinity of finite-dimensional CAT(0) spaces

We show that any filtering family of closed convex subsets of a finite-dimensional CAT(0) space X has a non-empty intersection in the visual bordification ${ \overline{X} = X \cup \partial X}We show that any filtering family of closed convex subsets of a finite-dimensional CAT(0) space X has a non-empty intersection in the visual bordification [`(X)] = X è?X{ \overline{X} = X \cup \partial X} . Using this fact, several results known for proper CAT(0) spaces may be extended to finite-dimensional spaces, including the existence of canonical fixed points at infinity for parabolic isometries, algebraic and geometric restrictions on amenable group actions, and geometric superrigidity for non-elementary actions of irreducible uniform lattices in products of locally compact groups.     

Fixed point results for multimaps in CAT(0) spaces

Common fixed point results for families of single-valued nonexpansive or quasi-nonexpansive mappings and multivalued upper semicontinuous, almost lower semicontinuous or nonexpansive mappings are proved either in CAT(0) spaces or R-trees. It is also shown that the fixed point set of quasi-nonexpansive self-mapping of a nonempty closed convex subset of a CAT(0) space is always nonempty closed and convex.     

CAT(0) spaces with polynomial divergence of geodesics

We construct a family of finite 2-complexes whose universal covers are CAT(0) and have polynomial divergence of desired degree. This answers a question of Gersten, namely whether such CAT(0) complexes exist.     

Quadratic divergence of geodesics in CAT(0) spaces

A finite CAT(0) 2-complexX is produced whose universal cover possesses two geodesic rays which diverge quadratically and such that no pair of rays diverges faster than quadratically. This example shows that an aphorism in Riemannian geometry, that predicts that in nonpositive curvature nonasymptotic geodesic rays either diverge exponentially or diverge linearly, does not hold in the setting of CAT(0) complexes. The fundamental group ofX is that of a compact Riemannian manifold with totally geodesic boundary and nonpositive sectional curvature.Partially supported by NSF grant DMS-9200433     

Cocompact CAT(0) spaces are almost geodesically complete

We prove that, under mild conditions, a cocompact CAT(0) space is almost geodesically complete.     

Common fixed point results in CAT(0) spaces

Let X be a complete CAT(0) space, T be a generalized multivalued nonexpansive mapping, and t be a single valued quasi-nonexpansive mapping. Under the assumption that T and t commute weakly, we shall prove the existence of a common fixed point for them. In this way, we extend and improve a number of recent results obtained by Shahzad (2009) [7] and [12], Shahzad and Markin (2008) [6], and Dhompongsa et al. (2005) [5].     

Invariant approximations for commuting mappings in CAT(0) and hyperconvex spaces

In this paper, for a commuting pair consisting of a point-valued nonexpansive self-mapping t and a set-valued nonexpansive self-mapping T of a hyperconvex metric space (or a CAT(0) space) X, we look for a solution to the problem of existence of z∈E⊂X such that

     

On compact submanifolds of nonpositive external curvature in Riemannian spaces

In this paper we consider compact multidimensional surfaces of nonpositive external curvature in a Riemannian space. If the curvature of the underlying space is ≥ 1 and the curvature of the surface is ≤ 1, then in small codimension the surface is a totally geodesic submanifold that is locally isometric to the sphere. Under stricter restrictions on the curvature of the underlying space, the submanifold is globally isometric to the unit sphere. Translated fromMatematicheskie Zametki, Vol. 60, No. 1, pp. 3–10, July, 1996.     

Effective metastability of Halpern iterates in CAT(0) spaces

This paper provides an effective uniform rate of metastability (in the sense of Tao) on the strong convergence of Halpern iterations of nonexpansive mappings in CAT(0) spaces. The extraction of this rate from an ineffective proof due to Saejung is an instance of the general proof mining program which uses tools from mathematical logic to uncover hidden computational content from proofs. This methodology is applied here for the first time to a proof that uses Banach limits and hence makes a substantial reference to the axiom of choice.