Let A be a dual Banach algebra with predual A∗ and consider the following assertions: (A) A is Connes-amenable; (B) A has a normal, virtual diagonal; (C) A∗ is an injective A-bimodule. For general A, all that is known is that (B) implies (A) whereas, for von Neumann algebras, (A), (B), and (C) are equivalent. We show that (C) always implies (B) whereas the converse is false for A = M(G) where G...

We give sufficient conditions for a planar quasiregular mapping to be injective in terms of the range of the differential matrix.

For reasoning on the Web, Datalog is lacking data extraction and value invention. This article proposes to overcome these limitations with “simulation unification” and “RDFLog”. Simulation unification is a non-standard unification inspired from regular path queries. Like standard unification, it yields bindings for variables in both terms to unify. Unlike standard unification, it does not try t...

We prove that there are only finitely many closed hyperbolic 3-manifolds with injectivity radius and first eigenvalue of the Laplacian bounded below whose fundamental groups can be generated by a given number of elements.

We establish a second order smooth variational principle valid for functions defined on (possibly infinite-dimensional) Riemannian manifolds which are uniformly locally convex and have a strictly positive injectivity radius and bounded sectional curvature.

in this paper‎, ‎we introduce the notion of $(m,n)$-‎algebr‎aically compact modules as an analogue of algebraically‎ ‎compact modules and then we show that $(m,n)$-algebraically‎ ‎compactness‎ ‎and $(m,n)$-pure injectivity for modules coincide‎. ‎moreover‎, ‎further characterizations of a‎ ‎$(m,n)$-pure injective module over a commutative ring are given‎.