A Banach space $X$ is said to have the Daugavet property if every rank-one operator $T:X\longrightarrow X$ satisfies $\|Id + T\| = 1 + \|T\|$. We give geometric characterizations of this property in the settings of $C^*$-algebras, $JB^*$-triples and their isometric preduals. We also show that, in these settings, the Daugavet property passes to ultrapowers, and thus, it is equivalent to an stronger property called the uniform Daugavet property.
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…
A Banach space $X$ is said to have the alternative Daugavet property if for every (bounded and linear) rank-one operator $T:X\longrightarrow X$ there exists a modulus one scalar $ω$ such that $\|Id + ωT\|= 1 + \|T\|$. We give geometric characterizations of this property in the setting of $C^*$-algebras, $JB^*$-triples and their isometric preduals.
Let $M$ be a von Neumann algebra and let $M_\star$ be its (unique) predual. We study when for every $φ\in M_\star$ there exists $ψ\in M_\star$ solving the equation $\|φ\pm ψ\|=\|φ\|=\|ψ\|$. This is the case when $M$ does not contain type I nor type III$_1$ factors as direct summands and it is false at least for the unique hyperfinite type III$_1$ factor. We also characterize this property in terms of the existence of centrally symmetric curves in the unit sphere of $M_\star$ of length 4. An approximate result valid for all diffuse von Neumann algebras allows to show that the equation has solut…
We prove the norm identity $\|\Id+T\| =1+\|T\|$, which is known as the Daugavet equation, for weakly compact operators $T$ on natural function spaces such as function algebras and $L^{1}$-predual spaces, provided a non-discreteness assumption is met. We also consider $c_{0}$-factorable operators and operators on $C_Λ$-spaces.
We study the Daugavet property in tensor products of Banach spaces. We show that $L_1(μ)\widehat{\otimes}_\varepsilon L_1(ν)$ has the Daugavet property when $μ$ and $ν$ are purely non-atomic measures. Also, we show that $X\widehat{\otimes}_πY$ has the Daugavet property provided $X$ and $Y$ are $L_1$-preduals with the Daugavet property, in particular spaces of continuous functions with this property. With the same tecniques, we also obtain consequences about roughness in projective tensor products as well as the Daugavet property of projective symmetric tensor products.
Continuing the study of preduals of spaces $\mathcal{L}(H,Y)$ of bounded, linear maps, we consider the situation that $H$ is a Hilbert space. We establish a natural correspondence between isometric preduals of $\mathcal{L}(H,Y)$ and isometric preduals of $Y$. The main ingredient is a Tomiyama-type result which shows that every contractive projection that complements $\mathcal{L}(H,Y)$ in its bidual is automatically a right $\mathcal{L}(H)$-module map. As an application, we show that isometric preduals of $\mathcal{L}(\mathcal{S}_1)$, the algebra of operators on the space of trace-class operato…
In 1965, Ron Douglas proved that if $X$ is a closed subspace of an $L^1$-space and $X$ is isometric to another $L^1$-space, then $X$ is the range of a contractive projection on the containing $L^1$-space. In 1977 Arazy-Friedman showed that if a subspace $X$ of $C_1$ is isometric to another $C_1$-space (possibly finite dimensional), then there is a contractive projection of $C_1$ onto $X$. In 1993 Kirchberg proved that if a subspace $X$ of the predual of a von Neumann algebra $M$ is isometric to the predual of another von Neumann algebra, then there is a contractive projection of the predual of…
About twenty years ago Johnson and Zippin showed that every separable L_1(mu)-predual was isometric to a quotient of C(Delta ), where Delta is the Cantor set. In this note we will show that the natural analogue of the theorem for l_1-preduals does not hold. We will show that there are many l_1-preduals which are not isometric to a quotient of any C(K)-space with K a countable compact metric space. We also prove some general results about the relationship between l_1-preduals and quotients of C(K)-spaces with K a countable compact metric space. The results in this paper were presented at the Wo…
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…
We show that the duals of Banach algebras of scalar-valued bounded holomorphic functions on the open unit ball $B_E$ of a Banach space $E$ lack weak$^*$-strongly exposed points. Consequently, we obtain that some Banach algebras of holomorphic functions on an arbitrary Banach space have the Daugavet property which extends the observation of P. Wojtaszczyk. Moreover, we present a new denseness result by proving that the set of norm-attaining vector-valued holomorphic functions on the open unit ball of a dual Banach space is dense provided that its predual space has the metric $π$-property. Besid…
Two normal functionals on a JBW$^*$-triple are known to be orthogonal if and only if they are $L$-orthogonal (meaning that they span an isometric copy of $\ell_1(2)$). This is shown to be stable under small norm perturbations in the following sense: if the linear span of the two functionals is isometric up to $δ>0$ to $\ell_1(2)$, then the functionals are less far (in norm) than $\eps>0$ from two orthogonal functionals, where $\eps\to0$ as $δ\to0$. Analogous statements for finitely and even infinitely many functionals hold as well. And so does a corresponding statement for non-normal functiona…
We study Daugavet- and $Δ$-points in Banach spaces. A norm one element $x$ is a Daugavet-point (respectively a $Δ$-point) if in every slice of the unit ball (respectively in every slice of the unit ball containing $x$) you can find another element of distance as close to $2$ from $x$ as desired. In this paper we look for criteria and properties ensuring that a norm one element is not a Daugavet- or $Δ$-point. We show that asymptotically uniformly smooth spaces and reflexive asymptotically uniformly convex spaces do not contain $Δ$-points. We also show that the same conclusion holds true for th…
The spaces $W_α$ are the Banach spaces whose duals are isometric to $\ell_1$ and such that the standard basis of $\ell_1$ is $w^*$-convergent to $α\in \ell_1$. The core result of our paper proves that an $\ell_1$-predual $X$ contains isometric copies of all $W_α$, where the norm of $α$ is controlled by the supremum of the norms of the $w^*$-cluster points of the extreme points of the closed unit ball in $\ell_1$. More precisely, for every $\ell_1$-predual $X$ we have $$ r^*(X)=\sup\left\lbrace \left\|g^*\right\|: g^*\in \left(\mathrm{ext}\, B_{\ell_1}\right)'\right\rbrace =\sup \left\lbrace \l…
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.
For Banach spaces X and Y, we establish a natural bijection between preduals of Y and preduals of L(X,Y) that respect the right L(X)-module structure. If X is reflexive, it follows that there is a unique predual making L(X) into a dual Banach algebra. This removes the condition that X have the approximation property in a result of Daws. We further establish a natural bijection between projections that complement Y in its bidual and L(X)-linear projections that complement L(X,Y) in its bidual. It follows that Y is complemented in its bidual if and only if L(X,Y) is (either as a module or as a B…
We provide a concrete isometric description of all the preduals of $\ell_1$ for which the standard basis in $\ell_1$ has a finite number of $w^*$-limit points. Then, we apply this result to give an example of an $\ell_1$-predual $X$ such that its dual $X^*$ lacks the weak$^*$ fixed point property for nonexpansive mappings (briefly, $w^*$-FPP), but $X$ does not contain an isometric copy of any hyperplane $W_α$ of the space $c$ of convergent sequences such that $W_α$ is a predual of $\ell_1$ and $W_α^*$ lacks the $w^*$-FPP. This answers a question left open in the 2017 paper of the present autho…
The main aim of the present paper is to investigate various structural properties of hyperplanes of $c$, the Banach space of the convergent sequences. In particular, we give an explicit formula for the projection constants and we prove that an hyperplane of $c$ is isometric to the whole space if and only if it is $1$-complemented. Moreover, we obtain the classification of those hyperplanes for which their duals are isometric to $\ell_{1}$ and we give a complete description of the preduals of $\ell_{1}$ under the assumption that the standard basis of $\ell_{1}$ is weak$^{*}$-convergent.
A natural class of ideals, almost isometric ideals, of Banach spaces is defined and studied. The motivation for working with this class of subspaces is our observation that they inherit diameter 2 properties and the Daugavet property. Lindenstrauss spaces are known to be the class of Banach spaces that are ideals in every superspace; we show that being an almost isometric ideal in every superspace characterizes the class of Gurariy spaces.
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…
Let L_1 be the predual of a von Neumann algebra with a finite faithful normal trace. We show that a bounded sequence in L_1 converges to 0 in measure if and only if each of its subsequences admits another subsequence which converges to 0 in norm or spans $l^1$ "almost isometrically". Furthermore we give a quantitative version of an essentially known result concerning the perturbation of a sequence spanning $l^1$ isomorphically in the dual of a C$^*$-algebra.
Nonreflexive Banach spaces that are complemented in their bidual by an L-projection - like preduals of von Neumann algebras or the Hardy space $H^1$ - contain, roughly speaking, many copies of $l^1$ which are very close to isometric copies. Such $l^1$-copies are known to fail the fixed point property. Similar dual results hold for $c_0$.
We introduce a noncommutative analogue of the Figá-Talamanca-Herz algebra $A_p(G)$ on the natural predual of the operator space $\frak{M}_{p,cb}$ of completely bounded Schur multipliers on Schatten space $S_p$. We determine the isometric Schur multipliers and prove that the space $\frak{M}_{p}$ of bounded Schur multipliers on Schatten space $S_p$ is the closure in the weak operator topology of the span of isometric multipliers.
The Banach space $\ell_1(\Z)$ admits many non-isomorphic preduals, for example, $C(K)$ for any compact countable space $K$, along with many more exotic Banach spaces. In this paper, we impose an extra condition: the predual must make the bilateral shift on $\ell_1(\Z)$ weak$^*$-continuous. This is equivalent to making the natural convolution multiplication on $\ell_1(\Z)$ separately weak*-continuous and so turning $\ell_1(\Z)$ into a dual Banach algebra. We call such preduals \emph{shift-invariant}. It is known that the only shift-invariant predual arising from the standard duality between $C_…
Let $L$ be an infinite locally compact Hausdorff topological space. We show that extremely regular subspaces of $C_0(L)$ have very strong diameter $2$ properties and, for every real number $\varepsilon$ with $0<\varepsilon<1$, contain an $\varepsilon$-isometric copy of $c_0$. If $L$ does not contain isolated points they even have the Daugavet property, and thus contain an asymptotically isometric copy of $\ell_1$.
We characterise those Banach spaces $X$ which satisfy that $L(Y,X)$ is octahedral for every non-zero Banach space $Y$. They are those satisfying that, for every finite dimensional subspace $Z$, $\ell_\infty$ can be finitely-representable in a part of $X$ kind of $\ell_1$-orthogonal to $Z$. We also prove that $L(Y,X)$ is octahedral for every $Y$ if, and only if, $L(\ell_p^n,X)$ is octahedral for every $n\in\mathbb N$ and $1<p<\infty$. Finally, we find examples of Banach spaces satisfying the above conditions like $\Lip(M)$ spaces with octahedral norms or $L_1$-preduals with the Daugavet propert…
We show that a Banach space with numerical index one cannot enjoy good convexity or smoothness properties unless it is one-dimensional. For instance, it has no WLUR points in its unit ball, its norm is not Frechet smooth and its dual norm is neither smooth nor strictly convex. Actually, these results also hold if the space has the (strictly weaker) alternative Daugavet property. We construct a (non-complete) strictly convex predual of an infinite-dimensional $L_1$ space (which satisfies a property called lushness which implies numerical index~1). On the other hand, we show that a lush real Ban…
Lipschitz-free spaces are strongly unique preduals
Instituto Universitario de Matemática Pura y Aplicada, Universitat Politècnica de València（巴伦西亚理工大学纯数学与应用数学研究所）；Charles University, Faculty of Mathematics and Physics（查理大学数学物理学院）；Instituto de Telecomunicaciones y Aplicaciones Multimedia, Universitat Politècnica de València（巴伦西亚理工大学电信与多媒体应用研究所）
We introduce and study multivariate generalizations of the classical BV spaces of Jordan, F. Riesz and Wiener. The family of the introduced spaces contains or is intimately related to a considerable class of function spaces of modern analysis including BMO, BV, Morrey spaces and those of Sobolev of arbitrary smoothness, Besov and Triebel-Lizorkin spaces. We prove under mild restrictions that the BV spaces of this family are dual and present constructive characterizations of their preduals via atomic decompositions. Moreover, we show that under additional restrictions such a predual space is is…
Let M be a von Neumann algebra (not necessarily semi-finite). We provide a generalization of the classical Kadec-Pelczynski subsequence decomposition of bounded sequences in L^p[0,1] to the case of the Haagerup L^p-spaces (1\le p<\infty). In particular, we prove that if (ϕ_n)_n is a bounded sequence in the predual M_* of M, then there exist a subsequence (ϕ_{n_k})_k of (ϕ_n)_n, a decomposition ϕ_{n_k}= y_k+ z_k such that {y_k, k\ge 1} is relatively weaklycompact and the support projections s(z_k)\downarrow_k 0 (or similarly mutually disjoint). As an application, we prove that every non-reflexi…
The aim of this manuscript is to study \emph{spear operators}: bounded linear operators $G$ between Banach spaces $X$ and $Y$ satisfying that for every other bounded linear operator $T:X\longrightarrow Y$ there exists a modulus-one scalar $ω$ such that $$ \|G + ω\,T\|=1+ \|T\|. $$ To this end, we introduce two related properties, one weaker called the alternative Daugavet property (if rank-one operators $T$ satisfy the requirements), and one stronger called lushness, and we develop a complete theory about the relations between these three properties. To do this, the concepts of spear vector an…
A recent example by the authors (see arXiv:1503.09088 [math.FA]) shows that an old result of Zippin about the existence of an isometric copy of $c$ in a separable Lindenstrauss space is incorrect. The same example proves that some characterizations of polyhedral Lindenstrauss spaces, based on the result of Zippin, are false. The main result of the present paper provides a new characterization of polyhedrality for the preduals of $\ell_{1}$ and gives a correct proof for one of the older. Indeed, we prove that for a space $X$ such that $X^{*}=\ell_{1}$ the following properties are equivalent: (1…
These notes have the intent to introduce the study of the nonlinear aspects of operator space theory. We investigate some results on the nonlinear theory of Banach spaces which remain valid in the noncommutative case. In particular, we show that Ribe's theorem has a complete analog to preduals of von Neumann algebras and introduce the concept of the Lipschitz free operator space of an operator space. We use those to prove results about injective von Neumann algebras, Pisier's operator space OH, and the existence of complete linear isometric embeddings between operator spaces.
For a compact metric space $(K, ρ)$, the predual of $Lip(K, ρ)$ can be identified with the normed space $M(K)$ of finite (signed) Borel measures on $K$ equipped with the Kantorovich-Rubinstein norm, this is due to Kantorovich [20]. Here we deduce atomic decomposition of $M(K)$ by mean of some results from [10]. It is also known, under suitable assumption, that there is a natural isometric isomorphism between $Lip(K, ρ)$ and $(lip(K, ρ))_{**}$ [15]. In this work we also show that the pair $(lip(K, ρ), Lip(K, ρ))$ can be framed in the theory of o-O type structures introduced by K. M. Perfekt.
We study the Bishop-Phelps-Bollobás property for numerical radius restricted to the case of compact operators (BPBp-nu for compact operators in short). We show that $C_0(L)$ spaces have the BPBp-nu for compact operators for every Hausdorff topological locally compact space $L$. To this end, on the one hand, we provide some techniques allowing to pass the BPBp-nu for compact operators from subspaces to the whole space and, on the other hand, we prove some strong approximation property of $C_0(L)$ spaces and their duals. Besides, we also show that real Hilbert spaces and isometric preduals of $\…
In this paper we suggest an approach for constructing an L1-type space for a positive selfadjoint operator affiliated with von Neumann algebra. For such operator we intro- duce a seminorm, and prove that it is a norm if and only if the operator is injective. For this norm we construct an L1 -type space as the complition of the space of hermitian ultraweakly continuous linear functionals on von Neumann algebra, and represent L1- type space as a space of continuous linear functionals on the space of special sesquilinear forms. Also, we prove that L1 -type space is isometrically isomorphic to the…
Some necessary and sufficient conditions are found for Banach function lattices to have the Radon-Nikodým property. Consequently it is shown that an Orlicz space $L_φ$ over a non-atomic $σ$-finite measure space $(Ω, Σ,μ)$, not necessarily separable, has the Radon-Nikodým property if and only if $φ$ is an $N$-function at infinity and satisfies the appropriate $Δ_2$ condition. For an Orlicz sequence space $\ell_φ$, it has the Radon-Nikodým property if and only if $φ$ satisfies condition $Δ_2^0$. In the second part the relationships between uniformly $\ell_1^2$ points of the unit sphere of a Bana…
In this paper, we introduce a concept of norm-attainment in the projective symmetric tensor product $\widehat{\otimes}_{π,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}_{π,s,N} X$ is dense. We show that the set of all norm-attaining symmetric tensors is dense in $\widehat{\otimes}_{π,s,N} X$ for a l…
