(Super) module amenability, module topological centre and semigroup algebras

For a Banach algebra $\mathcal{A}For a Banach algebra A\mathcal{A} which is also an \mathfrakA\mathfrak{A}-bimodule, we study relations between module amenability of closed subalgebras of A"\mathcal{A}', which contains A\mathcal{A}, and module Arens regularity of A\mathcal{A} and the role of the module topological centre in module amenability of A"\mathcal{A}'. Then we apply these results to A=l¹(S)\mathcal{A}=l^{1}(S) and \mathfrakA=l¹(E)\mathfrak{A}=l^{1}(E) for an inverse semigroup S with subsemigroup E of idempotents. We also show that l ¹(S) is module amenable (equivalently, S is amenable) if and only if an appropriate group homomorphic image of S, the discrete group \fracS ? \frac{S}{\approx}, is amenable. Moreover, we define super module amenability and show that l ¹(S) is super module amenable if and only if \fracS ? \frac{S}{\approx} is finite.     

Super module amenability of inverse semigroup algebras

In this paper we compare the notions of super amenability and super module amenability of Banach algebras, which are Banach modules over another Banach algebra with compatible actions. We find conditions for the two notions to be equivalent. In particular, we study arbitrary module actions of l ¹(E _S ) on l ¹(S) for an inverse semigroup S with the set of idempotents E _S and show that under certain conditions, l ¹(S) is super module amenable if and only if S is finite. We also study the super module amenability of l ¹(S)^?? and module biprojectivity of l ¹(S), for arbitrary actions.     

Generalized Group Algebras of Locally Compact Groups

This article studies the homological properties of generalized group algebra L ¹(G, A) of a locally compact group G over a Banach algebra A with an identity of norm 1. It is shown that if L ¹(G, A) is right continuous then G is finite and A is right continuous. It is also shown that L ¹(G, A) is right self-injective if and only if G is finite and A is right self-injective.     

A semilattice structure for Arens products

Let (A,?) be a Banach algebra. Then for n∈?, A ⁽²ⁿ⁾ has 2 ⁿ Arens products. In this paper we study the relations between the Arens products on A ⁽²ⁿ⁾. Moreover, if P _n (A) denotes the set of all Arens products on A ⁽²ⁿ⁾, for n∈?, we show that $P(A)=\bigcup_{n=1}^{\infty} P_{n}(A)$ is a ∧-semilattice. Also, we study P(A) as an infinite commutative semigroup and P(A)?{?} as a free semigroup generated by two elements. Then we investigate amenability and weak amenability for their semigroup Banach algebras.     

Second module cohomology group of inverse semigroup algebras

Let S be a commutative inverse semigroup and let E be its subsemigroup of idempotents. In this paper we define the n-th module cohomology group of Banach algebras and we show that H²_l¹(E)(l¹(S),l¹(S)⁽ⁿ⁾)\mathcal {H}^{2}_{\ell^{1}(E)}(\ell^{1}(S),\ell^{1}(S)^{(n)}) is a Banach space for every odd n∈ℕ.     

The Banach algebra l1(S)

Let S be the free semigroup with a finite or countably infinite set of generators plus an identity. It is shown that there is a natural involution 1 on the convolution Banach algebra l¹(S) such that (l¹(S), 1) has a separating family of finite-dimensional star representations. The star representations of the l¹-algebra of some other semigroups are also considered. The spectrum of every element of l¹(S) which is not a scalar multiple of the identity is shown to be a connected set with interior.     

Module Arens regularity for semigroup algebras

We extend the concept of Arens regularity of a Banach algebra to the case that there is an -module structure on , and show that when S is an inverse semigroup with totally ordered subsemigroup E of idempotents, then A=ℓ ¹(S) is module Arens regular if and only if an appropriate group homomorphic image of S is finite. When S is a discrete group, this is just Young’s theorem which asserts that ℓ ¹(S) is Arens regular if and only if S is finite. An erratum to this article can be found at     

Topological *-algebras withC*-enveloping algebras II

