Search

We obtain an infinite-dimensional cone of singular twisted Hilbert spaces $Z(\varphi)$ which are isomorphic to their duals but not to their conjugate duals. We do that by showing that the subset of all bi-Lipschitz maps from $[0, \infty)$ to $\mathbb{R}$ is coneable. We also provide a characterization of the Kalton-Peck space among all twisted Hilbert spaces of the form $Z(\varphi)$, which gives a partial answer to a conjecture of F. Cabello S\'anchez and J. Castillo.

In this paper, we present some sufficient conditions on a metric space $M$ for which every molecule is a strongly subdifferentiable (SSD, for short) point in the Lipschitz-free space $\mathcal{F}(M)$ over $M$. Our main result reads as follows: if $(M,d)$ is a metric space and $\gamma > 0$, then there exists a (not necessarily equivalent) metric $d_{\gamma}$ in $M$ such that every finitely supported element in $\mathcal{F}(M, d_{\gamma})$ is an SSD point. As an application of the main result, it follows that if $M$ is uniformly discrete and $\varepsilon > 0$ is given, there exists a metric space $N$ and a $(1+\varepsilon)$-bi-Lipschitz map $\phi: M \rightarrow N$ such that the set of all SSD points in $\mathcal{F}(N)$ is dense., Comment: 20 pages, Some typos were fixed and a couple of remarks were added

We investigate the failure of the Stone-Weierstrass theorem focusing on the existence of large dimensional vector spaces within the set $\mathcal{C}(L, \mathbb{K}) \setminus \overline{\mathcal{A}}$, where $L$ is a compact Hausdorff space and $\mathcal{A}$ is a self-adjoint subalgebra of $\mathcal{C}(L, \mathbb{K})$ that vanishes nowhere on $L$ but does not necessarily separate the points of $L$. We address the problem of finding the precise codimension of $\overline{\mathcal{A}}$ in a broad setting, which allows us to describe the lineability of $\mathcal{C}(L, \mathbb{K}) \setminus \overline{\mathcal{A}}$ in detail. Our analysis yields both affirmative and negative results regarding the lineability of this set. Furthermore, we also study the set $(\mathcal{C}(\partial{D}, \mathbb{C}) \setminus \overline{\text{Pol}(\partial{D})}) \cup \{0\}$, where $\text{Pol}(\partial{D})$ is the set of all complex polynomials in one variable restricted to the boundary of the unit disk. Recent lineability properties are also taken into account., Comment: This updated version of the manuscript includes corrections for typos, results and certain inaccuracies

In this paper, we study the (uniform) strong subdifferentiability of the norms of the Banach spaces $\mathcal{P}(^N X, Y^*)$, $X \hat{\otimes}_\pi \cdots \hat{\otimes}_\pi X$ and $\hat{\otimes}_{\pi_s,N} X$. Among other results, we characterize when the norms of the spaces $\mathcal{P}(^N \ell_p, \ell_{q}), \mathcal{P}(^N l_{M_1}, l_{M_2})$, and $\mathcal{P}(^N d(w,p), l_{M_2})$ are strongly subdifferentiable. Analogous results for multilinear mappings are also obtained. Since strong subdifferentiability of a dual space implies reflexivity, we improve some known results on the reflexivity of spaces of $N$-homogeneous polynomials and $N$-linear mappings. Concerning the projective (symmetric) tensor norms, we provide positive results on the subsets $U$ and $U_s$ of elementary tensors on the unit spheres of $X \hat{\otimes}_\pi \cdots \hat{\otimes}_\pi X$ and $\hat{\otimes}_{\pi_s,N} X$, respectively. Specifically, we prove that $\hat{\otimes}_{\pi_s,N} \ell_2$ and $\ell_2 \hat{\otimes}_\pi \cdots \hat{\otimes}_\pi \ell_2$ are uniformly strongly subdifferentiable on $U_s$ and $U$, respectively, and that $c_0 \hat{\otimes}_{\pi_s} c_0$ and $c_0 \hat{\otimes}_\pi c_0$ are strongly subdifferentiable on $U_s$ and $U$, respectively, in the complex case., Comment: 38 pages

