Researcher profile

Abraham Rueda Zoca

Abraham Rueda Zoca contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate

Trust snapshot

Quick read

Trust 21 - EmergingVerification L1Unclaimed author
18works
0followers
1topics
4close collaborators

Actions

Decide how to stay connected

Follow researcher0

Identity and collaboration

How to connect with this researcher

Claiming links this public author record to a researcher profile and unlocks direct collaboration workflows.

Log in to claim

Direct collaboration

Open a focused conversation when the fit is right

Claim this author entity first to unlock direct invitations.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.

Building this graph slice

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

18 published item(s)

preprint2023arXiv

Diametral notions for elements of the unit ball of a Banach space

We introduce extensions of $Δ$-points and Daugavet points in which slices are replaced by relative weakly open subsets (super $Δ$-points and super Daugavet points) or by convex combinations of slices (ccs $Δ$-points and ccs Daugavet points). We first give a general overview on these new concepts and provide some isometric consequences on the spaces. As examples: if a Banach space contains a super $Δ$-point, then it does not admit an unconditional FDD with suppression constant smaller than two; if a real Banach space contains a ccs $Δ$-point, then it does not admit a one-unconditional basis; if a Banach space contains a ccs Daugavet point, then every convex combination of slices of its unit ball has diameter two. We next characterize the notions in some classes of Banach spaces showing, for instance, that all the notions coincide in $L_1$-predual spaces and that all the notions but ccs Daugavet points coincide in $L_1$-spaces. We next remark on some examples which have previously appeared in the literature and provide some new intriguing examples: examples of super $Δ$-points which are as closed as desired to strongly exposed points (hence failing to be Daugavet points in an extreme way); an example of a super $Δ$-point which is strongly regular (hence failing to be a ccs $Δ$-point in the strongest way); a super Daugavet point which fails to be a ccs $Δ$-point. The extensions of the diametral notions to point in the open unit ball and the consequences on the spaces are also studied. Last, we investigate the Kuratowski measure of relative weakly open subsets and of convex combinations of slices in the presence of super $Δ$-points or ccs $Δ$-points, as well as for spaces enjoying diameter 2 properties. We conclude the paper with a section on open problems.

preprint2023arXiv

On weakly almost square Banach spaces

We prove some results on weakly almost square Banach spaces and their relatives. On the one hand, we discuss weak almost squareness in the setting of Banach function spaces. More precisely, let $(Ω,Σ)$ be a measurable space, let $E$ be a Banach lattice and let $ν:Σ\to E^+$ be a non-atomic countably additive measure having relatively norm compact range. Then the space $L_1(ν)$ is weakly almost square. This result applies to some abstract Cesàro function spaces. Similar arguments show that the Lebesgue-Bochner space $L_1(μ,Y)$ is weakly almost square for any Banach space~$Y$ and for any non-atomic finite measure~$μ$. On the other hand, we make some progress on the open question of whether there exists a locally almost square Banach space which fails the diameter two property. In this line we prove that if $X$ is any Banach space containing a complemented isomorphic copy of~$c_0$, then for every $0<\varepsilon<1$ there exists an equivalent norm $|\cdot|$ on~$X$ satisfying: (i)~every slice of the unit ball $B_{(X,|\cdot|)}$ has diameter~$2$; (ii) $B_{(X,|\cdot|)}$ contains non-empty relatively weakly open subsets of arbitrarily small diameter; and (iii)~$(X,|\cdot|)$ is $(r,s)$-SQ for all $0<r,s < \frac{1-\varepsilon}{1+\varepsilon}$.

preprint2023arXiv

Rank-one perturbations and norm-attaining operators

The main goal of this article is to show that for every (reflexive) infinite-dimensional Banach space $X$ there exists a reflexive Banach space $Y$ and $T, R \in \mathcal{L}(X,Y)$ such that $R$ is a rank-one operator, $\|T+R\|>\|T\|$ but $T+R$ does not attain its norm. This answers a question posed by S. Dantas and the first two authors. Furthermore, motivated by the parallelism exhibited in the literature between the $V$-property introduced by V.A. Khatskevich, M.I. Ostrovskii and V.S. Shulman and the weak maximizing property introduced by R.M. Aron, D. García, D. Pellegrino and E.V. Teixeira, we also study the relationship between these two properties and norm-attaining perturbations of operators.

