Mappings preserving the idempotency of products of operators

We obtain a general form of a surjective (not assumed additive) mapping φ, preserving the nonzero idempotency of a certain product, being defined (a) on the algebra of all bounded linear operators B(X), where X is at least three-dimensional real or complex Banach space, (b) on the set of all rank-one idempotents in B(X) and (c) on the set of all idempotents in B(X). In any of the cases it turns out that φ is additive and either multiplicative or antimultiplicative.     

<Emphasis Type="Italic">C</Emphasis>*-Algebras Generated by Mappings. Criterion of Irreducibility

We study the operator algebra associated with a self-mapping ? on a countable set X which can be represented as a directed graph. The algebra is generated by the family of partial isometries acting on the corresponding l²(X). We study the structure of involutive semigroup multiplicatively generated by the family of partial isometries. We formulate the criterion when the algebra is irreducible on the Hilbert space. We consider the concrete examples of operator algebras. In particular, we give the examples of nonisomorphic C*-algebras, which are the extensions by compact operators of the algebra of continuous functions on the unit circle.     

Spectral measures and the Bade reflexivity theorem

Let $\text{B}$ be a strongly equicontinuous Boolean algebra of projections on the quasi-complete locally convex space X and assume that the space L(X) of continuous linear operators on X is sequentially complete for the strong operator topology. Methods of integration with respect to spectral measures are used to show that the closed algebra generated by $\text{B}$ in L(X) consists precisely of those continuous linear operators on X which leave invariant each closed $\text{B}$-invariant subspace of X.     

Surjective linear maps preserving local spectra

Let B(X) be the algebra of all bounded linear operators on an infinite dimensional complex Banach space X. We characterize linear surjective and continuous maps on B(X) preserving different local spectral quantities at a nonzero fixed vector.     

Maps preserving the idempotency of products of operators

Let B(X) be the algebra of all bounded linear operators on a complex Banach space X. We give the concrete form of every unital surjective map φ on B(X) such that AB is a non-zero idempotent if and only if φ(A)φ(B) is for all A,B∈B(X) when the dimension of X is at least 3.     

Left inverses of matrices with polynomial decay

It is known that the algebra of Schur operators on ?² (namely operators bounded on both ?¹ and ?^∞) is not inverse-closed. When ?²=?²(X) where X is a metric space, one can consider elements of the Schur algebra with certain decay at infinity. For instance if X has the doubling property, then Q. Sun has proved that the weighted Schur algebra Aω(X) for a strictly polynomial weight ω is inverse-closed. In this paper, we prove a sharp result on left-invertibility of the these operators. Namely, if an operator A∈Aω(X) satisfies ‖Afp_‖?‖fp_‖, for some 1?p?∞, then it admits a left-inverse in Aω(X). The main difficulty here is to obtain the above inequality in ?². The author was both motivated and inspired by a previous work of Aldroubi, Baskarov and Krishtal (2008) [1], where similar results were obtained through different methods for X=Zd, under additional conditions on the decay.     

Maps preserving numerical radius or cross norms of products of self-adjoint operators

Let H be a complex Hilbert space with dimH ≥3, Bs（H） the （real） Jordan algebra of all self-adjoint operators on H. Every surjective map Ф ： Bs（H）→13s（H） preserving numerical radius of operator products （respectively, Jordan triple products） is characterized. A characterization of surjective maps on Bs （H） preserving a cross operator norm of operator products （resp. Jordan triple products of operators） is also given.     

Distances between elements of a semigroup and estimates for derivatives

This paper is concerned first with the behaviour of differences T（t） - T（s） near the origin, where （T（t）） is a semigroup of operators on a Banach space, defined either on the positive real line or a sector in the right half-plane （in which case it is assumed analytic）. For the non-quasinilpotent case extensions of results in the published literature are provided, with best possible constants; in the case of quasinilpotent semigroups on the half-plane, it is shown that, in general, differences such as T（t） -T（2t） have norm approaching 2 near the origin. The techniques given enable one to derive estimates of other functions of the generator of the semigroup; in particular, conditions are given on the derivatives near the origin to guarantee that the semigroup generates a unital algebra and has bounded generator.     

A general Trotter-Kato formula for a class of evolution operators

In this article we prove new results concerning the existence and various properties of an evolution system UA+B(t,s)_0?s?t?T generated by the sum −(A(t)+B(t)) of two linear, time-dependent and generally unbounded operators defined on time-dependent domains in a complex and separable Banach space B. In particular, writing L(B) for the algebra of all linear bounded operators on B, we can express UA+B(t,s)_0?s?t?T as the strong limit in L(B) of a product of the holomorphic contraction semigroups generated by −A(t) and −B(t), respectively, thereby proving a product formula of the Trotter-Kato type under very general conditions which allow the domain D(A(t)+B(t)) to evolve with time provided there exists a fixed set D⊂_?t∈[0,T]D(A(t)+B(t)) everywhere dense in B. We obtain a special case of our formula when B(t)=0, which, in effect, allows us to reconstruct UA(t,s)_0?s?t?T very simply in terms of the semigroup generated by −A(t). We then illustrate our results by considering various examples of nonautonomous parabolic initial-boundary value problems, including one related to the theory of time-dependent singular perturbations of self-adjoint operators. We finally mention what we think remains an open problem for the corresponding equations of Schrödinger type in quantum mechanics.     

An incidence algebra for t-designs with automorphisms

A t-design or generalized Steiner systemS(λ; t, k, υ) is a pair (X, B) with a υ-set X of points and a family B of k-subsets of X called blocks such that, each block has k points and any t points are contained in exactly λ blocks. An automorphism of (X, B) is a permutation of X which preserves B. In this paper the algebra of matrices, whose rows and columns are indexed by the members of P(X), that are invariant under the natural action of a group G ⩽Sym(X) is introduced. An epimorphism τ from this algebra onto the matrices whose rows and columns are indexed by the orbits of G acting on P(X) is discovered. This mapping carries the matrices of Wilson onto the matrices of Kramer and Mesner and therefore can be used to generalize the t-design inequalities of Fisher, Wilson, and Ray-Chaudhuri. A conjecture of Earl Kramer is settled and an elementary proof of a theorem of Livingstone and Wagner is presented.     

On the essential commutant of analytic Toeplitz operators associated with spherical isometries

Let T∈Bn(H) be an essentially normal spherical isometry with empty point spectrum on a separable complex Hilbert space H, and let AT⊂B(H) be the unital dual operator algebra generated by T. In this note we show that every operator S∈B(H) in the essential commutant of AT has the form S=X+K with a T-Toeplitz operator X and a compact operator K. Our proof actually covers a larger class of subnormal operator tuples, called A-isometries, which includes for example the tuple T=(Mz₁,…,Mzn)∈B(H²n(σ)) consisting of the multiplication operators with the coordinate functions on the Hardy space H²(σ) associated with the normalized surface measure σ on the boundary ∂D of a strictly pseudoconvex domain D⊂Cn. As an application we determine the essential commutant of the set of all analytic Toeplitz operators on H²(σ) and thus extend results proved by Davidson (1977) [6] for the unit disc and Ding and Sun (1997) [11] for the unit ball.     

On linear maps preserving generalized invertibility and related properties

Let H be an infinite-dimensional complex Hilbert space, B(H) be the algebra of all bounded linear operators on H. We study surjective linear maps on B(H) preserving generalized invertibility. We also investigate surjective linear maps preserving Fredholm (respectively, semi-Fredholm) operators. Our results improve those of Mbekhta, Rodman and Šemrl.     

Compact operators without extended eigenvalues

A complex number λ is called an extended eigenvalue of a bounded linear operator T on a Banach space B if there exists a non-zero bounded linear operator X acting on B such that XT=λTX. We show that there are compact quasinilpotent operators on a separable Hilbert space, for which the set of extended eigenvalues is the one-point set {1}.     

A classification theorem for essentially binormal operators

An essentially binormal operator on Hilbert space is an operator which is unitarily equivalent to a 2 × 2 matrix of essentially commuting, essentially normal operators. A natural invariant of essentially binormal operators up to unitary equivalence in the Calkin Algebra is the reducing essential 2 × 2 matricial spectrum. A nonempty compact subset X of the set of 2 × 2 matrices is called hypoconvex, if it is the reducing essential 2 × 2 matricial spectrum of an operator on Hilbert space. The set EN₂(X) is then defined to be the set of all equivalence classes (up to unitary equivalence in the Calkin algebra) of essentially binormal operators whose reducing essential 2 × 2 matricial spectrum coincides with X. The aim of this paper is to prove a result that enables one to compute EN₂(X) in terms of the topological structure of the space $\text{X}\text{?}$ of unitary orbits of X. Indeed, it is shown that for every hypoconvex subset X of the set of 2 × 2 matrices, there exists a natural homomorphism from $\text{Ext}\text{(}\text{X}\text{?}\text{)}$ onto EN₂(X). Also, a six term cyclic exact sequence is obtained, which produces a characterization of the kernel of the above-mentioned homomorphism.     

Products of longitudinal pseudodifferential operators on flag varieties

Associated to each set S of simple roots of SL(n,C) is an equivariant fibration X→XS of the complete flag variety X of Cn. To each such fibration we associate an algebra JS of operators on L²(X), or more generally on L²-sections of vector bundles over X. This ideal contains, in particular, the longitudinal pseudodifferential operators of negative order tangent to the fibres. Together, they form a lattice of operator ideals whose common intersection is the compact operators. Thus, for instance, the product of negative order pseudodifferential operators along the fibres of two such fibrations, X→XS and X→XT, is a compact operator if S∪T is the full set of simple roots. The construction of the ideals uses noncommutative harmonic analysis, and hinges upon a representation theoretic property of subgroups of SU(n), which may be described as ‘essential orthogonality of subrepresentations’.     

Compact operators on a Banach space into the space of almost periodic functions

LetS be a topological semigroup andAP(S) the space of continous complex almost periodic functions onS. We obtain characterizations of compact and weakly compact operators from a Banach spaceX into AP(S). For this we use the almost periodic compactification ofS obtained through uniform spaces. For a bounded linear operatorT fromX into AP(S), letT ₅, be the translate ofT bys inS defined byT ₅(x)=(Tx) ₅ . We define topologies on the space of bounded linear operators fromX into AP(S) and obtain the necessary and sufficient conditions for an operatorT to be compact or weakly compact in terms of the uniform continuity of the maps→T ₅. IfS is a Hausdorff topological semigroup, we also obtain characterizations of compact and weakly compact multipliers on AP(S) in terms of the uniform continuity of the map S→μ_s, where μ_s denotes the unique vector measure corresponding to the operatorT ₅.     

Zero-separating algebras of continuous functions

Let A be a lattice-ordered algebra endowed with a topology compatible with the structure of algebra. We provide internal conditions for A to be isomorphic as lattice-ordered algebras and homeomorphic to Ck(X), the lattice-ordered algebra C(X) of real continuous functions on a completely regular and Hausdorff topological space X, endowed with the topology of uniform convergence on compact sets. As a previous step, we determine this topology among the locally m-convex topologies on C(X) with the property that each order closed interval is bounded.     

Standard triangularization of semigroups of non-negative operators

We show that, under mild conditions, a semigroup of non-negative operators on L^p(X,μ) (for 1?p<∞) of the form scalar plus compact is triangularizable via standard subspaces if and only if each operator in the semigroup is individually triangularizable via standard subspaces. Also, in the case of operators of the form identity plus trace class we show that triangularizability via standard subspaces is equivalent to the submultiplicativity of a certain function on the semigroup.     

On the perturbation of the group generalized inverse for a class of bounded operators in Banach spaces

Given a bounded operator A on a Banach space X with Drazin inverse AD and index r, we study the class of group invertible bounded operators B such that I+AD(B−A) is invertible and R(B)∩N(Ar)={0}. We show that they can be written with respect to the decomposition X=R(Ar)⊕N(Ar) as a matrix operator, , where B₁ and are invertible. Several characterizations of the perturbed operators are established, extending matrix results. We analyze the perturbation of the Drazin inverse and we provide explicit upper bounds of ‖B^?−AD‖ and ‖BB^?−ADA‖. We obtain a result on the continuity of the group inverse for operators on Banach spaces.     

On derivable mappings

A linear mapping δ from an algebra A into an A-bimodule M is called derivable at c∈A if δ(a)b+aδ(b)=δ(c) for all a,b∈A with ab=c. For a norm-closed unital subalgebra A of operators on a Banach space X, we show that if C∈A has a right inverse in B(X) and the linear span of the range of rank-one operators in A is dense in X then the only derivable mappings at C from A into B(X) are derivations; in particular the result holds for all completely distributive subspace lattice algebras, J-subspace lattice algebras, and norm-closed unital standard algebras of B(X). As an application, every Jordan derivation from such an algebra into B(X) is a derivation. For a large class of reflexive algebras A on a Banach space X, we show that inner derivations from A into B(X) can be characterized by boundedness and derivability at any fixed C∈A, provided C has a right inverse in B(X). We also show that if A is a canonical subalgebra of an AF C^∗-algebra B and M is a unital Banach A-bimodule, then every bounded local derivation from A into M is a derivation; moreover, every bounded linear mapping from A into B that is derivable at the unit I is a derivation.