Given a von Neumann algebra $M$ with a faithful normal semi-finite trace $τ,$ we consider the non commutative Arens algebra $L^ω(M, τ)=\bigcap\limits_{p\geq1}L^{p}(M, τ)$ and the related algebras $L^ω_2(M, τ)=\bigcap\limits_{p\geq2}L^{p}(M, τ)$ and $M+L^ω_2(M, τ)$ which are proved to be complete metrizable locally convex *-algebras. The main purpose of the present paper is to prove that any derivation of the algebra $M+L^ω_2(M, τ)$ is inner and all derivations of the algebras $L^ω(M,τ)$ and $L^ω_2(M, τ)$ are spatial and implemented by elements of $M+L^ω_2(M, τ).$
In this paper, first we give a simple criterion for the Arens regularity of a bilinear mapping on normed spaces, which applies in particular to Banach module actions and then we investigate those conditions under which the second adjoint of a derivation into a dual Banach module is again a derivation. As a consequence of the main result, a simple and direct proof for several older results is also included.
Let $\mathcal{A}$ be a $C^*$-algebra, and consider the Banach algebra $\mathcal{A} \otimes_γ\mathcal{A}$, where $\otimes_γ$ denotes the projective Banach space tensor product; if $\mathcal{A}$ is commutative, this is the Varopoulos algebra $V_\mathcal{A}$. It has been an open problem for more than 35 years to determine precisely when $\mathcal{A} \otimes_γ\mathcal{A}$ is Arens regular. Even the situation for commutative $\mathcal{A}$, in particular the case $\mathcal{A} = \ell_\infty$, has remained unsolved. We solve this classical question for arbitrary $C^*$-algebras by using von Neumann alg…
Let $E=E(0,\infty)$ be a symmetric function space and $E(\mathcal{M},τ)$ be a symmetric operator space associated with a semifinite von Neumann algebra with a faithful normal semifinite trace. Our main result identifies the class of spaces $E$ for which every derivation $δ:\mathcal{A}\to E(\mathcal{M},τ)$ is necessarily inner for each $C^*$-subalgebra $\mathcal{A}$ in the class of all semifinite von Neumann algebras $\mathcal{M}$ as those with the Levi property.
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…
Endomorphisms of the measure algebra of commutative hypergroups are investigated. We focus on derivations and higher order derivations which are closely related to moment function sequences of higher rank. We describe the exact connection between those higher order derivations which are endomorphisms of the measure algebra if it is considered as a module over the ring of continuous functions.
Let $A$ be a commutative semisimple Arens regular unital Banach algebra. The correlation between the BSE-property of the Banach algebra $A$ and its second duals are assessed. It is found and approved that if $A$ is a BSE-algebra, then so is $A^{**}$. The opposite correlation will hold in certain conditions. The correlation of the BSE-norm property of the Banach algebra and its second dual are assessed and examined. It is revealed that, if $A$ is a commutative Arens regular unital Banach algebra where $A^{**}$ is semisimple, then, $A$ and $A^{**}$ are BSE-norm algebra.
In this note, we study the Arens regularity of projective tensor product $A\hat{\otimes}B$ whenever $A$ and $B$ are Arens regular. We establish some new conditions for showing that the Banach algebras $A$ and $B$ are Arens regular if and only if $A\hat{\otimes}B$ is Arens regular. We also introduce some new concepts as left-weak$^*$-weak convergence property [$Lw^*wc-$property] and right-weak$^*$-weak convergence property [$Rw^*wc-$property] and for Banach algebra $A$, suppose that $A^*$ and $A^{**}$, respectively, have $Rw^*wc-$property and $Lw^*wc-$property. Then if $A^{**}$ is weakly amenab…
We introduce the class of Beurling-Fourier algebras on locally compact groups and show that they are non-commutative analogs of classical Beurling algebras. We obtain various results with regard to the operator amenability, operator weak amenability and Arens regularity of Beurling-Fourier algebras on compact groups and show that they behave very similarly to the classical Beurling algebras of discrete groups. We then apply our results to study explicitly the Beurling-Fourier algebras on SU(2), the 2 $\times$ 2 unitary group. We demonstrate that how Beurling-Fourier algebras are closely connec…
In this paper, we study some cohomlogical properties of Banach algebras. For a Banach algebra $A$ and a Banach $A$-bimodule $B$, we investigate the vanishing of the first Hochschild cohomology groups $H^1(A^n,B^m)$ and $H_{w^*}^1(A^n,B^m)$, where $0\leq m,n\leq 3$. For amenable Banach algebra $A$, we show that there are Banach $A$-bimodules $C$, $D$ and elements $\mathfrak{a}, \mathfrak{b}\in A^{**}$ such that $$Z^1(A,C^*)=\{R_{D^{\prime\prime}(\mathfrak{a})}:~D\in Z^1(A,C^*)\}=\{L_{D^{\prime\prime}(\mathfrak{b})}:~D\in Z^1(A,D^*)\}.$$ where, for every $b\in B$, $L_{b}(a)=ba$ and $R_{b}(a)=a b…
Let $S(0,1)$ be the $*$-algebra of all classes of Lebesgue measurable functions on the unit interval $(0,1)$ and let $(\mathcal{A},\left\|\cdot \right\|_\mathcal{A})$ be a complete symmetric $Δ$-normed $*$-subalgebra of $S(0,1)$, in which simple functions are dense, e.g., $L_\infty (0,1)$, $L_{\log}(0,1)$, $S(0,1)$ and the Arens algebra $L^ω(0,1)$ equipped with their natural $Δ$-norms. We show that there exists no non-trivial derivation $ δ: \mathcal{A} \to S(0,1)$ commuting with all dyadic translations of the unit interval. Let $\mathcal{M}$ be a type $II$ (or $I_\infty$) von Neumann algebra,…
In this article, using generalized derivations, we obtain a simple idea to prove the non-commutative Newton binomial formula in unital algebras and then, we extend that formula to non-unital algebras. Additionally, we establish the non-commutative Newton binomial formula with a negative power.
The paper is devoted to local derivations on the algebra $S(\mathcal{M},τ)$ of $τ$-measurable operators affiliated with a von Neumann algebra $\mathcal{M}$ and a faithful normal semi-finite trace $τ.$ We prove that every local derivation on $S(\mathcal{M},τ)$ which is continuous in the measure topology, is in fact a derivation. In the particular case of type I von Neumann algebras they all are inner derivations. It is proved that for type I finite von Neumann algebras without an abelian direct summand, and also for von Neumann algebras with the atomic lattice of projections, the condition of c…
We consider a Banach algebra $A$ with the property that, roughly speaking, sufficiently many irreducible representations of $A$ on nontrivial Banach spaces do not vanish on all square zero elements. The class of Banach algebras with this property turns out to be quite large -- it includes $C^*$-algebras, group algebras on arbitrary locally compact groups, commutative algebras, $L(X)$ for any Banach space $X$, and various other examples. Our main result states that every derivation of $A$ that preserves the set of quasinilpotent elements has its range in the radical of $A$.
We study dynamical optimal transport metrics between density matrices associated to symmetric Dirichlet forms on finite-dimensional $C^*$-algebras. Our setting covers arbitrary skew-derivations and it provides a unified framework that simultaneously generalizes recently constructed transport metrics for Markov chains, Lindblad equations, and the Fermi Ornstein--Uhlenbeck semigroup. We develop a non-nommutative differential calculus that allows us to obtain non-commutative Ricci curvature bounds, logarithmic Sobolev inequalities, transport-entropy inequalities, and spectral gap estimates.
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…
The derivation constant $K(A)\geq \frac{1}{2}$ has been extensively studied for \emph{unital} non-commutative $C^*$-algebras. In this paper, we investigate properties of $K(M(A))$ where $M(A)$ is the multiplier algebra of a non-unital $C^*$-algebra $A$. A number of general results are obtained which are then applied to the group $C^*$-algebras $A=C^*(G_N)$ where $G_N$ is the motion group $\R^N\rtimes SO(N)$. Utilising the rich topological structure of the unitary dual $\widehat{G_N}$, it is shown that, for $N\geq3$, $$K(M(C^*(G_N)))= \frac{1}{2}\left\lceil \frac{N}{2}\right\rceil.$$
We give a simple method for constructing commutative Frechet algebras which admit two inequivalent Frechet algebra topologies. The result is applied to show that the action of any non-algebraic analytic function may fail to be uniquely defined among other useful applications. We give an affirmative answer to a question of Loy from 1974. We also obtain the uniqueness of the Frechet algebra topology of certain Frechet algebras with finite dimensional radicals.
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…
