arXiv subjects
Publications and source records attributed to Anil K. Karn.
Let $a,b$ be elements in a unital C$^*$-algebra with $0\leq a,b\leq 1$. The element $a$ is absolutely compatible with $b$ if $$\vert a - b \vert + \vert 1 - a - b \vert = 1.$$ In this note, we describe a complete list of absolutely compatible pairs in $\mathbb{M}_2$. We note that non-commutative pairs exhibit an elliptic behaviour.
Let $a,b$ be elements in a unital C$^*$-algebra with $0\leq a,b\leq 1$. The element $a$ is absolutely compatible with $b$ if $$\vert a - b \vert + \vert 1 - a - b \vert = 1.$$ In this note we find some technical characterizations of absolutely compatible pairs in an arbitrary von Neumann algebra. These characterizations are applied to measure how close is a pair of absolute compatible positive elements in the closed unit ball from being orthogonal or commutative. In the case of 2 by 2 matrices the results offer a geometric interpretation in terms of an ellipsoid determined by one of the points. The conclusions for 2 by 2 matrices are also applied to describe absolutely compatible pairs of positive elements in the closed unit ball of $\mathbb{M}_n$.
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.
Order unit property of a positive element in a $C^{*}$-algebra is defined. It is proved that precisely projections satisfy this order theoretic property. This way, unital hereditary $C^{*}$-subalgebras of a $C^{*}$-algebra are characterized.