In this paper, we provide an infinite metric space $M$ such that the set $\mbox{SNA}(M)$ of strongly norm-attaining Lipschitz functions does not contain a subspace which is isometric to $c_0$. This answers a question posed by Antonio Avil\'es, Gonzalo Mart\'inez Cervantes, Abraham Rueda Zoca, and Pedro Tradacete. On the other hand, we prove that $\mbox{SNA}(M)$ contains an isometric copy of $c_0$ whenever $M$ 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.

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 $\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\'as type theorem in this setting. For the proof of such a result we develop a new geometric technique.

Let $\mathcal{X}$ be a Banach space with a fundamental biorthogonal system and let $\mathcal{Y}$ be the dense subspace spanned by the vectors of the system. We prove that $\mathcal{Y}$ admits a $C^\infty$-smooth norm that locally depends on finitely many coordinates (LFC, for short), as well as a polyhedral norm that locally depends on finitely many coordinates. As a consequence, we also prove that $\mathcal{Y}$ admits locally finite, $\sigma$-uniformly discrete $C^\infty$-smooth and LFC partitions of unity and a $C^1$-smooth LUR norm. This theorem substantially generalises several results present in the literature and gives a complete picture concerning smoothness in such dense subspaces. Our result covers, for instance, every WLD Banach space (hence, all reflexive ones), $L_1(\mu)$ for every measure $\mu$, $\ell_\infty(\Gamma)$ spaces for every set $\Gamma$, $C(K)$ spaces where $K$ is a Valdivia compactum or a compact Abelian group, duals of Asplund spaces, or preduals of Von Neumann algebras. Additionally, under Martin Maximum {\sf MM}, all Banach spaces of density $\omega_1$ are covered by our result., Comment: Int. Math. Res. Not. IMRN (online first)

In this paper, we study geometric properties of the set of group invariant continuous linear operators between Banach spaces. In particular, we present group invariant versions of the Hahn-Banach separation theorems and elementary properties of the invariant operators. This allows us to contextualize our main applications in the theory of norm-attaining operators; we establish group invariant versions of the properties $\alpha$ of Schachermayer and $\beta$ of Lindenstrauss, and present relevant results from this theory in this (much wider) setting. In particular, we generalize Bourgain's result, which says that if $X$ has the Radon-Nikod\'ym property, then $X$ has the $G$-Bishop-Phelps property for $G$-invariant operators whenever $G \subseteq \mathcal{L}(X)$ is a compact group of isometries on $X$., Comment: 28 pages

In this paper, we are interested in giving two characterizations for the so-called property {\bf L}$_{o,o}$, a local vector valued Bollob\'as type theorem. We say that $(X, Y)$ has this property whenever given $\eps > 0$ and an operador $T: X \rightarrow Y$, there is $\eta = \eta(\eps, T)$ such that if $x$ satisfies $\|T(x)\| > 1 - \eta$, then there exists $x_0 \in S_X$ such that $x_0 \approx x$ and $T$ itself attains its norm at $x_0$. This can be seen as a strong (although local) Bollob\'as theorem for operators. We prove that the pair $(X, Y)$ has the {\bf L}$_{o,o}$ for compact operators if and only if so does $(X, \K)$ for linear functionals. This generalizes at once some results due to D. Sain and J. Talponen. Moreover, we present a complete characterization for when $(X \pten Y, \K)$ satisfies the {\bf L}$_{o,o}$ for linear functionals under strict convexity or Kadec-Klee property assumptions in one of the spaces. As a consequence, we generalize some results in the literature related to the strongly subdifferentiability of the projective tensor product and show that $(L_p(\mu) \times L_q(\nu); \K)$ cannot satisfy the {\bf L}$_{o,o}$ for bilinear forms., Comment: 10 pages