preprint2022arXiv

Extremal structure in ultrapowers of Banach spaces

Given a bounded convex subset $C$ of a Banach space $X$ and a free ultrafilter $\mathcal U$, we study which points $(x_i)_\mathcal U$ are extreme points of the ultrapower $C_\mathcal U$ in $X_\mathcal U$. In general, we obtain that when $\{x_i\}$ is made of extreme points (respectively denting points, strongly exposed points) and they satisfy some kind of uniformity, then $(x_i)_\mathcal U$ is an extreme point (respectively denting point, strongly exposed point) of $C_\mathcal U$. We also show that every extreme point of $C_{\mathcal U}$ is strongly extreme, and that every point exposed by a functional in $(X^*)_{\mathcal U}$ is strongly exposed, provided that $\mathcal U$ is a countably incomplete ultrafilter. Finally, we analyse the extremal structure of $C_\mathcal U$ in the case that $C$ is a super weakly compact or uniformly convex set.

preprint2022arXiv

Several remarks on norm attaining in tensor product spaces

The aim of this note is to obtain results about when the norm of a projective tensor product is strongly subdifferentiable. We prove that if $X\hat{\otimes}_πY$ is strongly subdifferentiable and either $X$ or $Y$ has the metric approximation property then every bounded operator from $X$ to $Y^*$ is compact. We also prove that $(\ell_p(I)\hat{\otimes}_π\ell_q(J))^*$ has the $w^*$-Kadec-Klee property for every non-empty sets $I,J$ and every $2<p,q<\infty$, obtaining in particular that the norm of the space $\ell_p(I)\hat{\otimes}_π\ell_q(J)$ is strongly subdifferentiable. This extends several results of Dantas, Kim, Lee and Mazzitelli. We also find examples of spaces $X$ and $Y$ for which the set of norm-attaining tensors in $X\pten Y$ is dense but whose complement is dense too.

preprint2022arXiv

The Daugavet property in spaces of vector-valued Lipschitz functions

We prove that if a metric space $M$ has the finite CEP then $\mathcal F(M)\widehat{\otimes}_π X$ has the Daugavet property for every non-zero Banach space $X$. This applies, for instance, if $M$ is a Banach space whose dual is isometrically an $L_1(μ)$ space. If $M$ has the CEP then $L(\mathcal F(M),X)=\Lip(M,X)$ has the Daugavet property for every non-zero Banach space $X$, showing that this is the case when $M$ is an injective Banach space or a convex subset of a Hilbert space.

preprint2022arXiv

Topological properties in tensor products of Banach spaces

Given two Banach spaces $X$ and $Y$, we analyze when the projective tensor product $X\widehat{\otimes}_πY$ has Corson&#39;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.

preprint2022arXiv

Transfinite almost square Banach spaces

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].

preprint2021arXiv

Daugavet points and $Δ$-points in Lipschitz-free spaces

We study Daugavet points and $Δ$-points in Lipschitz-free Banach spaces. We prove that, if $M$ is a compact metric space, then $μ\in S_{\mathcal F(M)}$ is a Daugavet point if, and only if, there is no denting point of $B_{\mathcal F(M)}$ at distance strictly smaller than two from $μ$. Moreover, we prove that if $x$ and $y$ are connectable by rectifiable curves of lenght as close to $d(x,y)$ as we wish, then the molecule $m_{x,y}$ is a $Δ$-point. Some conditions on $M$ which guarantee that the previous implication reverses are also obtained. As a consequence of our work, we show that Lipschitz-free spaces are natural examples of Banach spaces where we can guarantee the existence of $Δ$-points which are not Daugavet points.

preprint2021arXiv

Daugavet points in projective tensor products

