-
Curvilinear High-Order Mimetic Differences that Satisfy Conservation Laws
Authors:
Angel Boada,
Johnny Corbino,
Miguel Dumett,
Jose Castillo
Abstract:
We investigate the construction and usage of mimetic operators in curvilinear staggered grids. Specifically, we extend the Corbino-Castillo operators so they can be utilized to solve problems in non-trivial geometries. We prove that the resulting curvilinear operators satisfy the discrete analog of the extended Gauss-Divergence theorem. In addition, we demonstrate energy and mass conservation in c…
▽ More
We investigate the construction and usage of mimetic operators in curvilinear staggered grids. Specifically, we extend the Corbino-Castillo operators so they can be utilized to solve problems in non-trivial geometries. We prove that the resulting curvilinear operators satisfy the discrete analog of the extended Gauss-Divergence theorem. In addition, we demonstrate energy and mass conservation in curvilinear coordinates for the acoustic wave equation. These findings are illustrated in two-dimensional and three-dimensional elliptic/hyperbolic equations and can be extended to other partial differential equations as well.
△ Less
Submitted 1 July, 2024;
originally announced July 2024.
-
On super curves and supervolumes
Authors:
Ricardo Jesús Ramos Castillo
Abstract:
We study the geometry of super curves with a chosen supervolume form. We consider the algebra of divergence free vector fields $S(1|N)$ associated to such curves. When $N=2$ its derived algebra, called $S(2)$, defines a special family of curves, named $S(2)$-super curves. We exhibit an involution on the moduli space of such curves that generalizes Deligne's involution for $N=1$ super curves. The f…
▽ More
We study the geometry of super curves with a chosen supervolume form. We consider the algebra of divergence free vector fields $S(1|N)$ associated to such curves. When $N=2$ its derived algebra, called $S(2)$, defines a special family of curves, named $S(2)$-super curves. We exhibit an involution on the moduli space of such curves that generalizes Deligne's involution for $N=1$ super curves. The fixed point set of this involution consists on Manin's $SUSY_2$-super curves. We describe the moduli spaces of these curves.
△ Less
Submitted 12 February, 2024;
originally announced February 2024.
-
High Order Mimetic Symplectic Methods For Hamiltonian Systems
Authors:
Anand Srinivasan,
Jose E. Castillo
Abstract:
Hamiltonian systems are known to conserve the Hamiltonian function, which describes the energy evolution over time. Obtaining a numerical spatio-temporal scheme that accurately preserves the discretized Hamiltonian function is often a challenge. In this paper, the use of high order mimetic spatial schemes is investigated for the numerical solution of Hamiltonian equations. The mimetic operators ar…
▽ More
Hamiltonian systems are known to conserve the Hamiltonian function, which describes the energy evolution over time. Obtaining a numerical spatio-temporal scheme that accurately preserves the discretized Hamiltonian function is often a challenge. In this paper, the use of high order mimetic spatial schemes is investigated for the numerical solution of Hamiltonian equations. The mimetic operators are based on develo** high order discrete analogs of the vector calculus quantities divergence and gradient. The resulting high order operators preserve the properties of their continuum ones, and are therefore said to mimic properties of conservation laws and symmetries. Symplectic fourth order schemes are implemented in this paper for the time integration of Hamiltonian systems. A theoretical framework for the energy preserving nature of the resulting schemes is also presented, followed by numerical examples.
△ Less
Submitted 7 October, 2023;
originally announced October 2023.
-
Enhancing Markov and Chebyshev's inequalities
Authors:
Joan del Castillo
Abstract:
The idea of the restricted mean has been used to establish a significantly improved version of Markov's inequality that does not require any new assumptions. The result immediately extends on Chebyshev's inequalities and Chernoff's bound. The improved Markov inequality yields a bound that is hundreds or thousands of times more accurate than the original Markov bound for high quantiles in the most…
▽ More
The idea of the restricted mean has been used to establish a significantly improved version of Markov's inequality that does not require any new assumptions. The result immediately extends on Chebyshev's inequalities and Chernoff's bound. The improved Markov inequality yields a bound that is hundreds or thousands of times more accurate than the original Markov bound for high quantiles in the most prevalent and diverse situations.
The Markov inequality benefits from being model-independent, and the long-standing issue of its imprecision is solved. Practically speaking, avoidance of model risk is decisive when multiple competing models are present in a real-world situation.
△ Less
Submitted 8 August, 2023;
originally announced August 2023.
-
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.
-
On Duo, Reversible and Symmetric Group Rings
Authors:
Brayan S. Flórez-Burbano,
Alexander Holguín-Villa,
John H. Castillo
Abstract:
Let $RG$ denote the group ring of the torsion group $G$ over a commutative ring $R$ with identity. In this paper we present proofs of some statements that appear without to be proved in the literature. We establish the valid implications between the ring-theoretic conditions duo, reversible, SI property and symmetric in the setting of group rings. We further show that if the group ring $RG$ posses…
▽ More
Let $RG$ denote the group ring of the torsion group $G$ over a commutative ring $R$ with identity. In this paper we present proofs of some statements that appear without to be proved in the literature. We establish the valid implications between the ring-theoretic conditions duo, reversible, SI property and symmetric in the setting of group rings. We further show that if the group ring $RG$ possesses any of these properties, then $G$ is a Hamiltonian group and the characteristic of $R$ is either $0$ or $2$. Moreover, we characterize the same properties in group rings $RG$ in the following cases: ($1)$ $RG$ is a semi-simple group ring and ($2$) $R$ is a semi-simple ring and $G$ any group.
△ Less
Submitted 1 December, 2022;
originally announced December 2022.
-
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.
-
Alternating direction implicit time integrations for finite difference acoustic wave propagation: Parallelization and convergence
Authors:
B. Otero,
O. Rojas,
F. Moya,
J. Castillo
Abstract:
This work studies the parallelization and empirical convergence of two finite difference acoustic wave propagation methods on 2-D rectangular grids, that use the same alternating direction implicit (ADI) time integration. This ADI integration is based on a second-order implicit Crank-Nicolson temporal discretization that is factored out by a Peaceman-Rachford decomposition of the time and space eq…
▽ More
This work studies the parallelization and empirical convergence of two finite difference acoustic wave propagation methods on 2-D rectangular grids, that use the same alternating direction implicit (ADI) time integration. This ADI integration is based on a second-order implicit Crank-Nicolson temporal discretization that is factored out by a Peaceman-Rachford decomposition of the time and space equation terms. In space, these methods highly diverge and apply different fourth-order accurate differentiation techniques. The first method uses compact finite differences (CFD) on nodal meshes that requires solving tridiagonal linear systems along each grid line, while the second one employs staggered-grid mimetic finite differences (MFD). For each method, we implement three parallel versions: (i) a multithreaded code in Octave, (ii) a C++ code that exploits OpenMP loop parallelization, and (iii) a CUDA kernel for a NVIDIA GTX 960 Maxwell card. In these implementations, the main source of parallelism is the simultaneous ADI updating of each wave field matrix, either column-wise or row-wise, according to the differentiation direction. In our numerical applications, the highest performances are displayed by the CFD and MFD CUDA codes that achieve speedups of 7.21x and 15.81x, respectively, relative to their C++ sequential counterparts with optimal compilation flags. Our test cases also allow to assess the numerical convergence and accuracy of both methods. In a problem with exact harmonic solution, both methods exhibit convergence rates close to 4 and the MDF accuracy is practically higher. Alternatively, both convergences decay to second order on smooth problems with severe gradients at boundaries, and the MDF rates degrade in highly-resolved grids leading to larger inaccuracies. This transition of empirical convergences agrees with the nominal truncation errors in space and time.
△ Less
Submitted 13 June, 2020;
originally announced June 2020.
-
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.
-
Normal group algebras
Authors:
Alexander Holguín-Villa,
John H. Castillo
Abstract:
Let $\mathbb{F}G$ denote the group algebra of the group $G$ over the field $\mathbb{F}$ with $char(\mathbb{F})\neq 2$. Given both a homomorphism $σ:G\rightarrow \{\pm1\}$ and a group involution $\ast: G\rightarrow G$, an oriented involution of $\mathbb{F}G$ is defined by $α=Σα_{g}g \mapsto α^\circledast=Σα_{g}σ(g)g^{\ast}$. In this paper, we determine the conditions under which the group algebra…
▽ More
Let $\mathbb{F}G$ denote the group algebra of the group $G$ over the field $\mathbb{F}$ with $char(\mathbb{F})\neq 2$. Given both a homomorphism $σ:G\rightarrow \{\pm1\}$ and a group involution $\ast: G\rightarrow G$, an oriented involution of $\mathbb{F}G$ is defined by $α=Σα_{g}g \mapsto α^\circledast=Σα_{g}σ(g)g^{\ast}$. In this paper, we determine the conditions under which the group algebra $\mathbb{F}G$ is normal, that is, conditions under which $\mathbb{F}G$ satisfies the $\circledast$-identity $αα^\circledast=α^\circledastα$. We prove that $\mathbb{F}G$ is normal if and only if the set of symmetric elements under $\circledast$ is commutative.
△ Less
Submitted 25 February, 2019;
originally announced February 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.
-
The set of $k$-units modulo $n$
Authors:
John H. Castillo,
Jhony Fernando Caranguay Mainguez
Abstract:
Let $R$ be a ring with identity, $\mathcal{U}(R)$ the group of units of $R$ and $k$ a positive integer. We say that $a\in \mathcal{U}(R)$ is $k$-unit if $a^k=1$. Particularly, if the ring $R$ is $\mathbb{Z}_n$, for a positive integer $n$, we will say that $a$ is a $k$-unit modulo $n$. We denote with $\mathcal{U}_k(n)$ the set of $k$-units modulo $n$. By $\text{du}_k(n)$ we represent the number of…
▽ More
Let $R$ be a ring with identity, $\mathcal{U}(R)$ the group of units of $R$ and $k$ a positive integer. We say that $a\in \mathcal{U}(R)$ is $k$-unit if $a^k=1$. Particularly, if the ring $R$ is $\mathbb{Z}_n$, for a positive integer $n$, we will say that $a$ is a $k$-unit modulo $n$. We denote with $\mathcal{U}_k(n)$ the set of $k$-units modulo $n$. By $\text{du}_k(n)$ we represent the number of $k$-units modulo $n$ and with $\text{rdu}_k(n)=\frac{φ(n)}{\text{du}_k(n)}$ the ratio of $k$-units modulo $n$, where $φ$ is the Euler phi function. Recently, S. K. Chebolu proved that the solutions of the equation $\text{rdu}_2(n)=1$ are the divisors of $24$. The main result of this work, is that for a given $k$, we find the positive integers $n$ such that $\text{rdu}_k(n)=1$. Finally, we give some connections of this equation with Carmichael's numbers and two of its generalizations: Knödel numbers and generalized Carmichael numbers.
△ Less
Submitted 1 September, 2017; v1 submitted 22 August, 2017;
originally announced August 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.
-
Group identities on symmetric units under oriented involutions in group algebras
Authors:
Alexander Holguín-Villa,
John H. Castillo
Abstract:
Let $\mathbb{F}G$ denote the group algebra of a locally finite group $G$ over the infinite field $\mathbb{F}$ with $char(\mathbb{F})\neq 2$, and let $\circledast:\mathbb{F}G\rightarrow \mathbb{F}G$ denote the involution defined by $α=Σα_{g}g \mapsto α^\circledast=Σα_{g}σ(g)g^{\ast}$, where $σ:G\rightarrow \{\pm1\}$ is a group homomorphism (called an orientation) and $\ast$ is an involution of the…
▽ More
Let $\mathbb{F}G$ denote the group algebra of a locally finite group $G$ over the infinite field $\mathbb{F}$ with $char(\mathbb{F})\neq 2$, and let $\circledast:\mathbb{F}G\rightarrow \mathbb{F}G$ denote the involution defined by $α=Σα_{g}g \mapsto α^\circledast=Σα_{g}σ(g)g^{\ast}$, where $σ:G\rightarrow \{\pm1\}$ is a group homomorphism (called an orientation) and $\ast$ is an involution of the group $G$. In this paper we prove, under some assumptions, that if the $\circledast$-symmetric units of $\mathbb{F}G$ satisfies a group identity then $\mathbb{F}G$ satisfies a polynomial identity, i.e., we give an affirmative answer to a Conjecture of B. Hartley in this setting. Moreover, in the case when the prime radical $η(\mathbb{F}G)$ of $\mathbb{F}G$ is nilpotent we characterize the groups for which the symmetric units $\mathcal{U}^+(\mathbb{F}G)$ do satisfy a group identity.
△ Less
Submitted 16 August, 2023; v1 submitted 4 December, 2015;
originally announced December 2015.
-
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.
-
Modeling extreme values by the residual coefficient of variation
Authors:
J. Castillo,
M. Padilla
Abstract:
The possibilities of the use of the coefficient of variation over a high threshold in tail modelling are discussed. The paper also considers multiple threshold tests for a generalized Pareto distribution, together with a threshold selection algorithm. One of the main contributions is to extend the methodology based on moments to all distributions, even without finite moments. These techniques are…
▽ More
The possibilities of the use of the coefficient of variation over a high threshold in tail modelling are discussed. The paper also considers multiple threshold tests for a generalized Pareto distribution, together with a threshold selection algorithm. One of the main contributions is to extend the methodology based on moments to all distributions, even without finite moments. These techniques are applied to Danish fire insurance losses.
△ Less
Submitted 1 October, 2015;
originally announced October 2015.
-
$q$-pseudoprimality: A natural generalization of strong pseudoprimality
Authors:
John H. Castillo,
Gilberto García-Pulgarín,
Juan Miguel Velásquez-Soto
Abstract:
In this work we present a natural generalization of strong pseudoprime to base $b$, which we have called $q$-pseudoprime to base $b$. It allows us to present another way to define a Midy's number to base $b$ (overpseudoprime to base $b$). Besides, we count the bases $b$ such that $N$ is a $q$-probable prime base $b$ and those ones such that $N$ is a Midy's number to base $b$. Furthemore, we prove…
▽ More
In this work we present a natural generalization of strong pseudoprime to base $b$, which we have called $q$-pseudoprime to base $b$. It allows us to present another way to define a Midy's number to base $b$ (overpseudoprime to base $b$). Besides, we count the bases $b$ such that $N$ is a $q$-probable prime base $b$ and those ones such that $N$ is a Midy's number to base $b$. Furthemore, we prove that there is not a concept analogous to Carmichael numbers to $q$-probable prime to base $b$ as with the concept of strong pseudoprimes to base $b$.
△ Less
Submitted 16 December, 2014;
originally announced December 2014.
-
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.