Automatic continuity of biorthogonality preservers between compact C$^*$-algebras and von Neumann algebras

Mar\' ia Burgos,Jorge J. Garcés,Antonio M. Peralta

DOI: https://doi.org/10.1016/j.jmaa.2010.11.007

2024-02-01

Abstract:We prove that every biorthogonality preserving linear surjection between two dual or compact C$^*$-algebras or between two von Neumann algebras is automatically continuous.

Operator Algebras,Functional Analysis

What problem does this paper attempt to address?

Automatic continuity of biorthogonality preservers between weakly compact JB$^*$-triples and atomic JBW$^*$-triples

María Burgos,Jorge J. Garcés,Antonio M. Peralta

DOI: https://doi.org/10.4064/sm204-2-1

2024-02-01

Abstract:We prove that every biorthogonality preserving linear surjection from a weakly compact JB$^*$triple containing no infinite dimensional rank-one summands onto another JB$^*$-triple is automatically continuous. We also show that every biorthogonality preserving linear surjection between atomic JBW$^*$triples containing no infinite dimensional rank-one summands is automatically continuous. Consequently, two atomic JBW$^*$-triples containing no rank-one summands are isomorphic if, and only if, there exists a (non necessarily continuous) biorthogonality preserving linear surjection between them.

Operator Algebras,Functional Analysis
Operation continuity of effect algebras

Zhi-Jian Yu,Jun-De Wu,Min-Hyung Cho

DOI: https://doi.org/10.1016/j.camwa.2008.03.034

IF: 3.218

2008-01-01

Computers & Mathematics with Applications

Abstract:In this paper, we prove that the operations ⊕ and ⊖ of effect algebras are continuous with respect to their ideal topology, and if the effect algebras are lattice effect algebras, then under some conditions, the lattice operations ∨ and ∧ are also continuous with respect to their ideal topology.
Complete orthogonality preservers between C$^*$-algebras

Jorge J. Garcés

DOI: https://doi.org/10.1016/j.jmaa.2010.11.007

2024-02-01

Abstract:We introduce $n$-orthogonality (and completely orthogonality) preserving operators between C$^*$-algebras. Our main theorem states that every completely orthogonality preserving bounded linear mapping between C$^*$-algebras is a weighted TRO homomorphism. We also give several characterisations of TRO homomorphisms among triple homomorphisms.

Operator Algebras
Continuity of Effect Algebra Operations in the Interval Topology

Qu Wenbo,Wu Junde,Yang Chengwu

DOI: https://doi.org/10.1023/b:ijtp.0000049029.39929.55

2004-01-01

International Journal of Theoretical Physics

Abstract:We study the continuity of ⊕ and ⊖ of effect algebras in the interval topology, and present several examples of effect algebras with interesting properties.
On Automatic Continuity of 3-Homomorphisms on Banach Algebras

Janko Bracic,Mohammad Sal Moslehian

DOI: https://doi.org/10.48550/arXiv.math/0611287

2007-04-15

Abstract:A linear map $\phi:{\mathcal A}\to {\mathcal B} $ between (Banach) algebras is called 3-homomorphism if $\phi(abc)=\phi(a)\phi(b)\phi(c)$ for each $a, b, c \in {\mathcal A}$. We investigate 3-homomorphisms on Banach algebras with bounded approximate identities and establish in two ways that every involution preserving homomorphism between $C^*$-algebras is norm decreasing.

Functional Analysis,Operator Algebras
On the continuity of intertwining operators over generalized convolution algebras

Felipe I. Flores

DOI: https://doi.org/10.1016/j.jmaa.2024.128753

2024-10-07

Abstract:Let ${\sf G}$ be a locally compact group, $\mathscr C\overset{q}{\to}{\sf G}$ a Fell bundle and $\mathfrak B=L^1({\sf G}\,\vert\,\mathscr C)$ the algebra of integrable cross-sections associated to the bundle. We give conditions that guarantee the automatic continuity of an intertwining operator $\theta:\mathcal X_1\to\mathcal X_2$, where $\mathcal X_1$ is a Banach $\mathfrak B$-bimodule and $\mathcal X_2$ is a weak Banach $\mathfrak B$-bimodule, in terms of the continuity ideal of $\theta$. We provide examples of algebras where this conditions are met, both in the case of derivations and algebra morphisms. In particular, we show that, if ${\sf G}$ is infinite, finitely-generated, has polynomial growth and $\alpha$ is a free (partial) action of ${\sf G}$ on the compact space $X$, then every homomorphism of $\ell^1_\alpha({\sf G},C(X))$ into a Banach algebra is automatically continuous.