UniversalC*-algebrasC*(A) exist for certain topological *-algebras called algebras with aC*-enveloping algebra. A Frechet *-algebraA has aC*-enveloping algebra if and only if every operator representation ofA mapsA into bounded operators. This is proved by showing that every unbounded operator representation π, continuous in the uniform topology, of a topological *-algebraA, which is an inverse limit of Banach *-algebras, is a direct sum of bounded operator representations, thereby factoring through the enveloping pro-C*-algebraE(A) ofA. Given aC*-dynamical system (G,A,α), any topological *-algebraB containingC _c (G,A) as a dense *-subalgebra and contained in the crossed productC*-algebraC*(G,A,α) satisfiesE(B) =C*(G,A,α). IfG = ℝ, ifB is an α-invariant dense Frechet *-subalgebra ofA such thatE(B) =A, and if the action α onB ism-tempered, smooth and by continuous *-automorphisms: then the smooth Schwartz crossed productS(ℝ,B,α) satisfiesE(S(ℝ,B,α)) =C*(ℝ,A,α). WhenG is a Lie group, theC ^∞-elementsC ^∞(A), the analytic elementsC ^ω(A) as well as the entire analytic elementsC ^є(A) carry natural topologies making them algebras with aC*-enveloping algebra. Given a non-unitalC*-algebraA, an inductive system of idealsI _α is constructed satisfyingA =C*-ind limI _α; and the locally convex inductive limit ind limI _α is anm-convex algebra with theC*-enveloping algebraA and containing the Pedersen idealK _a ofA. Given generatorsG with weakly Banach admissible relationsR, we construct universal topological *-algebraA(G, R) and show that it has aC*-enveloping algebra if and only if (G, R) isC*-admissible.     

A non-reflexive Grothendieck space that does not containl ∞

A compact spaceS is constructed such that, in the dual Banach spaceC(S)^*, every weak^* convergent sequence is weakly convergent, whileC(S) does not have a subspace isomorphic tol _∞. The construction introduces a weak version of completeness for Boolean algebras, here called the Subsequential Completeness Property. A related construction leads to a counterexample to a conjecture about holomorphic functions on Banach spaces. A compact spaceT is constructed such thatC(T) does not containl _∞ but does have a “bounding” subset that is not relatively compact. The first of the examples was presented at the International Conference on Banach spaces, Kent, Ohio, 1979.     

Ideal amenability of Banach algebras on locally compact groups

In this paper we study the ideal amenability of Banach algebras. LetA be a Banach algebra and letI be a closed two-sided ideal inA, A isI-weakly amenable ifH ¹(A,I ^*) = {0}. Further,A is ideally amenable ifA isI-weakly amenable for every closed two-sided idealI inA. We know that a continuous homomorphic image of an amenable Banach algebra is again amenable. We show that for ideal amenability the homomorphism property for suitable direct summands is true similar to weak amenability and we apply this result for ideal amenability of Banach algebras on locally compact groups.     

An elementary construction of tilting complexes

Let A be an artin algebra and e∈A an idempotent with add(eA_A)=add(D(_AAe)). Then a projective resolution of Ae_eAe gives rise to tilting complexes for A, where P(l)^• is of term length l+1. In particular, if A is self-injective, then is self-injective and has the same Nakayama permutation as A. In case A is a finite dimensional algebra over a field and eAe is a Nakayama algebra, a projective resolution of eAe over the enveloping algebra of eAe gives rise to two-sided tilting complexes {T(2l)^•}_l?1 for A, where T(2l)^• is of term length 2l+1. In particular, if eAe is of Loewy length two, then we get tilting complexes {T(l)^•}_l?1 for A, where T(l)^• is of term length l+1.     

Graded automorphism group of TKK algebra

The classification of extended affine Lie algebras of type A_1 depends on the Tits-Kantor- Koecher (TKK) algebras constructed from semilattices of Euclidean spaces.One can define a unitary Jordan algebra J(S) from a semilattice S of R~v (v≥1),and then construct an extended affine Lie algebra of type A_1 from the TKK algebra T(J(S)) which is obtained from the Jordan algebra J(S) by the so-called Tits-Kantor-Koecher construction.In R~2 there are only two non-similar semilattices S and S′,where S is a lattice and S′is a non-lattice semilattice.In this paper we study the Z~2-graded automorphisms of the TKK algebra T(J(S)).     

Banach space properties forcing a reflexive, amenable Banach algebra to be trivial

It is an open problem whether an infinite-dimensional amenable Banach algebra exists whose underlying Banach space is reflexive. We give sufficient conditions for a reflexive, amenable Banach algebra to be finite-dimensional (and thus a finite direct sum of full matrix algebras). If \frak A {\frak A} is a reflexive, amenable Banach algebra such that for each maximal left ideal L of \frak A {\frak A} (i) the quotient \frak A/L {\frak A}/L has the approximation property and (ii) the canonical map from \frak A \check? L^{^} {\frak A} \check{\otimes} L^\perp to (\frak A / L) \check? L^{^} ({\frak A} / L) \check{\otimes} L^\perp is open, then \frak A {\frak A} is finite-dimensional. As an application, we show that, if \frak A {\frak A} is an amenable Banach algebra whose underlying Banach space is an \scr L^p {\scr L}^p -space with p ? (1,￥) p\in (1,\infty) such that for each maximal left ideal L the quotient \frak A/L {\frak A}/L has the approximation property, then \frak A {\frak A} is finite-dimensional.     

