DOCSLIB.ORG

Lecture Notes on C*-Algebras and Quantum Mechanics

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
Lecture Notes on C*-Algebras and Quantum Mechanics Lecture Notes on C Algebras and Quantum Mechanics Draft April NP Landsman Kortewegde Vries Institute for Mathematics University of Amsterdam Plantage Muidergracht TV AMSTERDAM THE NETHERLANDS email nplwinsuvanl homepage httpturingwinsuvanl npl telephone oce Euclides a CONTENTS Contents Historical notes Origins in functional analysis and quantum mechanics Rings of op erators von Neumann algebras Reduction of unitary group representations The classication of factors C algebras Elementary theory of C algebras Basic denitions Banach algebra basics CommutativeBanach algebras Commutative C algebras Sp ectrum and functional calculus Positivityin C algebras Ideals in C algebras States Representations and the GNSconstruction The GelfandNeumark theorem Complete p ositivity Pure states and irreducible representations The C algebra of compact op erators The double commutant theorem Hilb ert C mo dules and induced representations Vector bundles Hilb ert C mo dules The C algebra of a Hilb ert C mo dule Morita equivalence Rieel induction The imprimitivity theorem Group C algebras C dynamical systems and crossed pro ducts Transformation group C algebras The abstract transitive imprimitivit ytheorem Induced group representations Mackeys transitive imprimitivity theorem Applications to quantum mechanics The mathematical structure of classical and quantum mechanics Quantization Stinesprings theorem and coherent states Covariant lo calization in conguration space Covariantquantization on phase space Literature CONTENTS Historical notes Origins in functional analysis and quantum mechanics The emergence of the theory of op erator algebras may b e traced back to at least three develop ments The work of Hilb ert and his pupils in Gottingen on integral equations sp ectral theory and innitedimensional quadratic forms The discovery of quantum mechanics by Heisenb erg in Gottingen and indep endently bySchrodinger in Zuric h The arrival of John von Neumann in Gottingen to b ecome Hilb erts assistant Hilb erts memoirs on integral equations app eared b etween and In his studentE Schmidt dened the space in the mo dern sense F Riesz studied the space of all continuous linear maps on and various examples of L spaces emerged around the same time However the abstract concept of a Hilb ert space was still missing Heisenb erg discovered a form of quantum mechanics which at the time was called matrix hrodinger was led to a dierent formulation of the theory which he called wave mechanics Sc mechanics The relationship and p ossible equivalence b etween these alternativeformulations of quantum mechanics which at rst sight lo oked completely dierent was much discussed at the time It was clear from either approach that the b o dy of work mentioned in the previous paragraph was relevanttoquantum mechanics Heisenb ergs pap er initiating matrix mechanics was followed by the Dreimannerarb eit of Born Heisenb erg and Jordan all three were in Gottingen at that time Born was one of the few physicists of his time to be familiar with the concept of a matrix in previous research he had even used innite matrices Heisenbergs fundamental equations could only be satised by innitedimensional matrices Born turned to his former teacher Hilb ert for mathematical advice Hilb ert had been interested in the mathematical structure of physical theories for a long time his Sixth Problem called for the mathematical axiomatization of physics Aided by his assistants Nordheim and von Neumann Hilb ert thus ran a seminar on the mathematical structure of quantum mechanics and the three wrote a joint pap er on the sub ject now obsolete It was von Neumann alone who at the age of saw his way through all structures and mathematical diculties In a series of pap ers written b etween culminating in his b o ok Mathematische Grund lagen der Quantenmechanik he formulated the abstract concept of a Hilb ert space develop ed the sp ectral theory of b ounded as wellasunb ounded normal op erators on a Hilb ert space and proved the mathematical equivalence b etween matrix mechanics and wave mechanics Initiating and largely completing the theory of selfadjoint op erators on a Hilb ert space and intro ducing notions such as density matrices and quantum entropy this b o ok remains the denitive account of the mathematical structure of elementary quantum mechanics von Neumanns book was preceded by Diracs The Principles of Quantum Mechanics which contains a heuristic and mathematically unsatisfactory accountofquantum mechanics in terms of linear spaces and op erators Rings of op erators von Neumann algebras In one of his pap ers on Hilb ert space theory von Neumann denes a ring of op erators M nowadays called a von Neumann algebra as a subalgebra of the algebra BH of all b ounded op erators on a Hilb ert space H ie a subalgebra which is closed under the involution A A that is closed ie sequentially complete in the weak op erator top ology The latter may b e dened by its notion of convergence a sequence fA g of b ounded op erators weakly converges n to A when A A for all H This typeofconvergence is partly motivated by n quantum mechanics in whichA is the exp ectation value of the observable A in the state t and has unit norm provided that A is selfadjoin HISTORICAL NOTES For example BH is itself a von Neumann algebra Since the weak top ology is weaker than the uniform or norm top ology on BH avon Neumann algebra is automatically normclosed as well so that in terminology to b e intro duced later on a von Neumann algebra b ecomes a C algebra when one changes the top ology from the weak to the uniform one However the natural top ology on a von Neumann algebra is neither the weak nor the uniform one In the same pap er von Neumann proves what is still the basic theorem of the sub ject a subalgebra M of BH containing the unit op erator Iis weakly closed i M M Here the commutant M of a collection M of b ounded op erators consists of all b ounded op erators which commute with all elements of M and the bicommutant M is simply M This theorem is remarkable in relating a top ological condition to an algebraic one one is reminded of the much simpler fact that a linear subspace K of H is closed i K where K is the orthogonal complement of K in H Von Neumanns motivation in studying rings of op erators was plurifold His primary motivation probably came from quantum mechanics unlike many physicists then and even now he knew that all Hilb ert spaces of a given dimension are isomorphic so that one cannot characterize a physical system bysaying that its Hilb ert space of pure states is L R Instead von Neumann quantummechanical systems by algebraic conditions on the observables hop ed to characterize This programme has to some extent b een realized in algebraic quantum eld theory Haag and followers Among von Neumanns interest in quantum mechanics was the notion of entropy he wished n to dene states of minimal information When H C for n such a state is given by the density matrix Inbut for innitedimensional Hilb ert spaces this state may no longer be dened Density matrices maybe regarded as states on the von Neumann algebraBH in the sense of p ositive linear functionals which map I to As we shall see there are von Neumann algebras on innitedimensional Hilb ert spaces which do admit states of minimal information that generalize In viz the factors of typ e I I see b elow Furthermore von Neumann hop ed that the divergences in quantum eld theory mightbere moved by considering algebras of observables dierentfromBH This hop e has not materialized although in algebraic quantum eld theory the basic algebras of lo cal observables are indeed not of the form BH but are all isomorphic to the unique hyp ernite factor of typ e I I I see b elow Motivation from a dierent direction came from the structure theory of algebras In the present context a theorem of Wedderburn says that a von Neumann algebra on a nitedimensional Hilb ert space is isomorphic to a direct sum of matrix algebras Von Neumann wondered if this or a similar result in which direct sums are replaced by direct integrals see below still holds when the dimension of H is innite As we shall see it do es not ation came from group representations Von Neumanns bicom Finallyvon Neumanns motiv mutant theorem implies a useful alternativecharacterization of von Neumann algebras from now on we add to the
Load more

