Spectral isometries onto algebras having a separating family of finite-dimensional irreducible representations

We prove that if A is a complex, unital semisimple Banach algebra and B is a complex, unital Banach algebra having a separating family of finite-dimensional irreducible representations, then any unital linear operator from A onto B which preserves the spectral radius is a Jordan morphism.     

Weak spectral synthesis in commutative Banach algebras. II

Let A be a semisimple and regular commutative Banach algebra with structure space Δ(A). Continuing our investigation in [E. Kaniuth, Weak spectral synthesis in commutative Banach algebras, J. Funct. Anal. 254 (2008) 987-1002], we establish various results on intersections and unions of weak spectral sets and weak Ditkin sets in Δ(A). As an important example, the algebra of n-times continuously differentiable functions is studied in detail. In addition, we prove a theorem on spectral synthesis for projective tensor products of commutative Banach algebras which applies to Fourier algebras of locally compact groups.     

BANACH ALGEBRAS WITH LARGE GROUPS OF UNITARY ELEMENTS

We study unitary Banach algebras, as defined by M. L. Hansenand R. V. Kadison in 1996, as well as some related conceptslike maximal or uniquely maximal Banach algebras. We show thata norm-unital Banach algebra is uniquely maximal if and onlyif it is unitary and has minimality of the equivalent norm.We prove that every unitary semisimple commutative complex Banachalgebra has a conjugate-linear involution mapping each unitaryelement to its inverse, and that, endowed with such an involution,becomes a hermitian *-algebra. The possibility of removing therequirement of commutativity in the above statement is alsoconsidered. The paper concludes by translating to real algebrassome results previously known in the complex case. In particular,we show that every maximal semisimple finite-dimensional realBanach algebra is isometrically isomorphic to a real C*-algebra.     

Examples of banach algebras over commutativebanach algebras of given homological dimension

We prove that, for every natural number n, there exists a unital semisimple Banach star algebra Aand a closed star subalgebra Bof the centre of A, different from C, such that the global B-homological dimension and the B-homological bidimension of Aare both equal to n. The algebras Aand Bcan be taken to be function algebras.     

Weak module amenability of triangular Banach algebras

Let A and B be unital Banach algebras and let M be a unital Banach A,B-module. Forrest and Marcoux [6] have studied the weak amenability of triangular Banach algebra \(\mathcal{T} = \left[ {_B^{AM} } \right]\) and showed that T is weakly amenable if and only if the corner algebras A and B are weakly amenable. When \(\mathfrak{A}\) is a Banach algebra and A and B are Banach \(\mathfrak{A}\)-module with compatible actions, and M is a commutative left Banach \(\mathfrak{A}\)-A-module and right Banach \(\mathfrak{A}\)-B-module, we show that A and B are weakly \(\mathfrak{A}\)-module amenable if and only if triangular Banach algebra T is weakly \(\mathfrak{T}\)-module amenable, where \(\mathfrak{T}: = \{ [^\alpha _\alpha ]:\alpha \in \mathfrak{A}\} \).     

Identities and isomorphisms of graded simple algebras

Let G be an arbitrary abelian group and let A and B be two finite dimensional G-graded simple algebras over an algebraically closed field F such that the orders of all finite subgroups of G are invertible in F. We prove that A and B are isomorphic if and only if they satisfy the same G-graded identities. We also describe all isomorphism classes of finite dimensional G-graded simple algebras.     

Theorems of Gelfand-Mazur type and continuity of epimorphisms from b(K)

We prove that a commutative unital Banach algebra which is a valuation ring must reduce to the field of complex numbers, which implies that every homomorphism from l^∞ onto a Banach algebra is continuous. We show also that if b? [b Rad B]^? for some nonnilpotent element b of the radical of a commutative Banach algebra B, then the set of all primes of B cannot form a chain, and we deduce from this result that every homomorphism from $\text{b}$(K) onto a Banach algebra is continuous.     

Unital and multiplicatively spectrum-preserving surjections between semi-simple commutative Banach algebras are linear and multiplicative

