We obtain a new class of compact Hausdorff spaces K for which c0 can be nontrivially twisted with C(K).
IntroductionIn this article, we present a broad new class of compact Hausdorff spaces K such that there exists a nontrivial twisted sum of c 0 and C(K), where C(K) denotes the Banach space of continuous real-valued functions on K endowed with the supremum norm. By a twisted sum of the Banach spaces Y and X we mean a short exact sequence 0 → Y → Z → X → 0, where Z is a Banach space and the maps are bounded linear operators. This twisted sum is called trivial if the exact sequence splits, i.e., if the map Y → Z admits a bounded linear left inverse (equivalently, if the map Z → X admits a bounded linear right inverse). In other words, the twisted sum is trivial if the range of the map Y → Z is complemented in Z; in this case, Z ∼ = X ⊕ Y . As in [7], we denote by Ext(X, Y ) the set of equivalence classes of twisted sums of Y and X and we write Ext(X, Y ) = 0 if every such twisted sum is trivial.Many problems in Banach space theory are related to the quest for conditions under which Ext(X, Y ) = 0. For instance, an equivalent statement for the classical Theorem of Sobczyk ([5, 13]) is that if X is a separable Banach space, then Ext(X, c 0 ) = 0 ([3, Proposition 3.2]). The converse of the latter statement clearly does not hold in general: for example, Ext ℓ 1 (I), c 0 = 0, since ℓ 1 (I) is a projective Banach space. However, the following question remains open: is it true that Ext C(K), c 0 = 0 for any nonseparable C(K) space? This problem was stated in [4,5] and further studied in the recent article [6], in which the author proves that, under the continuum hypothesis (CH), the space Ext C(K), c 0 is nonzero for a nonmetrizable compact Hausdorff space K of finite height. In addition to this result, everything else that is known about the problem is summarized in [6, Proposition 2], namely that Ext C(K), c 0 is nonzero for a C(K) space under any one of the following assumptions: