, ,

Linear preserver problems concern the characterization of linear maps between algebras that roughly speaking preserve certain properties of some elements of the algebras. Such problems were studied in matrix theory during the last century starting with the paper of Frobenius [4].

In the last decades there can be observed a growing interest in similar questions on abstract algebras or rings and on operator algebras over infinite dimensional spaces.

These investigations led in a natural way to the study of mappings which are not linear but are merely additive. One of the first paper in this spirit is the classical work of Kaplansky [6]. One of the striking features is the application of results of abstract ring theory to problems on algebras of bounded operators on Banach or Hilbert spaces.

It turned out that several of these results are valid with necessary modifications also for algebras of unbounded operators on Hilbert spaces (see for example [9 – 12]).

The present paper is exactly in this spirit. It deals with two special preserver problems: preservers of zero products and preservers of orthogonality. The results are based on ring theoretical theorems concerning these topics.

We fix the necessary notions and notation. Let

A, ℬ

be rings. A mapping

Φ : A \to ℬ

is said to preserve zero products if

X Y = 0 (X, Y \in A)

implies

Φ (X) Φ (Y) = 0

. Let

A, ℬ

be *-algebras. A mapping

Φ : A \to ℬ

preserves orthogonality if

A^{*} B = A B^{*} = 0 (A, B \in A)

implies

Φ (A)^{*} Φ (B) = Φ (A) Φ (B)^{*} = 0

. If

Φ

is bijective then

Φ

is said to preserve orthogonality on both direction if

A^{*} B = A B^{*} = 0 ⟺ Φ (A)^{*} Φ (B) = Φ (A) Φ (B)^{*} = 0 .

Further we need some notions on algebras of unbounded operators. A standard reference is [8].

Let

D

be a dense linear manifold in a Hilbert space

ℋ

with scalar product

〈, 〉

(which is supposed to be conjugate linear in the first and linear in the second component).

The set of linear operators

ℒ + (D) = {A : A D \subset D, A^{*} D \subset D}

is a

*

-algebra with respect to the natural operations and the involution

A \to A^{+} = A^{*} | D

. The graph topology

t

D

induced by

ℒ + (D)

is generated by the directed family of seminorms

φ \to | | φ | |_{A} = | | A φ | |, \forall A \in ℒ + (D), φ \in D

D

is called an (F)-domain, if

(D, t)

is an (F)-space.

Remark that in this case the graph topology

t

can be given by a system of seminorms

{∥ \cdot ∥_{n} = ∥ A_{n} \cdot ∥, n \in N, A_{n} \in ℒ + (D)}

with:

\begin{matrix} A_{1} = I, A_{n} = A_{n}^{+}, ∥ A_{n} φ ∥ \leq ∥ A_{n + 1} φ ∥ for all φ \in D, n \in N . \end{matrix}

(1)

A standard (*-) operator algebra (on

D

) is a (*-) subalgebra

A (D) \subset ℒ + (D)

containing the ideal

ℱ (D) \subset ℒ + (D)

of all finite rank operators on

D

. Note that every rank-one operator

F \in ℱ (D)

has the form

F = ψ \otimes φ, φ, ψ \in D

, where

F (χ) = 〈 φ, χ 〉 ψ

Every standard operator algebra

A (D)

is prime. Remember that an algebra (or a ring)

A

is prime if

X A Y = 0

implies

X = 0

Y = 0

. The paper is organized as follows. In section 2 we deal with additive bijective mappings between standard operator algebras preserving zero products. The corresponding result is a simple application of an abstract ring theoretical result [2]. It appears that such mappings are scalar multiples of ring isomorphisms.

Section 3 is devoted to additive bijective mappings preserving orthogonality. The structure of such mappings is clarified. The results are quite similar to those for algebras of bounded operators given in [5].

2 Mappings preserving zero products

For the extensive literature on this topic see for example [2,3] and the references therein. In this section we prove the following theorem.

Theorem 2.1. Let

D \subset ℋ

be an (F)-domain and let

A, ℬ

be standard *operator algebras on

D

. If

Φ : A \to ℬ

is an additive, bijective mapping that preserves zero products, then there are

c \in C

and

T : D \to D

bijective and either linear or conjugate linear such that

Φ (A) = c T A T^{- 1} (A \in A) .

T

is linear, then

T \in ℒ + (D)

The main part of the proof is contained in the following theorem from ring theory (Theorem 1 in [2]).

Theorem A Let

A

and

ℬ

be prime rings and

Φ : A \to ℬ

a bijective additive mapping such that

Φ (A) Φ (B) = 0

for all

A, B \in A

with

A B = 0

. Suppose that the maximal right quotient ring