Let T be a surjective map from a unital semi-simple commutative Banach algebra A onto a unital commutative Banach algebra B. Suppose that T preserves the unit element and the spectrum σ(fg) of the product of any two elements f and g in A coincides with the spectrum σ(TfTg). Then B is semi-simple and T is an isomorphism. The condition that T is surjective is essential: An example of a non-linear and non-multiplicative unital map from a commutative C*-algebra into itself such that σ(TfTg)=σ(fg) holds for every f,g are given. We also show an example of a surjective unital map from a commutative C*-algebra onto itself which is neither linear nor multiplicative such that σ(TfTg)⊂σ(fg) holds for every f,g.     

Annihilator-preserving maps, multipliers, and derivations

For a commutative subspace lattice L in a von Neumann algebra N and a bounded linear map f:N∩algL→B(H), we show that if Af(B)C=0 for all A,B,C∈N∩algL satisfying AB=BC=0, then f is a generalized derivation. For a unital C^∗-algebra A, a unital Banach A-bimodule M, and a bounded linear map f:A→M, we prove that if f(A)B=0 for all A,B∈A with AB=0, then f is a left multiplier; as a consequence, every bounded local derivation from a C^∗-algebra to a Banach A-bimodule is a derivation. We also show that every local derivation on a semisimple free semigroupoid algebra is a derivation and every local multiplier on a free semigroupoid algebra is a multiplier.     

Norm-linear and norm-additive operators between uniform algebras

Let A⊂C(X) and B⊂C(Y) be uniform algebras with Choquet boundaries δA and δB. A map T:A→B is called norm-linear if ‖λTf+μTg‖=‖λf+μg‖; norm-additive, if ‖Tf+Tg‖=‖f+g‖, and norm-additive in modulus, if ‖|Tf|+|Tg|‖=‖|f|+|g|‖ for each λ,μ∈C and all algebra elements f and g. We show that for any norm-linear surjection T:A→B there exists a homeomorphism ψ:δA→δB such that |(Tf)(y)|=|f(ψ(y))| for every f∈A and y∈δB. Sufficient conditions for norm-additive and norm-linear surjections, not assumed a priori to be linear, or continuous, to be unital isometric algebra isomorphisms are given. We prove that any unital norm-linear surjection T for which T(i)=i, or which preserves the peripheral spectra of C-peaking functions of A, is a unital isometric algebra isomorphism. In particular, we show that if a linear operator between two uniform algebras, which is surjective and norm-preserving, is unital, or preserves the peripheral spectra of C-peaking functions, then it is automatically multiplicative and, in fact, an algebra isomorphism.     

Regular Fréchet-Lie groups of invertible elements in some inverse limits of unital involutive Banach algebras

We consider a wide class of unital involutive topological algebras provided with aC ^*-norm and which are inverse limits of sequences of unital involutive Banach algebras; these algebra sare taking a prominent position in noncommutative differential geometry, where they are often called unital smooth algebras. In this paper we prove that the group of invertible elements of such a unital solution smooth algebra and the subgroup of its unitary elements are regular analytic Fréchet-Lie groups of Campbell-Baker-Hausdorff type and fulfill a nice infinite-dimensional version of Lie's second fundamental theorem.     

Zero product preserving maps on Banach algebras of Lipschitz functions

