On character amenability of Banach algebras

We continue our work [E. Kaniuth, A.T. Lau, J. Pym, On φ-amenability of Banach algebras, Math. Proc. Cambridge Philos. Soc. 144 (2008) 85-96] in the study of amenability of a Banach algebra A defined with respect to a character φ of A. Various necessary and sufficient conditions of a global and a pointwise nature are found for a Banach algebra to possess a φ-mean of norm 1. We also completely determine the size of the set of φ-means for a separable weakly sequentially complete Banach algebra A with no φ-mean in A itself. A number of illustrative examples are discussed.     

Finite-dimensional (*)-serial algebras

Let A be a finite-dimensional associative algebra with identity over a field k. In this paper we introduce the concept of (*)-serial algebras which is a generalization of serial algebras. We investigate the properties of (*)-serial algebras, and we obtain sufficient and necessary conditions for an associative algebra to be (*)-serial.     

Derivations of CDC algebras

A CDC algebra is a reflexive operator algebra whose lattice is completely distributive and commutative. Nearly twenty years ago, Gilfeather and Moore obtained a necessary and sufficient condition for an isomorphism between CDC algebras to be quasi-spatial. In this paper, we give a necessary and sufficient condition for a derivation δ of CDC algebras to be quasi-spatial. Namely, δ is quasi-spatial if and only if δ(R) maps the kernel of R into the range of R for each finite rank operator R. Some examples are presented to show the sharpness of the condition. We also establish a sufficient condition on the lattice that guarantees that every derivation is quasi-spatial.     

Preunits and weak crossed products

Using the notion of a preunit and the properties of idempotent morphisms, we give a general notion of a crossed product of an algebra A and an object V both living in a monoidal category C. We endow A⊗V with a multiplication and an idempotent morphism, whose image inherits the multiplication. Sufficient conditions for these multiplications to be associative are given. If the product on A⊗V has a preunit, the related idempotent is given in terms of the preunit, and its image has an algebra structure. A characterization of crossed products with preunit is given, and it is used to recover classical examples of crossed products and to study crossed products in weak contexts. Finally crossed products of an algebra by a weak bialgebra are recovered using this theory.     

Generalization of quasi-Koszul algebras

In this paper, we generalize two kinds of graded algebras, δ-Koszul algebras and K p algebras, to the non-graded cases. The trivial modules of δ-Koszul algebras have pure resolutions, while those of K p algebras admit non-pure resolutions. We provide necessary and sufficient conditions for a notherian semiperfect algebra either to be a quasi-δ-Koszul algebra or to be a quasi-K p algebra.     

On the Simplicity of the Lie Algebra of a Leavitt Path Algebra

For a field F and a row-finite directed graph Γ, let L(Γ) be the associated Leavitt path algebra. We find necessary and sufficient conditions for the Lie algebra [L(Γ), L(Γ)] to be simple.     

On absolute valued algebras with involution

Let A be an absolute valued algebra with involution, in the sense of Urbanik [K. Urbanik, Absolute valued algebras with an involution, Fund. Math. 49 (1961) 247-258]. We prove that A is finite-dimensional if and only if the algebra obtained by symmetrizing the product of A is simple, if and only if eA_s = A_s, where e denotes the unique nonzero self-adjoint idempotent of A, and A_s stands for the set of all skew elements of A. We determine the idempotents of A, and show that A is the linear hull of the set of its idempotents if and only if A is equal to either McClay’s algebra [A.A. Albert, A note of correction, Bull. Amer. Math. Soc. 55 (1949) 1191], the para-quaternion algebra, or the para-octonion algebra. We also prove that, if A is infinite-dimensional, then it can be enlarged to an absolute valued algebra with involution having a nonzero idempotent different from the unique nonzero self-adjoint idempotent.     

Koszul-like algebras and modules

In this paper, the notion of Koszul-like algebra is introduced; this notion generalizes the notion of Koszul algebra and includes some Artin-Schelter regular algebras of global dimension 5 as special examples. Basic properties of Koszul-like modules are discussed. In particular, some necessary and sufficient conditions for KL(A) = L(A) are provided, where KL(A) and L(A) denote the categories of Koszul-like modules and modules with linear presentations (see [1]–[3], etc.) respectively, and A is a Koszul-like algebra. We construct new Koszul-like algebras from the known ones by the “one-point extension.” Some criteria for a graded algebra to be Koszul-like are provided. Finally, we construct many classical Koszul objects from the given Koszul-like objects.     

Generalized inverses over Banach algebras

LetA be a matrix over a complex commutative unital Banach algebra. We give necessary and sufficient conditions forA to have a generalized inverse. Moreover, if the Banach algebra has a symmetric involution, these are also necessary and sufficient conditions forA to admit the Moore-Penrose inverse.Partially supported by NSF Grant DMS-8802593     