Functional Analysis,Operator Algebras
LINEAR MAPS PRESERVING INDEFINITE ORTHOGONALITY ON C*-ALGEBRAS

崔建莲,侯晋川

DOI: https://doi.org/10.3321/j.issn:1000-8134.2004.04.005

2004-01-01

Abstract:Let A and B be unital C~*-algebras, s ∈A and t ∈ B be invertible self-adjoint elements. For every x ∈ A and z ∈B, define x~+=s~(-1)x~*s and z~+=t~(-1)z~*t. Assume that A is of real rank zero and φ: A→B is a bounded linear surjection. This paper shows that, x~+y=0 φ(x)~+φ(y)=0 and xy~+=0 φ(x)φ(y)~+=0 for any x, y ∈ A, if and only if φ(1) is invertible, φ(1)~+φ(1)=φ(1)φ(1)~+ ∈(B) (the center of B) and there exists a surjective +-homomorphism ψ(i.e., ψ is a homomorphism and ψ(x~+)=ψ(x)~+, x ∈A) from A onto B such that φ(x)=φ(1)ψ(x) for all x ∈A. For general C~*-algebra cases, a similar result is obtained for orthogonality preservers under an additional assumption that φ(1) is invertible.
The Structure of Linear Zero Product and Commutativity Preservers of C*-algebras

Liu Jung-Hui,Li Lei,Shi Luoyi,Wong Ngai-Ching

DOI: https://doi.org/10.1007/s13398-021-01134-z

2021-01-01

Revista de la Real Academia de Ciencias Exactas Físicas y Naturales Serie A Matemáticas

Abstract:Let $$\theta :\mathcal {A}_{sa}\rightarrow \mathcal {B}_{sa}$$ be a bijective real linear zero product preserver between the self-adjoint parts of two (complex) $$C^*$$ -algebras. Suppose $$\theta $$ preserves commutativity in two directions (i.e., $$ab=ba$$ if and only if $$\theta (a)\theta (b)=\theta (b)\theta (a)$$ ). We show that $$\theta $$ is automatically continuous. More precisely, there is an invertible central self-adjoint multiplier h of $$\mathcal {B}$$ , and a real linear Jordan isomorphism $$J: \mathcal {A}_{sa}\rightarrow \mathcal {B}_{sa}$$ such that $$\theta = hJ$$ .
Automatic continuity of operator semigroups in the Calkin algebra

Tomasz Kochanek

2024-03-12

