In the present paper we continue the study of the structure of a Banach algebra B(A, T_g) generated by a certain Banach algebra $A$ of operators acting in a Banach space $D$ and a group {T_g}_{g \in G} of isometries of D such that T_g A T^{-1}_g = A. We investigate the interrelations between the existence of the expectation of B(A, T_g) onto $A$, metrical freedom of the automorphisms of A induced by T_g and the dual action of the group G on B(A, T_g). The results obtained are applied to the description of the structure of Banach algebras generated by 'weighted composition operators' acting in Lebesgue spaces.
In the present paper we study the structure of a Banach algebra B(A, T_g) generated by a certain Banach algebra $A$ of operators acting in a Banach space D and a group {T_g}_{g \in G} of isometries of D such that T_g A T^{-1}_g = A. We investigate the interrelations between the existence of the expectation of B(A, T_g) onto A, topological freedom of the automorphisms of A induced by T_g and the dual action of the group G on B(A, T_g). The results obtained are applied to the description of the structure of Banach algebras generated by 'weighted composition operators' acting in various spaces.
In the present paper we investigate Banach--Kantorovich algebras over faithful solid subalgebras of algebras measurable functions. We prove that any Banach--Kantorovich algebra over faithful solid subalgebras of algebra measurable functions represented as a measurable bundle of Banach algebras with vector-valued lifting. We apply such representation to the spectrum of elements Banach--Kantorovich algebras.
For unital $C^*$-algebras $A$ and $B$, we completely characterize the isometric ($*$-) automorphisms of their Banach space projective tensor product $A\otimes^γB$. This leads to the characterization of inner and outer isometric $*$-automorphisms of $A\otimes^γB$, as well. As an application, we provide a partial affirmative answer to a question posed by Kaijser and Sinclair, viz., we prove that for unital $C^*$-algebras $A$ and $B$, the set of norm-one unitaries of $A\otimes^γB$ coincides with $U(A) \otimes U(B)$, where $U(A)$ is the unitary group of $A$. We also establish the fact that the rel…
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.
In the present paper derivations and *-automorphisms of algebras of unbounded operators over the ring of measurable functions are investigated and it is shown that all L^0-linear derivations and L^{0}-linear *-automorphisms are inner. Moreover, it is proved that each L^0-linear automorphism of the algebra of all linear operators on a bo-dense submodule of a Kaplansky-Hilbert module over the ring of measurable functions is spatial.
In this paper we extend a result of Semrl stating that every 2-local automorphism of the full operator algebra on a separable infinite dimensional Hilbert space is an automorphism. In fact, besides separable Hilbert spaces, we obtain the same conclusion for the much larger class of Banach spaces with Schauder bases. The proof rests on an analogous statement concerning the 2-local automorphisms of matrix algebras of which statement we present a short proof. The need to get such a proof was formulated in Semrl's paper.
The paper is devoted to 2-local automorphisms on $AW^\ast$-algebras. Using the technique of matrix algebras over a unital Banach algebra we prove that any 2-local automorphism on an arbitrary $AW^\ast$-algebra without finite type~I direct summands is a global automorphism.
Let \(\mathcal{A}\) be a unital Banach algebra such that any Jordan derivation from \(\mathcal{A}\) into any \(\mathcal{A}\)-bimodule \(\mathcal{M}\) is a derivation. We prove that any 2-local derivation from the algebra $M_n(\mathcal{A})$ into $M_n(\mathcal{M})$ $(n\geq 3)$ is a derivation. We apply this result to show that any 2-local derivation on the algebra of locally measurable operators affiliated with a von Neumann algebra without direct abelian summands is a derivation.
It is established that every derivation continuous with respect to the local measure topology acting on the *-algebra $LS(\mathcal{M})$ of all locally measurable operators affiliated with a von Neumann algebra $\mathcal{M}$ is necessary inner. If $\mathcal{M}$ is a properly infinite von Neumann algebra, then every derivation on $LS(\mathcal{M})$ is inner. In addition, it is proved that any derivation on $\mathcal{M}$ with values in Banach $\mathcal{M}$-bimodule of locally measurable operators is inner.
We introduce a version of Voiculescu-Brown approximation entropy for isometric automorphisms of Banach spaces and develop within this framework the connection between dynamics and the local theory of Banach spaces discovered by Glasner and Weiss. Our fundamental result concerning this contractive approximation entropy, or CA entropy, characterizes the occurrence of positive values both geometrically and topologically. This leads to various applications; for example, we obtain a geometric description of the topological Pinsker factor and show that a C*-algebra is type I if and only if every mul…
We investigate Banach space automorphisms $T:\ell_\infty/c_0\rightarrow\ell_\infty/c_0 $ focusing on the possibility of representing their fragments of the form $$T_{B,A}:\ell_\infty(A)/c_0(A)\rightarrow \ell_\infty(B)/c_0(B)$$ for $A, B\subseteq N$ infinite by means of linear operators from $\ell_\infty(A)$ into $\ell_\infty(B)$, infinite $A\times B$-matrices, continuous maps from $B^*=βB\setminus B$ into $A^*$, or bijections from $B$ to $A$. This leads to the analysis of general linear operators on $\ell_\infty/c_0$. We present many examples, introduce and investigate several classes of oper…
In [11], employing the technique of noncommutative interpolation, a maximal ergodic theorem in noncommutative Lp-spaces, 1 < p < infinity, was established and, among other things, corresponding maximal ergodic inequalities and individual ergodic theorems were derived. In this article, we derive maximal ergodic inequalities in noncommutative Lp-spaces directly from [25] and apply them to prove corresponding individual and Besicovitch weighted ergodic theorems. Then we extend these results to noncommutative fully symmetric Banach spaces with Fatou property and non-trivial Boyd indices, in partic…
Given a von Neumann algebra $M$ we consider the central extension $E(M)$ of $M.$ For type I von Neumann algebras $E(M)$ coincides with the algebra $LS(M)$ of all locally measurable operators affiliated with $M.$ In this case we show that an arbitrary automorphism $T$ of $E(M)$ can be decomposed as $T=T_a\circ T_ϕ,$ where $T_a(x)=axa^{-1}$ is an inner automorphism implemented by an element $a\in E(M),$ and $T_ϕ$ is a special automorphism generated by an automorphism $ϕ$ of the center of $E(M).$ In particular if $M$ is of type I$_\infty$ then every band preserving automorphism of $E(M)$ is inner…
Utilizing the notion of uniform equicontinuity for sequences of functions with the values in the space of measurable operators, we present a non-commutative version of the Banach Principle for $L^\infty$.
We consider the Aluthge transform $|T|^{1/2}U|T|^{1/2}$ of a Hilbert space operator $T$, where $T=U|T|$ is the polar decomposition of $T$. We prove that the map that sends $T$ to its Aluthge transform is continuous with respect to the norm topology and with respect to the $*$--SOT topology on bounded sets. We consider the special case in a tracial von Neumann algebra when $U$ implements an automorphism of the von Neumann algebra generated by the positive part $|T|$ of $T$, and we prove that the iterated Aluthge transform converges to a normal operator whose Brown measure agrees with that of $T…
We show that smoothness implies norm-controlled inversion: the smoothness of an element $a$ in a Banach algebra with a one-parameter automorphism group is preserved under inversion, and the norm of the inverse $a^{-1}$ is controlled by the smoothness of $a$ and by spectral data. In our context smooth subalgebras are obtained with the classical constructions of approximation theory and resemble spaces of differentiable functions, Besov spaces or Bessel potential spaces. To treat ultra-smoothness, we resort to Dales-Davie algebras. Furthermore, based on Baskakov's work, we derive explicit norm c…
Let R a be countable ergodic equivalence relation of type II_1 on a standard probability space (X,m). The group Out(R) of outer automorphisms of R consists of all invertible Borel measure preserving maps of the space which map R-classes to R-classes modulo those which preserve almost every R-class. We analyze the group Out(R) for relations R generated by actions of higher rank lattices, providing general conditions on finiteness and triviality of Out(R) and explicitly computing this group for the standard actions. The method is based on Zimmer's superrigidity for measurable cocycles, Ratner's …
In this paper we study derivations in subalgebras of $L_{0}^{wo}(ν;% \mathcal{L}(X)) $, the algebra of all weak operator measurable funtions $f:S\to \mathcal{L}(X) $, where $% \mathcal{L}(X) $ is the Banach algebra of all bounded linear operators on a Banach space $X$. It is shown, in particular, that all derivations on $L_{0}^{wo}(ν;\mathcal{L}(X)) $ are inner whenever $X$ is separable and infinite dimensional. This contrasts strongly with the fact that $L_{0}^{wo}(ν;\mathcal{L}(X)) $ admits non-trivial non-inner derivations whenever $X$ is finite dimensional and the measure $ν$ is non-atomic…
We show that the Gurarij space $\mathbb{G}$ has extremely amenable automorphism group. This answers a question of Melleray and Tsankov. We also compute the universal minimal flow of the automorphism group of the Poulsen simplex $\mathbb{P}$ and we prove that it consists of the canonical action on $\mathbb{P}$ itself. This answers a question of Conley and Törnquist. We show that the pointwise stabilizer of any closed proper face of $\mathbb{P}$ is extremely amenable. Similarly, the pointwise stabilizer of any closed proper biface of the unit ball of the dual of the Gurarij space (the Lusky simp…
Isometries on algebras of locally measurable operators
Institute for Advances Study in Mathematics, Harbin Institute of Technologies（哈尔滨工业大学数学前沿研究院）；Suzhou Research Institute of Harbin Institute of Technology（哈尔滨工业大学苏州研究院）
Let ${\mathcal N}$ and ${\mathcal M}$ be nests on Banach spaces $X$ and $Y$ over the (real or complex) field $\mathbb F$ and let $\mbox{\rm Alg}{\mathcal N}$ and $\mbox{\rm Alg}{\mathcal M}$ be the associated nest algebras, respectively. It is shown that a map $Φ:{\rm Alg}{\mathcal N}\rightarrow{\rm Alg}{\mathcal M}$ is a Lie ring isomorphism (i.e., $Φ$ is additive, Lie multiplicative and bijective) if and only if $Φ$ has the form $Φ(A) = TAT^{-1} + h(A)I$ for all $A\in \mbox{\rm Alg}{\mathcal N}$ or $Φ(A)=-TA^*T^{-1}+h(A)I$ for all $A\in \mbox{\rm Alg}{\mathcal N}$, where $h$ is an additive f…
Let $(Ω,μ)$ be a $σ$-finite measure space. Given a Banach space $X$, let the symbol $S(X)$ stand for the unit sphere of $X$. We prove that the space $L^{\infty} (Ω,μ)$ of all complex-valued measurable essentially bounded functions equipped with the essential supremum norm, satisfies the Mazur-Ulam property, that is, if $X$ is any complex Banach space, every surjective isometry $Δ: S(L^{\infty} (Ω,μ))\to S(X)$ admits an extension to a surjective real linear isometry $T: L^{\infty} (Ω,μ)\to X$. This conclusion is derived from a more general statement which assures that every surjective isometry …
We develop a new duality between endomorphisms of measure spaces, on the one hand, and a certain family of positive operators, called transfer operators, acting in spaces of measurable functions on, on the other. A framework of standard Borel spaces is adopted; and this generality is wide enough to cover a host of applications. While the mathematical structures of positive operators, endomorphisms, transfer operators, measurable partitions, and Markov processes arise in a host of settings, both pure and applied, we propose here a unified study. This is the general setting of dynamics in Borel …
We extend recent work of the first named author, constructing a natural Hom semigroup associated to any pair of II$_1$-factors. This semigroup always satisfies cancelation, hence embeds into its Grothendieck group. When the target is an ultraproduct of a McDuff factor (e.g., $R^ω$), this Grothendieck group turns out to carry a natural vector space structure; in fact, it is a Banach space with natural actions of outer automorphism groups.
This is a survey article of geometric properties of noncommutative symmetric spaces of measurable operators $E(\mathcal{M},τ)$, where $\mathcal{M}$ is a semifinite von Neumann algebra with a faithful, normal, semifinite trace $τ$, and $E$ is a symmetric function space. If $E\subset c_0$ is a symmetric sequence space then the analogous properties in the unitary matrix ideals $C_E$ are also presented. In the preliminaries we provide basic definitions and concepts illustrated by some examples and occasional proofs. In particular we list and discuss the properties of general singular value functio…
