Source author record

Sheldon Dantas

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

Catalog footprint

Research overview

11works
1topics
4close collaborators

Published work

11 publications

preprint2022arXiv

On holomorphic functions attaining their weighted norms

We study holomorphic functions attaining weighted norms and its connections with the classical theory of norm attaining holomorphic functions. We prove that there are polynomials on ℓp\ell_p which attain their weighted but not their supremum norm and viceversa. Nevertheless, we also prove that in the context of polynomials of fixed degree both norms are in fact equivalent. This leads us to the main problem of the paper, namely, whether the holomorphic functions attaining their weighted norm are dense. Although we exhibit an example where this does not hold, as the main theorem of our paper, we prove the denseness provided the domain space is uniformly convex. In fact, we provide a Bollobás type theorem in this setting. For the proof of such a result we develop a new geometric technique.

preprint2022arXiv

On isometric embeddings into the set of strongly norm-attaining Lipschitz functions

In this paper, we provide an infinite metric space MM such that the set $\mbox{SNA}(M)$ of strongly norm-attaining Lipschitz functions does not contain a subspace which is isometric to c0c_0. This answers a question posed by Antonio Avilés, Gonzalo Martínez Cervantes, Abraham Rueda Zoca, and Pedro Tradacete. On the other hand, we prove that $\mbox{SNA}(M)$ contains an isometric copy of c0c_0 whenever MM is a metric space which is not uniformly discrete. In particular, the latter holds true for infinite compact metric spaces while it does not for proper metric spaces. Some positive results in the non-separable setting are also given.

preprint2021arXiv

Daugavet points in projective tensor products

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

preprint2021arXiv

On the existence of non-norm-attaining operators

In this paper we provide necessary and sufficient conditions for the existence of non-norm-attaining operators in L(E,F)\mathcal{L}(E, F). By using a theorem due to Pfitzner on James boundaries, we show that if there exists a relatively compact set KK of L(E,F)\mathcal{L}(E, F) (in the weak operator topology) such that 00 is an element of its closure (in the weak operator topology) but it is not in its norm closed convex hull, then we can guarantee the existence of an operator which does not attain its norm. This allows us to provide the following generalization of results due to Holub and Mujica. If EE is a reflexive space, FF is an arbitrary Banach space, and the pair (E,F)(E, F) has the bounded compact approximation property, then the following are equivalent: (i) K(E,F)=L(E,F)\mathcal{K}(E, F) = \mathcal{L}(E, F); (ii) Every operator from EE into FF attains its norm; (iii) (L(E,F),τc)∗=(L(E,F),∥⋅∥)∗(\mathcal{L}(E,F), τ_c)^* = (\mathcal{L}(E, F), \| \cdot \|)^*; where τcτ_c denotes the topology of compact convergence. We conclude the paper presenting a characterization of the Schur property in terms of norm-attaining operators.

preprint2020arXiv

Norm attaining operators which satisfy a Bollobás type theorem

In this paper, we are interested in studying the set A∥⋅∥(X,Y)\mathcal{A}_{\|\cdot\|}(X, Y) of all norm-attaining operators TT from XX into YY satisfying the following: given ε>0ε>0, there exists ηη such that if ∥Tx∥>1−η\|Tx\| > 1 - η, then there is x0x_0 such that ∥x0−x∥<ε\| x_0 - x\| < ε and TT itself attains its norm at x0x_0. We show that every norm one functional on c0c_0 which attains its norm belongs to A∥⋅∥(c0,K)\mathcal{A}_{\|\cdot\|}(c_0, \mathbb{K}). Also, we prove that the analogous result holds neither for A∥⋅∥(ℓ1,K)\mathcal{A}_{\|\cdot\|}(\ell_1, \mathbb{K}) nor A∥⋅∥(ℓ∞,K)\mathcal{A}_{\|\cdot\|}(\ell_{\infty}, \mathbb{K}). Under some assumptions, we show that the sphere of the compact operators belongs to A∥⋅∥(X,Y)\mathcal{A}_{\|\cdot\|}(X, Y) and that this is no longer true when some of these hypotheses are dropped. The analogous set Anu(X)\mathcal{A}_{nu}(X) for numerical radius of an operator instead of its norm is also defined and studied. We present a complete characterization for the diagonal operators which belong to the sets A∥⋅∥(X,X)\mathcal{A}_{\| \cdot \|}(X, X) and Anu(X)\mathcal{A}_{nu}(X) when X=c0X=c_0 or ℓp\ell_p. As a consequence, we get that the canonical projections PNP_N on these spaces belong to our sets. We give examples of operators on infinite dimensional Banach spaces which belong to A∥⋅∥(X,X)\mathcal{A}_{\| \cdot \|}(X, X) but not to Anu(X)\mathcal{A}_{nu}(X) and vice-versa. Finally, we establish some techniques which allow us to connect both sets by using direct sums.

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 XX into R\mathbb{R}. Using the relation among lattice homomorphisms and disjoint families, we prove that the topological dual of the free Banach lattice FBL(A)FBL(A) generated by a set AA contains a disjoint family of cardinality 2∣A∣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 c0c_0, LpL_p-, and C(K)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 XX and C(K,X)C(K,X) attains its norm whenever XX 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 free Banach lattices

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