Abstract:We study operator semigroups in the Calkin algebra $\mathcal{Q}(\mathcal{H})$, represented as a subalgebra of the algebra of bounded linear operators on a Hilbert space via one of `canonical' Calkin's representations. Using the BDF theory, we associate with any normal $C_0$-semigroup $(q(t))_{t\geq 0}$ in $\mathcal{Q}(\mathcal{H})$ an extension $\Gamma\in\mathrm{Ext}(\Delta)$, where $\Delta$ is the inverse limit of certain compact metric spaces defined purely in terms of the spectrum $\sigma(A)$ of the generator of $(q(t))_{t\geq 0}$. Then we show that, in natural circumstances, if $(q(t))_{t\geq 0}$ is continuous in the strong operator topology, then it is actually uniformly continuous, although there are $C_0$-semigroups in $\mathcal{Q}(\mathcal{H})$ that are not uniformly continuous.

Functional Analysis,Operator Algebras
On commutants of composition operators embedded into $C_0$-semigroups

F. Javier González-Doña

2024-06-27

Abstract:Let $C_\varphi$ be a composition operator acting on the Hardy space of the unit disc $H^p$ ($1\leq p < \infty$), which is embedded in a $C_0$-semigroup of composition operators $\mathcal{T}=(C_{\varphi_t})_{t\geq 0}.$ We investigate whether the commutant or the bicommutant of $C_\varphi$, or the commutant of the semigroup $\mathcal{T}$, are isomorphic to subalgebras of continuous functions defined on a connected set. In particular, it allows us to derive results about the existence of non-trivial idempotents (and non-trivial orthogonal projections if $p=2$) lying in such sets. Our methods also provide results concerning the minimality of the commutant and the double commutant property, in the sense that they coincide with the closure in the weak operator topology of the unital algebra generated by the operator. Moreover, some consequences regarding the extended eigenvalues and the strong compactness of such operators are derived. This extends previous results of Lacruz, León-Saavedra, Petrovic and Rodríguez-Piazza, Fernández-Valles and Lacruz and Shapiro on linear fractional composition operators acting on $H^2$.

Functional Analysis
Bilinear maps on C$^*$-algebras that have product property at a compact element

Jorge J. Garcés,Mykola Khrypchenko

2023-12-01

Abstract:We study bounded bilinear maps on a C$^*$-algebra $A$ having product property at $c\in A$. This leads us to the question of when a C$^*$-algebra is determined by products at $c.$ In the first part of our paper, we investigate this question for compact C$^*$-algebras, and in the second part, we deal with von Neumann algebras having non-trivial atomic part. Our results are applicable to descriptions of homomorphism-like and derivation-like maps at a fixed point on such algebras.

Operator Algebras,Functional Analysis
Congruence Preservation, Lattices and Recognizability

Patrick Cegielski,Serge Grigorieff,Irene Guessarian

2024-10-04

Abstract:We study in general algebras Gratzer's notion of congruence preserving function, characterizing functions in terms of stability under inverse image of particular Boolean algebras of subsets generated from any subset of the algebra. Weakening Gratzer's notion to only finite index congruences, a similar result holds with lattices of sets. Genereralizing the notion to that of stable preorder preserving function, we extend these characterizations to Boolean algebras and lattices generated from any recognizable subset of the algebra. Our starting point is a result with related flavor on the additive algebra of natural integers which was obtained some years ago. All these results can be visualized in the diagram of Table 1. We finally consider some simple particular conditions on the algebra allowing to get a richer diagram.

Logic
Continuous model theories for von Neumann algebras

Yoann Dabrowski

DOI: https://doi.org/10.1016/j.jfa.2019.108308

IF: 1.891

2019-12-01

Journal of Functional Analysis

Abstract:We axiomatize in continuous logic for metric structures σ-finite <math>W⁎</math>-probability spaces and preduals of von Neumann algebras jointly with a weak-* dense <math>C⁎</math>-algebra of its dual. This corresponds respectively to the Ocneanu ultrapower and the Groh ultrapower of (σ-finite in the first case) von Neumann algebras. We give various axiomatizability results corresponding to recent results of Ando and Haagerup including axiomatizability of <math>IIIλ</math> factors for <math>0<λ≤1</math> fixed and their preduals. We also strengthen the concrete Groh theory to an axiomatization result for preduals of von Neumann algebras in the language of tracial matrix-ordered operator spaces, a natural language for preduals of dual operator systems. We give an application to the isomorphism of ultrapowers of factors of type III and <math>II∞</math> for different ultrafilters.

mathematics
Automatic continuity of new generalized derivations

Amin Hosseini,Choonkil Park

DOI: https://doi.org/10.48550/arXiv.2308.16367

2023-08-30

Functional Analysis

Abstract:Let $\mathcal{A}$ and $\mathcal{B}$ be two algebras and let $n$ be a positive integer. A linear mapping $D:\mathcal{A} \rightarrow \mathcal{B}$ is called a \emph{strongly generalized derivation of order $n$} if there exist families of linear mappings $\{E_k:\mathcal{A} \rightarrow \mathcal{B}\}_{k = 1}^{n}$, $\{F_k:\mathcal{A} \rightarrow \mathcal{B}\}_{k = 1}^{n}$, $\{G_k:\mathcal{A} \rightarrow \mathcal{B}\}_{k = 1}^{n}$ and $\{H_k:\mathcal{A} \rightarrow \mathcal{B}\}_{k = 1}^{n}$ which satisfy $D(ab) = \sum_{k = 1}^{n}\left[E_k(a) F_k(b) + G_k(a)H_k(b)\right]$ for all $a, b \in \mathcal{A}$. The purpose of this article is to study the automatic continuity of such derivations on Banach algebras and $C^{\ast}$-algebras.
A note on finite-dimensional quotients and the problem of automatic continuity for twisted convolution algebras

Felipe I. Flores

2024-10-16

Abstract:In this note we show that the twisted convolution algebra $L^1_{\alpha,\omega}({\sf G},\mathfrak A)$ associated to a twisted action of a locally compact group ${\sf G}$ on a $C^*$-algebra $\mathfrak A$ has the following property: Every quotient by a closed two-sided ideal of finite codimension produces a semisimple algebra. We use this property, together with results of H. Dales and G. Willis, to build up on previous results of the author and produce large classes of examples of algebras with properties of automatic continuity.

Functional Analysis,Operator Algebras
Linear maps between C*-algebras preserving extreme points and strongly linear preservers

María J. Burgos,Antonio C. Márquez-García,Antonio Morales-Campoy,Antonio M. Peralta

DOI: https://doi.org/10.48550/arXiv.1507.05788

2015-07-21

Operator Algebras

Abstract:We study new classes of linear preservers between C$^*$-algebras and JB$^*$-triples. Let $E$ and $F$ be JB$^*$-triples with $\partial_{e} (E_1)$. We prove that every linear map $T:E\to F$ strongly preserving Brown-Pedersen quasi-invertible elements is a triple homomorphism. Among the consequences, we establish that, given two unital C$^*$-algebras $A$ and $B,$ for each linear map $T$ strongly preserving Brown-Pedersen quasi-invertible elements, then there exists a Jordan $^*$-homomorphism $S: A\to B$ satisfying $T(x) = T(1) S(x)$, for every $x\in A$. We also study the connections between linear maps strongly preserving Brown-Pedersen quasi-invertibility and other clases of linear preservers between C$^*$-algebras like Bergmann-zero pairs preservers, Brown-Pedersen quasi-invertibility preservers and extreme points preservers.
Intermediate Subalgebras of Cartan embeddings in rings and C*-algebras

Jonathan H. Brown,Lisa Orloff Clark,Adam H. Fuller

2024-11-25

Abstract:Let $D \subseteq A$ be a quasi-Cartan pair of algebras. Then there exists a unique discrete groupoid twist $\Sigma \to G$ whose twisted Steinberg algebra is isomorphic to $A$ in a way that preserves $D$. In this paper, we show there is a lattice isomorphism between wide open subgroupoids of $G$ and subalgebras $C$ such that $D\subseteq C\subseteq A$ and $D \subseteq C$ is a quasi-Cartan pair. We also characterise which algebraic diagonal/algebraic Cartan/quasi-Cartan pairs have the property that every subalgebra $C$ with $D\subseteq C\subseteq A$ has $D \subseteq C$ a diagonal/Cartan/quasi-Cartan pair. In the diagonal case, when the coefficient ring is a field, it is all of them. Beyond that, only pairs that are close to being diagonal have this property. We then apply our techniques to C*-algebraic inclusions and give a complete characterization of which Cartan pairs $D \subseteq A$ have the property that every C*-subalgebra $C$ with $D\subseteq C\subseteq A$ has $D \subseteq C$ a Cartan pair.

Rings and Algebras,Operator Algebras
Projective freeness and Hermiteness of complex function algebras

Alexander Brudnyi,Amol Sasane

2023-09-18

Abstract:The paper studies projective freeness and Hermiteness of algebras of complex-valued continuous functions on topological spaces, Stein algebras, and commutative unital Banach algebras. New sufficient cohomology conditions on the maximal ideal spaces of the algebras are given that guarantee the fulfilment of these properties. The results are illustrated by nontrivial examples. Based on the Borsuk theory of shapes, a new class $\mathscr{C}$ of commutative unital complex Banach algebras is introduced (an analog of the class of local rings in commutative algebra) such that the projective tensor product with algebras in $\mathscr C$ preserves projective freeness and Hermiteness. Some examples of algebras of class $\mathscr{C}$ and of other projective free and Hermite function algebras are assembled. These include, e.g., Douglas algebras, finitely generated algebras of symmetric functions, Bohr-Wiener algebras, algebras of holomorphic semi-almost periodic functions, and algebras of bounded holomorphic functions on Riemann surfaces.

Functional Analysis,Commutative Algebra,Complex Variables,Rings and Algebras
On the continuity and differentiability of the (dual) core inverse in C*-algebras

Julio Benítez,Enrico Boasso,Sanzhang Xu

DOI: https://doi.org/10.48550/arXiv.1706.01877

2017-06-06

Abstract:The continuity of the core inverse and the dual core inverse is studied in the setting of C*-algebras. Later, this study is specialized to the case of bounded Hilbert space operators and to complex matrices. In addition, the differentiability of these generalized inverses is studied in the context of C*-algebras.

Operator Algebras,Functional Analysis
Contractive linear preservers of absolutely compatible pairs between C*-algebras

Nabin K. Jana,Anil K. Karn,Antonio M. Peralta

DOI: https://doi.org/10.48550/arXiv.1810.10886

2018-10-25

Abstract:Let $a$ and $b$ be elements in the closed ball of a unital C$^*$-algebra $A$ (if $A$ is not unital we consider its natural unitization). We shall say that $a$ and $b$ are domain (respectively, range) absolutely compatible ($a\triangle_d b$, respectively, $a\triangle_r b$, in short) if $\Big| |a| -|b| \Big| + \Big| 1-|a|-|b| \Big| =1$ (resp., $\Big| |a^*| -|b^*| \Big| + \Big| 1-|a^*|-|b^*| \Big| =1$), where $|a|^2= a^* a$. We shall say that $a$ and $b$ are absolutely compatible ($a\triangle b$ in short) if they are both range and domain absolutely compatible. In general, $a\triangle_d b$ (respectively, $a\triangle_r b$ and $a\triangle b$) is strictly weaker than $ab^*=0 $ (respectively, $a^* b =0$ and $a\perp b$). Let $T: A\to B$ be a contractive linear mapping between C$^*$-algebras. We prove that if $T$ preserves domain absolutely compatible elements (i.e., $a\triangle_d b\Rightarrow T(a)\triangle_d T(b)$) then $T$ is a triple homomorphism. A similar statement is proved when $T$ preserves range absolutely compatible elements. It is finally shown that $T$ is a triple homomorphism if, and only if, $T$ preserves absolutely compatible elements.

Operator Algebras

Automatic continuity of biorthogonality preservers between compact C$^*$-algebras and von Neumann algebras

Automatic continuity of biorthogonality preservers between weakly compact JB$^*$-triples and atomic JBW$^*$-triples

Operation continuity of effect algebras

Complete orthogonality preservers between C$^*$-algebras

Continuity of Effect Algebra Operations in the Interval Topology

On Automatic Continuity of 3-Homomorphisms on Banach Algebras

On the continuity of intertwining operators over generalized convolution algebras

LINEAR MAPS PRESERVING INDEFINITE ORTHOGONALITY ON C*-ALGEBRAS

The Structure of Linear Zero Product and Commutativity Preservers of C*-algebras

Automatic continuity of operator semigroups in the Calkin algebra

On commutants of composition operators embedded into $C_0$-semigroups

Bilinear maps on C$^*$-algebras that have product property at a compact element

Congruence Preservation, Lattices and Recognizability

Continuous model theories for von Neumann algebras

Automatic continuity of new generalized derivations

A note on finite-dimensional quotients and the problem of automatic continuity for twisted convolution algebras

Linear maps between C*-algebras preserving extreme points and strongly linear preservers

Intermediate Subalgebras of Cartan embeddings in rings and C*-algebras

Projective freeness and Hermiteness of complex function algebras

On the continuity and differentiability of the (dual) core inverse in C*-algebras

Contractive linear preservers of absolutely compatible pairs between C*-algebras

Automatic continuity of biorthogonality preservers between weakly compact JB$^$-triples and atomic JBW$^$-triples