DOCSLIB.ORG

Algebras Defined by First Order Differential Seminorms

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
Algebras Defined by First Order Differential Seminorms Proc. Indian Acad. Sci. (Math. Sci.) Vol. 126, No. 1, February 2016, pp. 125–141. c Indian Academy of Sciences Smooth Frechet subalgebras of C∗-algebras defined by first order differential seminorms SUBHASH J BHATT Center for Interdisciplinary Studies in Science and Technology (CISST), Sardar Patel University, Vallabh Vidyanagar 388 120, India Present Address: Department of Mathematics, Sardar Patel University, Vallabh Vidyanagar 388 120, India E-mail: [email protected] MS received 15 April 2014; revised 17 January 2015 Abstract. The differential structure in a C∗-algebra defined by a dense Frechet sub- algebra whose topology is defined by a sequence of differential seminorms of order 1 is investigated. This includes differential Arens–Michael decomposition, spectral invari- ance, closure under functional calculi as well as intrinsic spectral description. A large number of examples of such Frechet algebras are exhibited; and the smooth structure defined by an unbounded self-adjoint Hilbert space operator is discussed. Keywords. Smooth subalgebra of a C∗-algebra; spectral invariance; closure under ∗ functional calculus; Arens–Michael decomposition of a Frechet algebra; Frechet D1 - algebra; unbounded self-adjoint Hilbert space operator. 2000 Mathematics Subject Classification. Primary: 46H20; Secondary: 46L57. 1. Introduction Noncommutative differential topology requires understanding differential structure in a C∗-algebra. This is generally defined by derivations [11], differential seminorms [7, 9] or a family of seminorms satisfying appropriate growth conditions inspired by the Leib- ∗ niz rule [15]. Let (U, .0) be a C -algebra. A differential Banach algebra of order 1 in ∗ ∗ (U, .0), also called a Banach D1 -subalgebra of U [15, 16], is a -subalgebra A of U which is a Banach ∗-algebra with a norm ·such that x∗=x, xy≤xy and xy≤x0y+xy0 for all x,y in A. In particular, let T = (T0,T1) be a dif- ∗ ferential norm of order 1 [9] on A, so that T0 =·0 and T1 is a -seminorm satisfying T1(xy) ≤ T0(x)T1(y) + T1(x)T0(y) for all x,y in A.Letx=T0(x) + T1(x)(x ∈ A). ∗ If (A, .) is complete, then it is a Banach D1 -algebra. Kissin and Shulman have investi- ∗ gated Banach D1 -algebras in a series of papers [16–18]. As a noncommutative analogue of the algebra Cp[a,b] of p-times continuously differentiable functions, they have pro- ∗ posed (and investigated in [16] the basic properties of) a Banach Dp-subalgebra of U as ∗ a dense -subalgebra A such that there exists a family of seminorms { · i : 0 ≤ i ≤ p} satisfying the following: ∗ (1) For all x,y ∈ A and for all i,1≤ i ≤ p, xyi ≤xiyi, x i =xi. (2) For each i, 1 ≤ i ≤ p, xyi ≤xiyi−1 +xi−1yi for all x,y in A. ∗ (3) (A, .p) is a Banach -algebra. 125 126 Subhash J Bhatt In [5], we have initiated the investigation of the following C∞-analogue advancing the above line of investigation. DEFINITION 1.1 ∗ ∗ Let (U, ·0) be a C -algebra. Let A be a dense -subalgebra of U. Then A is called a ∗ Frechet D∞-subalgebra of U if there exists a sequence of seminorms {·i : 0 ≤ i<∞} such that the following hold. ∗ (1) For all i, 1 ≤ i<∞, for all x,y in A, xyi ≤xiyi, x i =xi. (2) For each i,1≤ i<∞, xyi ≤xiyi−1 +xi−1yi holds for all x,y in A. (3) B is a Hausdorff Frechet ∗-algebra with the topology τ defined by the seminorms { · i : 0 ≤ i<∞}. ∗ ∗ Thus a Frechet D∞-subalgebra of a C -algebra is envisaged as a noncommutative analogue of C∞[a,b]. In [5], its regularity properties like spectral invariance, closure under appropriate functional calculi, invariance of domains of smooth homomorphisms are investigated using a basic structure theorem proved therein. In the present paper, we investigate the following important class in which the topology τ is defined by a sequence of first order seminorms. It follows from the estimates discussed in Examples 8 and 9 in [15] that this includes the classical case C∞[a,b] as well as the C∞ domain of a closed C∗-derivation that is a generator. DEFINITION 1.2 ∗ ∗ Let (U, ·0) be a C -algebra. Let A be a dense -subalgebra of U. Then A is called a ∗ Frechet D1 -subalgebra of U if there exists a sequence of seminorms { · i : 0 ≤ i<∞} such that the following hold: ∗ (1) For all i, 1 ≤ i<∞, for all x,y in A, xyi ≤xiyi, x i =xi. (2) For each i,1≤ i<∞, xyi ≤xiy0 +x0yi holds for all x,y in A. (3) A is a Hausdorff Frechet ∗-algebra with the topology τ defined by the seminorms { · i : 0 ≤ i<∞}. ∗ This provides a Frechet analogue of Banach D1 -algebras. This models Frechet differ- ential algebras of order 1 which are subalgebras of C∗-algebras; e.g. Frechet algebras of continuous functions on a compact interval [a,b] that are C1 in (a, b). In §2, we dis- cuss a structure theorem (Theorems 2.2 and 2.3 constituting the main contribution of ∗ the paper) showing that A as above is an inverse limit of a sequence of Banach D1 - subalgebras of a C∗-algebra; and discuss appropriate functional calculus. This functional calculus is a Frechet analogue of Theorem 12 in [15]; and improves, in the present case, Corollary 3.3 in [5]. We also prove in §3 an intrinsic characterization of a Frechet ∗ ∗ ∗ ∗ D1 -subalgebra of a C -algebra. A Banach -algebra turns out to be a Banach D1 -sub algebra of a C∗-algebra if and only if there exists a D>0 such that for all x,y it holds that xy≤D{xs(y) +ys(x)},s(x) = r(x∗x)1/2 being the Ptak function. ∗ ∗ This refines Theorem 14 in [15]. It follows that a Frechet D1 -subalgebra of a C -algebra ∗ admits a unique topology; and is necessarily the Frechet D1 -subalgebra of its enveloping C∗-algebra [3, 4]. In §4, we discuss approximation in A giving straight forward gener- alizations of results in [16] that can be obtained by the typical method of inverse limit Smooth Frechet subalgebras of C∗-algebras 127 decomposition when one passes from Banach to Frechet case. However a new structure ∗ arises at the present Frechet D1 -algebra level, viz., the bounded part b(A) of A defined as ∗ b(A) := {x ∈ A :x:=supn xn < ∞} which is a Banach D1 -algebra with norm .. ∗ In §5, we discuss various classes of examples of Frechet D1 -algebras which also provide a motivation to investigate the present case. In particular, we discuss in some details the differential structure defined by an unbounded self-adjoint operator on a Hilbert space. It should be noted that this class of Frechet algebras has been first suggested in [2]. The ∗ present paper provides Frechetization of Banach D1 -algebras discussed in [15, 16] and contributes to understanding differential structure in a C∗-algebra. 2. Structure theorem Let (.n) be a defining sequence of seminorms defining the topology τ of A satisfying ∗ for all x,y in A, x n =xn, xyn ≤xnyn, xyn ≤x0yn +xny0. Further (.n) can be assumed to be increasing (replacing, if necessary, .n by the induc- tively defined |.|n := max{|.|n−1, .n}). Notice that we can take .0 ≤.n for all n. Indeed by a standard automatic continuity argument, the inclusion id : (A,τ) → (U, .0) is continuous; hence there is a scalar K>0 and an n such that x0 ≤ Kxn 2 ∗ ∗ 2 1/2m for all x ∈ A. Then x0 =x x0 ≤ Kx xn ≤ Kxn; hence x0 ≤ K xn for all x and for all m, and so x0 ≤xn for all x ∈ A. Now we can delete (.k : k = 1, 2, 3,...,n− 1), {.n} being increasing; and assume .0 ≤.n for all n. By following the standard technique of Arens–Michael decomposition [13], we express A as an inverse limit of a sequence of Banach ∗-algebras as follows. Let the Banach ∗- algebra An be the completion of A in the norm .n. The inclusion id : A → U extends ∗ ∗ as a continuous -homomorphism φn : An → U making An to be a C -seminormed ∗ ∗ algebra with the C -seminorm .0 induced by the C -norm on U and extending it from A. It is easily seen that the norm .n on An satisfies the first order differential inequal- ity xyn ≤x0yn +xny0 for all x,y in An. Since .n ≤.n+1 on A, there ∗ exists a -homomorphism πn : An+1 → An for each n such that the chain ···←−An−1 ←− An ←− An+1 ←−··· ∗ forms an inverse system of Banach -algebras, and A = lim An. Recall that A is a Q- ←− algebra [13] if the quasi-invertible elements of A (invertible elements of A in case A is unital) form an open set in the topology of A. Lemma 2.1. The algebra A is spectrally invariant in U, is hermitian and is closed under holomorphic functional calculus of U. Further the Frechet algebra A, each of the Banach ∗ ∗ -algebra An and the C -algebra U have the same K-theory. 2 2k k 2k−1 Proof. Fix n. For any x ∈ An, x n ≤ 2x0xn; and so x n ≤ 2 x0 xn for k 1/k any k = 1, 2, 3,.... Thus the spectral radius of x in An is rn(x) := limk→∞ x n = k 2k 1/2 A limk→∞ x n ≤x0. By [8], for any x ∈ n, the spectrum SpAn (x) = A ∞ SpU (φn(x)). Then for any x ∈ ,SpA(x) =∪n=0SpAn (x); and so the spectral radius r(x) = supn rn(x) ≤x0, showing that A is spectrally invariant in U; and (A, .0) is a Q-algebra (pre-C∗-algebra [12]).
Load more