Q (A)

A

contains a nontrivial idempotent

E

such that

E A \cup A E \subset A

i) If

1 \in A

, then

Φ (A B) = λ Φ (A) Φ (B)

for all

A, B \in A

where

λ = \frac{1}{Φ (1)} \in Z (ℬ)

the center of

ℬ

. In particular, if

Φ (1) = 1

, the

Φ

is a ring isomorphism from

A

onto

ℬ

ii) If deg(

ℬ) \geq 3

, then there exists

λ \in C (ℬ)

, the extended centroid of

ℬ

, such that

Φ (A B) = λ Φ (A) Φ (B)

for all

A, B \in A

The definitions and basic properties of the maximal quotient ring and the extended centroid can be found in [1]. A prime ring

A

is called centrally closed if

C (A)

is trivial. We need the following characterization of centrally closed prime algebras to prove that every standard operator algebra on

D

is centrally closed (thanks to M. Bres̆ar for this information). Let

A

be a prime algebra over

C

. Then

A

is centrally closed if and only if the following holds:

ℐ \subset A

is a nonzero ideal and if there is an additive mapping

F : ℐ \to A

such that

\begin{matrix} F (U X) = F (U) X and F (X U) = X F (U) \end{matrix}

(2)

for all

U \in ℐ, X \in A

, then there is a

λ \in C

such that

F (U) = λ U

for all

U \in ℐ

In the next lemma we use a modification of the notion of a double centralizer. A pair of (linear or additive) mappings

L, R : ℐ \to A

is called a double centralizer if

L (X Y) = L (X) Y, R (X Y) = X R (Y) and X L (Y) = R (X) Y for all X, Y \in A

The structure of double centralizers on standard operator algebras on

D

was described in [10] Proposition 3.4 as follows: there is a

T \in ℒ + (D)

such that

L (A) = T A, R (A) = A T

. The same proof is valid also for the modified situation descibed above. We use this result to prove the following lemma.

Lemma 2.2. Every standard operator algebra on

D

is centrally closed.

Proof. Let $ℐ \subset A$ be an ideal and $F : ℐ \to A$ an additive mapping such that (2) is satisfied. Note that $ℱ (D) \subset ℐ \subset A$ . The pair $(F, F)$ is a double centralizer in the sense described above. Consequently there is a $T \in ℒ + (D)$ such that $F (A) = T A, F (A) = A T$ for all $A \in ℐ$ . So, $T$ commutes with all operators from $ℐ$ , in particular, with all operators from $ℱ (D)$ . But this implies $T = λ I$ for some $λ \in C$ . □

Proof of Theorem 2.1 : Apply Theorem A, ii) to get

Φ = \frac{1}{λ} Ψ

with a ring isomorphism

Ψ

. The structure of ring isomorphisms between standard *-operator algebras on (F)-domains follows directly from Theorem 3.1 in [10] . Namely, there exists a bijective either linear or conjugate linear

T : D \to D

such that

Ψ (A) = T A T^{- 1} (A \in A)

. This concludes the proof.

3 Mappings preserving orthogonality

In this section we describe the structure of orthogonality preserving mappings on several standard operator algebras. As a corollary we obtain an unbounded version of a result of L. Molnár [7].

Theorem 3.1. Let

D \subset ℋ

be an (F)-domain and let

A \subset ℒ + (D)

be one of the following standard operator algebras:

A = ℱ (D)

, b)

A

is a unital standard *operator algebra, c)

A \neq ℱ (D)

A

a *-ideal of

ℒ + (D)

Assume that

Φ : A \to A

is an additive bijection preserving orthogonality in both directions. Then

Φ

has one of the following forms:

i) There exist a nonzero constant

c

and operators

U, V : D \to D

, both either unitary or antiunitary such that

\begin{matrix} Φ (T) = c U T V (T \in A) \end{matrix}

(3)

or ii) There exist a nonzero constant

c

and operators

U, V : D \to D

, both either unitary or antiunitary such that

\begin{matrix} Φ (T) = c U T^{+} V (T \in A) \end{matrix}

(4)

