On splitting theorems for CAT(0) spaces and compact geodesic spaces of non-positive curvature

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 rigid, if Γ determines its boundary up to homeomorphisms of a CAT(0) space on which Γ acts geometrically. C. Croke and B. Kleiner have constructed a non-rigid CAT(0) group. As an application of the splitting theorems for CAT(0) spaces, we obtain that if Γ₁ and Γ₂ are rigid CAT(0) groups then so is Γ₁ × Γ₂.     

Superrigidity for irreducible lattices and geometric splitting

We propose general superrigidity results for actions of irreducible lattices on $\mathrm{CAT}(0)$ spaces. In particular, we obtain a new and self-contained proof of Margulis' superrigidity theorem for uniform irreducible lattices in non-simple groups. However, the statements hold for lattices in products of arbitrary groups; likewise, the geometric representations need not be linear. The proof uses notably a new splitting theorem which can be viewed as an infinite-dimensional and singular generalization of the Lawson–Yau/Gromoll–Wolf theorem. To cite this article: N. Monod, C. R. Acad. Sci. Paris, Ser. I 340 (2005).     

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.     

Conway’s Question: The Chase for Completeness

We study various degrees of completeness for a Tychonoff space X. One of them plays a central role, namely X is called a Conway space if X is sequentially closed in its Stone–?ech compactification β X (a prominent example of Conway spaces is provided by Dieudonné complete spaces). The Conway spaces constitute a bireflective subcategory Conw of the category Tych of Tychonoff spaces. Replacing sequential closure by the general notion of a closure operator C, we introduce analogously the subcategory Conw _C of C-Conway spaces, that turns out to be again a bireflective subcategory of Tych. We show that every bireflective subcategory of Tych can be presented in this way by building a Galois connection between bireflective subcategories of Tych and closure operators of Top finer than the Kuratowski closure. Other levels of completeness are considered for the (underlying topological spaces of) topological groups. A topological group G is sequentially complete if it is sequentially closed in its Ra?kov completion ${ \ifmmode\expandafter\tilde\else\expandafter\~\fi{G}}$ . The sequential completeness for topological groups is stronger than Conway’s property, although they coincide in some classes of topological groups, for example: free (Abelian) topological groups, pseudocompact groups, etc.     

Characterizations of ɛ-duality gap statements for constrained optimization problems

In this paper we present different regularity conditions that equivalently characterize various ?-duality gap statements (with ? ≥ 0) for constrained optimization problems and their Lagrange and Fenchel-Lagrange duals in separated locally convex spaces, respectively. These regularity conditions are formulated by using epigraphs and ?-subdifferentials. When ? = 0 we rediscover recent results on stable strong and total duality and zero duality gap from the literature.     

Separation properties in algebraic categories of topological spaces

Full subcategories C ? Top of the category of topological spaces, which are algebraic over Set in the sense of Herrlich [2], have pleasant separation properties, mostly subject to additional closedness assumptions. For instance, every C-object is a T₁-space, if the two-element discrete space belongs to C. Moreover, if C is closed under the formation of finite powers in Top and even varietal [2], then every C-object is Hausdorff. Hence, the T₂-axiom turns out to be (nearly) superfluous in Herrlich's and Strecker's characterization of the category of compact Hausdorff spaces [1], although it is essential for the proof.If we think of C-objects X as universal algebras (with possibly infinite operations), then the subalgebras of X form the closed sets of a compact topology on X, provided that the ordinal spaces [0, β] belong to C. This generalizes a result in [3]. The subalgebra topology is used to prove criterions for the Hausdorffness of every space in C, if C is only algebraic.     

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.     

Three-dimensional FC Artin Groups are CAT(0)

Building upon earlier work of T. Brady, we construct locally CAT(0) classifying spaces for those Artin groups which are three-dimensional and which satisfy the FC (flag complex) condition. The approach is to verify the ‘link condition’ by applying gluing arguments for CAT(1) spaces and by using the curvature testing techniques of Elder and McCammond [Expositio Math. 11(1) (2002), 143–158].     

Complex interpolation spaces on multiply-connected domains

Variants of Calderón's interpolation spaces [A₀, A₁]_θ which are defined using a multiply-connected domain instead of the strip 0 < Re z < 1 are considered. It is shown that they coincide to within equivalence of norms with Calderón's spaces. This result applies also to spaces obtained by generalised forms of Calderón's construction due to Coifman, Cwikel, Rochberg, Sagher, and Weiss (Advan. in Math.43 (1982), 203–229).     

The main invariants of a complex finsler space

