On separably injective Banach spaces

We deal with two weak forms of injectivity which turn out to have a rich structure behind: separable injectivity and universal separable injectivity. We show several structural and stability properties of these classes of Banach spaces. We provide natural examples of (universally) separably injective spaces, including L-infinity ultraproducts built over countably incomplete ultrafilters, in spite of the fact that these ultraproducts are never injective. We obtain two fundamental characterizations of universally separably injective spaces. (a) A Banach space E is universally separably injective if and only if every separable subspace is contained in a copy of l(infinity) inside E. (b) A Banach space E is universally separably injective if and only if for every Separable space S one has Ext(l(infinity)/S, E) = 0. Section 6 focuses on special properties of 1-separably injective spaces. Lindenstrauss proved in the middle sixties that, under CH, 1-separably injective spaces are 1-universally separably injective and left open the question in ZFC. We construct a consistent example of a Banach space of type C (K) which is 1-separably injective but not universally 1-separably injective. (C) 2012 Elsevier Inc. All rights reserved.