Jesús M. F. Castillo

Operators on the Kalton-Peck space $Z_2$

We study operators on the Kalton-Peck Banach space $Z_2$ from various points of view: matrix representations, examples, spectral properties and operator ideals. For example, we prove that there are non-compact, strictly singular operators acting on $Z_2$ , but the product of two of them is a compact operator. Among applications, we show that every copy of $Z_2$ in $Z_2$ is complemented, and each semi-Fredholm operator on $Z_2$ has complemented kernel and range, the space $Z_2$ is $Z_2$ -automorphic and we give a partial solution to a problem of Johnson, Lindenstrauss and Schetchman about strictly singular perturbations of operators on $Z_2$ .

Quasilinear duality and inversion in Banach spaces

We present a unified approach to the processes of inversion and duality for quasilinear and $1$ -quasilinear maps; in particular, for centralizers and differentials generated by interpolation methods.

Symplectic forms on Banach spaces

We extend and generalize the result of Kalton and Swanson ( $Z_2$ is a symplectic Banach space with no Lagrangian subspace) by showing that all higher order Rochgberg spaces $\mathfrak R^{(n)}$ are symplectic Banach spaces with no Lagrangian subspaces. The nontrivial symplectic structure on even spaces is the one induced by the natural duality; while the nontrivial symplectic structure on odd spaces requires perturbation with a complex structure. We will also study symplectic structures on general Banach spaces and, motivated by the unexpected appearance of complex structures, we introduce and study almost symplectic structures.

The Kalton-Peck space is the complexification of the real Kalton-Peck space

The Kalton-Peck $Z_2$ space is the derived space obtained from the scale of $\ell_p$ spaces by complex interpolation at $1/2$ . If we denote by by $Z_2^{real}$ the derived space obtained from the scale of $\ell_p$ spaces by real interpolation at $(1/2, 1/2)$ , we show that $Z_2$ is the complexification of $Z_2^{real}$ . We also show that $Z_2^{real}$ shares the most important properties of $Z_2$ : it is isomorphic to its dual, it is singular and contains no complemented copies of $\ell_2$ .

Twisted sums of $c_0(I)$

The paper studies properties of twisted sums of a Banach space $X$ with $c_0(κ)$ . We first prove a representation theorem for such twisted sums from which we will obtain, among others, the following: (a) twisted sums of $c_0(I)$ and $c_0(κ)$ are either subspaces of $\ell_\infty(κ)$ or trivial on a copy of $c_0(κ^+)$ ; (b) under the hypothesis $[\mathfrak p = \mathfrak c]$ , when $K$ is either a suitable Corson compact, a separable Rosenthal compact or a scattered compact of finite height, there is a twisted sum of $C(K)$ with $c_0(κ)$ that is not isomorphic to a space of continuous functions; (c) all such twisted sums are Lindenstrauss spaces when $X$ is a Lindenstrauss space and $G$ -spaces when $X=C(K)$ with $K$ convex, which shows tat a result of Benyamini is optimal; (d) they are isomorphically polyhedral when $X$ is a polyhedral space with property ( $\star$ ), which solves a problem of Castillo and Papini.

On the ${\Ext}^2$-problem for Hilbert spaces

We show that $\Ext^2(\ell_2, \ell_2)\neq 0$ in the category of Banach spaces. This solves a sharpened version of Palamodov's problem and provides a solution to the second order version of Palais problem. We also show that $\Ext^2(\ell_1, \K)\neq 0$ in the category of quasi Banach spaces which solves the four-space problem for local convexity.

Sailing over three problems of Koszmider

We discuss three problems of Koszmider on the structure of the spaces of continuous functions on the Stone compact $K_{\mathcal A}$ generated by an almost disjoint family $\mathcal A$ of infinite subsets of $ω$ -- we present a solution to two problems and develop a previous results of Marciszewski and Pol answering the third one. We will show, in particular, that assuming Martin's axiom the space $C(K_{\mathcal A})$ is uniquely determined up to isomorphism by the cardinality of $\mathcal A$ whenever $|{\mathcal A}|<{\mathfrak c}$ , while there are $2^{\mathfrak c}$ nonisomorphic spaces $C(K_{\mathcal A})$ with $|{\mathcal A}|= {\mathfrak c}$ . We also investigate Koszmider's problems in the context of the class of separable Rosenthal compacta and indicate the meaning of our results in the language of twisted sums of $c_0$ and some $C(K)$ spaces.

The isomorphic Kottman constant of a Banach space

