In a previous paper the second author introduced a compact topology on the space of closed ideals of a unital Banach algebra A. If A is separable then this topology is either metrizable or else neither Hausdorff nor first countable. Here it is shown that this topology is Hausdorff if A is the algebra of once continuously differentiable functions on an interval, but that if A is a uniform algebra then this topology is Hausdorff if and only if A has spectral synthesis. An example is given of a strongly regular, uniform algebra for which every maximal ideal has a bounded approximate identity, but which does not have spectral synthesis.
We show that for each Banach ideal of homogeneous polynomials, there exists a (necessarily unique) Banach operator ideal compatible with it. Analogously, we prove that any ideal of $n$-homogeneous polynomials belongs to a coherent sequence of ideals of $k$-homogeneous polynomials.
In view of the fact that some classical methods to construct multi-ideals fail in constructing hyper-ideals, in this paper we develop two new methods to construct hyper-ideals of multilinear operators between Banach spaces. These methods generate new classes of multilinear operators and show that some important well studied classes are Banach or p-Banach hyper-ideals.
We refine Amitsur's theory of radicals in complete lattices and apply the obtained results to the theory of radicals in the lattices of subspaces of Banach spaces and in the lattices of ideals of Banach and C*-algebras and of Banach Lie algebras.
Suppose that $X$ is a Banach space. We will show that $X$ does not contain a copy of $c_0$ if and only if for each series which is not unconditionally convergent in $X$ respective sets coding all bounded subseries and rearrangements are meager. We use Bessaga-Pełczy{ń}ski $c_0-$Theorem and concept of uniformly unconditionally bounded series. Moreover we prove similar result for the ideal boundedness for a class of Baire ideals using Talagrand's characterisation.
We investigate a method for producing concrete convex-transitive Banach spaces. The gist of the method is in getting rid of dissymmetries of a given space by taking a carefully chosen quotient. The spaces of interest here are typically Banach algebras and their ideals. We also investigate the convex-transitivity of ultraproducts and tensor products of Banach spaces.
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.
The main aim of this note is to introduce the notion of an almost anti-periodic function in Banach space. We prove some characterizations for this class of functions, investigating also its relationship with the classes of anti-periodic functions and almost periodic functions in Banach spaces.
In this paper, we study the notion of Johnson pseudo-contractibility for certain Banach algebras. For a bicyclic semigroup $S$, we show that $\ell^{1}(S)$ is not Johnson pseudo-contractible. Also for a Johnson pseudo-contractible Banach algebra $A$, we show that $A$ has no non-zero complemented closed nilpotent ideal.
We present a generalization of the Radon-Riesz property to sequences of continuous functions with values in uniformly convex and uniformly smooth Banach spaces.
The class J of simultaneously almost transitive, uniformly convex and uniformly smooth Banach spaces is characterized in terms of convex-transitivity and weak geometry of the norm.
In this paper we study the ideal amenability of Banach algebras. Let $\cal A$ be a Banach algebra and let $I$ be a closed two-sided ideal in $\cal A$, $\cal A$ is $I$-weakly amenable if $H^{1}({\cal A},I^*)=\{0\}$. Further, $\cal A$ is ideally amenable if $\cal A$ is $I$-weakly amenable for every closed two-sided ideal $I$ in $\cal A$. We know that a continuous homomorphic image of an amenable Banach algebra is again amenable. We show that for ideal amenability the homomorphism property for suitable direct summands is true similar to weak amenability and we apply this result for ideal amenabil…
In this paper we present part I of nonlinear operator ideals theory between metric spaces and Banach spaces. Building upon the definition of operator ideal between arbitrary Banach spaces of A. Pietsch we pose three types of nonlinear versions of operator ideals. We introduce several examples of nonlinear ideals and the relationships between them. For every space ideal $\mathsf{A}$ can be generated by a special nonlinear ideal which consists of those Lipschitz operators admitting a factorization through a Banach space $\mathbf{M}\in\mathsf{A}$. We investigate products and quotients of nonlinea…
Ideals of polynomials and multilinear operators between Banach spaces have been exhaustively investigated in the last decades. In this paper, we introduce a unified (and more general) approach and propose some lines of investigation in this new framework. Among other results, we prove a Bohnenblust--Hille inequality in this more general setting.
Let $\cal A$ be a Banach algebra. We study those closed ideals $I$ of $\cal A$ for which the first cohomology group of $\cal A$ with coefficients in $I^*$ is trivial; i.e. $H^1(\cal A,I^*)=\{0\}$. We investigate such closed ideals when $\cal A$ is weakly amenable or biflat. Also we give some hereditary properties of ideal amenability.
Let $C$ be a closed convex cone in a Banach ideal space $X$ on a measurable space with a $σ$-finite measure. We prove that conditions $C\cap X_+=\{0\}$ and $C\supset -X_+$ imply the existence of a strictly positive continuous functional on $X$, whose restriction to $C$ is non-positive.
We investigate topologically left Noetherian Banach algebras. We show that if $G$ is a compact group, then $L^{\, 1}(G)$ is topologically left Noetherian if and only if $G$ is metrisable. We prove that, given a Banach space $E$ such that $E'$ has BAP, the algebra of compact operators $\mathcal{K}(E)$ is topologically left Noetherian if and only if $E'$ is separable; it is topologically right Noetherian if and only if $E$ is separable. We then give some examples of dual Banach algebras which are topologically left Noetherian in the weak*-topology. Finally we give a unified approach to classifyi…
We give an example of a positive element $a$ in some ordered Banach algebra $A$ such that its spectrum is equal to $\{1\}$ and it is not greater than or equal to the unit element of $A$.
We classify the closed ideals of bounded operators acting on the Banach spaces $\left(\bigoplus_{n \in \mathbb{N}} \ell_2^n\right)_{c_0} \oplus c_0(Γ)$ and $\left(\bigoplus_{n \in \mathbb{N}} \ell_2^n\right)_{\ell_1} \oplus \ell_1(Γ)$ for every uncountable cardinal $Γ$.
We introduce two notions of amenability for a Banach algebra $\cal A$. Let $I$ be a closed two-sided ideal in $\cal A$, we say $\cal A$ is $I$-weakly amenable if the first cohomology group of $\cal A$ with coefficients in the dual space $I^*$ is zero; i.e., $H^1({\cal A},I^*)=\{0\}$, and, $\cal A$ is ideally amenable if $\cal A$ is $I$-weakly amenable for every closed two-sided ideal $I$ in $\cal A$. We relate these concepts to weak amenability of Banach algebras. We also show that ideal amenability is different from amenability and weak amenability. We study the $I$-weak amenability of a Bana…
In 1971, Grauert and Remmert proved that a commutative, complex, Noetherian Banach algebra is necessarily finite-dimensional. More precisely, they proved that a commutative, complex Banach algebra has finite dimension over $\C$ whenever all the closed ideals in the algebra are (algebraically) finitely generated. In 1974, Sinclair and Tullo obtained a non-commutative version of this result. In 1978, Ferreira and Tomassini improved the result of Grauert and Remmert by showing that the statement is also true if one replaces `closed ideals' by `maximal ideals in the Šilov boundary of $A$'. We shal…
We continue with the study of greedy-type bases in quasi-Banach spaces started in [3]. In this paper, we study partially-greedy bases focusing our attention in two main results: -Characterization of partially-greedy bases in quasi-Banach spaces in terms of quasi-greediness and different conservative-like properties. -Given a $C$-partially-greedy basis in a quasi-Banach space, there exists a "renorming" such that the basis is $1$-partially-greedy.
It is shown that every set I(m) of Banach lattices of measurable functions defined on a measure space (Q,S,m), equipped with a some natural ordering became a modular lattice, which is Dedekind complete provided m is a probability measure. Moreover, some natural operations on considered spaces are in Galois connexion.
We establish a relation between Lipschitz operator ideals and linear operator ideals, which fits in the framework of Galois connection between lattices. We use this relationship to give a criterion which allow us to recognize when a Banach Lipschitz operator ideal is of composition type or not. Also, we introduce the concept of minimal Banach Lipschitz operator ideal, which have analogous properties to minimal Banach operator ideals. Also we characterize minimal Banach Lipschitz operator ideals which are of composition type and present examples which are not of this class.
Using upper $\ell_p$-estimates for normalized weakly null sequence images, we describe a new family of operator ideals $\mathcal{WD}_{\ell_p}^{(\infty,ξ)}$ with parameters $1\leq p\leq\infty$ and $1\leqξ\leqω_1$. These classes contain the completely continuous operators, and are distinct for all choices $1\leq p\leq\infty$ and, when $p\neq 1$, for all choices $ξ\neqω_1$. For the case $ξ=1$, there exists an ideal norm $\|\cdot\|_{(p,1)}$ on the class $\mathcal{WD}_{\ell_p}^{(\infty,1)}$ under which it forms a Banach ideal.
In this article, we show that the predual $\mathcal{G}_w(U)$ of the weighted space of holomorphic functions has the $\mathcal{I}$- approximation property if and only if $E$ has the $\mathcal{I}$- approximation property, where $\mathcal{I}$ is a suitably chosen operator ideal, and $\it{w}$ is a radial weight defined on a balanced open subset U of a Banach space $E$.
Let $X$ be a Banach space, and $M,N$ be two closed subspaces of $X$. We present several necessary and sufficient conditions for the closedness of $M+N$ ($M+N$ is not necessarily direct sum).
In this paper, we study the notion of approximately bi at Banach algebras for second dual Banach algebras and semigroup algebras. We show that for a locally compact group G, if S(G)?? is approximately bi at, then G is amenable group. Also we give some conditions which the second dual of a Triangular Banach algebra is never approximately bi at. For a uniformly locally finite semigroup S, we show that `1(S) is approximately bi at if and only if `1(S) is bi at.
Let $G$ be a locally compact group. We prove that the augmentation ideal in $L^1(G)$ is (algebraically) finitely-generated as a left ideal if and only if $G$ is finite. We then investigate weighted versions of this result, as well as a version for semigroup algebras. Weighted measure algebras are also considered. We are motivated by a recent conjecture of Dales and Żelazko, which states that a unital Banach algebra in which every maximal left ideal is finitely-generated is necessarily finite-dimensional. We prove that this conjecture holds for many of the algebras considered. Finally, we use t…
In this note we provide examples that show that a common notion of causality for linear operators on Banach spaces does not carry over to the closure of the respective operators. We provide an alternative definition for causality, which is equivalent to the usual definition for closed linear operators but does carry over to the closure.
Let $E$ be a Banach lattice. Its ideal center $Z(E)$ is embedded naturally in the ideal center $Z(E')$ of its dual. The embedding may be extended to a contractive algebra and lattice homomorphism of $Z(E)"$ into $Z(E')$. We show that the extension is onto $Z(E')$ if and only if $E$ has a topologically full center. (That is, for each $x\in E$, the closure of $Z(E)x$ is the closed ideal generated by $x$.) The result can be generalized to the ideal center of the order dual of an Archimedean Riesz space and in a modified form to the orthomorphisms on the order dual of an Archimedean Riesz space.
It is shown that a locally compact group $G$ is amenable if and only if some certain closed ideals of the Figà-Talamanca-Herz algebra $A_{p}(G)$ admit bounded $Δ$-weak approximate identities. Also, similar results are obtained for the function algebras $\mathfrak{L}A(G)$ and $C_{0}^{w}(G)$.
Let $X$ be a Banach space with $\dim X>1$ such that $X^{\ast}$, its dual, is separable and $\mathcal{B}(X)$ the algebra of bounded linear operators on $X$. In this paper, we study the passage of property of being supercyclic from an operator $T\in\mathcal{B}(X)$ to the left and right multiplication induced by $T$ on separable admissible Banach ideal of $\mathcal{B}(X)$. We give a sufficient condition for the tensor product $T\widehat{\otimes}R$ of two operators to be supercyclic. As a consequence, we give another equivalent conditions for the Supercyclicity Criterion.
We formulate general conditions which imply that $L(X,Y)$, the space of operators from a Banach space $X$ to a Banach space $Y$, has $2^{\mathfrak c}$ closed ideals where $\mathfrak c$ is the cardinality of the continuum. These results are applied to classical sequence spaces and Tsirelson type spaces. In particular, we prove that the cardinality of the set of closed ideals in $L(\ell_p\oplus\ell_q)$ is exactly $2^{\mathfrak c}$ for all $1<p<q<\infty$, which in turn gives an alternate proof of the recent result of Johnson and Schechtman that $L(L_p)$ also has $2^{\mathfrak c}$ closed ideals fo…
We characterize boundedness, compactness and weak compactness of Volterra operators acting between different weighted Banach spaces of entire functions with weighted sup-norms in terms of the symbol g. Thus we complement recent work by Bassallote, Contreras, Hernández-Mancera, Martín and Paul for spaces of holomorphic functions on the disc and by Constantin and Peláez for reflexive weighted Fock spaces.
In this paper, we study the notion of $ϕ$-biflatness for some Banach algebras, where $ϕ$ is a non-zero multiplicative linear functional. We show that the Segal algebra $S(G)$ is left $ϕ$-biflat if and only if $G$ is amenable. Also, we characterize left $ϕ$-biflatness of semigroup algebra $\ell^{1}(S)$ in the term of biflatness, where $S$ is a Clifford semigroup.
We prove an abstract interpolation theorem which interpolates the (r,2)-summing and (s,2)-mixing norm of a fixed operator in the image and the range space. Combined with interpolation formulas for spaces of operators we obtain as an application the original Bennett-Carl inequalities for identities acting between Minkowski spaces l_u as well as their analogues for Schatten classes S_u. Furthermore, our techniques motivate a study of Bennett-Carl inequalities within a more general setting of symmetric Banach sequence spaces and unitary ideals.
We present some new results on the symmetric Kottman's constant $K^s(X)$ of a Banach space $X$ and its relationship with the Kottman constant. We show that $K^s(X)>1$, for every infinite-dimensional Banach space, thereby solving a problem by J.M.F. Castillo and P.L. Papini. We also investigate such constant in the class of Banach spaces admitting $c_0$ spreading models, answering in particular one question from our previous joint paper with P. Hájek and T. Kania.
We introduce two notions of amenability for a Banach algebra $\cal A$. Let $n\in \Bbb N$ and let $I$ be a closed two-sided ideal in $\cal A$, $\cal A$ is $n-I-$weakly amenable if the first cohomology group of $\cal A$ with coefficients in the n-th dual space $I^{(n)}$ is zero; i.e., $H^1({\cal A},I^{(n)})=\{0\}$. Further, $\cal A$ is n-ideally amenable if $\cal A$ is $n-I-$weakly amenable for every closed two-sided ideal $I$ in $\cal A$. We find some relationships of $n-I-$ weak amenability and $m-J-$ weak amenability for some different m and n or for different closed ideals $I$ and $J$ of $\c…
Let $ω_1$ be the first uncountable ordinal. By a result of Rudin, bounded operators on the Banach space $C([0,ω_1])$ have a natural representation as $[0,ω_1]\times 0,ω_1]$-matrices. Loy and Willis observed that the set of operators whose final column is continuous when viewed as a scalar-valued function on $[0,ω_1]$ defines a maximal ideal of codimension one in the Banach algebra $\mathscr{B}(C([0,ω_1]))$ of bounded operators on $C([0,ω_1])$. We give a coordinate-free characterization of this ideal and deduce from it that $\mathscr{B}(C([0,ω_1]))$ contains no other maximal ideals. We then obt…
In this note, we show that \cite[Corollary 3.2]{sad} is not always true. In fact, we characterize essential left $ϕ$-contractibility of the the group algebras in the term of compactness of its related locally compact group. Also we show that for any compact commutative group $G$, $L^{2}(G)$ is always essentially left $ϕ$-contractible. We discuss essential left $ϕ$-contractibility of some Fourier algebras.
The main purpose of this paper is to study some geometric and topological properties on $ c_0$ sum of the finite dimensional Banach lattice $\ell_2^n$, its dual and its bidual. Among other results, we show that the Banach lattices $c_0(\ell_2^n)$ has the strong Gelfand-Philips property, but does not have the positive Grothendieck property. We also prove that the closed unit ball of $l_{\infty}(\ell_2^n)$ is an almost limited set.
A Banach space has the ball huskable property ($BHP$) if the closed unit ball has weakly open sets of arbitrarily small diameter. We can analogously define $w^*$-$BHP$ in the dual space. In this short note, we study these properties in the context of ideals in Banach spaces. The notion of an ideal, was introduced by Godefroy, Kalton and Saphar. We show that if a Banach space $X$ has $BHP,$ then any $M$-ideal of $X$ also has $BHP.$ We further show that if $Y$ is an $M$-ideal of $X,$ then $Y^*$ has $w^*$-$BHP$ implies $X^*$ has $w^{*}$-$BHP.$ We use this result to prove that for a compact Hausdo…
We study $M$-ideals of compact operators by means of the property~$(M)$ introduced in \cite{Kal-M}. Our main result states for a separable Banach space $X$ that the space of compact operators on $X$ is an $M$-ideal in the space of bounded operators if (and only if) $X$ does not contain a copy of $\ell_{1}$, has the metric compact approximation property, and has property~$(M)$. The investigation of special versions of property~$(M)$ leads to results on almost isometric structure of some classes of Banach spaces. For instance, we give a simple necessary and sufficient condition for a Banach spac…
We present an overview to the approximation property, paying especial attention to the recent results relating the approximation property to ideals of linear operators and Lipschitz ideals. We complete the paper with some new results on approximation of Lipschitz mappings and their relation to linear operator ideals.
What is an adequate extension of an operator ideal I to the polynomial and multilinear settings? This question motivated the appearance of the concepts of coherent sequences of polynomial ideals and compatibility of a polynomial ideal with an operator ideal, introduced by D. Carando el al. We propose a different approach by considering pairs (U_{k},M_{k})_{k=1}^{\infty}, where (U_{k})_{k=1}^{\infty} is a polynomial ideal and (M_{k})_{k=1}^{\infty} is a multi-ideal, instead of considering just polynomial ideals. Our approach ends a discomfort caused by the previous theory: for real scalars the …
We prove that if $X$ is a real Banach space, with $\dim X\geq 3$, which contains a subspace of codimension 1 which is 1-complemented in $X$ and whose group of isometries is almost transitive then $X$ is isometric to a Hilbert space. This partially answers the Banach-Mazur rotation problem and generalizes some recent related results.
In this paper we give an example of a Banach algebra $A$ and a closed ideal $I$ of $A$ such that the multiplier algebra of $I$ is equal to $A$ but $I$ does not have any bounded approximate identity. In the case that $I$ has an approximate identity, we give a necessary condition on $I$ for which $A=\mathcal{M}(I)$, where $\mathcal{M}(I)$ denotes the multiplier algebra of $I$. Finally, as a corollary of our results, we show that the Fourier algebra of an amenable group is strictly dense in the Fourier-Stieltjes algebra.
Let $\cal A$ be a Banach algebra. Then $\cal A^{**}$ the second dual of $\cal A$ is a Banach algebra with first (second) Arens product. We study the Arens products of $\cal A^{4}(=({\cal A^{**}})^{**}).$ We found some conditions on $\cal A^{**}$ to be a left ideal in $\cal A^{4}.$ We found the biggest two sided ideal $I$ of ${\cal A},$ in which $I$ is a left (right) ideal of ${\cal A}^{**}$.