In this paper, we are interested in studying when an element $z$ in the projective tensor product $X \widehat{\otimes}_πY$ turns out to be a Daugavet point. We prove first that, under some hypothesis, the assumption of $X \widehat{\otimes}_πY$ having the Daugavet property implies the existence of a great amount of isometries from $Y$ into $X^*$. Having this in mind, we provide methods for constructing non-trivial Daugavet points in $X \widehat{\otimes}_πY$. We show that $C(K)$-spaces are examples of Banach spaces such that the set of the Daugavet points in $C(K) \widehat{\otimes}_πY$ is weakly dense when $Y$ is a subspace of $C(K)^*$. Finally, we present some natural results on when an elementary tensor $x \otimes y$ is a Daugavet point.

preprint2020arXiv

$L$-orthogonality, octahedrality and Daugavet property in Banach spaces

In contrast with the separable case, we prove that the existence of almost $L$-orthogonal vectors in a nonseparable Banach space $X$ (octahedrality) does not imply the existence of nonzero vectors in $X^{**}$ being $L$-orthogonal to $X$, which shows that the answer to an environment question in [9] is negative. Furthermore, we prove that the abundance of almost $L$-orthogonal vectors in a Banach space $X$ (almost Daugavet property) whose density character is $ω_1$ implies the abundance of nonzero vectors in $X^{**}$ being $L$-orthogonal to $X$. In fact, we get that a Banach space $X$ whose density character is $ω_1$ verifies the Daugavet property if, and only if, the set of vectors in $X^{**}$ being $L$-orthogonal to $X$ is weak-star dense in $X^{**}$. We also prove that, under CH, the previous characterisation is false for Banach spaces with larger density character. Finally, some consequences on Daugavet property in the setting of $L$-embedded spaces are obtained.

preprint2020arXiv

Examples and applications of the density of strongly norm attaining Lipschitz maps

We study the density of the set $\operatorname{SNA}(M,Y)$ of those Lipschitz maps from a (complete pointed) metric space $M$ to a Banach space $Y$ which strongly attain their norm (i.e.\ the supremum defining the Lipschitz norm is actually a maximum). We present new and somehow counterintuitive examples, and we give some applications. First, we show that $\operatorname{SNA}(\mathbb T,Y)$ is not dense in ${\mathrm{Lip}}_0(\mathbb T,Y)$ for any Banach space $Y$, where $\mathbb T$ denotes the unit circle in the Euclidean plane. This provides the first example of a Gromov concave metric space (i.e.\ every molecule is a strongly exposed point of the unit ball of the Lipschitz-free space) for which the density does not hold. Next, we construct metric spaces $M$ satisfying that $\operatorname{SNA}(M,Y)$ is dense in ${\mathrm{Lip}}_0(M,Y)$ regardless $Y$ but which contains an isometric copy of $[0,1]$ and so the Lipschitz-free space $\mathcal F(M)$ fails the Radon--Nikodým property, answering in the negative a posed question. Furthermore, an example $M$ can be produced failing all the previously known sufficient conditions to get the density of strongly norm attaining Lipschitz maps. Finally, among other applications, we prove that given a compact metric $M$ which does not contains any isometric copy of $[0,1]$ and a Banach space $Y$, if $\operatorname{SNA}(M,Y)$ is dense, then $\operatorname{SNA}(M,Y)$ actually contains an open dense subset and $B_{\mathcal F(M)}=\overline{\mathrm{co}}(\operatorname{str-exp}(B_{\mathcal F(M)}))$. Further, we show that if $M$ is a boundedly compact metric space for which $\operatorname{SNA}(M,\mathbb R)$ is dense in ${\mathrm{Lip}}_0(M,\mathbb R)$, then the unit ball of the Lipschitz-free space on $M$ is the closed convex hull of its strongly exposed points.

preprint2020arXiv

Norm-attaining lattice homomorphisms