Recommended publications
  • On the Beurling Algebras A+ Α(D)—Derivations And
    IJMMS 2004:32, 1679–1701 PII. S0161171204309270 http://ijmms.hindawi.com © Hindawi Publishing Corp. ON THE BEURLING ALGEBRAS + D —DERIVATIONS Aα( ) AND EXTENSIONS HOLGER STEINIGER Received 27 September 2003 + D Based on a description of the squares of cofinite primary ideals of Aα( ), we prove the ≥ + D following results: for α 1, there exists a derivation from Aα( ) into a finite-dimensional module such that this derivation is unbounded on every dense subalgebra; for m ∈ N and ∈ + + D α [m,m 1), every finite-dimensional extension of Aα( ) splits algebraically if and only if α ≥ m+1/2. 2000 Mathematics Subject Classification: 46J15, 46M20, 46H40. 1. Introduction. Let α be a positive real number. By D, we denote the open unit + D D disk. The Beurling algebra Aα( ) is a subalgebra of the classical disk algebra A( ). ∈ D = ∞ n ∈ D For f A( ) with power series expansion f(z) n=0 anz (z ), the function f + D ∞ | | + α ∞ = belongs to Aα( ) if and only if n=0 an (n 1) < . In this case, we define f α : ∞ | | + α + D n=0 an (n 1) . Clearly, Aα( ) is a Banach algebra with respect to this norm. These algebras have been considered in [13] where results on primary ideals were applied to operator theory. More recently, the algebras have appeared in the examina- tion of finite-dimensional extensions of a whole range of commutative Banach algebras + D [4]. The present paper deals with continuity problems of derivations from Aα( ) and with finite-dimensional extensions of this special type of Beurling algebras. Some of the results of the first paper will be the starting point for our investigation.
    [Show full text]
  • AUTOMATIC CONTINUITY of CERTAIN ISOMORPHISMS BETWEEN REGULAR BANACH FUNCTION ALGEBRAS by JUAN J
    AUTOMATIC CONTINUITY OF CERTAIN ISOMORPHISMS BETWEEN REGULAR BANACH FUNCTION ALGEBRAS by JUAN J. FONTt (Received 9 May, 1996) Abstract. Let A and B be regular semisimple commutative Banach algebras; that is to say, regular Banach function algebras. A linear map T denned from A into B is said to be separating or disjointness preserving if/.g = 0 implies Tf.Tg = 0, for all f,g e A In this paper we prove that if A satisfies Ditkin's condition then a separating bijection is automatically continuous and its inverse is separating. If also B satisfies Ditkin's condition, then it induces a homeomorphism between the structure spaces of A and B. Finally, we show that linear isometries between regular uniform algebras are separating. As corollaries, a classical theorem of Nagasawa ([19]) and the Banach-Stone theorem (both for regular uniform algebras) are easily inferred. 1. Introduction. The basic problem in the theory of automatic continuity of linear operators consists of giving algebraic conditions on two Banach algebras si and 38 which ensure that every algebra homomorphism !T:s4-*2ft is necessarily continuous. The most important positive result in this context is due to B. E. Johnson ([15]). Every algebra homomorphism of a Banach algebra onto a semisimple Banach algebra is continuous. In this paper we shall study the automatic continuity of a special type of linear mapping which extends the concept of algebra homomorphism: Let A and B be two Banach algebras. Then a linear map T denned from A into B is said to be separating or disjointness preserving (also called d-homomorphisms, Lamperti operators,...) if f.g — 0 implies Tf.Tg=0, for all/,g e A.
    [Show full text]
  • Regularity Conditions for Banach Function Algebras
    Regularity conditions for Banach function algebras Dr J. F. Feinstein University of Nottingham June 2009 1 1 Useful sources A very useful text for the material in this mini-course is the book Banach Algebras and Automatic Continuity by H. Garth Dales, London Mathematical Society Monographs, New Series, Volume 24, The Clarendon Press, Oxford, 2000. In particular, many of the examples and conditions discussed here may be found in Chapter 4 of that book. We shall refer to this book throughout as the book of Dales. Most of my e-prints are available from www.maths.nott.ac.uk/personal/jff/Papers Several of my research and teaching presentations are available from www.maths.nott.ac.uk/personal/jff/Beamer 2 2 Introduction to normed algebras and Banach algebras 2.1 Some problems to think about Those who have seen much of this introductory material before may wish to think about some of the following problems. We shall return to these problems at suitable points in this course. Problem 2.1.1 (Easy using standard theory!) It is standard that the set of all rational functions (quotients of polynomials) with complex coefficients is a field: this is a special case of the “field of fractions" of an integral domain. Question: Is there an algebra norm on this field (regarded as an algebra over C)? 3 Problem 2.1.2 (Very hard!) Does there exist a pair of sequences (λn), (an) of non-zero complex numbers such that (i) no two of the an are equal, P1 (ii) n=1 jλnj < 1, (iii) janj < 2 for all n 2 N, and yet, (iv) for all z 2 C, 1 X λn exp (anz) = 0? n=1 Gap to fill in 4 Problem 2.1.3 Denote by C[0; 1] the \trivial" uniform algebra of all continuous, complex-valued functions on [0; 1].
    [Show full text]
  • 1. Introduction
    FACTORIZATION IN COMMUTATIVE BANACH ALGEBRAS H. G. DALES, J. F. FEINSTEIN, AND H. L. PHAM Abstract. Let A be a (non-unital) commutative Banach algebra. We consider when A has a variety of factorization properties: we list the (ob- vious) implications between these properties, and then consider whether any of these implications can be reversed in various classes of commu- tative Banach algebras. We summarize the known counter-examples to these possible reverse implications, and add further counter-examples. Some results are used to show the existence of a large family of prime ideals in each non-zero, commutative, radical Banach algebra with a dense set of products. 1. Introduction Let A be a (non-unital) commutative Banach algebra. We wish to examine when A factors in a variety of senses. Our main results are counter-examples to a number of questions that have been raised. Indeed, we shall list seven such factorization properties, called (I)(VII), and note that each of these immediately implies the next one. We shall also, in x4, discuss two other `lo- cal' factorization properties, called (A) and (B) (where (A) ) (B)); these properties are relevant for Esterle's classication of commutative, radical Banach algebras that is given in [14]. We shall then discuss whether or not any of these implications can be reversed when we restrict attention to par- ticular classes of commutative Banach algebras. We shall show that several cannot be reversed, but we leave open other possible reverse implications. A summary in x6 describes our knowledge at the present time. We shall concentrate on two particular classes of commutative Banach algebras A: rst, on the case where A is semi-simple (so that A is a Banach function algebra), and in particular when A is a maximal ideal in a uniform algebra on a compact space, and, second, on the other extreme case where A 2010 Mathematics Subject Classication.
    [Show full text]
  • Banach Function Algebras with Dense Invertible Group
    PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY Volume 136, Number 4, April 2008, Pages 1295–1304 S 0002-9939(07)09044-2 Article electronically published on December 21, 2007 BANACH FUNCTION ALGEBRAS WITH DENSE INVERTIBLE GROUP H. G. DALES AND J. F. FEINSTEIN (Communicated by N. Tomczak-Jaegermann) Abstract. In 2003 Dawson and Feinstein asked whether or not a Banach function algebra with dense invertible group can have a proper Shilov bound- ary. We give an example of a uniform algebra showing that this can happen, and investigate the properties of such algebras. We make some remarks on the topological stable rank of commutative, unital Banach algebras. In particular, we prove that tsr(A) ≥ tsr(C(ΦA)) whenever A is approximately regular. 1. Introduction Let A be a commutative, unital Banach algebra. The character space of A is denoted by ΦA,asin[8].Fora ∈ A, we denote the Gel’fand transform of a by a.WesaythatΦA contains analytic structure if there is a continuous injection τ from the open unit disk D to ΦA such that, for all a ∈ A, a ◦ τ is analytic on D. In [16], Stolzenberg gave a counter-example to the conjecture that, whenever a uniform algebra has proper Shilov boundary, its character space must contain analytic structure (see also [17, Theorem 29.19], [19] and [1]). Cole gave an even more extreme example in his thesis [3], where the Shilov boundary is proper and yet every Gleason part is trivial. It is elementary to show that the invertible group of A cannot be dense in A whenever ΦA contains analytic structure.
    [Show full text]
  • Approximate Identities in Banach Function Algebras H. G. Dales
    Approximate identities in Banach function algebras H. G. Dales, Lancaster National University of Ireland, Maynooth, 19 June 2013 In honour of the retirement of Anthony G. O'Farrell Work in progress with Ali Ulger,¨ Istanbul 1 Definitions Let K be a locally compact space. Then C0(K) is the space of all complex-valued, continuous functions on K that vanish at infinity. This is a commutative Banach algebra with respect to the uniform norm j · jK. A function algebra on K is a subalgebra of C0(K) such that, for x; y 2 K with x 6= y, there is f 2 A with f(x) 6= f(y), and, for each x 2 K, there is f 2 A with f(x) 6= 0. A Banach function algebra on K is a function algebra A that is a Banach algebra for a norm k · k, so that kfgk ≤ kfk kgk for f; g 2 A. Necessarily, kfk ≥ jfjK for f 2 A. The algebra A is a uniform algebra if it is closed in C0(K). 2 Natural Banach function algebras A Banach function algebra A on K is natural if every character on A has the form f 7! f(x) = "x(f) for some x 2 K. Equiv- alently, every maximal modular ideal has the form Mx = ff 2 A : f(x) = 0g for some x 2 K. Every commutative, semisimple Banach algebra is a Banach function algebra on its character space. 3 Approximate identities Let (A; k · k) be a natural Banach function algebra on K.
    [Show full text]
  • Categorical Characterizations of Operator-Valued Measures
    Categorical characterizations of operator-valued measures Frank Roumen Inst. for Mathematics, Astrophysics and Particle Physics (IMAPP) Radboud University Nijmegen [email protected] The most general type of measurement in quantum physics is modeled by a positive operator-valued measure (POVM). Mathematically, a POVM is a generalization of a measure, whose values are not real numbers, but positive operators on a Hilbert space. POVMs can equivalently be viewed as maps between effect algebras or as maps between algebras for the Giry monad. We will show that this equivalence is an instance of a duality between two categories. In the special case of continuous POVMs, we obtain two equivalent representations in terms of morphisms between von Neumann algebras. 1 Introduction The logic governing quantum measurements differs from classical logic, and it is still unknown which mathematical structure is the best description of quantum logic. The first attempt for such a logic was discussed in the famous paper [2], in which Birkhoff and von Neumann propose to use the orthomod- ular lattice of projections on a Hilbert space. However, this approach has been criticized for its lack of generality, see for instance [22] for an overview of experiments that do not fit in the Birkhoff-von Neumann scheme. The operational approach to quantum physics generalizes the approach based on pro- jective measurements. In this approach, all measurements should be formulated in terms of the outcome statistics of experiments. Thus the logical and probabilistic aspects of quantum mechanics are combined into a unified description. The basic concept of operational quantum mechanics is an effect on a Hilbert space, which is a positive operator lying below the identity.
    [Show full text]
  • AMENABILITY PROPERTIES of BANACH ALGEBRA of BANACH ALGEBRA-VALUED CONTINUOUS FUNCTIONS by Reza Ghamarshoushtari a Thesis Submitt
    AMENABILITY PROPERTIES OF BANACH ALGEBRA OF BANACH ALGEBRA-VALUED CONTINUOUS FUNCTIONS by Reza Ghamarshoushtari A Thesis submitted to the Faculty of Graduate Studies of The University of Manitoba in partial fulfilment of the requirements for the degree of MASTER OF SCIENCE Department of Mathematics University of Manitoba Winnipeg Copyright c 2014 by Reza Ghamarshoushtari Abstract In this thesis we discuss amenability properties of the Banach algebra-valued continuous functions on a compact Hausdorff space X. Let A be a Banach algebra. The space of A- valued continuous functions on X, denoted by C(X; A), form a new Banach algebra. We show that C(X; A) has a bounded approximate diagonal (i.e. it is amenable) if and only if A has a bounded approximate diagonal. We also show that if A has a compactly central approximate diagonal then C(X; A) has a compact approximate diagonal. We note that, unlike C(X), in general C(X; A) is not a C∗-algebra, and is no longer commutative if A is not so. Our method is inspired by a work of M. Abtahi and Y. Zhang. In addition to the above investigation, we directly construct a bounded approximate diagonal for C0(X), the Banach algebra of the closure of compactly supported continuous functions on a locally compact Hausdorff space X. ii Acknowledgment I would like to thank my supervisor Dr. Yong Zhang for superlative and superior super- vision. His direction, inspiration, and endless enthusiasm about the subject have made my work much more interesting. I would like to thank him for his patience, understanding, believing that I can self-manage, for his help throughout my studentship, and for providing invaluable expertise and discussions with regard to matters relating to my subject.
    [Show full text]
  • ON the OPEN BALL CENTERED at an INVERTIBLE ELEMENT of a BANACH ALGEBRA 1. Introduction Let a Be a Complex Unital Banach Algebra
    View metadata, citation and similar papers at core.ac.uk brought to you by CORE provided by Research Archive of Indian Institute of Technology Hyderabad O perators a nd & M atrices www.ele-math.com ON THE OPEN BALL CENTERED AT AN INVERTIBLE ELEMENT OF A BANACH ALGEBRA GEETHIKA SEBASTIAN AND SUKUMAR DANIEL Submitted to Operators and Matrices Abstract. Let A be a complex unital Banach algebra. Since the set of invertible elements is open, there is an open ball around every invertible element. In this article, we investigate the Banach algebras for which the radius given by the Neumann series is optimal. 1. Introduction Let A be a complex unital Banach algebra with unit e. G(A) and Sing(A) denote the set of invertible and singular elements of A respectively. The spectrum, spectral radius and the resolvent of an element a in A, are denoted by s(a), r(a) and r(a) respectively. It is well known that G(A) is open in A, as the open ball centered at any invert- a 1 B a; 1 G(A) ible element with radius ka−1k , denoted by ka−1k , is contained in ([2] Theorem 2.11). It is a natural to ask if there is a bigger open ball centered at a inside G(A)? It will be convenient to have the following definition. DEFINITION 1. An element a 2 G(A) is said to satisfy condition (B) (or belongs to the B class) if 1 B a; \ Sing(A) 6= f: ka−1k We say a Banach algebra A satisfies condition (B) if every a 2 G(A) satisfies condition (B).
    [Show full text]
  • Note on Character Amenability in Banach Algebras
    Dedicated to Professor Jamshid Moori on the occasion of his 70th birthday NOTE ON CHARACTER AMENABILITY IN BANACH ALGEBRAS O.T. MEWOMO Communicated by Henri Moscovici We give a survey of results and problems concerning the notion of character ame- nability in Banach algebras. We also provide different characterizations of this notion of amenability and the relationship that exists between this notion and some important properties of the algebras. Results and problems are surveyed over general Banach algebras and Banach algebras in different classes. AMS 2010 Subject Classification: Primary 46H20; Secondary 46H10. Key words: character, Banach algebra, Beurling algebra, semigroup algebra, group algebra, measure algebra, Segal algebra, left character ame- nable, right character amenable, character amenable. 1. INTRODUCTION This article is a survey of the character amenability results around the general Banach algebras and Banach algebras in different classes which are known to the author. The notion of amenability of groups was first defined for discrete locally compact groups by Von Neumann [49]. This was later generalized to arbitrary locally compact groups by M. Day [14]. B.E. Johnson in [26] while trying to study the relationship between the group amenability of a locally compact group G and the group algebra L1(G) came up with the notion of amenability for Banach algebras. He proved that a locally compact group G is amenable as a group if and only if the group algebra L1(G) is amenable as a Banach algebra. This result of Johnson laid the groundwork for amenability in Banach algebras. Ever since this groundwork, the notion of amenability has become a major issue in Banach algebra theory and in harmonic analysis.
    [Show full text]
  • Banach Algebras on Semigroups and on Their Compactifications H. G. Dales, A. T.-M. Lau, and D. Strauss
    Banach Algebras on Semigroups and on their Compactifications H. G. Dales, A. T.-M. Lau, and D. Strauss Author address: Department of Pure Mathematics, University of Leeds, Leeds LS2 9JT, United Kingdom E-mail address: [email protected] Department of Mathematical and Statistical Sciences, University of Alberta, Edmonton, Alberta T6G 2G1, Canada E-mail address: [email protected] Department of Pure Mathematics, University of Leeds, Leeds LS2 9JT, United Kingdom E-mail address: [email protected] Contents Chapter 1. Introduction 1 Chapter 2. Banach algebras and their second duals 15 Chapter 3. Semigroups 37 Chapter 4. Semigroup algebras 59 Chapter 5. Stone{Cechˇ compactifications 75 Chapter 6. The semigroup (βS; 2) 79 Chapter 7. Second duals of semigroup algebras 99 Chapter 8. Related spaces and compactifications 121 Chapter 9. Amenability for semigroups 133 Chapter 10. Amenability of semigroup algebras 147 Chapter 11. Amenability and weak amenability for certain Banach algebras 167 Chapter 12. Topological centres 175 Chapter 13. Open problems 199 Bibliography 201 Index 209 Index of Symbols 213 v Abstract Let S be a (discrete) semigroup, and let ` 1(S) be the Banach algebra which is the semigroup algebra of S. We shall study the structure of this Banach algebra and of its second dual. We shall determine exactly when ` 1(S) is amenable as a Banach algebra, and shall discuss its amenability constant, showing that there are `forbidden values' for this constant. The second dual of ` 1(S) is the Banach algebra M(βS) of measures on the Stone{Cechˇ compactification βS of S, where M(βS) and βS are taken with the first Arens product 2.
    [Show full text]
  • View Front and Back Matter from the Print Issue
    VOLUME 116 NUMBER 4 DECEMBER 1992 WHOLE NUMBER 402 Proceedings *A» OF THE AMERICAN HEMATICAL SOCIETY EDITED BY Barbara Lee Keyfitz, William Adams Coordinating Editor for ODE, Dale Alspach PDE, Global Analysis, and J. Marshall Ash Dynamical Systems Albert Baernstein II Irwin Kra, Managing Editor Eric Bedford Peter Li, Coordinating Editor Andreas R. Blass for Lie Groups, Topology, Andrew M. Bruckner and Geometry Christopher Croke Wei Y. Loh Clifford J. Earle, Jr., Joseph S. B. Mitchell Coordinating Editor for M. Susan Montgomery, Analysis and Operator Theory Coordinating Editor for Eric Friedlander Algebra, Number Theory, Theodore W. Gamelin and Combinatorics James Glimm, Coordinating Charles Pugh Editor for Applied David Sharp Mathematics, Probability, Lance W. Small and Statistics Hal L. Smith Roe Goodman Ronald M. Solomon Thomas Goodwillie Ronald Stern Lawrence Gray Franklin D. Tall Dennis A. Hejhal John Trangenstein Palle E. T. Jorgensen Wolmer V. Vasconcelos Jeffry N. Kahn James West PROVIDENCE.RHODE ISLAND USA ISSN0002-9939 Proceedings of the American Mathematical Society This journal is devoted entirely to research in pure and applied mathematics. Subscription information. Proceedings of the American Mathematical Society is pub- lished monthly. Subscription prices for Volumes 114-116 (1992) are $508 list; $406 institutional member; $305 individual member. A late charge of 10% of the subscrip- tion price will be imposed upon orders received from nonmember after January 1 of the subscription year. Subscribers outside the United States and India must pay a postage surcharge of $25; subscribers in India must pay a postage surcharge of $38. Expedited delivery to destinations in North America—$38; elsewhere—$90.
    [Show full text]