Operator space structure on Feichtinger's Segal algebra

We extend the definition, from the class of abelian groups to a general locally compact group G, of Feichtinger's remarkable Segal algebra S₀(G). In order to obtain functorial properties for non-abelian groups, in particular a tensor product formula, we endow S₀(G) with an operator space structure. With this structure S₀(G) is simultaneously an operator Segal algebra of the Fourier algebra A(G), and of the group algebra L¹(G). We show that this operator space structure is consistent with the major functorial properties: (i) completely isomorphically (operator projective tensor product), if H is another locally compact group; (ii) the restriction map is completely surjective, if H is a closed subgroup; and (iii) is completely surjective, where N is a normal subgroup and . We also show that S₀(G) is an invariant for G when it is treated simultaneously as a pointwise algebra and a convolutive algebra.     

Characterizations of isomorphisms and derivations of some algebras

Let ? be a zero-product preserving bijective bounded linear map from a unital algebra A onto a unital algebra B such that ?(1)=k. We show that if A is a CSL algebra on a Hilbert space or a J-lattice algebra on a Banach space then there exists an isomorphism ψ from A onto B such that ?=kψ. For a nest algebra A in a factor von Neumann algebra, we characterize the linear maps on A such that δ(x)y+xδ(y)=0 for all x,y∈A with xy=0.     

Faithfully Flat Hopf Bi-Galois Extensions

This article is devoted to faithfully flat Hopf bi-Galois extensions defined by Fischman, Montgomery, and Schneider. Let H be a Hopf algebra with bijective antipode. Given a faithfully flat right H-Galois extension A/R and a right H-comodule subalgebra C ? A such that A is faithfully flat over C, we provide necessary and sufficient conditions for the existence of a Hopf algebra W so that A/C is a left W-Galois extension and A a (W, H)-bicomodule algebra. As a consequence, we prove that if R = k, there is a Hopf algebra W such that A/C is a left W-Galois extension and A a (W, H)-bicomodule algebra if and only if C is an H-submodule of A with respect to the Miyashita–Ulbrich action.     

On the radical for some class of Banach algebras

Let A be a complex Banach algebra. It is well known that the second dual A** of A can be equipped with a multiplication that extends the original multiplication on A and makes A** a Banach algebra. We show that Rad(A) = ^⊥(A ^* · A) and Rad(A ^**) = (A ^* · A)^⊥ for some classes of Banach algebras A with scattered structure space. Some applications of these results are given.     

Approximate Identities for Ideals of Segal Algebras on A Compact Group

We show that every closed ideal of a Segal algebra on a compact group admits a central approximate identity which has the property, called condition (U), that the induced multiplication operators converge to the identity operator uniformly on compact sets of the ideal. This result extends a known one due to H. Reiter who has considered the problem under the condition that the Segal algebra is symmetric. We prove further that a closed right ideal of a Segal algebra on a compact group admits a left approximate identity satisfying condition (U) if and only if it is approximately complemented as a subspace of the Segal algebra; if in addition the Segal algebra is symmetric, then a closed left ideal admits a right approximate identity satisfying condition (U) if and only if it is approximately complemented.     

Weakly compact homomorphisms of regular Banach algebras

Let A be a uniformly regular Ditkin algebra. It is shown that every weakly compact homomorphism of A into a Banach algebra is finite-dimensional.     

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.     

Representation Dimension and Quasi-hereditary Algebras

We study Auslander's representation dimension of Artin algebras, which is by definition the minimal projective dimension of coherent functors on modules which are both generators and cogenerators. We show the following statements: (1) if an Artin algebra A is stably hereditary, then the representation dimension of A is at most 3. (2) If two Artin algebras are stably equivalent of Morita type, then they have the same representation dimension. Particularly, if two self-injective algebras are derived equivalent, then they have the same representation dimension. (3) Any incidence algebra of a finite partially ordered set over a field has finite representation dimension. Moreover, we use results on quasi-hereditary algebras to show that (4) the Auslander algebra of a Nakayama algebra has finite representation dimension.     

Quantum Yang-Baxter H-Module Algebras and Their Braided Products

Abstract

We give a necessary and sufficient condition of the braided product to be a bialgebra or a Hopf algebra and two interesting examples to show that the conditions in Theorem 2.4: “(H1) and (H2)” weaken the commutativity and cocommutativity of H in Caenepeel et al. (Caenepeel, S., Oystaeyen, F. Van, Zhang, Yin-huo (1994). Quantum Yang-Baxter module algebra. K-Theorem 8:231–255.). Dually, we introduce the concept of a braided coproduct and give the distinguished conditions.