We study the $H^1$-projective Banach spaces. We prove that they have the Analytic Radon-Nikodym Property, and that they are cotype 2 spaces which satisfy Grothendieck's Theorem. We show also that the ultraproduct of $H^1$-projective spaces is $H^1$-projective. Other results are also discussed.
We show that if a Banach lattice is projective, then every bounded sequence that can be mapped by a homomorphism onto the basis of $c_0$ must contain an $\ell_1$-subsequence. As a consequence, if Banach lattices $\ell_p$ or $FBL[E]$ are projective, then $p=1$ or $E$ has the Schur property, respectively. On the other hand, we show that $C(K)$ is projective whenever $K$ is an absolute neighbourhood retract, answering a question by de Pagter and Wickstead.
We define and prove the existence of free Banach lattices in the category of Banach lattices and contractive lattice homomorphisms and establish some of their fundamental properties. We give much more detailed results about their structure in the case that there are only a finite number of generators and give several Banach lattice characterizations of the number of generators being, respectively, one, finite or countable. We define a Banach lattice $P$ to be projective if whenever $X$ is a Banach lattice, $J$ a closed ideal in $X$, $Q:X\to X/J$ the quotient map, $T:P\to X/J$ a linear lattice …
We show that $c_0$ is not a projective Banach lattice, answering a question of B. de Pagter and A. Wickstead. On the other hand, we show that $c_0$ is complemented in the free Banach lattice generated by itself (seen as a Banach space). As a consequence, the free Banach lattice generated by $c_0$ is not projective.
Galego and Samuel showed that if $K,L$ are metrizable, compact, Hausdorff spaces, then $C(K)\widehat{\otimes}_πC(L)$ is $c_0$-saturated if and only if it is subprojective if and only if $K$ and $L$ are both scattered. We remove the hypothesis of metrizability from their result, and extend it from the case of the two-fold projective tensor product to the general $n$-fold projective tensor product to show that for any $n\in\mathbb{N}$ and compact, Hausdorff spaces $K_1, \ldots, K_n$, $\widehat{\otimes}_{π, i=1}^n C(K_i)$ is $c_0$-saturated if and only if it is subprojective if and only if each $…
A Banach space $E$ is said to be injective if for every Banach space $X$ and every subspace $Y$ of $X$ every operator $t:Y\to E$ has an extension $T:X\to E$. We say that $E$ is $\aleph$-injective (respectively, universally $\aleph$-injective) if the preceding condition holds for Banach spaces $X$ (respectively $Y$) with density less than a given uncountable cardinal $\aleph$. We perform a study of $\aleph$-injective and universally $\aleph$-injective Banach spaces which extends the basic case where $\aleph=\aleph_1$ is the first uncountable cardinal. When dealing with the corresponding "isomet…
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…
For a tuple $A=(A_0, A_1, ..., A_n)$ of elements in a unital Banach algebra ${\mathcal B}$, its {\em projective spectrum} $p(A)$ is defined to be the collection of $z=[z_0, z_1, ..., z_n]\in \pn$ such that $A(z)=z_0A_0+z_1A_1+... +z_nA_n$ is not invertible in ${\mathcal B}$. The pre-image of $p(A)$ in ${\cc}^{n+1}$ is denoted by $P(A)$. When ${\mathcal B}$ is the $k\times k$ matrix algebra $M_k(\cc)$, the projective spectrum is a projective hypersurface. In infinite dimensional cases, projective spectrums can be very complicated, but also have some properties similar to that of hypersurfaces. …
In this article we deal with the free Banach lattice $FBL\langle \mathbb{L} \rangle$ generated by a lattice $\mathbb{L}$. We prove that if $FBL\langle \mathbb{L} \rangle$ is projective then $\mathbb{L}$ has a maximum and a minimum. On the other hand, we show that if $\mathbb{L}$ has maximum and minimum then $FBL\langle \mathbb{L} \rangle$ is $2$-lattice isomorphic to a $C(K)$-space. As a consequence, $FBL\langle \mathbb{L} \rangle$ is projective if and only if it is lattice isomorphic to a $C(K)$-space with $K$ being an absolute neighborhood retract. As an application, we characterize those li…
We characterize the positive Schur property in the positive projective tensor products of Banach lattices, we establish the connection with the weak operator topology and we give necessary and sufficient conditions for the space of regular multilinear operators/homogeneous polynomials taking values in a Dedekind complete Banach lattice to have the positive Schur property.
We study the property of being strongly weakly compactly generated (and some relatives) in projective tensor products of Banach spaces. Our main result is as follows. Let $1<p,q<\infty$ be such that $1/p+1/q\geq 1$. Let $X$ (resp., $Y$) be a Banach space with a countable unconditional finite-dimensional Schauder decomposition having a disjoint lower $p$-estimate (resp., $q$-estimate). If $X$ and $Y$ are strongly weakly compactly generated, then so is its projective tensor product $X \widehat{\otimes}_πY$.
The tensor product of the Fremlin tensor product of Banach lattice algebras
Research Laboratory of Algebra, Topology, Arithmetic, and Order(代数、拓扑、算术与序研究实验室);Department of Mathematics(数学系);Faculty of Mathematical, Physical and Natural Sciences of Tunis(突尼斯数学、物理与自然科学学院);Tunis-El Manar University(突尼斯埃尔马纳尔大学)
A quojection (projective limit of Banach spaces with surjective linking mappings) without infinite dimensional Banach subspaces is constructed. This results answers a question posed by G.Metafune and V.B.Moscatelli.
We prove a general result on the factorization of matrix-valued analytic functions. We deduce that if $(E_0,E_1)$ and $(F_0,F_1)$ are interpolation pairs with dense intersections, then under some conditions on the spaces $E_0$, $E_1$, $F_0$ and $F_1$, we have $$ [E_0\hat\otimes F_0,E_1\hat\otimes F_1]_t= [E_0, E_1]_t\hat\otimes[F_0, F_1]_t, 0 < t< 1.$$ We find also conditions on the spaces $E_0$, $E_1$, $F_0$ and $F_1$, so that the following holds $$ [E_0\wcheck\otimes F_0,E_1\wcheck\otimes F_1]_t= [E_0,E_1]_t\wcheck\otimes [F_0,F_1]_t, 0 <t< 1.$$ Some applications of these results are also co…
Let $X$ be a complex Banach space and $x,y\in X$. By definition, we say that $x$ is Birkhoff-James orthogonal to $y$ if $ \|x+λy\|_{X} \geq \|x\|_{X}$ for all $λ\in \mathbb{C}$. We prove that $x$ is Birkhoff-James orthogonal to $y$ if and only if there exists a semi-inner product $φ$ on $X$ such that $\|φ\| = 1$, $φ(x,x)=\|x\|^2$ and $φ(x,y)=0$. A similar result holds for $C^*$-algebras. A key point in our approach to orthogonality is the representations of bounded bilinear maps via projective tensor product spaces.
We characterize projective and injective Banach modules in approximate terms, generalizing thereby a characterization of contractible Banach algebras given by F. Ghahramani and R. J. Loy. As a corollary, we show that each uniformly approximately amenable Banach algebra is amenable. Some applications to homological dimensions of Banach modules and algebras are also given.
Following previous works for the unit ball, we define quasi-radial pseudo-homogeneous symbols on the projective space and obtain the corresponding commutativity results for Toeplitz operators. A geometric interpretation of these symbols in terms of moment maps is developed. This leads us to the introduction of a new family of symbols, extended pseudo-homogeneous, that provide larger commutative Banach algebras generated by Toeplitz operators. This family of symbols provides new commutative Banach algebras generated by Toeplitz operators on the unit ball.
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.
We introduce in non-coordinate presentation the notions of a quantum algebra and of a quantum module over such an algebra. Then we give the definition of a projective quantum module and of a free quantum module, the latter as a particular case of the notion of a free object in a rigged category. (Here we say "quantum" instead of frequently used protean adjective "operator"). After this we discuss the general connection between projectivity and freeness. Then we show that for a Banach quantum algebra A and a Banach quantum space E the Banach quantum A-module $A\widehat\otimes_{op}E$ is free, wh…
We investigate the relationship between the diagonal of the Fremlin projective tensor product of a Banach lattice $E$ with itself and the 2-concavification of $E$.
We show that for a Banach algebra $A$ with a bounded approximate identity, the amenability of the projective tensor product of A with A, the amenability of the projective tensor product of A with A^{op}and the amenability of A are equivalent. Also if A is a closed ideal in a commutative Banach algebra B, then the weak amenability of the projective tensor product of A and B implies the weak amenability of A.
We study almost square Banach spaces under a topological point of view. Indeed, we prove that the class of Banach spaces which admits an equivalent norm to be ASQ is that of those Banach spaces which contain an isomorphic copy of $c_0$. We also prove that the symmetric projective tensor products of an almost square Banach space have the strong diameter two property
We study the projectivity of the free Banach lattice generated by a lattice $\mathbb{L}$ in two cases: when the lattice is finite, and when the lattice is an infinite linearly ordered set. We prove that in the first case it is projective while in the second case, if the linear order contains either an increasing sequence without upper bounds or a decreasing sequence without lower bounds, then it is not projective.
We continue the investigation of the behaviour of diameter two properties in tensor products of Banach spaces. Our main result shows that the symmetric strong diameter two property is stable by taking projective tensor products. We also prove a result for the symmetric strong diameter two property for the injective tensor product.
We prove that the coordinate functionals associated with filter bases in Banach spaces are continuous as long as the underlying filter is analytic. This removes the large-cardinal hypothesis from the result established by the two last-named authors ([Bull. Lond. Math. Soc. 53 (2021)]) at the expense of reducing the generality from projective to analytic. In particular, we obtain a ZFC solution to Kadets' problem of continuity of coordinate functionals associated with bases with respect to the filter of statistical convergence. Even though the automatic continuity of coordinate functionals beyo…
We give a characterisation of the separable Banach spaces with the Daugavet property which is applied to study the Daugavet property in the projective tensor product of an $L$-embedded space with another non-zero Banach space. The former characterisation also motivates the introduction of two indices related to the Daugavet property and a short study of them.
In this article, we study the relationship between \(p\)-\((V)\) subsets and p-\(V^*\) subsets of dual spaces. We investigate the Banach space X with the property that adjoint every \(p\)-convergent operator \(T: X \rightarrow Y\) is weakly \(q\)-compact, for every Banach space \(Y\). Moreover, we define the notion of \(q\)-reciprocal Dunford-Pettis\(\^*\)property of order \(p\) on Banach spaces and obtain a characterization of Banach spaces with this property. The stability of reciprocal Dunford-Pettis property of order \(p\) for the projective tensor product is given.
We continue the investigation of the behaviour of octahedral norms in tensor products of Banach spaces. Firstly, we will prove the existence of a Banach space $Y$ such that the injective tensor products $l_1\widehat{\otimes}_\varepsilon Y$ and $L_1\widehat{\otimes}_\varepsilon Y$ both fail to have an octahedral norm, which solves two open problems from the literature. Secondly, we will show that in the presence of the metric approximation property octahedrality is preserved from a non-reflexive $L$-embedded Banach space taking projective tensor products with an arbitrary Banach space.
We study octahedral norms in the space of bounded linear operators between Banach spaces. In fact, we prove that $L(X,Y)$ has octahedral norm whenever $X^*$ and $Y$ have octahedral norm. As a consequence the space of operators $L(\ell_1 ,X)$ has octahedral norm if, and only if, $X$ has octahedral norm. These results also allows us to get the stability of strong diameter 2 property for projective tensor products of Banach spaces, which is an improvement of the known results about the size of nonempty relatively weakly open subsets in the unit ball of the projective tensor product of Banach spac…
We prove the existence of free objects in certain subcategories of Banach lattices, including $p$-convex Banach lattices, Banach lattices with upper $p$-estimates, and AM-spaces. From this we immediately deduce that projectively universal objects exist in each of these subcategories, extending results of Leung, Li, Oikhberg and Tursi (\emph{Israel J.\ Math.}~2019). In the $p$-con\-vex and AM-space cases, we are able to explicitly identify the norms of the free Banach lattices, and we conclude by investigating the structure of these norms in connection with nonlinear $p$-summing maps.
Suppose that $E$ is a uniformly complete vector lattice and $p_1,..., p_n$ are positive reals. We prove that the diagonal of the Fremlin projective tensor product of $E_{(p_1)},..., E_{(p_n)}$ can be identified with $E_{(p)}$ where $p = p_1+...+p_n$ and $E_{(p)}$ stands for the $p$-concavification of $E$. We also provide a variant of this result for Banach lattices. This extends the main result of [BBPTT].
Recently representation theory has been used to provide atomic decompositions for a large collection of classical Banach spaces. In this paper we extend the techniques to also include projective representations. As our main application we obtain atomic decompositions of Bergman spaces on the unit ball through the holomorphic discrete series for the group of isometries of the ball.
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 di…
Let $m,n$ be positive integers with $m<n$. Under certain assumptions on the Banach space $X$, we prove that the $n$-fold projective tensor product of $X$, $\widehat{\otimes}^n_πX$, is not isomorphic to any subspace of any quotient of the $m$-fold projective tensor product, $\widehat{\otimes}_π^m X$. In particular, we prove that $\widehat{\otimes}^n_πc_0$ is not isomorphic to any subspace of any quotient of $\widehat{\otimes}_π^m c_0$.
Countable projective limits of countable inductive limits, called PLB-spaces, of weighted Banach spaces of continuous functions have recently been investigated by Agethen, Bierstedt and Bonet. We extend their investigation to the case of holomorphic functions regarding the same type of questions, i.e. we analyze locally convex properties in terms of the defining double sequence of weights and study the interchangeability of projective and inductive limit.
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}_π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}_π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, cov…
We examine how implicit functions on ILB-Fréchet spaces can be obtained without metric or norm estimates which are classically assumed. We obtain implicit functions defined on a domain $D$ which is not necessarily open, but which contains the unit open ball of a Banach space. The corresponding inverse functions theorem is obtained, and we finish with an open question on the adequate (generalized) notion of differentiation, needed for the corresponding version of the Fröbenius theorem.
Let F(X) denote the norm closure of the space of all finite rank operators on a Banach space X. We show that there are Banach spaces X for which the product map $a\otimes b\to ab$ does not define a surjective map from the projective tensor product $F(X) \hat\otimes F(X)$ onto F(X).
In this paper, we introduce the concept of a pseudo weakly compact operator of order $ p $ between Banach spaces. Also we study the notion of $ p $-Dunford-Pettis relatively compact property which is in "general" weaker than the Dunford-Pettis relatively compact property and gives some characterizations of Banach spaces which have this property. Moreover, by using the notion of $ p $-Right subsets of a dual Banach space, we study the concepts of $ p $-sequentially Right and weak $ p $-sequentially Right properties on Banach spaces. Furthermore, we obtain some suitable conditions on Banach spac…
This paper deals with the extension of a classical theorem by R. Phelps on the Gâteaux differentiability of Lipschitz functions on separable Banach spaces to the non-separable case. The extension of the theorem is not possible for general non-separable Banach spaces, as shown by Larman. Therefore, we will work on some important non-separable spaces. We consider a norm of the non-separable space $\ell^{\infty}(\mathbb{R})$, showing that it complies with the aforementioned theorem thesis. We also consider other examples as $L^{\infty}(\mathbb{R})$ and $NBV[a,b]$, showing in all cases their sets …
We define the $k$:th moment of a Banach space valued random variable as the expectation of its $k$:th tensor power; thus the moment (if it exists) is an element of a tensor power of the original Banach space. We study both the projective and injective tensor products, and their relation. Moreover, in order to be general and flexible, we study three different types of expectations: Bochner integrals, Pettis integrals and Dunford integrals. One of the problems studied is whether two random variables with the same injective moments (of a given order) necessarily have the same projective moments; …
We find large classes of injective and projective $p$-multinormed spaces. In fact, these classes are universal, in the sense that every $p$-multinormed space embeds into (is a quotient of) an injective (resp. projective) $p$-multinormed space. As a consequence, we show that any $p$-multinormed space has a canonical representation as a subspace of a quotient of a Banach lattice.
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…
This paper explores the long journey from projective tensor products of a pair of Banach spaces, passing through the definition of nuclear operators still on the realm of projective tensor products, to the of notion of trace-class operators on a Hilbert space, and shows how and why these concepts (nuclear and trace-class operators, that is) agree in the end.
In 1992, Kiendi, Adamy and Stelzner investigated under which conditions a certain type of function constituted a Lyapunov function for some time-invariant linear system. Six years later, it was obtained that this property holds if and only if the Banach space enjoys the self-extension property. However, the knowledge of these spaces needed to be extended in order to make useful this characterization, since there were little information on which classic Banach spaces satisfy this property and its relations with other classic properties. We present the self-extension property in a wider frame, r…
In the article is introduced a new class of Banach spaces that are called sub B-convex. Namely, a Banach space X is said to be B -convex if it may be represented as a direct sum l_1+ W, where W is B-convex. It will be shown that any separable sub B-convex Banach space X may be almost isometrically embedded in a separable Banach space G(X) of the same cotype as X, which has a series of properties. Namely, G(X) is an approximate envelope, i.e. any separable Banach space which is finitely representable in G(X) may be almost isometrically embedded into G(X); G(X)is almost isotropic; G(X) is existe…
The notion of retro Banach frame with the help of b-linear functional in n-Banach spaces is being presented. Some properties related to the construction of new retro Banach frame in n-Banach space have been studied. In n-Banach spaces, some perturbation results of retro Banach frame have been discussed. Finally, we give a condition in which finite sum of retro Banach frames is a retro Banach frame in n-Banach space.
Let $(E,F)$ be a pair of Fréchet spaces. In this paper, we discuss whether a certain property $P$ enjoyed by both $E$ and $F$ is also satisfied by the complete tensor product $E \widehat{\otimes}_π F$. Specifically we focus on the two properties generalizing Köthe spaces: the normability condition called the property $(y)$, and the property of smallness of bounded subsets of Fréchet spaces up to a complemented Banach subspace in connection with the problem of topologies of A. Grothendieck. We also consider the stability of some well known equivalences of operator classes with an application in…
In this paper we first take a detail survey of the study of the Banach-Saks property of Banach spaces and then show the Banach-Saks property of the product spaces generated by a finite number of Banach spaces having the Banach-Saks property. A more general inequality for integrals of a class of composite functions is also given by using this property.
We present a new proof of Zippin's Embedding Theorem, that every separable reflexive Banach space embeds into one with shrinking and boundedly complete basis, and every Banach space with a separable dual embeds into one with a shrinking basis. This new proof leads to improved versions of other embedding results.
Assuming the existence of certain large cardinal numbers, we prove that for every projective filter $\mathscr F$ over the set of natural numbers, $\mathscr{F}$-bases in Banach spaces have continuous coordinate functionals. In particular, this applies to the filter of statistical convergence, thereby we solve a problem by V. Kadets (at least under the presence of certain large cardinals). In this setting, we recover also a result of Kochanek who proved continuity of coordinate functionals for countably generated filters (Studia Math., 2012).