We prove that the diametral strong diameter 2 property of a Banach space (meaning that, in convex combinations of relatively weakly open subsets of its unit ball, every point has an "almost diametral" point) is stable under 1-sums, i.e., the direct sum of two spaces with the diametral strong diameter 2 property equipped with the 1-norm has again this property.
The aim of this note is to provide several variants of the diameter two properties for Banach spaces. We study such properties looking for the abundance of diametral points, which holds in the setting of Banach spaces with the Daugavet property, for example, and we intro- duce the diametral diameter two properties in Banach spaces, showing for these new properties stability results, inheritance to subspaces and characterizations in terms of finite rank projections.
We demonstrate the result stated in the title, thus answering an open question asked by Julio Becerra Guerrero, Ginés López-Pérez and Abraham Rueda Zoca in J. Conv. Anal. \textbf{25}, no. 3 (2018).
We prove that the diametral diameter two properties are inherited by $F$-ideals (e.g., $M$-ideals). On the other hand, these properties are lifted from an $M$-ideal to the superspace under strong geometric assumptions. We also show that all of the diametral diameter two properties are stable under the formation of corresponding Köthe-Bochner spaces (e.g., $L_p$-Bochner spaces). Finally, we investigate when the projective tensor product of two Banach spaces has some diametral diameter two property.
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…
We study the existence of Daugavet- and delta-points in the unit sphere of Banach spaces with a $1$-unconditional basis. A norm one element $x$ in a Banach space is a Daugavet-point (resp. delta-point) if every element in the unit ball (resp. $x$ itself) is in the closed convex hull of unit ball elements that are almost at distance $2$ from $x$. A Banach space has the Daugavet property (resp. diametral local diameter two property) if and only if every norm one element is a Daugavet-point (resp. delta-point). It is well-known that a Banach space with the Daugavet property does not have an uncon…
A Daugavet-point (resp.~$Δ$-point) of a Banach space is a norm one element $x$ for which every point in the unit ball (resp.~element $x$ itself) is in the closed convex hull of unit ball elements that are almost at distance 2 from $x$. A Banach space has the well-known Daugavet property (resp.~diametral local diameter 2 property) if and only if every norm one element is a Daugavet-point (resp.~$Δ$-point). This paper complements the article "Delta- and Daugavet-points in Banach spaces" by T. A. Abrahamsen, R. Haller, V. Lima, and K. Pirk, where the study of the existence of Daugavet- and $Δ$-po…
We prove that, if Banach spaces $X$ and $Y$ are $δ$-average rough, then their direct sum with respect to an absolute norm $N$ is $δ/N(1,1)$-average rough. In particular, for octahedral $X$ and $Y$ and for $p$ in $(1,\infty)$ the space $X\oplus_p Y$ is $2^{1-1/p}$-average rough, which is in general optimal. Another consequence is that for any $δ$ in $(1,2]$ there is a Banach space which is exactly $δ$-average rough. We give a complete characterization when an absolute sum of two Banach spaces is octahedral or has the strong diameter 2 property. However, among all of the absolute sums, the diame…
It is proved that there exist complemented subspaces of countable topological products (locally convex direct sums) of Banach spaces which cannot be represented as topological products (locally convex direct sums) of Banach spaces. (This is a revised version of the paper by the same name formerly contained in the file ostrovskiicompsbsp.atx.)
We introduce a new diametral notion for points of the unit sphere of Banach spaces, that naturally complements the notion of Delta-points, but is weaker than the notion of Daugavet points. We prove that this notion can be used to provide a new geometric characterization of the Daugavet property, as well as to recover -- and even to provide new -- results about Daugavet points in various contexts such as absolute sums of Banach spaces or projective tensor products. Finally, we show that this notion leads to powerful new ideas for renorming questions, and that those ideas can be combined with pr…
In this paper, we discuss the role played by additional set-theoretic assumptions in the investigation of the existence of nontrivial twisted sums of $c_0$ and spaces of continuous functions on nonmetrizable compact Hausdorff spaces.
We study the notions of acs, luacs and uacs Banach spaces which were introduced by V. Kadets et al. in 2000 and form common generalisations of the usual rotundity and smoothness properties of Banach spaces. In particular, we are interested in (mainly infinite) absolute sums of such spaces. We also introduce some new classes of spaces that lie inbetween those of acs and uacs spaces and study their behaviour under the formation of absolute sums as well.
We show that a complemented subspace of a locally convex direct sum of an uncountable collection of Banach spaces is a locally convex direct sum of complemented subspaces of countable subsums. As a corollary we prove that a complemented subspace of a locally convex direct sum of arbitrary collection of $\ell_{1}(Γ)$-spaces is isomorphic to a locally convex direct sum of $\ell_{1}(Γ)$-spaces.
A $Δ$-point $x$ of a Banach space is a norm one element that is arbitrarily close to convex combinations of elements in the unit ball that are almost at distance $2$ from $x$. If, in addition, every point in the unit ball is arbitrarily close to such convex combinations, $x$ is a Daugavet-point. A Banach space $X$ has the Daugavet property if and only if every norm one element is a Daugavet-point. We show that $Δ$- and Daugavet-points are the same in $L_1$-spaces, $L_1$-preduals, as well as in a big class of Müntz spaces. We also provide an example of a Banach space where all points on the uni…
A Banach space $X$ is said to have the ball generated property (BGP) if every closed, bounded, convex subset of $X$ can be written as an intersection of finite unions of closed balls. In 2002 S. Basu proved that the BGP is stable under (infinite) $c_0$- and $\ell^p$-sums for $1<p<\infty$. We will show here that for any absolute, normalised norm $\|\cdot\|_E$ on $\mathbb{R}^2$ satisfying a certain smoothness condition the direct sum $X\oplus_E Y$ of two Banach spaces $X$ and $Y$ with respect to $\|\cdot\|_E$ enjoys the BGP whenever $X$ and $Y$ have the BGP.
It is shown that if a Banach space X has the weak Banach-Saks property and the weak fixed point property for nonexpansive mappings and Y satisfies property asymptotic (P) (which is weaker than the condition WCS(Y)>1), then the direct sum of X and Y endowed with a strictly monotone norm enjoys the weak fixed point property. The same conclusion is valid if X admits a 1-unconditional basis.
We show that if a Banach space X has the weak fixed point property for nonexpansive mappings and Y has the generalized Gossez-Lami Dozo property or is uniformly convex in every direction, then the direct sum of X and Y with a strictly monotone norm has the weak fixed point property. The result is new even if Y is finite-dimensional.
We show that all the symmetric projective tensor products of a Banach space $X$ have the Daugavet property provided $X$ has the Daugavet property and either $X$ is an $L_1$-predual (i.e.\ $X^*$ is isometric to an $L_1$-space) or $X$ is a vector-valued $L_1$-space. In the process of proving it, we get a number of results of independent interest. For instance, we characterise "localised" versions of the Daugavet property (i.e.\ Daugavet points and $Δ$-points recently introduced) for $L_1$-preduals in terms of the extreme points of the topological dual, a result which allows to characterise a pol…
We study the numerical index of absolute sums of Banach spaces, giving general conditions which imply that the numerical index of the sum is less or equal than the infimum of the numerical indices of the summands and we provide some examples where the equality holds covering the already known case of $c_0$-, $\ell_1$- and $\ell_\infty$-sums and giving as a new result the case of $E$-sums where $E$ has the RNP and $n(E)=1$ (in particular for finite-dimensional $E$ with $n(E)=1$). We also show that the numerical index of a Banach space $Z$ which contains a dense increasing union of one-complemen…
This paper is devoted to providing a unifying approach to the study of the uniqueness of unconditional bases, up to equivalence and permutation, of infinite direct sums of quasi-Banach spaces. Our new approach to this type of problem permits us to show that a wide class of vector-valued sequence spaces have a unique unconditional basis up to a permutation. In particular, solving a problem from [F. Albiac and C. Leránoz, Uniqueness of unconditional bases in nonlocally convex $\ell_1$-products, J. Math. Anal. Appl. 374 (2011), no. 2, 394--401] we show that if $X$ is quasi-Banach space with a str…
A linear continuous nonzero operator G:X->Y is a Daugavet center if every rank-1 operator T:X->Y satisfies ||G+T||=||G||+||T||. We study the case when either X or Y is a sum $X_1 \oplus_F X_2$ of two Banach spaces $X_1$ and $X_2$ by some two-dimensional Banach space F. We completely describe the class of those F such that for some spaces $X_1$ and $X_2$ there exists a Daugavet center acting from $X_1\oplus_F X_2$, and the class of those F such that for some pair of spaces $X_1$ and $X_2$ there is a Daugavet center acting into $X_1\oplus_F X_2$. We also present several examples of such Daugavet…
Motivated by a problem stated by S.A.Argyros and Th. Raikoftsalis, we introduce a new class of Banach spaces. Namely, for a sequence of separable Banach spaces $(X_n,\|\cdot\|_n)_{n\in\mathbb{N}}$, we define the Bourgain Delbaen $\mathcal{L}^{\infty}$-sum of the sequence $(X_n,\|\cdot\|_n)_{n\in\mathbb{N}}$ which is a Banach space $\mathcal{Z}$ constructed with the Bourgain-Delbaen method. In particular, for every $1\leq p<\infty$, taking $X_n=\ell_p$ for every $n\in\mathbb{N}$ the aforementioned space $\mathcal{Z}_p$ is strictly quasi prime and admits $\ell_p$ as a complemented subspace. We s…
A Banach space $X$ is said to have the $\mathsf{SVM}$ (stability of vector measures) property if there exists a constant $v<\infty$ such that for any algebra of sets $\mathcal F$, and any function $ν\colon\mathcal F\to X$ satisfying $$\|ν(A\cup B)-ν(A)-ν(B)\|\leq 1\quad{for disjoint}A,B\in\mathcal F,$$there is a vector measure $μ\colon\mathcal F\to X$ with $\|ν(A)-μ(A)\|\leq v$ for all $A\in\mathcal F$. If this condition is valid when restricted to set algebras $\mathcal F$ of cardinality less than some fixed cardinal number $κ$, then we say that $X$ has the $κ$-$\mathsf{SVM}$ property. The le…
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$…
Let $X$ be a complex Banach space. The connection between algebra homomorphisms defined on subalgebras of the Banach algebra $\ell^{1}(\mathbb{N}_0)$ and the algebraic structure of Cesàro sums of a linear operator $T\in \mathcal{B}(X)$ is established. In particular, we show that every $(C, α)$-bounded operator $T$ induces - and is in fact characterized - by such an algebra homomorphism. Our method is based on some sequence kernels, Weyl fractional difference calculus and convolution Banach algebras that are introduced and deeply examined. To illustrate our results, improvements to bounds for A…
We give a new proof of a characterization of the closeness of the range of a continuous linear operator and of the closeness of the sum of two closed vector subspaces of a Banach space. Then we state sufficient conditions for the closeness of the sum of two closed subspaces of the Banach space of bounded functions and apply this result on various pseudo almost periodic spaces and pseudo almost automorphic spaces.
In this note, we study some concentration properties for Lipschitz maps defined on Hamming graphs, as well as their stability under sums of Banach spaces. As an application, we extend a result of Causey on the coarse Lipschitz structure of quasi-reflexive spaces satisfying upper $\ell_p$ tree estimates to the setting of $\ell_p$-sums of such spaces. Our result provides us with a tool for constructing the first examples of Banach spaces that are not quasi-reflexive but nevertheless admit some concentration inequality. We also give a sufficient condition for a space to be asymptotic-$c_0$ in ter…
In this paper we study conditions on a Banach space X that ensure that the Banach algebra K(X) of compact operators is amenable. We give a symmetrized approximation property of X which is proved to be such a condition. This property is satisfied by a wide range of Banach spaces including all the classical spaces. We then investigate which constructions of new Banach spaces from old ones preserve the property of carrying amenable algebras of compact operators. Roughly speaking, dual spaces, predual spaces and certain tensor products do inherit this property and direct sums do not. For direct su…
We discuss pruning and coloring lemmas on regular families. We discuss several applications of these lemmas to computing the Szlenk index of certain $w^*$ compact subsets of the dual of a separable Banach space. Applications include estimates of the Szlenk index of Minkowski sums, infinite direct sums of separable Banach spaces, constant reduction, and three space properties. We also consider using regular families to construct Banach spaces with prescribed Szlenk index. As a consequence, we give a characterization of which countable ordinals occur as the Szlenk index of a Banach space, prove …
The main result is that the cluster value problem in separable Banach spaces, for the Banach algebras $A_u$ and $H^{\infty}$, can be reduced to the cluster value problem in those spaces which are $\ell_1$ sums of a sequence of finite dimensional spaces.
We obtain some results for and further examples of subprojective and superprojective Banach spaces. We also give several conditions providing examples of non-reflexive superprojective spaces; one of these conditions is stable under $c_0$-sums and projective tensor products.
Let $\mathbb{Y}$ be either an Orlicz sequence space or a Marcinkiewicz sequence space. We take advantage of the recent advances in the theory of factorization of the identity carried on in [R. Lechner, Subsymmetric weak* Schauder bases and factorization of the identity, arXiv:1804.01372 [math.FA]] to provide conditions on $\mathbb{Y}$ that ensure that, for any $1\le p\le\infty$, the infinite direct sum of $\mathbb{Y}$ in the sense of $\ell_p$ is a primary Banach space, enlarging this way the list of Banach spaces that are known to be primary.
We study the Bishop-Phelps-Bollobás property for operators between Banach spaces. Sufficient conditions are given for generalized direct sums of Banach spaces with respect to a~uniformly monotone Banach sequence lattice to have the approximate hyperplane series property. This result implies that Bishop-Phelps-Bollobás theorem holds for operators from $\ell_1$ into such direct sums of Banach spaces. We also show that the direct sum of two spaces with the approximate hyperplane series property has such property whenever the norm of the direct sum is absolute.
We consider a certain type of geometric properties of Banach spaces, which includes for instance octahedrality, almost squareness, lushness and the Daugavet property. For this type of properties, we obtain a general reduction theorem, which, roughly speaking, states the following: if the property in question is stable under certain finite absolute sums (for example finite $\ell^p$-sums), then it is also stable under the formation of corresponding Köthe-Bochner spaces (for example $L^p$-Bochner spaces). From this general theorem, we obtain as corollaries a number of new results as well as some …
We develop a very general operator-valued functional calculus for operators with an $H^{\infty}-$calculus. We then apply this to the joint functional calculus of two commuting sectorial operators when one has an $H^{\infty}$calculus. Using this we prove theorem of Dore-Venni type on sums of commuting sectorial operators and apply our results to the problem of $L_p-$maximal regularity. Our main assumption is the R-boundedness of certain sets of operators, and therefore methods from the geometry of Banach spaces are essential here. In the final section we exploit the special Banach space structu…
We prove a formula for the Szlenk power type of the injective tensor product of Banach spaces with Szlenk index at most $ω$. We also show that the Szlenk power type as well as summability of the Szlenk index are separably determined, and we extend some of our recent results concerning direct sums.
A Banach space $X$ is called subprojective if any of its infinite dimensional subspaces $Y$ contains a further infinite dimensional subspace complemented in $X$. This paper is devoted to systematic study of subprojectivity. We examine the stability of subprojectivity of Banach spaces under various operations, such us direct or twisted sums, tensor products, and forming spaces of operators. Along the way, we obtain new classes of subprojective spaces.
Amenability constants for unconditional sums of Banach algebras
Czech Academy of Sciences（捷克科学院）；Institute of Mathematics and Computer Science Jagiellonian University（雅盖隆大学数学与计算机科学研究所）；Faculty of Mathematics and Informatics, A. Mickiewicz University（阿达姆·密茨凯维奇大学数学与信息学院）
Suppose $\Cal J$ is a two-sided quasi-Banach ideal of compact operators on a separable infinite-dimensional Hilbert space $\Cal H$. We show that an operator $T\in\Cal J$ can be expressed as finite linear combination of commutators $[A,B]$ where $A\in\Cal J$ and $B\in\Cal B(\Cal H)$ if and only its eigenvalues $(λ_n)$ (arranged in decreasing order of absolute value, repeated according to algebraic multiplicity and augmented by zeros if necessary) satisfy the condition that the diagonal operator $\diag\{\frac1n(λ_1+\cdots +λ_n)\}$ is a member of $\Cal J.$ This answers (for quasi-Banach ideals) a…
We show that the direct sum of Banach spaces $X_{1},..., X_{r}$ with a strictly monotone norm has the weak fixed point property for nonexpansive mappings whenever $M(X_{i})>1$ for each $i=1,...,r$. In particular, $(X_{1} \oplus ... \oplus X_{r})_ψ$ enjoys the fixed point property if Banach spaces $X_{i}$ are uniformly nonsquare. This combined with the earlier results gives a definitive answer for r=2: the direct sum of uniformly nonsquare spaces $X_{1}, X_{2}$ with any monotone norm has FPP. Our results are extended for asymptotically nonexpansive mappings in the intermediate sense.
Real smooth three-dimensional or higher Banach spaces are isomorphic with respect to the nonlinear structure of Birkhoff-James orthogonality if and only if they are isometrically isomorphic. Moreover, using smooth Radon planes and non-smooth direct sums, in arbitrary dimensions, we construct examples of non-isometric pairs of real Banach spaces that admit norm-preserving homogeneous bicontinuous Birkhoff-James orthogonality preservers among them.
We prove some results concerning the WORTH property and the García-Falset coefficient of absolute sums of infinitely many Banach spaces. The Opial property/uniform Opial property of infinite $\ell^p$-sums is also studied and some properties analogous to the Opial property/uniform Opial property for Lebesgue-Bochner spaces $L^p(μ,X)$ are discussed.
This paper deals with extensions or twisted sums of Banach spaces that come induced by complex interpolation and the relation between the type and cotype of the spaces in the interpolation scale and the nontriviality and singularity of the induced extension. The results are presented in the context of interpolation of families of Banach spaces, and are applied to the study of submodules of Schatten classes. We also obtain nontrivial extensions of spaces without the CAP which also fail the CAP.
We provide a new extension of Pitt's theorem for compact operators between quasi-Banach lattices, which permits to describe unconditional bases of finite direct sums of Banach spaces $\mathbb{X}_{1}\oplus\dots\oplus\mathbb{X}_{n}$ as direct sums of unconditional bases of its summands. The general splitting principle we obtain yields, in particular, that if each $\mathbb{X}_{i}$ has a unique unconditional basis (up to equivalence and permutation), then $\mathbb{X}_{1}\oplus \cdots\oplus\mathbb{X}_{n}$ has a unique unconditional basis too. Among the novel applications of our techniques to the st…
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$.
In this work, we obtain some necessary and some sufficient conditions for a space to be nicely smooth, and show that they are equivalent for separable or Asplund spaces. We obtain a sufficient condition for the Ball Generated Property (BGP), and conclude that Property $(II)$ implies the BGP, which, in turn, implies the space is nicely smooth. We show that the class of nicely smooth spaces is stable under $c_o$ and $\ell_p$ sums and also under finite $\ell_1$ sums; that being nicely smooth is not a three space property; and that the Bochner $L_p$ spaces are nicely smooth if and only if $X$ is b…
In order to measure qualitative properties we introduce a notion of a type for arbitrary normed spaces which measures the worst possible growth of partial sums of sequences weakly converging to zero. The ideas can be traced back to Banach and Mazur who used this type to compare the so-called linear dimension of classical Banach spaces. As an application we compare the linear dimension and investigate isomorphy of some classical Banach spaces.