preprint2020arXiv

Smooth norms in dense subspaces of Banach spaces

In the first part of our paper, we show that ℓ∞\ell_\infty has a dense linear subspace which admits an equivalent real analytic norm. As a corollary, every separable Banach space, as well as ℓ1(c)\ell_1(\mathfrak{c}), also has a dense linear subspace which admits an analytic renorming. By contrast, no dense subspace of c0(ω1)c_0(ω_1) admits an analytic norm. In the second part, we prove (solving in particular an open problem of Guirao, Montesinos, and Zizler) that every Banach space with a long unconditional Schauder basis contains a dense subspace that admits a C∞C^{\infty}-smooth norm. Finally, we prove that there is a proper dense subspace of ℓ∞c(ω1)\ell_{\infty}^{c}(ω_1) that admits no Gâteaux smooth norm. (Here, ℓ∞c(ω1)\ell_{\infty}^{c} (ω_1) denotes the Banach space of real-valued, bounded, and countably supported functions on ω1ω_1.)

preprint2016arXiv

The Bishop-Phelps-Bollobás point property

In this article, we study a version of the Bishop-Phelps-Bollobás property. We investigate a pair of Banach spaces (X,Y)(X, Y) such that every operator from XX into YY is approximated by operators which attains its norm at the same point where the original operator almost attains its norm. In this case, we say that such a pair has the Bishop-Phelps-Bollobás point property (BPBpp). We characterize uniform smoothness in terms of BPBpp and we give some examples of pairs (X,Y)(X, Y) which have and fail this property. Some stability results are obtained about ℓ1\ell_1 and ℓ∞\ell_\infty sums of Banach spaces and we also study this property for bilinear mappings.

preprint2016arXiv

The Bishop-Phelps-Bollobás property for compact operators

We study the Bishop-Phelps-Bollobás property (BPBp for short) for compact operators. We present some abstract techniques which allows to carry the BPBp for compact operators from sequence spaces to function spaces. As main applications, we prove the following results. Let XX, YY be Banach spaces. If (c0,Y)(c_0,Y) has the BPBp for compact operators, then so do (C0(L),Y)(C_0(L),Y) for every locally compact Hausdorff topological space LL and (X,Y)(X,Y) whenever X∗X^* is isometrically isomorphic to ℓ1\ell_1. If X∗X^* has the Radon-Nikodým property and (ℓ1(X),Y)(\ell_1(X),Y) has the BPBp for compact operators, then so does (L1(μ,X),Y)(L_1(μ,X),Y) for every positive measure μμ; as a consequence, (L1(μ,X),Y)(L_1(μ,X),Y) has the the BPBp for compact operators when XX and YY are finite-dimensional or YY is a Hilbert space and X=c0X=c_0 or X=Lp(ν)X=L_p(ν) for any positive measure νν and 1<p<∞1< p< \infty. For 1⩽p<∞1\leqslant p <\infty, if (X,ℓp(Y))(X,\ell_p(Y)) has the BPBp for compact operators, then so does (X,Lp(μ,Y))(X,L_p(μ,Y)) for every positive measure μμ such that L1(μ)L_1(μ) is infinite-dimensional. If (X,Y)(X,Y) has the BPBp for compact operators, then so do (X,L∞(μ,Y))(X,L_\infty(μ,Y)) for every σσ-finite positive measure μμ and (X,C(K,Y))(X,C(K,Y)) for every compact Hausdorff topological space KK.

preprint2016arXiv

The strong Bishop-Phelps-Bollobás property

In this paper we introduce the strong Bishop-Phelps-Bollobás property (sBPBp) for bounded linear operators between two Banach spaces XX and YY. This property is motivated by a Kim-Lee result which states, under our notation, that a Banach space XX is uniformly convex if and only if the pair (X,K)(X,\mathbb{K}) satisfies the sBPBp. Positive results of pairs of Banach spaces (X,Y)(X,Y) satisfying this property are given and concrete pairs of Banach spaces (X,Y)(X, Y) failing it are exhibited. A complete characterization of the sBPBp for the pairs (ℓp,ℓq)(\ell_p, \ell_q) is also provided.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

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