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.
In this paper, we study several type of point derivations for Banach algebras. We investigate how our definition of point derivations are related to each others.
In this article, it is proved that a functional equation of (linear) Jordan triple derivations on unital Banach algebras under quite natural and simple assumptions is hyperstable. It is also shown that under some mild conditions approximate Jordan triple derivations on unital semiprime Banach algebras are (linear) derivations.
We consider the compactness of derivations from commutative Banach algebras into their dual modules. We show that if there are no compact derivations from a commutative Banach algebra, $A$, into its dual module, then there are no compact derivations from $A$ into any symmetric $A$-bimodule; we also prove analogous results for weakly compact derivations and for bounded derivations of finite rank. We then characterise the compact derivations from the convolution algebra $\ell^1(\Z_+)$ to its dual. Finally, we give an example (due to J. F. Feinstein) of a non-compact, bounded derivation from a un…
In this article we shall focus on the derivations on module extension of Banach algebras and determine the general structure of them. Then we obtain some results concerning the automatic continuity of these mappings.
In this paper, we study Jordan derivation-like maps on the $θ-$Lau products of algebras. We characterize them and prove that under certain condition any Jordan derivation-like maps on the $θ-$Lau products is a derivation-like map. Moreover, we investigate the concept of centralizing for Jordan derivation-like maps on the $θ-$Lau products of algebras.
Let $A$ be a Banach algebra and $X$ be a Banach $A$-bimodule. A mapping $D :A\longrightarrow X$ is a cubic derivation if $D$ is a cubic homogeneous mapping, that is $D$ is cubic and $D(λa)=λ^3 D(a)$ for any complex number $λ$ and all $a\in A$, and $D(ab)=D(a)\cdot b^3 +a^3\cdot D(b)$ for all $a,b\in A$. In this paper, we prove the stability of a cubic derivation with direct method. We also employ a fixed point method to establish of the stability and the superstability for cubic derivations.
Let $X$ be a left introverted subspace of dual of a Banach algebra. We study $Z_t(X^*),$ the topological center of Banach algebra $X^*$. We fined the topological center of $(X\cA)^*$, when $\cA$ has a bounded right approximate identity and $\cA\subseteq X^*.$ So we introduce a new notation of amenability for a dual Banach algebra $\cal A$. A dual Banach algebra $\cal A$ is weakly Connes-amenable if the first $weak^*-$continuous cohomology group of $\cal A$ with coefficients in $\cal A$ is zero; i.e., $H^1_{w^*}(\cal A, \cal A)=\{o\}$. We study the weak Connes-amenability of some dual Banach al…
Let A and U be Banach algebras such that U is also a Banach A- bimodule with compatible algebra operations, module actions and norm. By defining an approprite action, we turn l1-direct product A item U into a Banach algebra such that A is closed subalgebra and U is a closed ideal of it. This algebra, is in fact semidirect product of A and U which we denote it by A litem U and every semidirect products of Banach algebras can be represented as this form. In this paper we consider the Banach algebra A litem U as mentioned and study the derivations on it. In fact we consider the automatic continui…
We investigate the automatic regularity of bounded derivations from a Banach lattice algebra of regular operators A into a Banach A-module with a Banach lattice structure compatible with the module operations.
Let $A$ be a Banach ternary algebra over a scalar field $\Bbb R$ or $\Bbb C$ and $X$ be a ternary Banach $A-$module. Let $σ,τ$ and $ξ$ be linear mappings on $A$, a linear mapping $D:(A,[]_A)\to (X,[]_X)$ is called a Lie ternary $(σ,τ,ξ)-$derivation, if $$D([abc]_A)=[[D(a)bc]_X]_{(σ,τ,ξ)}+[[D(b)ac]_X]_{(σ,τ,ξ)}+[[D(c)ba]_X]_{(σ,τ,ξ)},$$ for all $a,b,c\in A$, where $[abc]_{(σ,τ,ξ)}=aτ(b)ξ(c)-σ(c)τ(b)a.$ In this paper, we investigate the generalized Hyers--Ulam--Rassias stability of Lie ternary $(σ,τ,ξ)-$derivations on Banach ternary algebras.
Let $A$ and $X$ be Banach algebras and let $X$ be an algebraic Banach $A-$module. Then the $\ell^1-$direct sum $A\times X$ equipped with the multiplication $$(a,x)(b,y)=(ab, ay+xb+xy)\quad (a,b\in A, x,y\in X)$$ is a Banach algebra, denoted by $A\bowtie X$, which will be called "\textit{a generalized module extension Banach algebra}". Module extension algebras, Lau product and also the direct sum of Banach algebras are the main examples satisfying this framework. We characterize the structure of $n-$dual valued ($n\in\mathbb N)$) derivations on $A\bowtie X$ from which we investigate the $n-$we…
We show that for $n\geq 2$ the $n-$weak amenability of the second dual $\A^{**}$ of a Banach algebra $\A$ implies that of $\A$. We also provide a positive answer for the case $n=1,$ which sharpens some older results. Our method of proof also provides a unified approach to give short proofs for some known results in the case where $n=1$.
Let ${\mathcal A}$ be a Banach algebra with the properties that $\mathrm{rad}({\mathcal A})={\rm rann}({\mathcal A})$ and the algebra ${\mathcal A}/\mathrm{rad}({\mathcal A})$ is commutative. We show that a derivation of ${\mathcal A}$ maps ${\mathcal A}$ into ${\rm rad}({\mathcal A})$. Using this, we determine among other things when a generalized derivation of ${\mathcal A}$ maps ${\mathcal A}$ into ${\rm rad}({\mathcal A})$. We also study $k$-centralizing generalized derivations of ${\mathcal A}$. Then, for a generalized derivation $(δ, d)$ of ${\mathcal A}$ we obtain a necessary and suffic…
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 this paper, we introduce and solve the following additive-additive $(s,t)$-functional inequality \begin{eqnarray}\label{0.1} && \|g\left(x+y\right) -g(x) -g(y)\| +\| h(x+y) + h(x-y) -2 h(x) \| && \le \left\|s\left( 2 g\left(\frac{x+y}{2}\right)-g(x)-g(y)\right)\right\|+ \left\|t \left( 2h\left(\frac{x+y}{2}\right)+ 2h \left(\frac{x-y}{2}\right)- 2h (x)\right) \right\| , \nonumber \end{eqnarray} where $s$ and $t$ are fixed nonzero complex numbers with $|s| <1$ and $ |t| <1$. Using the direct method and the fixed point method, we prove the Hyers-Ulam stability of Lie bracket derivation-deriva…
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.
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…
If $D:A \to X$ is a derivation from a Banach algebra to a contractive, Banach $A$-bimodule, then one can equip $X^{**}$ with an $A^{**}$-bimodule structure, such that the second transpose $D^{**}: A^{**} \to X^{**}$ is again a derivation. We prove an analogous extension result, where $A^{**}$ is replaced by $\F(A)$, the \emph{enveloping dual Banach algebra} of $A$, and $X^{**}$ by an appropriate kind of universal, enveloping, normal dual bimodule of $X$. Using this, we obtain some new characterizations of Connes-amenability of $\F(A)$. In particular we show that $\F(A)$ is Connes-amenable if a…
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.
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.
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 $\mathcal{A}$ and $\mathcal{U}$ be Banach algebras and $θ$ be a nonzero character on $\mathcal{A}$. Then the \textit{Lau product Banach algebra} $\mathcal{A}\times_θ\mathcal{U}$ associated with the Banach algebras $\mathcal{A}$ and $\mathcal{U}$ is the $l^1$-direct sum $\mathcal{A}\oplus\mathcal{U}$ equipped with the algebra multiplication $(a,u)(a',u')=(ab,θ(a)u'+θ(a')u+uu')\, (a,a'\in\mathcal{A},u,u'\in\mathcal{U})$ and $l^1$-norm. In this paper we shall investigate the derivations and multipliers from this Banach algebras and study the automatic continuity of these mappings. We also stu…
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 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…
This paper is devoted to the study of unbounded derivations on Banach quasi *-algebras with a particular emphasis to the case when they are infinitesimal generators of one parameter automorphisms groups. Both of them, derivations and automorphisms are considered in a weak sense; i.e., with the use of a certain families of bounded sesquilinear forms. Conditions for a weak *-derivation to be the generator of a *-automorphisms group are given.
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 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 $Γ$.
This note aims to highlight the link between representable functionals and derivations on a Banach quasi *-algebra, i.e. a mathematical structure that can be seen as the completion of a normed *-algebra in the case the multiplication is only separately continuous. Representable functionals and derivations have been investigated in previous papers for their importance concerning the study of the structure properties of a Banach quasi *-algebra and applications to quantum models.
Introducing the notions of (inner) $σ$-derivation, (inner) $σ$-endomorphism and one-parameter group of $σ$-endomorphisms ($σ$-dynamics) on a Banach algebra, we correspond to each $σ$-dynamics a $σ$-derivation named as its $σ$-infinitesimal generator. We show that the $σ$-infinitesimal generator of a $σ$-dynamics of inner $σ$-endomorphisms is an inner $σ$-derivation and deal with the converse. We also establish a nice generalized Leibniz formula and extend the Kleinenckr--Sirokov theorem for $σ$-derivations under certain conditions.
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…
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$.
Read produced the first example of a Banach space $E_{\text{R}}$ such that the associated Banach algebra $\mathscr{B}(E_{\text{R}})$ of bounded operators admits a discontinuous derivation (J. London Math. Soc. 1989). We generalise Read's main theorem about $\mathscr{B}(E_{\text{R}})$ from which he deduced this conclusion, as well as the key technical lemmas that his proof relied on, by constructing a strongly split-exact sequence {0} --> $\mathscr{W}(E_{\text{R}})$ --> $\mathscr{B}(E_{\text{R}})$--> $\tilde{\ell_2}$-->{0}, where $\mathscr{W}(E_{\text{R}})$ denotes the ideal of weakly compact o…
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…
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.
Let $n\in \Bbb N-\{1\},$ and let $A$ be a Banach algebra. An additive map $D: A\to A$ is called n-Jordan derivation if $$D(a^n)=D(a)a^{n-1}+aD(a)a^{n-2}+...+a^{n-2}D(a)a+a^{n-1}D(a),$$ for all $a \in {A}$. Using fixed point methods, we investigate the stability of n--Jordan derivations (n--Jordan $^*-$derivations) on Banach algebras ($C^*-$algebras). Also we show that to each approximate $^*-$Jordan derivation $f$ in a $C^*-$ algebra there corresponds a unique $^*-$derivation near to $f$.
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…
Let $B$ be a Banach $A-bimodule$ and let $n\geq 0$. We investigate the relationships between some cohomological groups of $A$, that is, if the topological center of the left module action $π_\ell:A\times B\rightarrow B$ of $A^{(2n)}$ on $B^{(2n)}$ is $B^{(2n)}$ and $H^1(A^{(2n+2)},B^{(2n+2)})=0$, then we have $H^1(A,B^{(2n)})=0$, and we find the relationships between cohomological groups such as $H^1(A,B^{(n+2)})$ and $H^1(A,B^{(n)})$, spacial $H^1(A,B^*)$ and $H^1(A,B^{(2n+1)})$. We obtain some results in Connes-amenability of Banach algebras, and so for every compact group $G$, we conclude t…
We identify concrete examples of hypercyclic generalised derivations acting on separable ideals of operators and establish some necessary conditions for their hypercyclicity. We also consider the dynamics of elementary operators acting on particular Banach algebras, which reveals surprising hypercyclic behaviour on the space of bounded linear operators on the Banach space constructed by Argyros and Haydon.