In this paper we extend the results obtained in [3], where are investigated the general settings of the two-dimensional complex Finsler manifolds, with respect to a local complex Berwald frame. The geometry of such manifolds is controlled by three real invariants which live on T'M: two horizontal curvature invariants K and W and one vertical curvature invariant I. By means of these invariants are defined both the horizontal and the vertical holomorphic sectional curvatures. The complex Landsberg and Berwald spaces are of particular interest. Complex Berwald spaces coincide with Kähler spaces, in the two – dimensional case. We establish the necessary and sufficient condition under which K is a constant and we obtain a characterization for the Kähler purely Hermitian spaces by the fact K = W = constant and I = 0. For the class of complex Berwald spaces we have K = W = 0. Finally, a classification of two-dimensional complex Finsler spaces for which the horizontal curvature satisfies a special property is obtained.     

Applications of the purely imaginary powers of operators in Hilbert spaces

In C. R. Acad. Sci. Paris299 (1984), 173–176, we discussed purely imaginary powers A^iy(−∞ < y < + ∞) of linear operators A in Hilbert spaces. Here we utilize the results to consider the various problems: generation of cosine families in Hilbert spaces, coincidence of the definition domains of the fractional powers of operators, differentiability of the functions of the form A(·)⁰ (0 < θ < 1) where A(·) is an operator valued function defined on an interval [0, T], and so forth.     

Canonical subbase-compactness of topological products

For topological products the concept of canonical subbase-compactness is introduced, and the question analyzed under what conditions such products are canonically subbase-compact in ZF-set theory.Results: (1) Products of finite spaces are canonically subbase-compact iff AC(fin), the axiom of choice for finite sets, holds.(2) Products of n-element spaces are canonically subbase-compact iff AC(<n), the axiom of choice for sets with less than n elements, holds.(3) Products of compact spaces are canonically subbase-compact iff AC, the axiom of choice, holds.(4) All powers XI of a compact space X are canonically subbase compact iff X is a Loeb-space.These results imply that in ZF the implications

     

Generalizing the Croke-Kleiner construction

It is well known that every word hyperbolic group has a well-defined visual boundary. An example of C. Croke and B. Kleiner shows that the same cannot be said for CAT(0) groups. All boundaries of a CAT(0) group are, however, shape equivalent, as observed by M. Bestvina and R. Geoghegan. Bestvina has asked if they also satisfy the stronger condition of being cell-like equivalent. This article describes a construction which will produce CAT(0) groups with multiple boundaries. These groups have very complicated boundaries in high dimensions. It is our hope that their study may provide insight into Bestvina's question.     

Exponentiation in V-categories

For a Heyting algebra V which, as a category, is monoidal closed, we obtain characterizations of exponentiable objects and morphisms in the category of V-categories and apply them to some well-known examples. In the case these characterizations of exponentiable morphisms and objects in the categories (P)Met of (pre)metric spaces and non-expansive maps show in particular that exponentiable metric spaces are exactly the almost convex metric spaces, while exponentiable complete metric spaces are the complete totally convex ones.     

CAT(0) groups and Coxeter groups whose boundaries are scrambled sets

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 proper CAT(0) space X. (Such a group G is called a CAT(0) group.) Then the group G acts by homeomorphisms on the boundary ∂X of X and we can define a metric d_∂X on the boundary ∂X. The boundary ∂X is called a scrambled set if, for any α,β∈∂X with α≠β, (1) lim sup{d_∂X(gα,gβ)∣g∈G}>0 and (2) lim inf{d_∂X(gα,gβ)∣g∈G}=0. We investigate when boundaries of CAT(0) groups (and Coxeter groups) are scrambled sets.     

Characterizations of nuclearity in Fréchet spaces

We extend the result of A. Bellow (Proc. Nat. Acad. Sci. USA73, No. 6 (1976), 1798–1799) on the characterization of finite-dimensional Banach spaces, to a characterization of nuclearity for Fréchet spaces. Those spaces are nuclear iff every Pettis-bounded and Pettis-uniformly integrable amart is mean convergent. Several other characterizations are given.     

Mutually nearest and farthest points of sets and the Drop Theorem in geodesic spaces

Let A and X be nonempty, bounded and closed subsets of a geodesic metric space (E, d). The minimization (resp. maximization) problem denoted by min(A, X) (resp. max(A, X)) consists in finding ${(a_0,x_0) \in A \times X}$ such that ${d(a_0,x_0) = \inf\left\{d(a,x) : a \in A, x \in X\right\}}$ (resp. ${d(a_0,x_0) = \sup\left\{d(a,x) : a \in A, x \in X\right\}}$ ). We give generic results on the well-posedness of these problems in different geodesic spaces and under different conditions considering the set A fixed. Besides, we analyze the situations when one set or both sets are compact and prove some specific results for CAT(0) spaces. We also prove a variant of the Drop Theorem in Busemann convex geodesic spaces and apply it to obtain an optimization result for convex functions.     

Surface group representations with maximal Toledo invariant

We study representations of compact surface groups on Hermitian symmetric spaces and characterize those with maximal Toledo invariant. To cite this article: M. Burger et al., C. R. Acad. Sci. Paris, Ser. I 336 (2003).