-
Polyhedrality for twisted sums with $C(ω^α)$
Authors:
Jesús M. F. Castillo,
Alberto Salguero Alarcón
Abstract:
We obtain two partial answers to the 3-space problem for isomorphic polyhedrality: (1) every twisted sum of $C(α)$, $α<ω_1$, with a separable isomorphically polyhedral space with the BAP, is isomorphically polyhedral. (2) Every twisted sum of $c_0(κ)$ and a Banach space having a boundary with property $(*)$ has a boundary with property $(*)$, hence it is isomorphically polyhedral.
We obtain two partial answers to the 3-space problem for isomorphic polyhedrality: (1) every twisted sum of $C(α)$, $α<ω_1$, with a separable isomorphically polyhedral space with the BAP, is isomorphically polyhedral. (2) Every twisted sum of $c_0(κ)$ and a Banach space having a boundary with property $(*)$ has a boundary with property $(*)$, hence it is isomorphically polyhedral.
△ Less
Submitted 11 March, 2025; v1 submitted 24 February, 2025;
originally announced February 2025.
-
Trimming the Johnson bonsai
Authors:
Félix Cabello Sánchez,
Jesús M. F. Castillo,
Yolanda Moreno
Abstract:
We show that if $p>1$ every subspace of $\ell_p(Γ)$ is an $\ell_p$-sum of separable subspaces of $\ell_p$, and we provide examples of subspaces of $\ell_p(Γ)$ for $0<p\leq 1$ that are not even isomorphic to any $\ell_p$-sum of separable spaces, notably the kernel of any quotient map $\ell_p(Γ)\to L_1(2^Γ)$ with $Γ$ uncountable. We involve the separable complementation property (SCP) and the separa…
▽ More
We show that if $p>1$ every subspace of $\ell_p(Γ)$ is an $\ell_p$-sum of separable subspaces of $\ell_p$, and we provide examples of subspaces of $\ell_p(Γ)$ for $0<p\leq 1$ that are not even isomorphic to any $\ell_p$-sum of separable spaces, notably the kernel of any quotient map $\ell_p(Γ)\to L_1(2^Γ)$ with $Γ$ uncountable. We involve the separable complementation property (SCP) and the separable extension property (SEP), showing that if $X$ is a Banach space of density character $\aleph_1$ with the SCP then the kernel of any quotient map $\ell_p(Γ)\to X$ is a complemented subspace of a space with the SCP and, consequently, has the SEP.
△ Less
Submitted 22 October, 2024;
originally announced October 2024.
-
The structure of Rochberg spaces
Authors:
Jesús M. F. Castillo,
Manuel González,
Raúl Pino
Abstract:
We study the structure of the Rochberg Banach spaces $\mathfrak Z_n$ associated to the interpolation pair $(\ell_\infty, \ell_1)$ at $1/2$, and the operators defined on them
We study the structure of the Rochberg Banach spaces $\mathfrak Z_n$ associated to the interpolation pair $(\ell_\infty, \ell_1)$ at $1/2$, and the operators defined on them
△ Less
Submitted 16 May, 2023;
originally announced May 2023.
-
Operators on the Kalton-Peck space $Z_2$
Authors:
Jesús M. F. Castillo,
Manuel González,
Raúl Pino
Abstract:
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 se…
▽ More
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$.
△ Less
Submitted 3 July, 2022;
originally announced July 2022.
-
Twisted sums of $c_0(I)$
Authors:
Jesús M. F. Castillo,
Alberto Salguero Alarcón
Abstract:
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 suit…
▽ More
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.
△ Less
Submitted 1 April, 2022;
originally announced April 2022.
-
Symplectic forms on Banach spaces
Authors:
Jesús M. F. Castillo,
Wilson Cuellar,
Manuel González Ortiz,
Raúl Pino
Abstract:
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 space…
▽ More
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.
△ Less
Submitted 1 April, 2022;
originally announced April 2022.
-
The Kalton-Peck space is the complexification of the real Kalton-Peck space
Authors:
Jesús M. F. Castillo,
Yolanda Moreno Salguero
Abstract:
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…
▽ More
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$.
△ Less
Submitted 1 April, 2022;
originally announced April 2022.
-
A forgotten theorem of Ortyński, not far off
Authors:
Félix Cabello Sánchez,
Jesús M. F. Castillo,
Yolanda Moreno Salguero
Abstract:
We combine techniques of Ortyński \cite{orty} and Moreno and Plichko \cite{moreplic} to show that, for $0<p<\infty$, every subspace of $\ell_p(Γ)$ having density character $\mathfrak m$ has the form $\ell_p(\mathfrak m, H_m)$ for some family of subspaces $H_m\subset \ell_p$. The ideas of Ortyński are then applied to obtain unique positions for Lindenstrauss spaces.
We combine techniques of Ortyński \cite{orty} and Moreno and Plichko \cite{moreplic} to show that, for $0<p<\infty$, every subspace of $\ell_p(Γ)$ having density character $\mathfrak m$ has the form $\ell_p(\mathfrak m, H_m)$ for some family of subspaces $H_m\subset \ell_p$. The ideas of Ortyński are then applied to obtain unique positions for Lindenstrauss spaces.
△ Less
Submitted 15 June, 2024; v1 submitted 1 April, 2022;
originally announced April 2022.
-
Quasilinear duality and inversion in Banach spaces
Authors:
Jesús M. F. Castillo,
Manuel González
Abstract:
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.
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.
△ Less
Submitted 1 April, 2022;
originally announced April 2022.
-
Interpolator symmetries and new Kalton-Peck spaces
Authors:
Jesús M. F. Castillo,
Willian H. G. Correa,
Valentin Ferenczi,
Manuel González
Abstract:
Diagrams generated by three interpolators in an abstract Kalton-Montgomery complex like interpolation scheme. We will consider in detail the case of the first three Schechter interpolators associated to the usual Calderón complex interpolation method in two especially interesting cases: weighted $\ell_2$ spaces, i.e., interpolation pairs $(\ell_2(w^{-1}), \ell_2(w))_θ$, and $\ell_p$ spaces, i.e.,…
▽ More
Diagrams generated by three interpolators in an abstract Kalton-Montgomery complex like interpolation scheme. We will consider in detail the case of the first three Schechter interpolators associated to the usual Calderón complex interpolation method in two especially interesting cases: weighted $\ell_2$ spaces, i.e., interpolation pairs $(\ell_2(w^{-1}), \ell_2(w))_θ$, and $\ell_p$ spaces, i.e., the interpolation pair $(\ell_\infty, \ell_1)_θ$, both at $θ=1/2$.
△ Less
Submitted 22 January, 2023; v1 submitted 20 November, 2021;
originally announced November 2021.
-
The hitchhiker guide to Categorical Banach space theory. Part II
Authors:
Jesús M. F. Castillo
Abstract:
What has category theory to offer to Banach spacers? In this second part survey-like paper we will focus on very much needed advanced categorical and homological elements, such as Kan extensions, derived category and derived functor or Abelian hearts of Banach spaces.
What has category theory to offer to Banach spacers? In this second part survey-like paper we will focus on very much needed advanced categorical and homological elements, such as Kan extensions, derived category and derived functor or Abelian hearts of Banach spaces.
△ Less
Submitted 12 October, 2021;
originally announced October 2021.
-
The Butterfly lemma
Authors:
Jesús M. F. Castillo,
Daniel Morales
Abstract:
The Butterfly lemma we present can be considered a reiteration theorem for differentials generated from a complex interpolation process for families of Köthe spaces. The lemma will be used to clarify the effect of different configurations in the resulting differential (because although interpolation is an orientation-free process, the obtention of differentials is not) and to round off a few aspec…
▽ More
The Butterfly lemma we present can be considered a reiteration theorem for differentials generated from a complex interpolation process for families of Köthe spaces. The lemma will be used to clarify the effect of different configurations in the resulting differential (because although interpolation is an orientation-free process, the obtention of differentials is not) and to round off a few aspects of Kalton's interpolation theorem.
△ Less
Submitted 12 October, 2021;
originally announced October 2021.
-
Group actions on twisted sums of Banach spaces
Authors:
Jesús M. F. Castillo,
Valentin Ferenczi
Abstract:
We study bounded actions of groups and semigroups $G$ on exact sequences of Banach spaces from the point of view of quasilinear maps, characterize the actions on the twisted sum space by commutator estimates and introduce the associated notions of $G$-centralizer and $G$-equivariant map. We will show that when (A) $G$ is an amenable group and (U) the target space is complemented in its bidual by a…
▽ More
We study bounded actions of groups and semigroups $G$ on exact sequences of Banach spaces from the point of view of quasilinear maps, characterize the actions on the twisted sum space by commutator estimates and introduce the associated notions of $G$-centralizer and $G$-equivariant map. We will show that when (A) $G$ is an amenable group and (U) the target space is complemented in its bidual by a $G$-equivariant projection, then uniformly bounded compatible families of operators generate bounded actions on the twisted sum space; that compatible quasilinear maps are linear perturbations of $G$-centralizers; and that, under (A) and (U), $G$-centralizers are bounded perturbations of $G$-equivariant maps. The previous results are optimal. Several examples and counterexamples are presented involving the action of the isometry group of $L_p(0,1), p\neq 2$ on the Kalton-Peck space $Z_p$, certain non-unitarizable triangular representations of the free group $F_\infty$ on the Hilbert space, the compatibility of complex structures on twisted sums, or bounded actions on the interpolation scale of $L_p$-spaces. In the last section we consider the category of $G$-Banach spaces and study its exact sequences, showing that, under (A) and (U), $G$-splitting and usual splitting coincide.
△ Less
Submitted 9 August, 2021; v1 submitted 21 March, 2020;
originally announced March 2020.
-
Sailing over three problems of Koszmider
Authors:
Félix Cabello Sánchez,
Jesús M. F. Castillo,
Witold Marciszewski,
Grzegorz Plebanek,
Alberto Salguero-Alarcón
Abstract:
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…
▽ More
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.
△ Less
Submitted 7 April, 2020; v1 submitted 16 October, 2019;
originally announced October 2019.
-
Universal disposition is not a 3-space property
Authors:
Jesús M. F. Castillo,
Manuel González,
Marilda A. Simões
Abstract:
We prove that (almost) universal disposition and separable universal disposition of Banach spaces are not $3$-space properties.
We prove that (almost) universal disposition and separable universal disposition of Banach spaces are not $3$-space properties.
△ Less
Submitted 6 October, 2019;
originally announced October 2019.
-
The separable Jung constant in Banach spaces
Authors:
Jesús M. F. Castillo,
Pierluigi Papini
Abstract:
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)$ co…
▽ More
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.
△ Less
Submitted 2 May, 2020; v1 submitted 6 October, 2019;
originally announced October 2019.
-
The isomorphic Kottman constant of a Banach space
Authors:
Jesús M. F. Castillo,
Manuel González,
Tomasz Kania,
Pier Luigi Papini
Abstract:
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 isomorp…
▽ More
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.
△ Less
Submitted 17 February, 2020; v1 submitted 3 October, 2019;
originally announced October 2019.
-
Differential processes generated by two interpolators
Authors:
J. M. F. Castillo,
W. H. G. Correa,
V. Ferenczi,
M. González
Abstract:
We study couples of interpolators, the differentials they generate and their associated commutator theorems. An essential part of our analysis is the study of the intrinsic symmetries of the process. Since we work without any compatibility or categorical assumption, our results are flexible enough to generalize most known results for commutators or translation operators, in particular those of Cwi…
▽ More
We study couples of interpolators, the differentials they generate and their associated commutator theorems. An essential part of our analysis is the study of the intrinsic symmetries of the process. Since we work without any compatibility or categorical assumption, our results are flexible enough to generalize most known results for commutators or translation operators, in particular those of Cwikel, Kalton, Milman, Rochberg \cite{ckmr} for differential methods and those of Carro, Cerdà and Soria \cite{caceso} for compatible interpolators. We also generalize stability and singularity results in \cite{cfg,ccfg,correa} from the complex method to general differential methods and obtain new incomparability results.
△ Less
Submitted 24 August, 2019;
originally announced August 2019.
-
On the ${\Ext}^2$-problem for Hilbert spaces
Authors:
Félix Cabello Sánchez,
Jesús M. F. Castillo,
Willian H. G. Corrêa,
Valentin Ferenczi,
Ricardo García
Abstract:
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.
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.
△ Less
Submitted 2 January, 2020; v1 submitted 18 August, 2019;
originally announced August 2019.
-
Homological dimensions of Banach spaces
Authors:
Félix Cabello Sánchez,
Jesús M . F. Castillo,
Ricardo García
Abstract:
The purpose of this paper is to lay the foundations for the study of the problem of when $\Ext^n(X, Y)=0$ in Banach/quasi-Banach spaces. We provide a number of examples of couples $X,Y$ so that $\Ext^n(X,Y)$ is (or is not ) $0$, including the first example of a separable Banach space $\mathscr K$ so that $\Ext^n(\mathscr K, \mathscr K)\neq 0$ for all $n\in \N$. Such space moreover provides the fir…
▽ More
The purpose of this paper is to lay the foundations for the study of the problem of when $\Ext^n(X, Y)=0$ in Banach/quasi-Banach spaces. We provide a number of examples of couples $X,Y$ so that $\Ext^n(X,Y)$ is (or is not ) $0$, including the first example of a separable Banach space $\mathscr K$ so that $\Ext^n(\mathscr K, \mathscr K)\neq 0$ for all $n\in \N$. Such space moreover provides the first example of Banach spaces with infinite homological dimension/codimension. We also show that the homological dimension/codimension of Hilbert spaces is infinite. The final section is devoted to compare $\Ext^2(\cdot, \cdot)$ in Banach and Quasi-Banach spaces.
△ Less
Submitted 2 May, 2020; v1 submitted 18 August, 2019;
originally announced August 2019.
-
Higher order derivatives of analytic families of Banach spaces
Authors:
Félix Cabello Sánchez,
Jesús M. F. Castillo,
Willian H. G. Correa
Abstract:
We show that the Rochberg spaces induced by complex interpolation form themselves complex interpolation scales, obtain the interpolated spaces and associated derivations. We present our results in the context of analytic families of Banach spaces and study the problem of determining the Rochberg spaces induced by these new families.
We show that the Rochberg spaces induced by complex interpolation form themselves complex interpolation scales, obtain the interpolated spaces and associated derivations. We present our results in the context of analytic families of Banach spaces and study the problem of determining the Rochberg spaces induced by these new families.
△ Less
Submitted 10 March, 2021; v1 submitted 16 June, 2019;
originally announced June 2019.
-
On Disjointly singular centralizers
Authors:
Jesús M. F. Castillo,
Wilson Cuellar,
Valentin Ferenczi,
Yolanda Moreno
Abstract:
We study ``disjoint" versions of the notions of trivial, locally trivial, strictly singular and super-strictly singular quasi-linear maps in the context of Köthe function spaces. Among other results, we show: i) (locally) trivial and (locally) disjointly trivial notions coincide on reflexive spaces; ii) On non-atomic superreflexive Köthe spaces, no centralizer is singular, although most are disjoi…
▽ More
We study ``disjoint" versions of the notions of trivial, locally trivial, strictly singular and super-strictly singular quasi-linear maps in the context of Köthe function spaces. Among other results, we show: i) (locally) trivial and (locally) disjointly trivial notions coincide on reflexive spaces; ii) On non-atomic superreflexive Köthe spaces, no centralizer is singular, although most are disjointly singular. iii) No super singular quasi-linear maps exist between superreflexive spaces although Kalton-Peck centralizers are super disjointly singular; iv) Disjoint singularity does not imply super disjoint singularity.
△ Less
Submitted 19 May, 2019;
originally announced May 2019.
-
Bilinear forms and the $\Ext^2$-problem in Banach spaces
Authors:
Jesús M. F. Castillo,
Ricardo García
Abstract:
Let $X$ be a Banach space and let $κ(X)$ denote the kernel of a quotient map $\ell_1(Γ)\to X$. We show that $\Ext^2(X,X^*)=0$ if and only if bilinear forms on $κ(X)$ extend to $\ell_1(Γ)$. From that we obtain i) If $κ(X)$ is a $\mathcal L_1$-space then $\Ext^2(X,X^*)=0$; ii) If $X$ is separable, $κ(X)$ is not an $\mathcal L_1$ space and $\Ext^2(X,X^*)=0$ then $κ(X)$ has an unconditional basis. Thi…
▽ More
Let $X$ be a Banach space and let $κ(X)$ denote the kernel of a quotient map $\ell_1(Γ)\to X$. We show that $\Ext^2(X,X^*)=0$ if and only if bilinear forms on $κ(X)$ extend to $\ell_1(Γ)$. From that we obtain i) If $κ(X)$ is a $\mathcal L_1$-space then $\Ext^2(X,X^*)=0$; ii) If $X$ is separable, $κ(X)$ is not an $\mathcal L_1$ space and $\Ext^2(X,X^*)=0$ then $κ(X)$ has an unconditional basis. This provides new insight into a question of Palamodov in the category of Banach spaces.
△ Less
Submitted 9 August, 2018;
originally announced August 2018.
-
On the bounded approximation property on subspaces of $\ell_p$ when $0<p<1$ and related issues
Authors:
Félix Cabello Sánchez,
Jesús M. F. Castillo,
Yolanda Moreno
Abstract:
This paper studies the bounded approximation property (BAP) in quasi Banach spaces. In the first part of the paper we show that the kernel of any surjective operator $\ell_p\to X$ has the BAP when $X$ has it and $0<p\leq 1$, which is an analogue of the corresponding result of Lusky for Banach spaces. We then obtain and study nonlocally convex versions of the Kadec-Pełczyński-Wojtaszczyk complement…
▽ More
This paper studies the bounded approximation property (BAP) in quasi Banach spaces. In the first part of the paper we show that the kernel of any surjective operator $\ell_p\to X$ has the BAP when $X$ has it and $0<p\leq 1$, which is an analogue of the corresponding result of Lusky for Banach spaces. We then obtain and study nonlocally convex versions of the Kadec-Pełczyński-Wojtaszczyk complementably universal spaces for Banach spaces with the BAP.
△ Less
Submitted 9 August, 2018;
originally announced August 2018.
-
Derivation of vector-valued complex interpolation scales
Authors:
Jesús M. F. Castillo,
Daniel Morales,
Jesús Suárez de la Fuente
Abstract:
We study complex interpolation scales obtained by vector valued amalgamation and the derivations they generate. We study their trivial and singular character and obtain examples showing that the hypotheses in the main theorems of [J.M.F. Castillo, V. Ferenczi and M. González, \emph{Singular exact sequences generated by complex interpolation}, Trans. Amer. Math. Soc. 369 (2017) 4671--4708] are not…
▽ More
We study complex interpolation scales obtained by vector valued amalgamation and the derivations they generate. We study their trivial and singular character and obtain examples showing that the hypotheses in the main theorems of [J.M.F. Castillo, V. Ferenczi and M. González, \emph{Singular exact sequences generated by complex interpolation}, Trans. Amer. Math. Soc. 369 (2017) 4671--4708] are not necessary.
△ Less
Submitted 9 August, 2018;
originally announced August 2018.
-
On the stability of the differential process generated by complex interpolation
Authors:
Jesús M. F. Castillo,
Willian H. G. Corrêa,
Valentin Ferenczi,
Manuel González
Abstract:
We study the stability of the differential process of Rochberg and Weiss associated to an analytic family of Banach spaces obtained using the complex interpolation method for families. In the context of Köthe function spaces we complete earlier results of Kalton (who showed that there is global bounded stability for pairs of Köthe spaces) by showing that there is global (bounded) stability for fam…
▽ More
We study the stability of the differential process of Rochberg and Weiss associated to an analytic family of Banach spaces obtained using the complex interpolation method for families. In the context of Köthe function spaces we complete earlier results of Kalton (who showed that there is global bounded stability for pairs of Köthe spaces) by showing that there is global (bounded) stability for families of up to three Köthe spaces distributed in arcs on the unit sphere while there is no (bounded) stability for families of four or more Köthe spaces. In the context or arbitrary pairs of Banach spaces we present local stability results and global isometric stability results.
△ Less
Submitted 16 June, 2019; v1 submitted 27 December, 2017;
originally announced December 2017.
-
1-complemented subspaces of Banach spaces of universal disposition
Authors:
Jesús M. F. Castillo,
Yolanda Moreno
Abstract:
We first unify all notions of partial injectivity appearing in the literature ---(universal) separable injectivity, (universal) $\aleph$-injectivity --- in the notion of $(α, β)$-injectivity ($(α, β)_λ$-injectivity if the parameter $λ$ has to be specified). Then, extend the notion of space of universal disposition to space of universal $(α, β)$-disposition. Finally, we characterize the $1$-complem…
▽ More
We first unify all notions of partial injectivity appearing in the literature ---(universal) separable injectivity, (universal) $\aleph$-injectivity --- in the notion of $(α, β)$-injectivity ($(α, β)_λ$-injectivity if the parameter $λ$ has to be specified). Then, extend the notion of space of universal disposition to space of universal $(α, β)$-disposition. Finally, we characterize the $1$-complemented subspaces of spaces of universal $(α, β)$-disposition as precisely the spaces $(α, β)_1$-injective.
△ Less
Submitted 12 August, 2017;
originally announced August 2017.
-
Banach spaces of almost universal complemented disposition
Authors:
Jesús M. F. Castillo,
Yolanda Moreno
Abstract:
We introduce and study the notion of space of almost universal complemented disposition (a.u.c.d.) as a generalization of Kadec space. We show that every Banach space with separable dual is isometrically contained as a $1$-complemented subspace of a separable a.u.c.d. space and that all a.u.c.d. spaces with $1$-FDD are isometric and contain isometric $1$-complemented copies of every separable Bana…
▽ More
We introduce and study the notion of space of almost universal complemented disposition (a.u.c.d.) as a generalization of Kadec space. We show that every Banach space with separable dual is isometrically contained as a $1$-complemented subspace of a separable a.u.c.d. space and that all a.u.c.d. spaces with $1$-FDD are isometric and contain isometric $1$-complemented copies of every separable Banach space with $1$-FDD. We then study spaces of universal complemented disposition (u.c.d.) and provide different constructions for such spaces. We also consider spaces of u.c.d. with respect to separable spaces.
△ Less
Submitted 16 June, 2019; v1 submitted 8 August, 2017;
originally announced August 2017.
-
Nonseparable $C(K)$-spaces can be twisted when $K$ is a finite height compact
Authors:
Jesús M. F. Castillo
Abstract:
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?
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?
△ Less
Submitted 8 January, 2016;
originally announced January 2016.
-
On isomorphically polyhedral $\mathcal L_\infty$-spaces
Authors:
Jesús M. F. Castillo,
Pier Luigi Papini
Abstract:
We show that there exist $\mathcal L_\infty$-subspaces of separable isomorphically polyhedral Lindenstrauss spaces that cannot be renormed to be a Lindenstrauss space.
We show that there exist $\mathcal L_\infty$-subspaces of separable isomorphically polyhedral Lindenstrauss spaces that cannot be renormed to be a Lindenstrauss space.
△ Less
Submitted 8 January, 2016;
originally announced January 2016.
-
Complex structures on twisted Hilbert spaces
Authors:
Jesús M. F. Castillo,
Wilson Cuellar,
Valentin Ferenczi,
Yolanda Moreno
Abstract:
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…
▽ More
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.
△ Less
Submitted 18 November, 2015;
originally announced November 2015.
-
Singular twisted sums generated by complex interpolation
Authors:
Jesus M. F. Castillo,
Valentin Ferenczi,
Manuel González
Abstract:
We present new methods to obtain singular twisted sums $X\oplus_ΩX$ (i.e., exact sequences $0\to X\to X\oplus_ΩX \to X\to 0$ in which the quotient map is strictly singular), in which $X$ is the interpolation space arising from a complex interpolation scheme and $Ω$ is the induced centralizer.
Although our methods are quite general, in our applications we are mainly concerned with the choice of…
▽ More
We present new methods to obtain singular twisted sums $X\oplus_ΩX$ (i.e., exact sequences $0\to X\to X\oplus_ΩX \to X\to 0$ in which the quotient map is strictly singular), in which $X$ is the interpolation space arising from a complex interpolation scheme and $Ω$ is the induced centralizer.
Although our methods are quite general, in our applications we are mainly concerned with the choice of $X$ as either a Hilbert space, or Ferenczi's uniformly convex Hereditarily Indecomposable space. In the first case, we construct new singular twisted Hilbert spaces, including the only known example so far: the Kalton-Peck space $Z_2$. In the second case we obtain the first example of an H.I. twisted sum of an H.I. space. We then use Rochberg's description of iterated twisted sums to show that there is a sequence $\mathcal F_n$ of H.I. spaces so that $\mathcal F_{m+n}$ is a singular twisted sum of $\mathcal F_m$ and $\mathcal F_n$, while for $l>n$ the direct sum $\mathcal F_n \oplus \mathcal F_{l+m}$ is a nontrivial twisted sum of $\mathcal F_l$ and $\mathcal F_{m+n}$.
We also introduce and study the notion of disjoint singular twisted sum of Köthe function spaces and construct several examples involving reflexive $p$-convex Köthe function spaces, which include the function version of the Kalton-Peck space $Z_2$.
△ Less
Submitted 20 October, 2014;
originally announced October 2014.
-
Twisting non-commutative $L_p$ spaces
Authors:
Félix Cabello Sánchez,
Jesús M. F. Castillo,
Stanislaw Goldstein,
Jesús Suárez
Abstract:
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 t…
▽ More
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.
△ Less
Submitted 1 February, 2016; v1 submitted 2 July, 2014;
originally announced July 2014.
-
$\aleph$-injective Banach spaces and $\aleph$-projective compacta
Authors:
Antonio Avilés,
Félix Cabello Sánchez,
Jesús M. F. Castillo,
Manuel González,
Yolanda Moreno
Abstract:
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…
▽ More
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.
△ Less
Submitted 25 June, 2014;
originally announced June 2014.
-
On nested sequences of convex sets in a Banach space
Authors:
Jesús M. F. Castillo,
Manuel González,
Pier Luigi Papini
Abstract:
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$.
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$.
△ Less
Submitted 25 June, 2014;
originally announced June 2014.
-
Complex interpolation and twisted twisted Hilbert spaces
Authors:
Félix Cabello Sánchez,
Jesús M. F. Castillo,
Nigel J. Kalton
Abstract:
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…
▽ More
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.
△ Less
Submitted 25 June, 2014;
originally announced June 2014.
-
On ultrapowers of Banach spaces of type $\mathscr L_\infty$
Authors:
Antonio Avilés,
Félix Cabello Sánchez,
Jesús M. F. Castillo,
Manuel González,
Yolanda Moreno
Abstract:
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, hav…
▽ More
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.
△ Less
Submitted 16 July, 2013;
originally announced July 2013.
-
On Uniformly finitely extensible Banach spaces
Authors:
Jesús M. F. Castillo,
Valentin Ferenczi,
Yolanda Moreno
Abstract:
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 extensib…
▽ More
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.
△ Less
Submitted 16 July, 2013;
originally announced July 2013.
-
Thick coverings for the unit ball of a Banach space
Authors:
Jesús M. F. Castillo,
Pier Luigi Papini,
Marilda A. Simoes
Abstract:
We study the behaviour of Whitley's thickness constant of a Banach space with respect to $\ell_p$-products and we compute it for classical $L_p$-spaces.
We study the behaviour of Whitley's thickness constant of a Banach space with respect to $\ell_p$-products and we compute it for classical $L_p$-spaces.
△ Less
Submitted 16 July, 2013;
originally announced July 2013.
-
On the Bounded Approximation Property in Banach spaces
Authors:
Jesús M. F. Castillo,
Yolanda Moreno
Abstract:
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…
▽ More
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.
△ Less
Submitted 16 July, 2013;
originally announced July 2013.
-
Stability constants and the homology of quasi-Banach spaces
Authors:
Jesús M. F. Castillo,
Félix Cabello Sánchez
Abstract:
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…
▽ More
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.
△ Less
Submitted 16 July, 2013;
originally announced July 2013.
-
Local complementation and the extension of bilinear mappings
Authors:
J. M. F. Castillo,
A. Defant,
R. García,
D. Pérez-García,
J. Suárez
Abstract:
We study different aspects of the connections between local theory of Banach spaces and the problem of the extension of bilinear forms from subspaces of Banach spaces. Among other results, we prove that if $X$ is not a Hilbert space then one may find a subspace of $X$ for which there is no Aron-Berner extension. We also obtain that the extension of bilinear forms from all the subspaces of a given…
▽ More
We study different aspects of the connections between local theory of Banach spaces and the problem of the extension of bilinear forms from subspaces of Banach spaces. Among other results, we prove that if $X$ is not a Hilbert space then one may find a subspace of $X$ for which there is no Aron-Berner extension. We also obtain that the extension of bilinear forms from all the subspaces of a given $X$ forces such $X$ to contain no uniform copies of $\ell_p^n$ for $p\in[1,2)$. In particular, $X$ must have type $2-ε$ for every $ε>0$. Also, we show that the bilinear version of the Lindenstrauss-Pełczyński and Johnson-Zippin theorems fail. We will then consider the notion of locally $α$-complemented subspace for a reasonable tensor norm $α$, and study the connections between $α$-local complementation and the extendability of $α^*$ -integral operators.
△ Less
Submitted 24 June, 2011;
originally announced June 2011.
-
Extension and lifting of operators and polynomials
Authors:
Jesús M. F. Castillo,
Ricardo García,
Jesús Suárez
Abstract:
We study the problem of extension and lifting of operators belonging to certain operator ideals, as well as that of their associated polynomials and holomorphic functions. Our results provide a characterization of $\mathcal{L}_1$ and $\mathcal{L}_{\infty}$-spaces that includes and extends those of Lindenstrauss-Rosenthal \cite{LR} using compact operators and González-Gutiérrez \cite{GG} using comp…
▽ More
We study the problem of extension and lifting of operators belonging to certain operator ideals, as well as that of their associated polynomials and holomorphic functions. Our results provide a characterization of $\mathcal{L}_1$ and $\mathcal{L}_{\infty}$-spaces that includes and extends those of Lindenstrauss-Rosenthal \cite{LR} using compact operators and González-Gutiérrez \cite{GG} using compact polynomials. We display several examples to show the difference between extending and lifting compact (resp. weakly compact, unconditionally convergent, separable and Rosenthal) operators to operators of the same type. Finally, we show the previous results in a homological perspective, which helps the interested reader to understand the motivations and nature of the results presented.
△ Less
Submitted 24 June, 2011;
originally announced June 2011.
-
Banach spaces of universal disposition
Authors:
Antonio Aviles,
Felix Cabello,
Jesus M. F. Castillo,
Manuel Gonzalez,
Yolanda Moreno
Abstract:
In this paper we present a method to obtain Banach spaces of universal and almost-universal disposition with respect to a given class $\mathfrak M$ of normed spaces. The method produces, among other, the Gurariĭ space $\mathcal G$ (the only separable Banach space of almost-universal disposition with respect to the class $\mathfrak F$ of finite dimensional spaces), or the Kubis space $\mathcal K$ (…
▽ More
In this paper we present a method to obtain Banach spaces of universal and almost-universal disposition with respect to a given class $\mathfrak M$ of normed spaces. The method produces, among other, the Gurariĭ space $\mathcal G$ (the only separable Banach space of almost-universal disposition with respect to the class $\mathfrak F$ of finite dimensional spaces), or the Kubis space $\mathcal K$ (under {\sf CH}, the only Banach space with the density character the continuum which is of universal disposition with respect to the class $\mathfrak S$ of separable spaces). We moreover show that $\mathcal K$ is not isomorphic to a subspace of any $C(K)$-space -- which provides a partial answer to the injective space problem-- and that --under {\sf CH}-- it is isomorphic to an ultrapower of the Gurariĭ space.
We study further properties of spaces of universal disposition: separable injectivity, partially automorphic character and uniqueness properties.
△ Less
Submitted 30 March, 2011;
originally announced March 2011.
-
On separably injective Banach spaces and Corrigendum to "On separably injective Banach spaces" [Adv. Math. 234 (2013) 192--216]
Authors:
Antonio Aviles,
Felix Cabello,
Jesus M. F. Castillo,
Manuel Gonzalez,
Yolanda Moreno
Abstract:
In this paper we deal with two weaker 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 $\mathcal L_\infty$ ultraproducts built over countably incomplet…
▽ More
In this paper we deal with two weaker 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 $\mathcal L_\infty$ 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 $\ell_\infty$ inside $E$. b) A Banach space $E$ is universally separably injective if and only if for every separable space $S$ one has $\Ext(\ell_\infty/S, E)=0$. The final Section of the paper focuses on special properties of 1-separably injective spaces. Lindenstrauss\ obtained in the middle sixties a result that can be understood as a proof that, under the continuum hypothesis, 1-separably injective spaces are 1-universally separably injective; he left open the question in {\sf ZFC}. We construct a consistent example of a Banach space of type $C(K)$ which is 1-separably injective but not 1-universally separably injective. We show that, under the continuum hypothesis, "to be universally separably injective" is not a $3$-space property, as we wrongly claimed in the paper mentioned in the title.
△ Less
Submitted 28 March, 2017; v1 submitted 30 March, 2011;
originally announced March 2011.
-
Seven views on approximate convexity and the geometry of K-spaces
Authors:
Felix Cabello Sanchez,
Jesus M. F. Castillo,
Pier Luigi Papini
Abstract:
As in Hokusai's series of paintings "Thirty six views of mount Fuji" in which mount Fuji's is sometimes scarcely visible, the central topic of this paper is the geometry of $K$-spaces although in some of the seven views presented $K$-spaces are not easily visible. We study the interplay between the behaviour of approximately convex (and approximately affine) functions on the unit ball of a Banac…
▽ More
As in Hokusai's series of paintings "Thirty six views of mount Fuji" in which mount Fuji's is sometimes scarcely visible, the central topic of this paper is the geometry of $K$-spaces although in some of the seven views presented $K$-spaces are not easily visible. We study the interplay between the behaviour of approximately convex (and approximately affine) functions on the unit ball of a Banach space and the geometry of Banach K-spaces.
△ Less
Submitted 13 May, 2005;
originally announced May 2005.
-
On Lindenstrauss-Pełczyński spaces
Authors:
Jesús M. F. Castillo,
Yolanda Moreno,
Jesús Suárez
Abstract:
In this work we shall be concerned with some stability aspects of the classical problem of extension of $C(K)$-valued operators. We introduce the class $\mathscr{LP}$ of Banach spaces of Lindenstrauss-Pełczyński type as those such that every operator from a subspace of $c_0$ into them can be extended to $c_0$. We show that all $\mathscr{LP}$-spaces are of type $\mathcal L_\infty$ but not the con…
▽ More
In this work we shall be concerned with some stability aspects of the classical problem of extension of $C(K)$-valued operators. We introduce the class $\mathscr{LP}$ of Banach spaces of Lindenstrauss-Pełczyński type as those such that every operator from a subspace of $c_0$ into them can be extended to $c_0$. We show that all $\mathscr{LP}$-spaces are of type $\mathcal L_\infty$ but not the converse. Moreover, $\mathcal L_\infty$-spaces will be characterized as those spaces $E$ such that $E$-valued operators from $w^*(l_1,c_0)$-closed subspaces of $l_1$ extend to $l_1$. Complemented subspaces of $C(K)$ and separably injective spaces are subclasses of $\mathscr{LP}$-spaces and we show that the former does not contain the latter. It is established that $\mathcal L_\infty$-spaces not containing $l_1$ are quotients of $\mathscr{LP}$-spaces, while $\mathcal L_\infty$-spaces not containing $c_0$, quotients of an $\mathscr{LP}$-space by a separably injective space and twisted sums of $\mathscr{LP}$-spaces are $\mathscr{LP}$-spaces.
△ Less
Submitted 19 March, 2005; v1 submitted 3 February, 2005;
originally announced February 2005.
-
Extensions by spaces of continuous functions
Authors:
Jesus M. F. Castillo,
Yolanda Moreno
Abstract:
We characterize the Banach spaces X such that Ext(X, C(K))=0 for every compact space.
We characterize the Banach spaces X such that Ext(X, C(K))=0 for every compact space.
△ Less
Submitted 10 October, 2004;
originally announced October 2004.
