Linear maps between C*-algebras that are *-homomorphisms at a fixed point

TL;DR

This paper characterizes linear maps between C*-algebras that behave like *-homomorphisms at specific points, establishing conditions under which such maps are actual *-homomorphisms or Jordan *-homomorphisms, especially at the unit or projections.

Contribution

It provides new characterizations of *-homomorphisms based on their behavior at fixed points, extending understanding of structure-preserving maps in C*-algebras.

Findings

Maps that are *-homomorphisms at the unit are Jordan *-homomorphisms.

In simple infinite C*-algebras, *-homomorphism at the unit implies the map is a *-homomorphism.

Maps that are *-homomorphisms at a projection and its complement are Jordan *-homomorphisms.

Abstract

Let $A$ and $B$ be C$^*$-algebras. A linear map $T:A\to B$ is said to be a $^*$-homomorphism at an element $z\in A$ if $a b^*=z$ in $A$ implies $T (a b^*) =T (a) T (b)^* =T(z)$, and $ c^* d=z$ in $A$ gives $T (c^* d) =T (c)^* T (d) =T(z).$ Assuming that $A$ is unital, we prove that every linear map $T: A\to B$ which is a $^*$-homomorphism at the unit of $A$ is a Jordan $^*$-homomorphism. If $A$ is simple and infinite, then we establish that a linear map $T: A\to B$ is a $^*$-homomorphism if and only if $T$ is a $^*$-homomorphism at the unit of $A$. For a general unital C$^*$-algebra $A$ and a linear map $T:A\to B$, we prove that $T$ is a $^*$-homomorphism if, and only if, $T$ is a $^*$-homomorphism at $0$ and at $1$. Actually if $p$ is a non-zero projection in $A$, and $T$ is a $^*$-homomorphism at $p$ and at $1-p$, then we prove that $T$ is a Jordan $^*$-homomorphism. We also study bounded linear maps that are $^*$-homomorphisms at a unitary element in $A$.