We show that the Kottman constant $K(\cdot)$ , together with its symmetric and finite variations, is continuous with respect to the Kadets metric, and they are log-convex, hence continuous, with respect to the interpolation parameter in a complex interpolation schema. Moreover, we show that $K(X)\cdot K(X^*)\geqslant 2$ for every infinite-dimensional Banach space $X$ . We also consider the isomorphic Kottman constant (defined as the infimum of the Kottman constants taken over all renormings of the space) and solve the main problem left open in [CaGoPa17], namely that the isomorphic Kottman constant of a twisted-sum space is the maximum of the constants of the respective summands. Consequently, the Kalton--Peck space may be renormed to have Kottman's constant arbitrarily close to $\sqrt{2}$ . For other classical parameters, such as the Whitley and the James constants, we prove the continuity with respect to the Kadets metric.

The separable Jung constant in Banach spaces

This paper contains a study of the separable form $J_s(\cdot)$ of the classical Jung constant. We first establish, following Davis \cite{davis}, that a Banach space $X$ is $1$ -separably injective if and only if $J_s(X)=1$ . This characterization is then used for the understanding of new $1$ -separably injective spaces. The last section establishes the inequality $\frac{1}{2}K(Y)J_s(X)\leq e(Y,X)$ connecting the separable Jung constant, Kottman's constant and the extension constant for Lipschitz maps, which is then used to obtain a simple proof of the equality $K(X,c_0)=e(X,c_0)$ of Kalton and a new characterization of $1$ -separable injectivity.

preprint2016arXiv

Nonseparable $C(K)$ -spaces can be twisted when $K$ is a finite height compact

We show that, given a nonmetrizable compact space $K$ having $ω$ -derived set empty, there always exist nontrivial exact sequences $0\to c_0\to E\to C(K)\to 0$ . This partially solves a problem posed in several papers: Is $Ext(C(K), c_0)\neq 0$ for $K$ a nonmetrizable compact set?

preprint2016arXiv

On isomorphically polyhedral $\mathcal L_\infty$ -spaces

We show that there exist $\mathcal L_\infty$ -subspaces of separable isomorphically polyhedral Lindenstrauss spaces that cannot be renormed to be a Lindenstrauss space.

preprint2016arXiv

Twisting non-commutative $L_p$ spaces

The paper makes the first steps into the study of extensions ("twisted sums") of noncommutative $L^p$ -spaces regarded as Banach modules over the underlying von Neumann algebra $\mathcal M$ . Our approach combines Kalton's description of extensions by centralizers (these are certain maps which are, in general, neither linear nor bounded) with a general principle, due to Rochberg and Weiss saying that whenever one finds a given Banach space $Y$ as an intermediate space in a (complex) interpolation scale, one automatically gets a self-extension $0\longrightarrow Y\longrightarrow X\longrightarrow Y \longrightarrow 0.$ For semifinite algebras, considering $L^p=L^p(\mathcal M,τ)$ as an interpolation space between $\mathcal M$ and its predual $\mathcal M_*$ one arrives at a certain self-extension of $L^p$ that is a kind of noncommutative Kalton-Peck space and carries a natural bimodule structure. Some interesting properties of these spaces are presented. For general algebras, including those of type III, the interpolation mechanism produces two (rather than one) extensions of one sided modules, one of left-modules and the other of right-modules. Whether or not one can find (nontrivial) self-extensions of bimodules in all cases is left open.

preprint2015arXiv

Complex structures on twisted Hilbert spaces

We investigate complex structures on twisted Hilbert spaces, with special attention paid to the Kalton-Peck $Z_2$ space and to the hyperplane problem. We consider (nontrivial) twisted Hilbert spaces generated by centralizers obtained from an interpolation scale of Köthe function spaces. We show there are always complex structures on the Hilbert space that cannot be extended to the twisted Hilbert space. If, however, the scale is formed by rearrangement invariant Köthe function spaces then there are complex structures on it that can be extended to a complex structure of the twisted Hilbert space. Regarding the hyperplane problem we show that no complex structure on $\ell_2$ can be extended to a complex structure on an hyperplane of $Z_2$ containing it.

preprint2014arXiv

$\aleph$ -injective Banach spaces and $\aleph$ -projective compacta

A Banach space $E$ is said to be injective if for every Banach space $X$ and every subspace $Y$ of $X$ every operator $t:Y\to E$ has an extension $T:X\to E$ . We say that $E$ is $\aleph$ -injective (respectively, universally $\aleph$ -injective) if the preceding condition holds for Banach spaces $X$ (respectively $Y$ ) with density less than a given uncountable cardinal $\aleph$ . We perform a study of $\aleph$ -injective and universally $\aleph$ -injective Banach spaces which extends the basic case where $\aleph=\aleph_1$ is the first uncountable cardinal. When dealing with the corresponding "isometric" properties we arrive to our main examples: ultraproducts and spaces of type $C(K)$ . We prove that ultraproducts built on countably incomplete $\aleph$ -good ultrafilters are $(1,\aleph)$ -injective as long as they are Lindenstrauss spaces. We characterize $(1,\aleph)$ -injective $C(K)$ spaces as those in which the compact $K$ is an $F_\aleph$ -space (disjoint open subsets which are the union of less than $\aleph$ many closed sets have disjoint closures) and we uncover some projectiveness properties of $F_\aleph$ -spaces.