Let (K,d) be a non-empty, compact metric space and α∈]0,1[. Let A be either lipα(K) or Lipα(K) and let B be a commutative unital Banach algebra. We show that every continuous linear map T:A→B with the property that T(f)T(g)=0 whenever f,g∈A are such that fg=0 is of the form T=wΦ for some invertible element w in B and some continuous epimorphism Φ:A→B.     

The bar complex of an E-infinity algebra

The standard reduced bar complex B(A) of a differential graded algebra A inherits a natural commutative algebra structure if A is a commutative algebra. We address an extension of this construction in the context of E-infinity algebras. We prove that the bar complex of any E-infinity algebra can be equipped with the structure of an E-infinity algebra so that the bar construction defines a functor from E-infinity algebras to E-infinity algebras. We prove the homotopy uniqueness of such natural E-infinity structures on the bar construction.We apply our construction to cochain complexes of topological spaces, which are instances of E-infinity algebras. We prove that the n-th iterated bar complexes of the cochain algebra of a space X is equivalent to the cochain complex of the n-fold iterated loop space of X, under reasonable connectedness, completeness and finiteness assumptions on X.     

Noninvertibility preservers on Banach algebras

It is proved that a linear surjection Ф: A → B, which preserves noninvertibility between semisimple, unital, complex Banach algebras, is automatically injective.     

Morita classes of algebras in modular tensor categories

We consider algebras in a modular tensor category C. If the trace pairing of an algebra A in C is non-degenerate we associate to A a commutative algebra Z(A), called the full centre, in a doubled version of the category C. We prove that two simple algebras with non-degenerate trace pairing are Morita-equivalent if and only if their full centres are isomorphic as algebras. This result has an interesting interpretation in two-dimensional rational conformal field theory; it implies that there cannot be several incompatible sets of boundary conditions for a given bulk theory.     

Koszulity and Koszul modules of dual extension algebras

Let A and B be algebras, and let T be the dual extension algebra of A and B. We provide a different method to prove that T is Koszul if and only if both A and B are Koszul. Furthermore, we prove that an algebra is Koszul if and only if one of its iterated dual extension algebras is Koszul, if and only if all its iterated dual extension algebras are Koszul. Finally, we give a necessary and sufficient condition for a dual extension algebra to have the property that all linearly presented modules are Koszul modules, which provides an effective way to construct algebras with such a property.     

Quasicompact and Riesz endomorphisms of Banach algebras

Let B be a unital commutative semi-simple Banach algebra. We study endomorphisms of B which are also quasicompact operators or Riesz operators. Clearly compact and power compact endomorphisms are Riesz and hence quasicompact. Several general theorems about quasicompact endomorphisms are proved, and these results are then applied to the question of when quasicompact or Riesz endomorphisms of certain algebras are necessarily power compact.     

Preduals of von Neumann Algebras

Proofs of two assertions are sketched. 1) If the Banach space of a von Neumann algebra A is the third dual of some Banach space, then the space A is isometrically isomorphic to the second dual of some von Neumann algebra A and the von Neumann algebra A is uniquely determined by its enveloping von Neumann algebra (up to von Neumann algebra isomorphism) and is the unique second predual of A (up to isometric isomorphism of Banach spaces). 2) An infinite-dimensional von Neumann algebra cannot have preduals of all orders.     

Strongly preserver problems in Banach algebras and C1-algebras

Let A and B be Banach algebras. Assume that A is unital. We prove that an additive map $T:A\to B$ strongly preserves Drazin (or equivalently group) invertibility, if and only if T is a Jordan triple homomorphism. When A and B are C¹-algebras, we characterize the linear maps strongly preserving generalized invertibility (in the Jordan systems’ sense), and as consequence we determine the structure of selfadjoint linear maps strongly preserving Moore–Penrose invertibility.     

Hyper-Tauberian algebras and weak amenability of Figà-Talamanca-Herz algebras

We study certain commutative regular semisimple Banach algebras which we call hyper-Tauberian algebras. We first show that they form a subclass of weakly amenable Tauberian algebras. Then we investigate the basic and hereditary properties of them. Moreover, we show that if A is a hyper-Tauberian algebra, then the linear space of bounded derivations from A into any Banach A-bimodule is reflexive. We apply these results to the Figà-Talamanca-Herz algebra A_p(G) of a locally compact group G for p∈(1,∞). We show that A_p(G) is hyper-Tauberian if the principal component of G is abelian. Finally, by considering the quantization of these results, we show that for any locally compact group G, A_p(G), equipped with an appropriate operator space structure, is a quantized hyper-Tauberian algebra. This, in particular, implies that A_p(G) is operator weakly amenable.