BZPEERPapers, people, evidence and research pathsDiscover
Research tools
Network
Opportunities
Account
Source author record
Antonio Avilés appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.
Catalog footprint
Research graph
Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.
BZPEER is loading the nearby papers, people, topics and institutions for this page.
Published work
We prove that if $M$ is an infinite complete metric space then the set of strongly norm-attaining Lipschitz functions $\SA(M)$ contains a linear subspace isomorphic to $c_0$. This solves an open question posed by V. Kadets and O. Roldán.
Given two Banach spaces $X$ and $Y$, we analyze when the projective tensor product $X\widehat{\otimes}_πY$ has Corson's property (C) or is weakly Lindelöf determined (WLD), subspace of a weakly compactly generated (WCG) space or subspace of a Hilbert generated space. For instance, we show that: (i) $X\widehat{\otimes}_πY$ is WLD if and only if both $X$ and $Y$ are WLD and all operators from $X$ to $Y^*$ and from $Y$ to $X^*$ have separable range; (ii) $X\widehat{\otimes}_πY$ is subspace of a WCG space if the same holds for both $X$ and $Y$ under the assumption that every operator from $X$ to $Y^*$ is compact; (iii) $\ell_p(Γ)\widehat{\otimes}_π\ell_q(Γ)$ is subspace of a Hilbert generated space for any $1< p,q<\infty$ such that $1/p+1/q<1$ and for any infinite set $Γ$. We also pay attention to the injective tensor product $X\widehat{\otimes}_\varepsilon Y$. In this case, the stability of property (C) and the property of being WLD turn out to be closely related to the condition that all regular Borel probability measures on the dual ball have countable Maharam type. Along this way, we generalize a result of Plebanek and Sobota that if $K$ is a compact space such that $C(K\times K)$ has property (C), then all regular Borel probability measures on $K$ have countable Maharam type. This generalization provides a consistent negative answer to a question of Ruess and Werner about the preservation of the $w^*$-angelicity of the dual unit ball under injective tensor products.
It is known that a Banach space contains an isomorphic copy of $c_0$ if, and only if, it can be equivalently renormed to be almost square. We introduce and study transfinite versions of almost square Banach spaces with the purpose to relate them to the containment of isomorphic copies of $c_0(κ)$, where $κ$ is some uncountable cardinal. We also provide several examples and stability results of the above properties by taking direct sums, tensor products and ultraproducts. By connecting the above properties with transfinite analogues of the strong diameter two property and octahedral norms, we obtain a solution to an open question from [8].
We study distinguished objects in the category $\mathcal{BL}$ of Banach lattices and lattice homomorphisms. The free Banach lattice construction introduced by de Pagter and Wickstead generates push-outs, and combining this with an old result of Kellerer on marginal measures, the amalgamation property of Banach lattices is established. This will be the key tool to prove that $L_1([0,1]^{\mathfrak{c}})$ is separably $\mathcal{BL}$-injective, as well as to give more abstract examples of Banach lattices of universal disposition for separable sublattices. Finally, an analysis of the ideals on $C(Δ,L_1)$, which is a separably universal Banach lattice as shown by Leung, Li, Oikhberg and Tursi, allows us to conclude that separably $\mathcal{BL}$-injective Banach lattices are necessarily non-separable.
We study the projectivity of the free Banach lattice generated by a lattice $\mathbb{L}$ in two cases: when the lattice is finite, and when the lattice is an infinite linearly ordered set. We prove that in the first case it is projective while in the second case, if the linear order contains either an increasing sequence without upper bounds or a decreasing sequence without lower bounds, then it is not projective.
We show that if a Banach lattice is projective, then every bounded sequence that can be mapped by a homomorphism onto the basis of $c_0$ must contain an $\ell_1$-subsequence. As a consequence, if Banach lattices $\ell_p$ or $FBL[E]$ are projective, then $p=1$ or $E$ has the Schur property, respectively. On the other hand, we show that $C(K)$ is projective whenever $K$ is an absolute neighbourhood retract, answering a question by de Pagter and Wickstead.
We prove that a Banach space of continuous functions $C(K)$ has a renorming that is uniformly rotund in every direction (URED) if and only if the compact space $K$ supports a strictly positive measure
We introduce the free Banach lattice generated by a lattice L. We give an explicit description of it and we study some of its properties for the case when $\mathbb{L}$ is a linear order, like the countable chain condition.
We consider the class of Banach space $Y$ for which $c_0$ admits a nontrivial twisted sum with $Y$. We present a characterization of such space $Y$ in terms of properties of the $weak^\ast$ topology on $Y^\ast$. We prove that under the continuum hypothesis $c_0$ has a nontrivial twisted sum with every space of the form $Y=C(K)$, where $K$ is compact and not metrizable. This gives a consistent positive solution to a problem posed by Cabello, Castillo, Kalton and Yost.
We show that $c_0$ is not a projective Banach lattice, answering a question of B. de Pagter and A. Wickstead. On the other hand, we show that $c_0$ is complemented in the free Banach lattice generated by itself (seen as a Banach space). As a consequence, the free Banach lattice generated by $c_0$ is not projective.
We show that for an arbitrary Banach space $E$, the free Banach lattice $FBL[E]$ generated by $E$ satisfies the $σ$-bounded chain condition.
A Banach space $X$ is said to have property (K) if every $w^*$-convergent sequence in $X^*$ admits a convex block subsequence which converges with respect to the Mackey topology. We study the connection of this property with strongly weakly compactly generated Banach spaces and its stability under subspaces, quotients and $\ell^p$-sums. We extend a result of Frankiewicz and Plebanek by proving that property (K) is preserved by $\ell^1$-sums of less than $\mathfrak{p}$ summands. Without any cardinality restriction, we show that property (K) is stable under $\ell^p$-sums for $1<p<\infty$.
We show that if a separable Rosenthal compactum $K$ is an $n$-to-one preimage of a metric compactum, but it is not an $n-1$-to-one preimage, then $K$ contains a closed subset homeomorphic to either the $n-$Split interval $S_n(I)$ or the Alexandroff $n-$plicate $D_n(2^\mathbb{N})$. This generalizes a result of the third author that corresponds to the case $n=2$.
We study the lattice structure of the family of weakly compact subsets of the unit ball $B_X$ of a separable Banach space $X$, equipped with the inclusion relation (this structure is denoted by $\mathcal{K}(B_X)$) and also with the parametrized family of almost inclusion relations $K \subseteq L+εB_X$, where $ε>0$ (this structure is denoted by $\mathcal{AK}(B_X)$). Tukey equivalence between partially ordered sets and a suitable extension to deal with $\mathcal{AK}(B_X)$ are used. Assuming the axiom of analytic determinacy, we prove that separable Banach spaces fall into four categories, namely: $\mathcal{K}(B_X)$ is equivalent either to a singleton, or to $ω^ω$, or to the family $\mathcal{K}(\mathbb{Q})$ of compact subsets of the rational numbers, or to the family $[\mathfrak{c}]^{<ω}$ of all finite subsets of the continuum. Also under the axiom of analytic determinacy, a similar classification of $\mathcal{AK}(B_X)$ is obtained. For separable Banach spaces not containing $\ell^1$, we prove in ZFC that $\mathcal{K}(B_X) \sim \mathcal{AK}(B_X)$ are equivalent to either $\{0\}$, $ω^ω$, $\mathcal{K}(\mathbb{Q})$ or $[\mathfrak{c}]^{<ω}$. The lattice structure of the family of all weakly null subsequences of an unconditional basis is also studied.
A compact space is said to be weakly Radon-Nikodým (WRN) if it can be weak*-embedded into the dual of a Banach space not containing $\ell_1$. We investigate WRN Boolean algebras, i.e. algebras whose Stone space is WRN compact. We show that the class of WRN algebras and the class of minimally generated algebras are incomparable. In particular, we construct a minimally generated nonWRN Boolean algebra whose Stone space is a separable Rosenthal compactum, answering in this way a question of W. Marciszewski. We also study questions of J. Rodríguez and R. Haydon concerning measures and the existence of nontrivial convergent sequences on WRN compacta, obtaining partial results on some natural subclasses.
We introduce the open degree of a compact space, and we show that for every natural number n, the separable Rosenthal compact spaces of degree n have a finite basis.
We study extension operators between spaces $σ_n(2^X)$ of subsets of $X$ of cardinality at most $n$. As an application, we show that if $B_H$ is the unit ball of a nonseparable Hilbert space $H$, equipped with the weak topology, then, for any $0<λ<μ$, there is no extension operator $T: C(λB_H)\to C(μB_H)$.
We study the different ways in which a weakly compact set can generate a Banach lattice. Among other things, it is shown that in an order continuous Banach lattice $X$, the existence of a weakly compact set $K \subset X$ such that $X$ coincides with the band generated by $K$, implies that $X$ is WCG.
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.
This is an introductory article to the theory of multiple gaps.
We study the Bishop-Phelps-Bollobas property for numerical radius within the framework of C(K) spaces. We present several sufficient conditions on a compact space K ensuring that C(K) has the Bishop-Phelps-Bollobas property for numerical radius. In particular, we show that C(K) has such property whenever K is metrizable.
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.
We construct an infinite dimensional Banach space of continuous functions C(K) such that every one-to-one operator on C(K) is onto.
A space $X$ is Eberlein-Grothendieck if $X\subset C_p(K)$ for some compact space $K.$ In this paper we address the problem of whether such a space $X$ is $σ$-discrete whenever it is scattered. We show that if $w(K)\leqω_1$ then $X$ is $σ$-dicrete whenever $X$ has height $ω_1$ and it is locally compact or locally countable. It is also proved that every Lindelöf Čech-complete scattered space is $σ$-compact.
We identify the finite list of minimal analytic n-gaps which are not countably separated, and we prove that every analytic n-gap which is not countably separated contains a gap from our finite list.
Let C(K) be the Banach space of all continuous functions on a given compact space K. We investigate the w*-sequential closure in C(K)* of the set of all finitely supported probabilities on K. We discuss the coincidence of the Baire sigma-algebras on C(K) associated to the weak and pointwise convergence topologies.
We provide a ZFC example of a compact space K such that C(K)* is w*-separable but its closed unit ball is not w*-separable. All previous examples of such kind had been constructed under CH. We also discuss the measurability of the supremum norm on that C(K) equipped with its weak Baire sigma-algebra.
A cardinal k is called a Kunen cardinal if the sigma-algebra on k x k generated by all products AxB, coincides with the power set of k x k. For any cardinal k, let C(2^k) be the Banach space of all continuous real-valued functions on the Cantor cube 2^k. We prove that k is a Kunen cardinal if and only if the Baire sigma-algebra on C(2^k) for the pointwise convergence topology coincides with the Borel sigma-algebra on C(2^k) for the norm topology. Some other links between Kunen cardinals and measurability in Banach spaces are also given.
We consider the notion of multiple gap as a finite set of ideals that cannot be separated. We study the different types of such objects that can be found in the Boolean algebra of subsets of the natural numbers modulo finite sets.
Under the assumption that the continuum c is a regular cardinal, we prove the existence and uniqueness of a Boolean algebra B of size c defined by sharing the main structural properties that P(N)/fin has under CH and in the aleph2-Cohen model. We prove a similar result in the category of Banach spaces.
We provide examples of nonseparable compact spaces with the property that any continuous image which is homeomorphic to a finite product of spaces has a maximal prescribed number of nonseparable factors.
We list a number of problems in several topics related to compactness in nonseparable Banach spaces. Namely, about the Hilbertian ball in its weak topology, spaces of continuous functions on Eberlein compacta, WCG Banach spaces, Valdivia compacta and Radon-Nikodým compacta.
We prove that a continuous image of a Radon-Nikodým compact space of weight less than b is Radon-Nikodým compact. As a Banach space counterpart, subspaces of Asplund generated Banach spaces of density character less than b are Asplund generated. In this case, in addition, there exists a subspace of an Asplund generated space which is not Asplund generated which has density character exactly b.
Di Piazza and Preiss asked whether every Pettis integrable function defined on [0,1] and taking values in a weakly compactly generated Banach space is McShane integrable. In this paper we answer this question in the negative.
We prove that in a certain class E of nonseparable Banach spaces the norm topology of the dual ball is definable in terms of its weak* topology. Thus, any weak* homeomorphism between duals balls of spaces in E is automatically norm-continuous.
We study when a map between two subsets of a Boolean domain W can be extended to an automorphism of W. Under many hypotheses, if the underlying Boolean algebra is complete or if the sets are finite or Boolean domains, the necessary and suficient condition is that it preserves the Boolean distance between every couple of points.
We study an order relation on the fibers of a continuous map and its application to the study of the structure of compact spaces of uncountable weight.
We provide a characterization of continuous images of Radon-Nikodym compacta lying in a product of real lines and model on it a method for constructing natural examples of such continuous images.