preprint2014arXiv

Complex interpolation and twisted twisted Hilbert spaces

We show that Rochberg's generalizared interpolation spaces $\mathscr Z^{(n)}$ arising from analytic families of Banach spaces form exact sequences $0\to \mathscr Z^{(n)} \to \mathscr Z^{(n+k)} \to \mathscr Z^{(k)} \to 0$ . We study some structural properties of those sequences; in particular, we show that nontriviality, having strictly singular quotient map, or having strictly cosingular embedding depend only on the basic case $n=k=1$ . If we focus on the case of Hilbert spaces obtained from the interpolation scale of $\ell_p$ spaces, then $\mathscr Z^{(2)}$ becomes the well-known Kalton-Peck $Z_2$ space; we then show that $\mathscr Z^{(n)}$ is (or embeds in, or is a quotient of) a twisted Hilbert space only if $n=1,2$ , which solves a problem posed by David Yost; and that it does not contain $\ell_2$ complemented unless $n=1$ . We construct another nontrivial twisted sum of $Z_2$ with itself that contains $\ell_2$ complemented.

preprint2014arXiv

On nested sequences of convex sets in a Banach space

In this paper we study different aspects of the representation of weak*-compact convex sets of the bidual $X^{**}$ of a separable Banach space $X$ via a nested sequence of closed convex bounded sets of $X$ .

On the Bounded Approximation Property in Banach spaces

We prove that the kernel of a quotient operator from an $\mathcal L_1$ -space onto a Banach space $X$ with the Bounded Approximation Property (BAP) has the BAP. This completes earlier results of Lusky --case $\ell_1$ -- and Figiel, Johnson and Pełczyński --case $X^*$ separable. Given a Banach space $X$ , we show that if the kernel of a quotient map from some $\mathcal L_1$ -space onto $X$ has the BAP then every kernel of every quotient map from any $\mathcal L_1$ -space onto $X$ has the BAP. The dual result for $\mathcal L_\infty$ -spaces also hold: if for some $\mathcal L_\infty$ -space $E$ some quotient $E/X$ has the BAP then for every $\mathcal L_\infty$ -space $E$ every quotient $E/X$ has the BAP.

On ultrapowers of Banach spaces of type $\mathscr L_\infty$

We prove that no ultraproduct of Banach spaces via a countably incomplete ultrafilter can contain $c_0$ complemented. This shows that a "result" widely used in the theory of ultraproducts is wrong. We then amend a number of results whose proofs had been infected by that statement. In particular we provide proofs for the following statements: (i) All $M$ -spaces, in particular all $C(K)$ -spaces, have ultrapowers isomorphic to ultrapowers of $c_0$ , as well as all their complemented subspaces isomorphic to their square. (ii) No ultrapower of the Gurari\u ı space can be complemented in any $M$ -space. (iii) There exist Banach spaces not complemented in any $C(K)$ -space having ultrapowers isomorphic to a $C(K)$ -space.

On Uniformly finitely extensible Banach spaces

We continue the study of Uniformly Finitely Extensible Banach spaces (in short, UFO) initiated in Moreno-Plichko, \emph{On automorphic Banach spaces}, Israel J. Math. 169 (2009) 29--45 and Castillo-Plichko, \emph{Banach spaces in various positions.} J. Funct. Anal. 259 (2010) 2098-2138. We show that they have the Uniform Approximation Property of Pełczyński and Rosenthal and are compactly extensible. We will also consider their connection with the automorphic space problem of Lindenstrauss and Rosenthal --do there exist automorphic spaces other than $c_0(I)$ and $\ell_2(I)$ ?-- showing that a space all whose subspaces are UFO must be automorphic when it is Hereditarily Indecomposable (HI), and a Hilbert space when it is either locally minimal or isomorphic to its square. We will finally show that most HI --among them, the super-reflexive HI space constructed by Ferenczi-- and asymptotically $\ell_2$ spaces in the literature cannot be automorphic.

Stability constants and the homology of quasi-Banach spaces

We affirmatively solve the main problems posed by Laczkovich and Paulin in \emph{Stability constants in linear spaces}, Constructive Approximation 34 (2011) 89--106 (do there exist cases in which the second Whitney constant is finite while the approximation constant is infinite?) and by Cabello and Castillo in \emph{The long homology sequence for quasi-Banach spaces, with applications}, Positivity 8 (2004) 379--394 (do there exist Banach spaces $X,Y$ for which $\Ext(X,Y)$ is Hausdorff and non-zero?). In fact, we show that these two problems are the same.