Recommended publications
  • Noncommutative Uniform Algebras
    Noncommutative Uniform Algebras Mati Abel and Krzysztof Jarosz Abstract. We show that a real Banach algebra A such that a2 = a 2 , for a A is a subalgebra of the algebra C (X) of continuous quaternion valued functions on a compact setk kX. ∈ H ° ° ° ° 1. Introduction A well known Hirschfeld-Zelazkoú Theorem [5](seealso[7]) states that for a complex Banach algebra A the condition (1.1) a2 = a 2 , for a A k k ∈ implies that (i) A is commutative, and further° ° implies that (ii) A must be of a very speciÞc form, namely it ° ° must be isometrically isomorphic with a uniformly closed subalgebra of CC (X). We denote here by CC (X)the complex Banach algebra of all continuous functions on a compact set X. The obvious question about the validity of the same conclusion for real Banach algebras is immediately dismissed with an obvious counterexample: the non commutative algebra H of quaternions. However it turns out that the second part (ii) above is essentially also true in the real case. We show that the condition (1.1) implies, for a real Banach algebra A,thatA is isometrically isomorphic with a subalgebra of CH (X) - the algebra of continuous quaternion valued functions on acompactsetX. That result is in fact a consequence of a theorem by Aupetit and Zemanek [1]. We will also present several related results and corollaries valid for real and complex Banach and topological algebras. To simplify the notation we assume that the algebras under consideration have units, however, like in the case of the Hirschfeld-Zelazkoú Theorem, the analogous results can be stated for none unital algebras as one can formally add aunittosuchanalgebra.
    [Show full text]
  • Abelian, Amenable Operator Algebras Are Similar to C∗-Algebras
    ABELIAN, AMENABLE OPERATOR ALGEBRAS ARE SIMILAR TO C∗-ALGEBRAS LAURENT W. MARCOUX1 AND ALEXEY I. POPOV Abstract. Suppose that H is a complex Hilbert space and that B(H) denotes the bounded linear operators on H. We show that every abelian, amenable operator algebra is similar to a C∗-algebra. We do this by showing that if A ⊆ B(H) is an abelian algebra with the property that given any bounded representation % : A!B(H%) of A on a Hilbert space H%, every invariant subspace of %(A) is topologically complemented by another invariant subspace of %(A), then A is similar to an abelian C∗-algebra. 1. Introduction. 1.1. Let A be a Banach algebra and X be a Banach space which is also a bimodule over A. We say that X is a Banach bimodule over A if the module operations are continuous; that is, if there exists κ > 0 so that kaxk 6 κkak kxk, and kxbk 6 κkxk kbk for all a; b 2 A and x 2 X. Given a Banach bimodule X over A, we introduce an action of A upon the dual space X∗ of X under which X∗ becomes a dual Banach A-bimodule. This is the so-called dual action: (ax∗)(x) = x∗(xa) and (x∗a)(x) = x∗(ax) for all a 2 A, x 2 X, x∗ 2 X∗. A (continuous) derivation from a Banach algebra A into a Banach A-bimodule X is a continuous linear map δ : A! X satisfying δ(ab) = aδ(b) + δ(a)b for all a; b 2 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]
  • Chapter 2 C -Algebras
    Chapter 2 C∗-algebras This chapter is mainly based on the first chapters of the book [Mur90]. Material bor- rowed from other references will be specified. 2.1 Banach algebras Definition 2.1.1. A Banach algebra C is a complex vector space endowed with an associative multiplication and with a norm k · k which satisfy for any A; B; C 2 C and α 2 C (i) (αA)B = α(AB) = A(αB), (ii) A(B + C) = AB + AC and (A + B)C = AC + BC, (iii) kABk ≤ kAkkBk (submultiplicativity) (iv) C is complete with the norm k · k. One says that C is abelian or commutative if AB = BA for all A; B 2 C . One also says that C is unital if 1 2 C , i.e. if there exists an element 1 2 C with k1k = 1 such that 1B = B = B1 for all B 2 C . A subalgebra J of C is a vector subspace which is stable for the multiplication. If J is norm closed, it is a Banach algebra in itself. Examples 2.1.2. (i) C, Mn(C), B(H), K (H) are Banach algebras, where Mn(C) denotes the set of n × n-matrices over C. All except K (H) are unital, and K (H) is unital if H is finite dimensional. (ii) If Ω is a locally compact topological space, C0(Ω) and Cb(Ω) are abelian Banach algebras, where Cb(Ω) denotes the set of all bounded and continuous complex func- tions from Ω to C, and C0(Ω) denotes the subset of Cb(Ω) of functions f which vanish at infinity, i.e.
    [Show full text]
  • Class Notes, Functional Analysis 7212
    Class notes, Functional Analysis 7212 Ovidiu Costin Contents 1 Banach Algebras 2 1.1 The exponential map.....................................5 1.2 The index group of B = C(X) ...............................6 1.2.1 p1(X) .........................................7 1.3 Multiplicative functionals..................................7 1.3.1 Multiplicative functionals on C(X) .........................8 1.4 Spectrum of an element relative to a Banach algebra.................. 10 1.5 Examples............................................ 19 1.5.1 Trigonometric polynomials............................. 19 1.6 The Shilov boundary theorem................................ 21 1.7 Further examples....................................... 21 1.7.1 The convolution algebra `1(Z) ........................... 21 1.7.2 The return of Real Analysis: the case of L¥ ................... 23 2 Bounded operators on Hilbert spaces 24 2.1 Adjoints............................................ 24 2.2 Example: a space of “diagonal” operators......................... 30 2.3 The shift operator on `2(Z) ................................. 32 2.3.1 Example: the shift operators on H = `2(N) ................... 38 3 W∗-algebras and measurable functional calculus 41 3.1 The strong and weak topologies of operators....................... 42 4 Spectral theorems 46 4.1 Integration of normal operators............................... 51 4.2 Spectral projections...................................... 51 5 Bounded and unbounded operators 54 5.1 Operations..........................................
    [Show full text]
  • Banach Algebras
    Banach Algebras Yurii Khomskii Bachelor Thesis Department of Mathematics, Leiden University Supervisor: Dr. Marcel de Jeu April 18, 2005 i Contents Foreword iv 1. Algebraic Concepts 1 1.1. Preliminaries . 1 1.2. Regular Ideals . 3 1.3. Adjoining an Identity . 4 1.4. Quasi-inverses . 8 2. Banach Algebras 10 2.1. Preliminaries of Normed and Banach Algebras . 10 2.2. Inversion and Quasi-inversion in Banach Algebras . 14 3. Spectra 18 3.1. Preliminaries . 18 3.2. Polynomial Spectral Mapping Theorem and the Spectral Radius Formula . 22 4. Gelfand Representation Theory 25 4.1. Multiplicative Linear Functionals and the Maximal Ideal Space . 25 4.2. The Gelfand Topology . 30 4.3. The Gelfand Representation . 31 4.4. The Radical and Semi-simplicity . 33 4.5. Generators of Banach algebras . 34 5. Examples of Gelfand Representations 36 5.1. C (X ) for X compact and Hausdorff . 36 5.2. C 0(X ) for X locally compact and Hausdorff. 41 5.3. Stone-Cecˇ h compactification . 42 5.4. A(D) . 44 5.5. AC (Γ) . 46 5.6. H 1 . 47 ii iii Foreword The study of Banach algebras began in the twentieth century and originated from the observation that some Banach spaces show interesting properties when they can be supplied with an extra multiplication operation. A standard exam- ple was the space of bounded linear operators on a Banach space, but another important one was function spaces (of continuous, bounded, vanishing at infin- ity etc. functions as well as functions with absolutely convergent Fourier series). Nowadays Banach algebras is a wide discipline with a variety of specializations and applications.
    [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]
  • MAT 449 : Representation Theory
    MAT 449 : Representation theory Sophie Morel December 17, 2018 Contents I Representations of topological groups5 I.1 Topological groups . .5 I.2 Haar measures . .9 I.3 Representations . 17 I.3.1 Continuous representations . 17 I.3.2 Unitary representations . 20 I.3.3 Cyclic representations . 24 I.3.4 Schur’s lemma . 25 I.3.5 Finite-dimensional representations . 27 I.4 The convolution product and the group algebra . 28 I.4.1 Convolution on L1(G) and the group algebra of G ............ 28 I.4.2 Representations of G vs representations of L1(G) ............. 33 I.4.3 Convolution on other Lp spaces . 39 II Some Gelfand theory 43 II.1 Banach algebras . 43 II.1.1 Spectrum of an element . 43 II.1.2 The Gelfand-Mazur theorem . 47 II.2 Spectrum of a Banach algebra . 48 II.3 C∗-algebras and the Gelfand-Naimark theorem . 52 II.4 The spectral theorem . 55 III The Gelfand-Raikov theorem 59 III.1 L1(G) ....................................... 59 III.2 Functions of positive type . 59 III.3 Functions of positive type and irreducible representations . 65 III.4 The convex set P1 ................................. 68 III.5 The Gelfand-Raikov theorem . 73 IV The Peter-Weyl theorem 75 IV.1 Compact operators . 75 IV.2 Semisimplicity of unitary representations of compact groups . 77 IV.3 Matrix coefficients . 80 IV.4 The Peter-Weyl theorem . 86 IV.5 Characters . 87 3 Contents IV.6 The Fourier transform . 90 IV.7 Characters and Fourier transforms . 93 V Gelfand pairs 97 V.1 Invariant and bi-invariant functions .
    [Show full text]
  • Arxiv:Math/0203199V1 [Math.FA] 19 Mar 2002
    Amenability for dual Banach algebras Volker Runde Abstract ∗ We define a Banach algebra A to be dual if A = (A∗) for a closed submodule A∗ of A∗. The class of dual Banach algebras includes all W ∗-algebras, but also all algebras M(G) for locally compact groups G, all algebras L(E) for reflexive Banach spaces E, as well as all biduals of Arens regular Banach algebras. The general impression is that amenable, dual Banach algebras are rather the exception than the rule. We confirm this impression. We first show that under certain conditions an amenable dual Ba- nach algebra is already super-amenable and thus finite-dimensional. We then develop two notions of amenability — Connes-amenability and strong Connes-amenability — which take the w∗-topology on dual Banach algebras into account. We relate the amenability of an Arens regular Banach algebra A to the (strong) Connes-amenability of A∗∗; as an application, we show that there are reflexive Banach spaces with the approximation property such that L(E) is not Connes-amenable. We characterize the amenability of inner amenable locally compact groups in terms of their algebras of pseudo-measures. Finally, we give a proof of the known fact that the amenable von Neumann algebras are the subhomogeneous ones which avoids the equivalence of amenability and nuclearity for C∗-algebras. 2000 Mathematics Subject Classification: 43A10, 46B28, 46H25, 46H99 (primary), 46L10, 46M20. 1 Introduction arXiv:math/0203199v1 [math.FA] 19 Mar 2002 Amenable Banach algebras were introduced by B. E. Johnson in [Joh 2], and have since then turned out to be extremely interesting objects of research.
    [Show full text]
  • BANACH ALGEBRAS with UNIQUE UNIFORM NORM 1. Introduction A
    PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY Volume 124, Number 2, February 1996 BANACH ALGEBRAS WITH UNIQUE UNIFORM NORM S. J. BHATT AND H. V. DEDANIA (Communicated by Palle E. T. Jorgensen) Abstract. Commutative semisimple Banach algebras that admit exactly one uniform norm (not necessarily complete) are investigated. This unique uniform norm property is completely characterized in terms of each of spectral radius, Silov boundary, set of uniqueness, semisimple norms; and its connection with recently investigated concepts like spectral extension property, multiplicative Hahn Banach extension property and permanent radius are revealed. Several classesofBanachalgebrashavingthispropertyaswellasthosenothaving this property are discussed. 1. Introduction A uniform norm on a Banach algebra (A, ) is a submultiplicative norm (not necessarily complete) satisfying the squarek·k property x2 = x 2 (x A). By |·| | | | | ∈ [1, Chapter 2], A is commutative and semisimple iff the spectral radius r (= rA) is a uniform norm iff A admits a uniform norm. A has unique uniform norm property ( UUNP)ifris the only uniform norm on A. This paper is concerned with Banach algebras with UUNP. Note that equivalent uniform norms are equal and any uniform norm r. A recent trend ([9], [10],|·|≤ [11], [14]) in Banach algebras is to investigate incomplete algebra norms; in the same spirit, it is interesting to characterize intrinsically UUNP and its influence on A. The spectral extension property (SEP) of [10] implies UUNP. In fact, it is claimed in [10] that A has SEP iff “every closed set of uniqueness contains the Silov boundary” (statement (2) of [10, Theorem 1]). However, there is a gap in the proof that this statement implies SEP (personal correspondence with Dr.
    [Show full text]
  • Spectrum (Functional Analysis) - Wikipedia, the Free Encyclopedia
    Spectrum (functional analysis) - Wikipedia, the free encyclopedia http://en.wikipedia.org/wiki/Spectrum_(functional_analysis) Spectrum (functional analysis) From Wikipedia, the free encyclopedia In functional analysis, the concept of the spectrum of a bounded operator is a generalisation of the concept of eigenvalues for matrices. Specifically, a complex number λ is said to be in the spectrum of a bounded linear operator T if λI − T is not invertible, where I is the identity operator. The study of spectra and related properties is known as spectral theory, which has numerous applications, most notably the mathematical formulation of quantum mechanics. The spectrum of an operator on a finite-dimensional vector space is precisely the set of eigenvalues. However an operator on an infinite-dimensional space may have additional elements in its spectrum, and may have no eigenvalues. For example, consider the right shift operator R on the Hilbert space ℓ2, This has no eigenvalues, since if Rx=λx then by expanding this expression we see that x1=0, x2=0, etc. On the other hand 0 is in the spectrum because the operator R − 0 (i.e. R itself) is not invertible: it is not surjective since any vector with non-zero first component is not in its range. In fact every bounded linear operator on a complex Banach space must have a non-empty spectrum. The notion of spectrum extends to densely-defined unbounded operators. In this case a complex number λ is said to be in the spectrum of such an operator T:D→X (where D is dense in X) if there is no bounded inverse (λI − T)−1:X→D.
    [Show full text]
  • Lecture 2: Operator Amenability of the Fourier Algebra
    Lecture 2: Operator Amenability of the Fourier Algebra Zhong-Jin Ruan at Leeds, Tuesday 18 May , 2010 1 Amenability of Groups Let us first recall that a locally compact group G is amenable if there exists a left invariant mean on L∞(G), i.e. there exists a positive linear functional m : L∞(G) → C such that m(1) = 1 and m(sh) = m(h) for all s ∈ G and h ∈ L∞(G), where we define sh(t) = h(st). Theorem: The following are equivalent: 1. G is amenable; 2. G satisfies the Følner condition: for every ε > 0 and compact subset C ⊆ G, there exists a compact subset K ⊆ G such that |K∆sK| < ε for all s ∈ C; µ(K) 3. A(G) has a bounded (or contractive) approximate identity. 2 Amenability of Banach Algebras In the early 1970’s, B. Johnson introduced the bounded Hochschild cohomology and the amenability for Banach algebras. A Banach algebra A is called amenable if for every bounded A-bimodule V , every bounded derivation D : A → V ∗ is inner, i.e. there exists f ∈ V ∗ such that D(a) = a · f − f · a. A linear map D : A → V ∗ is a derivation if it satisfies D(ab) = D(a) · b + a · D(b) for all a, b ∈ A. Theorem [B. Johnson 1972] : A locally compact group G is amenable if and only if L1(G) is an amenable Banach algebra. 3 Amenability of A(G) Question: Since A(G) is the natural dual object of L1(G), it is natural to ask whether G is amenable if and only if A(G) is amenable ?? B.
    [Show full text]