Proof. The main step consists in proving that $Φ$ preserves rank-one operators in both directions. For this we treat cases a) c) separately.
Case a): This can be done as in [5] using the polar decomposition of $A \in ℱ (D)$ .
Remark that in the unbounded case the situation is more complicated. For $A \neq ℱ (D)$ one can not be sure that the polar decomposition can be performed within $A$ (even not within $ℒ + (D)$ ).
Case b): Let $F = ψ \otimes φ$ be a rank-one operator and let $ℋ_{0} : = l i n {φ, ψ}$ . Now we define an operator $Q \in A$ , which has corank one as follows.
If dim $ℋ_{0} = 1$ put $Q χ = {\begin{matrix} χ & for all χ \in ℋ_{0}^{⊥} \cap D \\ 0 & for all χ \in ℋ_{0} . \end{matrix}$ If dim $ℋ_{0} = 2$ put $Q χ = {\begin{matrix} χ & for all χ \in ℋ_{0}^{⊥} \cap D \\ 〈 φ_{1}, χ 〉 ψ_{1} & for all χ \in ℋ_{0} . \end{matrix}$ where $φ_{1}, ψ_{1} \in ℋ_{0}$ such that $φ_{1} ⊥ φ, ψ_{1} ⊥ ψ$ . To get $Q \in A$ it is used that $I \in A$ .
Then $F^{+} Q = F Q^{+} = 0$ and therefore $Φ (F)^{+} Φ (Q) = Φ (F) Φ (Q)^{+} = 0$ .
That means ran $Φ (F) ⊥$ ran $Φ (Q)$ and ran $Φ (F)^{+} ⊥$ ran $Φ (Q)^{+}$ .
Suppose that $Φ (F)$ has rank larger than one. Then also $Φ (F)^{+}$ has rank larger than one. Let $ρ_{1}, ρ_{2} \in ran Φ (F), ρ_{1} ⊥ ρ_{2}$ and let $χ_{1}, χ_{2} \in ran Φ (F)^{+}, χ_{1} ⊥ χ_{2}$ . Put $S_{i} : = ρ_{i} \otimes χ_{i}$ . Then $S_{i} : D \to ran Φ (F), S_{i}^{+} : D \to ran Φ (F)^{+}$ and $S_{1}, S_{2}$ are orthogonal.
Obviously $S_{i}^{+} Φ (Q) = S_{i} Φ (Q)^{+} = 0$ .
Now let $T_{i} \in A$ such that $Φ (T_{i}) = S_{i}$ Then $T_{1} T_{2}^{+} = T_{1}^{+} T_{2} = 0$ and $T_{i}^{+} Q = T_{i} Q^{+} = 0$ , i.e. ran $T_{1} ⊥$ ran $T_{2}$ and ran $T_{i} ⊥$ ran $Q$ . But this is a contradiction, because ran $Q$ has codimension one.
Case c): Here we can argue similar to case b).
Let $F = ψ \otimes φ \in ℱ (D)$ , $ℋ_{0} =$ lin ${φ, ψ}, D_{0} = ℋ_{0}^{⊥} \cap D .$ Fix an operator $A \in A$ with infinite-dimensional range. Let $(φ_{n}) \subset$ ran $A$ be an orthonormal basis from $\bar{ran A}$ and let $(ψ_{n}) \subset D_{0}$ be an orthonormal basis from $ℋ_{0}^{⊥}$ .
Now we use property (1) of the operators defining the topology $t$ in $D$ . One can find a positive, bounded sequence $(α_{n})$ such that the operator $U$ defined by $U = 0$ on (ran $A)^{⊥}$ and $U φ_{n} = α_{n} ψ_{n}$ (and linear, bounded extension to $\bar{ran A}$ ) has the following properties. $U ℋ \subset D, U^{*} ℋ \subset D$ , so $U D \subset D, U^{*} D \subset D$ and consequently the restriction of $U$ to $D$ (also denoted by $U$ ) belongs to $ℒ + (D)$ . Moreover by construction, $U D \subset D_{0}$ and ran $U$ is dense in $ℋ_{0}^{⊥}$ . This implies that $U A \in ℒ + (D)$ and ran $U A$ is dense in $ℋ_{0}^{⊥}$ . Analogously to case b) we define an operator $Q$ as follows.
If dim $ℋ_{0} = 1$ put $Q χ = {\begin{matrix} U A χ & for all χ \in ℋ_{0}^{⊥} \cap D \\ 0 & for all χ \in ℋ_{0} . \end{matrix}$ If dim $ℋ_{0} = 2$ put $Q χ = {\begin{matrix} U A χ & for all χ \in ℋ_{0}^{⊥} \cap D \\ 〈 φ_{1}, χ 〉 ψ_{1} & for all χ \in ℋ_{0} . \end{matrix}$ where $φ_{1}, ψ_{1} \in ℋ_{0}$ such that $φ_{1} ⊥ φ, ψ_{1} ⊥ ψ$ .
As in case b) this operator $Q$ can be used to prove that $Φ (F)$ is a rank-one operator.
So, in any of the cases a) c) $Φ$ restricted to $ℱ (D)$ is a bijective additive mapping which preserves rank-one operators in both directions. According to [12] we get the following structure of $Φ$ on $ℱ (D)$ . Either there exist a ring automorphism $h : C \to C$ and bijective additive mappings $B, C : D \to D$ with the properties $B (λ φ) = h (λ) B φ, C (λ φ) = h (λ) C φ$ such that $Φ (ψ \otimes φ) = B ψ \otimes C φ (φ, ψ \in D)$ or there exist a ring automorphism $k : C \to C$ and bijective additive mappings $B, C : D \to D$ with the properties $B (λ φ) = k (λ) B φ, C (λ φ) = k (λ) C φ$ such that $Φ (ψ \otimes φ) = C φ \otimes B ψ (φ, ψ \in D) .$ Now the proof can be completed as in the last part of the proof of Theorem 4 in [5]. □