In this paper, we introduce a concept of norm-attainment in the projective symmetric tensor product $\widehat{\otimes}_{\pi,s,N} X$ of a Banach space $X$, which turns out to be naturally related to the classical norm-attainment of $N$-homogeneous polynomials on $X$. Due to this relation, we can prove that there exist symmetric tensors that do not attain their norms, which allows us to study the problem of when the set of norm-attaining elements in $\widehat{\otimes}_{\pi,s,N} X$ is dense. We show that the set of all norm-attaining symmetric tensors is dense in $\widehat{\otimes}_{\pi,s,N} X$ for a large set of Banach spaces as $L_p$-spaces, isometric $L_1$-predual spaces or Banach spaces with monotone Schauder basis, among others. Next, we prove that if $X^*$ satisfies the Radon-Nikod\'ym and the approximation property, then the set of all norm-attaining symmetric tensors in $\widehat{\otimes}_{\pi,s,N} X^*$ is dense. From these techniques, we can present new examples of Banach spaces $X$ and $Y$ such that the set of all norm-attaining tensors in the projective tensor product $X \widehat{\otimes}_\pi Y$ is dense, answering positively an open question from the paper by S. Dantas, M. Jung, \'O. Rold\'an and A. Rueda Zoca., Comment: 16 pages

A pair of Banach spaces $(E, F)$ is said to have the weak maximizing property (WMP, for short) if for every bounded linear operator $T$ from $E$ into $F$, the existence of a non-weakly null maximizing sequence for $T$ implies that $T$ attains its norm. This property was recently introduced in an article by R. Aron, D. Garc\'ia, D. Pelegrino and E. Teixeira, raising several open questions. The aim of the present paper is to contribute to the better knowledge of the WMP and its limitations. Namely, we provide sufficient conditions for a pair of Banach spaces to fail the WMP and study the behaviour of this property with respect to quotients, subspaces, and direct sums, which open the gate to present several consequences. For instance, we deal with pairs of the form $(L_p[0,1], L_q[0,1])$, proving that these pairs fail the WMP whenever $p>2$ or $q<2$. We also show that, under certain conditions on $E$, the assumption that $(E, F)$ has the WMP for every Banach space $F$ implies that $E$ must be finite dimensional. On the other hand, we show that $(E, F)$ has the WMP for every reflexive space $E$ if and only if $F$ has the Schur property. We also give a complete characterization for the pairs $(\ell_s \oplus_p \ell_p, \ell_s \oplus_q \ell_q)$ to have the WMP by calculating the moduli of asymptotic uniform convexity of $\ell_s \oplus_p \ell_p$ and of asymptotic uniform smoothness of $\ell_s \oplus_q \ell_q$ when $1 < p \leq s \leq q < \infty$. We conclude the paper by discussing some variants of the WMP and presenting a list of open problems on the topic of the paper., Comment: 15 pages, Remark 2.5 is added

In this paper we provide necessary and sufficient conditions for the existence of non-norm-attaining operators in $\mathcal{L}(E, F)$. By using a theorem due to Pfitzner on James boundaries, we show that if there exists a relatively compact set $K$ of $\mathcal{L}(E, F)$ (in the weak operator topology) such that $0$ 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 $E$ is a reflexive space, $F$ is an arbitrary Banach space, and the pair $(E, F)$ has the bounded compact approximation property, then the following are equivalent: (i) $\mathcal{K}(E, F) = \mathcal{L}(E, F)$; (ii) Every operator from $E$ into $F$ attains its norm; (iii) $(\mathcal{L}(E,F), \tau_c)^* = (\mathcal{L}(E, F), \| \cdot \|)^*$; where $\tau_c$ denotes the topology of compact convergence. We conclude the paper presenting a characterization of the Schur property in terms of norm-attaining operators.

In this paper, we are interested in studying when an element $z$ in the projective tensor product $X \widehat{\otimes}_\pi Y$ turns out to be a Daugavet point. We prove first that, under some hypothesis, the assumption of $X \widehat{\otimes}_\pi 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}_\pi 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}_\pi 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., Comment: 16 pages