In this paper we study the structure of the set $\mbox{Hom}(X,\mathbb{R})$ of all lattice homomorphisms from a Banach lattice $X$ into $\mathbb{R}$. Using the relation among lattice homomorphisms and disjoint families, we prove that the topological dual of the free Banach lattice $FBL(A)$ generated by a set $A$ contains a disjoint family of cardinality $2^{|A|}$, answering a question of B. de Pagter and A.W. Wickstead. We also deal with norm-attaining lattice homomorphisms. For classical Banach lattices, as $c_0$, $L_p$-, and $C(K)$-spaces, every lattice homomorphism on it attains its norm, which shows, in particular, that there is no James theorem for this class of functions. We prove that, indeed, every lattice homomorphism on $X$ and $C(K,X)$ attains its norm whenever $X$ has order continuous norm. On the other hand, we provide what seems to be the first example in the literature of a lattice homomorphism which does not attain its norm. In general, we study the existence and characterization of lattice homomorphisms not attaining their norm in free Banach lattices. As a consequence, it is shown that no Bishop-Phelps type theorem holds true in the Banach lattice setting, i.e. not every lattice homomorphism can be approximated by norm-attaining lattice homomorphisms.

preprint2020arXiv

Octahedral norms in duals and biduals of Lipschitz-free spaces

We continue with the study of octahedral norms in the context of spaces of Lipschitz functions and in their duals. First, we prove that the norm of $\mathcal F(M)^{**}$ is octahedral as soon as $M$ is unbounded or is not uniformly discrete. Further, we prove that a concrete sequence of uniformly discrete and bounded metric spaces $(K_m)$ satisfies that the norm of $\mathcal F(K_m)^{**}$ is octahedral for every $m$. Finally, we prove that if $X$ is an arbitrary Banach space and the norm of $\operatorname{Lip}_0(M)$ is octahedral, then the norm of $\operatorname{Lip}_0(M,X^\ast)$ is octahedral. These results solve several open problems from the literature.

preprint2020arXiv

Octahedral norms in free Banach lattices

In this paper, we study octahedral norms in free Banach lattices $FBL[E]$ generated by a Banach space $E$. We prove that if $E$ is an $L_1(μ)$-space, a predual of von Neumann algebra, a predual of a JBW$^*$-triple, the dual of an $M$-embedded Banach space, the disc algebra or the projective tensor product under some hypothesis, then the norm of $FBL[E]$ is octahedral. We get the analogous result when the topological dual $E^*$ of $E$ is almost square. We finish the paper by proving that the norm of the free Banach lattice generated by a Banach space of dimension $ \geq 2$ is nowhere Fréchet differentiable. Moreover, we discuss some open problems on this topic.

preprint2020arXiv

On Daugavet indices of thickness

Inspired by R. Whitley&#39;s thickness index the last named author recently introduced the Daugavet index of thickness of Banach spaces. We continue the investigation of the behavior of this index and also consider two new versions of the Daugavet index of thickness, which helps us solve an open problem which connect the Daugavet indices with the Daugavet equation. Moreover, we will improve the formerly known estimates of the behavior of Daugavet index on direct sums of Banach spaces by establishing sharp bounds. As a consequence of our results we prove that, for every $0<δ<2$, there exists a Banach space where the infimum of the diameter of convex combinations of slices of the unit ball is exactly $δ$, solving an open question from the literature. Finally, we prove that an open question posed by Ivakhno in 2006 about the relation between the radius and diameter of slices has a negative answer.

preprint2020arXiv

Points of differentiability of the norm in Lipschitz-free spaces

We consider convex series of molecules in Lipschitz-free spaces, i.e. elements of the form $μ=\sum_n λ_n \frac{δ_{x_n}-δ_{y_n}}{d(x_n,y_n)}$ such that $\|μ\|=\sum_n |λ_n |$. We characterise these elements in terms of geometric conditions on the points $x_n$, $y_n$ of the underlying metric space, and determine when they are points of Gâteaux differentiability of the norm. In particular, we show that Gâteaux and Fréchet differentiability are equivalent for finitely supported elements of Lipschitz-free spaces over uniformly discrete and bounded metric spaces, and that their tensor products with Gâteaux (resp. Fréchet) differentiable elements of a Banach space are Gâteaux (resp. Fréchet) differentiable in the corresponding projective tensor product.