Compact DG modules and Gorenstein DG algebras

When the base connected cochain DG algebra is cohomologically bounded, it is proved that the difference between the amplitude of a compact DG module and that of the DG algebra is just the projective dimension of that module. This yields the unboundedness of the cohomology of non-trivial regular DG algebras. When A is a regular DG algebra such that H(A) is a Koszul graded algebra, H(A) is proved to have the finite global dimension. And we give an example to illustrate that the global dimension of H(A) may be infinite, if the condition that H(A) is Koszul is weakened to the condition that A is a Koszul DG algebra. For a general regular DG algebra A, we give some equivalent conditions for the Gorensteiness. For a finite connected DG algebra A, we prove that D^c(A) and D^c(A ^op) admit Auslander-Reiten triangles if and only if A and A ^op are Gorenstein DG algebras. When A is a non-trivial regular DG algebra such that H(A) is locally finite, D^c(A) does not admit Auslander-Reiten triangles. We turn to study the existence of Auslander-Reiten triangles in D_lf^b(A) and D_lf^b (A ^op) instead, when A is a regular DG algebra. This work was supported by the National Natural Science Foundation of China (Grant No. 10731070) and the Doctorate Foundation of Ministry of Education of China (Grant No. 20060246003)     

π-Complementation in the Unitisation and Multiplication Algebras of a Semiprime Algebra

π-complemented algebras are defined as those (not necessarily associative or unital) algebras such that each annihilator ideal is complemented by other annihilator ideal. For a given semiprime algebra A, we discuss the π-complementation of the unitisation algebra A ¹ of A. Moreover, if in addition the multiplication algebra ?(A) of A is also semiprime, we study the π-complementation in the algebras ?(A) and ?^?(A) (the multiplication ideal of A). In associative setting, we prove that A is π-complemented if and only if ?^?(A) is π-complemented, and that A ¹ π-complemented if and only if ?(A) is π-complemented.     

Module amenability of the second dual and module topological center of semigroup algebras

In this paper we define the module topological center of the second dual $\mathcal{A}^{**}$ of a Banach algebra $\mathcal{A}$ which is a Banach $\mathfrak{A}$ -module with compatible actions on another Banach algebra $\mathfrak{A}$ . We calculate the module topological center of ? ¹(S)^**, as an ? ¹(E)-module, for an inverse semigroup S with an upward directed set of idempotents E. We also prove that ? ¹(S)^** is ? ¹(E)-module amenable if and only if an appropriate group homomorphic image of S is finite.     

On character amenability of semigroup algebras

We study the character amenability of semigroup algebras. We work on general semigroups and certain semigroups such as inverse semigroups with a finite number of idempotents, inverse semigroups with uniformly locally finite idempotent set, Brandt and Rees semigroup and study the character amenability of the semigroup algebra l¹(S) in relation to the structures of the semigroup S. In particular, we show that for any semigroup S, if ?¹(S) is character amenable, then S is amenable and regular. We also show that the left character amenability of the semigroup algebra ?¹(S) on a Brandt semigroup S over a group G with index set J is equivalent to the amenability of G and J being finite. Finally, we show that for a Rees semigroup S with a zero over the group G, the left character amenability of ?¹(S) is equivalent to its amenability, this is in turn equivalent to G being amenable.     

On a Banach Algebra Generated in its Multiplier Space and Applications to Locally Compact Groups

In this paper, we present a general version of the algebra A_M(G) which was introduced by B. Forrest. Indeed, for a faithful commutative Banach algebra A, we embed it in ?(A), the multiplier algebra of A, and obtain Banach algebra A_M. Then, we study the spaceability of A_M? A and A_M (G) ? ?A(G). These results give some characterizations of compactness and discreteness of locally compact groups. Also, we show that A_M(G) is an ideal in its second dual if and only if G is discrete. Finally, we study the BSE-property of A_M(G).

     

Automatic continuity over Moore groups

LetG be a Moore group, letB be a Banach algebra, and let :L ¹(G)B be a homomorphism. We show that is continuous if and only if its restriction to the center ofL ¹(G) is continuous. As a consequence, we obtain that (i) every homomorphism fromL ¹(G) orC ^*(G) onto a dense subalgebra of a semisimple Banach algebra, and (ii) every epimorphism fromC ^*(G) onto a Banach algebra is automatically continuous.