In this paper, we are interested in studying two properties related to the denseness of the operators which attain their numerical radius: the Bishop-Phelps-Bollob\'as point and operator properties for numerical radius (BPBpp-nu and BPBop-nu, respectively). We prove that every Banach space with micro-transitive norm and second numerical index strictly positive satisfy the BPBpp-nu and that, if the numerical index of $X$ is 1, only one-dimensional spaces enjoy it. On the other hand, we show that the BPBop-nu is a very restrictive property: under some general assumptions, it holds only for one-dimensional spaces. We also consider two weaker properties, the local versions of BPBpp-nu and BPBop-nu, where the $\eta$ which appears in their definition does not depend just on $\epsilon > 0$ but also on a state $(x, x^*)$ or on a numerical radius one operator $T$. We address the relation between the local BPBpp-nu and the strong subdifferentiability of the norm of the space $X$. We show that finite dimensional spaces and $c_0$ are examples of Banach spaces satisfying the local BPBpp-nu, and we exhibit an example of a Banach space with strongly subdifferentiable norm failing it. We finish the paper by showing that finite dimensional spaces satisfy the local BPBop-nu and that, if $X$ has strictly positive numerical index and has the approximation property, this property is equivalent to finite dimensionality.

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.

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(\mu)$-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\'echet differentiable. Moreover, we discuss some open problems on this topic.