As a corollary we get an unbounded version of Theorem 2 in [7]

Corollary 3.2. Let

D \subset ℋ

be an (F)-domain and let

A (D)

be a unital standard operator *-algebra. Suppose that

Φ : A \to A

is an additive bijection such that i)

A^{+} B = 0

if and only if

Φ (A)^{+} Φ (B) = 0

and ii)

A B^{+} = 0

if and only if

Φ (A) Φ (B)^{+} = 0

Then there exist a nonzero constant

c

and operators

U, V : D \to D

, both either unitary or antiunitary such that

\begin{matrix} Φ (T) = c U T V (T \in A (D)) . \end{matrix}

(5)

If in addition

Φ (I) = I

then there is a unitary or antiunitary operator

U : D \to D

such that

\begin{matrix} Φ (T) = U T U^{+} (T \in A (D)) \end{matrix}

(6)

Proof. If $Φ$ satisfies i) and ii) then $Φ$ preserves orthogonality in both directions.
Consequently $Φ$ has one of the representations (3),(4) of Theorem 3.1.
First we exclude representation (4). Suppose $A^{+} B = 0$ . Then $Φ (A)^{+} Φ (B) = \bar{c} V^{+} A U^{+} c U B^{+} V = | c |^{2} V^{+} A B^{+} V .$ But this expression is not necessarily zero because $A B^{+}$ must not be zero if $A^{+} B = 0$ . So it remains the form (3).
Now let $Φ (I) = I$ . Then $Φ (I) = c U V = I$ . So $V = c^{- 1} U^{- 1} = c^{- 1} U^{+}$ Therefore $Φ (T) = U T U^{+} .$ □

References

K. I. Beidar, W. S. Martindale and A. V. Mikhalev, Rings with generalized identities, Marcel Dekker, Inc., New York 1996.
M. A. Chebotar, W.-F. Ke, P.-H. Lee and N.-C. Wong, Mappings preserving zero products. Studia Math., 155 (2003), 77 – 94.
M. A. Chebotar,W.-F. Ke and P.-H. Lee, Maps characterized by action on zero products, Pacific J. Math., 216, (2004), 217 – 228.
G. Frobenius, Über die Darstellung der endlichen Gruppen durch lineare Substitutionen, I., Sitzungsber. Preuss. Akad. Wiss. Berlin, (1897), 994 – 1015.
M. Györy and L. Molnár and P. S̆emrl, Linear rank and corank preserving maps on $B (H)$ and an application to *-semigroup isomorphisms of operator ideals . Linear Algebra Appl., 280 (1998), 253 – 266.
I. Kaplansky, Ring isomorphisms of Banach algebras , Canad. Math. J. 6 (1954), 374 – 381.
L. Molnár, Characterization of additive *-homomorphisms and Jordan *-homomorphisms on operator ideals, Aequationes Math., 55 (1998), 259 – 272.
K. Schmüdgen, Unbounded Operator Algebras and Representation Theory. Akademie Verlag 1990.
E. Scholz and W. Timmermann, Local derivations, automorphisms and commutativity preserving maps in $L^{+} (D)$ . Publ. RIMS, Kyoto, 29 (1993), 977 – 995.
W. Timmermann, Approximate derivations and isomorphisms in algebras of unbounded operators. Publ. Math. (Debrecen), 63 (2003), 667 – 676.
W. Timmermann, Additive derivations and Jordan derivations on algebras of unbounded operators. Publ. Math. Debrecen, 58 (2001), 717 – 731.
W. Timmermann, Additive mappings in algebras of unbounded operators preserving operators of rank one, Preprint TU Dresden, MATH-AN-01-2004 (2004) and arXiv math.OA/4040545.

Institut fur Analysis, Technische Universitat Dresden, D-01062 Dresden, Germany E-mail address : timmerma@math.tu-dresden.de

WERNER TIMMERMANN