Given two Banach spaces $X$ and $Y$, we introduce and study a concept of norm-attainment in the space of nuclear operators $\mathcal{N}(X,Y)$ and in the projective tensor product space $X \widehat{\otimes}_\pi Y$. We exhibit positive and negative examples where both previous norm-attainment hold. We also study the problem of whether the class of elements which attain their norms in $\mathcal{N}(X,Y)$ and in $X\widehat{\otimes}_\pi Y$ is dense or not. We prove that, for both concepts, the density of norm-attaining elements holds for a large class of Banach spaces $X$ and $Y$ which, in particular, covers all classical Banach spaces. Nevertheless, we present Banach spaces $X$ and $Y$ failing the approximation property in such a way that the class of elements in $X\widehat{\otimes}_\pi Y$ which attain their projective norms is not dense. We also discuss some relations and applications of our work to the classical theory of norm-attaining operators throughout the paper., Comment: 25 pages. One minor correction has been made

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 $\ell_1(\mathfrak{c})$, also has a dense linear subspace which admits an analytic renorming. By contrast, no dense subspace of $c_0(\omega_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^{\infty}$-smooth norm. Finally, we prove that there is a proper dense subspace of $\ell_{\infty}^{c}(\omega_1)$ that admits no G\^ateaux smooth norm. (Here, $\ell_{\infty}^{c} (\omega_1)$ denotes the Banach space of real-valued, bounded, and countably supported functions on $\omega_1$.), Comment: 18 pp

In this paper, we are interested in studying the set $\mathcal{A}_{\|\cdot\|}(X, Y)$ of all norm-attaining operators $T$ from $X$ into $Y$ satisfying the following: given $\epsilon>0$, there exists $\eta$ such that if $\|Tx\| > 1 - \eta$, then there is $x_0$ such that $\| x_0 - x\| < \epsilon$ and $T$ itself attains its norm at $x_0$. We show that every norm one functional on $c_0$ which attains its norm belongs to $\mathcal{A}_{\|\cdot\|}(c_0, \mathbb{K})$. Also, we prove that the analogous result holds neither for $\mathcal{A}_{\|\cdot\|}(\ell_1, \mathbb{K})$ nor $\mathcal{A}_{\|\cdot\|}(\ell_{\infty}, \mathbb{K})$. Under some assumptions, we show that the sphere of the compact operators belongs to $\mathcal{A}_{\|\cdot\|}(X, Y)$ and that this is no longer true when some of these hypotheses are dropped. The analogous set $\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 $\mathcal{A}_{\| \cdot \|}(X, X)$ and $\mathcal{A}_{nu}(X)$ when $X=c_0$ or $\ell_p$. As a consequence, we get that the canonical projections $P_N$ on these spaces belong to our sets. We give examples of operators on infinite dimensional Banach spaces which belong to $\mathcal{A}_{\| \cdot \|}(X, X)$ but not to $\mathcal{A}_{nu}(X)$ and vice-versa. Finally, we establish some techniques which allow us to connect both sets by using direct sums., Comment: In this version, we have added a complete characterization for the sets $\mathcal{A}_{\|\cdot\|}$ and $\mathcal{A}_{nu}$ for the diagonal operators on $c_0$ and $\ell_p$

We study Banach spaces whose group of isometries acts micro-transitively on the unit sphere. We introduce a weaker property, which one-complemented subspaces inherit, that we call uniform micro-semitransitivity. We prove a number of results about both micro-transitive and uniformly micro-semitransitive spaces, including that they are uniformly convex and uniformly smooth, and that they form a self-dual class. To this end, we relate the fact that the group of isometries acts micro-transitively with a property of operators called the pointwise Bishop-Phelps-Bollob\'as property and use some known results on it. Besides, we show that if there is a non-Hilbertian non-separable Banach space with uniform micro-semitransitive (or micro-transitive) norm, then there is a non-Hilbertian separable one. Finally, we show that an $L_p(\mu)$ space is micro-transitive or uniformly micro-semitransitive only when $p=2$., Comment: 12 pages

We continue a line of study about some local versions of Bishop-Phelps-Bollob\'as type properties for bounded linear operators. We introduce and focus our attention on two of these local properties, which we call L$_{p, o}$ and L$_{o, p}$, and we explore the relation between them and some geometric properties of the underlying spaces, such as spaces having strict convexity, local uniform rotundity, and property $\beta$ of Lindenstrauss. At the end of the paper, we present a diagram comparing all the existing Bishop-Phelps-Bollob\'as type properties with each other. Some open questions are left throughout the article.

It has been recently presented some local versions of the Bishop-Phelps-Bollob\'as type property for operators. In the present article, we continue studying these properties for multilinear mappings. We show some differences between the local and uniform versions of the Bishop-Phelps-Bollob\'as type results for multilinear mappings, and also provide some interesting examples which shows that this study is not just a mere generalization of the linear case. We study those properties for bilinear forms on $\ell_p \times \ell_q$ using the strong subdifferentiability of the norm of the Banach space $\ell_p \hat{\otimes}_{\pi} \ell_{q}$. Moreover, we present necessary and sufficient conditions for the norm of a Banach space $Y$ to be strongly subdifferentiable through the study of these properties for bilinear mappings on $\ell_1^N \times Y$.

Given two real Banach spaces $X$ and $Y$ with dimensions greater than one, it is shown that there is a sequence $\{T_n\}_{n\in \mathbb{N}}$ of norm attaining norm-one operators from $X$ to $Y$ and a point $x_0\in X$ with $\|x_0\|=1$, such that $\|T_n(x_0)\|\longrightarrow 1$ but $\inf_{n \in \mathbb{N}} \{\mbox{dist} (x_0,\,\{x\in X: \|T_n(x)\|=\|x\|=1\})\} >0.$ This shows that a version of the Bishop-Phelps-Bollob\'as property in which the operator is not changed is possible only if one of the involved Banach spaces is one-dimensional., Comment: The content of this paper overlaps with the old version of arXiv:1709.00032 (arXiv:1709.00032v1, submitted on 31 Aug 2017). Nevertheless, there is no intersection between the present version and the updated one of arXiv:1709.00032 (arXiv:1709.00032v2, submitted on 26 Sep 2018)

In this paper we consider a stronger property than the Bishop-Phelps-Bollob\'{a}s property for various classes of operators on a complex Hilbert space. The Bishop-Phelps-Bollob\'as {\it point} property for some class $\mathcal{A} \subset \mathcal{L}(H)$ says that if one starts with a norm one operator $T$ belonging to $\mathcal{A}$, which almost attains its norm at some norm one vector $x_0$, then there is a new operator $S$, belonging to the same class $\mathcal{A}$, which is close to $T$ and attains its norm at the same vector $x_0$. We study it for classical operators on a complex Hilbert spaces such as self-adjoint, anti-symmetric, unitary, compact, normal, and Schatten-von Neumann operators. We also solve analogous problems by replacing the norm of an operator by its numerical radius., Comment: 14 pages

In this paper we study conditions assuring that the Bishop-Phelps-Bollob\'as property (BPBp, for short) is inherited by absolute summands of the range space or of the domain space. Concretely, given a pair (X, Y) of Banach spaces having the BPBp, (a) if Y1 is an absolute summand of Y, then (X, Y1) has the BPBp; (b) if X1 is an absolute summand of X of type 1 or \infty, then (X1, Y) has the BPBp. Besides, analogous results for the BPBp for compact operators and for the density of norm attaining operators are also given. We also show that the Bishop-Phelps-Bollob\'as property for numerical radius is inherited by absolute summands of type 1 or \infty. Moreover, we provide analogous results for numerical radius attaining operators and for the BPBp for numerical radius for compact operators.

We study approximation of operators between Banach spaces $X$ and $Y$ that nearly attain their norms in a given point by operators that attain their norms at the same point. When such approximations exist, we say that the pair $(X, Y)$ has the pointwise Bishop-Phelps-Bollob\'as property (pointwise BPB property for short). In this paper we mostly concentrate on those $X$, called universal pointwise BPB domain spaces, such that $(X, Y)$ possesses pointwise BPB property for every $Y$, and on those $Y$, called universal pointwise BPB range spaces, such that $(X, Y)$ enjoys pointwise BPB property for every uniformly smooth $X$. We show that every universal pointwise BPB domain space is uniformly convex and that $L_p(\mu)$ spaces fail to have this property when $p>2$. For universal pointwise BPB range space, we show that every simultaneously uniformly convex and uniformly smooth Banach space fails it if its dimension is greater than one. We also discuss a version of the pointwise BPB property for compact operators., Comment: 19 pages, to appear in the Canadian J. Math. In this version, section 6 and the appendix of the previous version have been removed

The main aim of this paper is to prove a Bishop-Phelps-Bollob\'as type theorem on the unital uniform algebra A_{w^*u}(B_{X^*}) consisting of all w^*-uniformly continuous functions on the closed unit ball B_{X^*} which are holomorphic on the interior of B_{X^*}. We show that this result holds for A_{w^*u}(B_{X^*}) if X^* is uniformly convex or X^* is the uniformly complex convex dual space of an order continuous absolute normed space. The vector-valued case is also studied.

In this article, we study a version of the Bishop-Phelps-Bollob\'as property. We investigate a pair of Banach spaces $(X, Y)$ such that every operator from $X$ into $Y$ 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\'as point property (BPBpp). We characterize uniform smoothness in terms of BPBpp and we give some examples of pairs $(X, Y)$ which have and fail this property. Some stability results are obtained about $\ell_1$ and $\ell_\infty$ sums of Banach spaces and we also study this property for bilinear mappings.

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

We study the Bishop-Phelps-Bollob\'as 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 $X$, $Y$ be Banach spaces. If $(c_0,Y)$ has the BPBp for compact operators, then so do $(C_0(L),Y)$ for every locally compact Hausdorff topological space $L$ and $(X,Y)$ whenever $X^*$ is isometrically isomorphic to $\ell_1$. If $X^*$ has the Radon-Nikod\'ym property and $(\ell_1(X),Y)$ has the BPBp for compact operators, then so does $(L_1(\mu,X),Y)$ for every positive measure $\mu$; as a consequence, $(L_1(\mu,X),Y)$ has the the BPBp for compact operators when $X$ and $Y$ are finite-dimensional or $Y$ is a Hilbert space and $X=c_0$ or $X=L_p(\nu)$ for any positive measure $\nu$ and $1< p< \infty$. For $1\leqslant p <\infty$, if $(X,\ell_p(Y))$ has the BPBp for compact operators, then so does $(X,L_p(\mu,Y))$ for every positive measure $\mu$ such that $L_1(\mu)$ is infinite-dimensional. If $(X,Y)$ has the BPBp for compact operators, then so do $(X,L_\infty(\mu,Y))$ for every $\sigma$-finite positive measure $\mu$ and $(X,C(K,Y))$ for every compact Hausdorff topological space $K$., Comment: 21 pages